Trace number 4529251

Some explanations

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

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

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

Solver answer on this benchmark

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

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.59/0.67	c [STEP] preprocessing with Papilo
0.78/0.83	c [STEP] solving with SCIP
299.97/301.08	c [STEP] preprocessing done, loading into solver
300.08/301.14	c [STEP] solving
300.08/301.14	c #variables 15082 #constraints 1403
300.08/301.14	c SMALL=int, LARGE=long long
300.08/301.14	d SCIPUB 833311
300.08/301.14	c bounds - >= 0 @ 299.874
300.08/301.14	c stratification level: 121436
1123.49/1127.17	c #Conflicts:       1000 | #Constraints:       2403
1123.49/1127.17	c #Conflicts:       2000 | #Constraints:       3403
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:       3000 | #Constraints:       3411
1123.49/1127.17	c #Conflicts:       4000 | #Constraints:       4411
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:       5000 | #Constraints:       3820
1123.49/1127.17	c #Conflicts:       6000 | #Constraints:       4820
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:       7000 | #Constraints:       3820
1123.49/1127.17	c #Conflicts:       8000 | #Constraints:       4820
1123.49/1127.17	c #Conflicts:       9000 | #Constraints:       5820
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      10000 | #Constraints:       4519
1123.49/1127.17	c #Conflicts:      11000 | #Constraints:       5519
1123.49/1127.17	c #Conflicts:      12000 | #Constraints:       6519
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      13000 | #Constraints:       4973
1123.49/1127.17	c #Conflicts:      14000 | #Constraints:       5973
1123.49/1127.17	c #Conflicts:      15000 | #Constraints:       6973
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      16000 | #Constraints:       5197
1123.49/1127.17	c #Conflicts:      17000 | #Constraints:       6197
1123.49/1127.17	c #Conflicts:      18000 | #Constraints:       7197
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      19000 | #Constraints:       5216
1123.49/1127.17	c #Conflicts:      20000 | #Constraints:       6216
1123.49/1127.17	c #Conflicts:      21000 | #Constraints:       7216
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      22000 | #Constraints:       5024
1123.49/1127.17	c #Conflicts:      23000 | #Constraints:       6024
1123.49/1127.17	c #Conflicts:      24000 | #Constraints:       7024
1123.49/1127.17	c #Conflicts:      25000 | #Constraints:       8024
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      26000 | #Constraints:       5626
1123.49/1127.17	c #Conflicts:      27000 | #Constraints:       6626
1123.49/1127.17	c #Conflicts:      28000 | #Constraints:       7626
1123.49/1127.17	c #Conflicts:      29000 | #Constraints:       8626
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      30000 | #Constraints:       6026
1123.49/1127.17	c #Conflicts:      31000 | #Constraints:       7026
1123.49/1127.17	c #Conflicts:      32000 | #Constraints:       8026
1123.49/1127.17	c #Conflicts:      33000 | #Constraints:       9026
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      34000 | #Constraints:       6229
1123.49/1127.17	c #Conflicts:      35000 | #Constraints:       7229
1123.49/1127.17	c #Conflicts:      36000 | #Constraints:       8229
1123.49/1127.17	c #Conflicts:      37000 | #Constraints:       9229
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      38000 | #Constraints:       6238
1123.49/1127.17	c #Conflicts:      39000 | #Constraints:       7238
1123.49/1127.17	c #Conflicts:      40000 | #Constraints:       8238
1123.49/1127.17	c #Conflicts:      41000 | #Constraints:       9238
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      42000 | #Constraints:       6039
1123.49/1127.17	c #Conflicts:      43000 | #Constraints:       7039
1123.49/1127.17	c #Conflicts:      44000 | #Constraints:       8039
1123.49/1127.17	c #Conflicts:      45000 | #Constraints:       9039
1123.49/1127.17	c #Conflicts:      46000 | #Constraints:      10039
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      47000 | #Constraints:       6633
1123.49/1127.17	c #Conflicts:      48000 | #Constraints:       7633
1123.49/1127.17	c #Conflicts:      49000 | #Constraints:       8633
1123.49/1127.17	c #Conflicts:      50000 | #Constraints:       9633
1123.49/1127.17	c #Conflicts:      51000 | #Constraints:      10633
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      52000 | #Constraints:       7039
1123.49/1127.17	c #Conflicts:      53000 | #Constraints:       8039
1123.49/1127.17	c #Conflicts:      54000 | #Constraints:       9039
1123.49/1127.17	c #Conflicts:      55000 | #Constraints:      10039
1123.49/1127.17	c #Conflicts:      56000 | #Constraints:      11039
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      57000 | #Constraints:       7233
1123.49/1127.17	c #Conflicts:      58000 | #Constraints:       8233
1123.49/1127.17	c #Conflicts:      59000 | #Constraints:       9233
1123.49/1127.17	c #Conflicts:      60000 | #Constraints:      10233
1123.49/1127.17	c #Conflicts:      61000 | #Constraints:      11233
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      62000 | #Constraints:       7240
1123.49/1127.17	c #Conflicts:      63000 | #Constraints:       8240
1123.49/1127.17	c #Conflicts:      64000 | #Constraints:       9240
1123.49/1127.17	c #Conflicts:      65000 | #Constraints:      10240
1123.49/1127.17	c #Conflicts:      66000 | #Constraints:      11240
1123.49/1127.17	c INPROCESSING
1123.49/1127.17	c GARBAGE COLLECT
1123.49/1127.17	c #Conflicts:      67000 | #Constraints:       7033
1123.49/1127.17	c #Conflicts:      68000 | #Constraints:       8033
2450.65/2458.46	c #Conflicts:      69000 | #Constraints:       9033
2450.65/2458.46	c #Conflicts:      70000 | #Constraints:      10033
2450.65/2458.46	c #Conflicts:      71000 | #Constraints:      11033
2450.65/2458.46	c #Conflicts:      72000 | #Constraints:      12033
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:      73000 | #Constraints:       7633
2450.65/2458.46	c #Conflicts:      74000 | #Constraints:       8633
2450.65/2458.46	c #Conflicts:      75000 | #Constraints:       9633
2450.65/2458.46	c #Conflicts:      76000 | #Constraints:      10633
2450.65/2458.46	c #Conflicts:      77000 | #Constraints:      11633
2450.65/2458.46	c #Conflicts:      78000 | #Constraints:      12633
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:      79000 | #Constraints:       8040
2450.65/2458.46	c #Conflicts:      80000 | #Constraints:       9040
2450.65/2458.46	c #Conflicts:      81000 | #Constraints:      10040
2450.65/2458.46	c #Conflicts:      82000 | #Constraints:      11040
2450.65/2458.46	c #Conflicts:      83000 | #Constraints:      12040
2450.65/2458.46	c #Conflicts:      84000 | #Constraints:      13040
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:      85000 | #Constraints:       8241
2450.65/2458.46	c #Conflicts:      86000 | #Constraints:       9241
2450.65/2458.46	c #Conflicts:      87000 | #Constraints:      10241
2450.65/2458.46	c #Conflicts:      88000 | #Constraints:      11241
2450.65/2458.46	c #Conflicts:      89000 | #Constraints:      12241
2450.65/2458.46	c #Conflicts:      90000 | #Constraints:      13241
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:      91000 | #Constraints:       8241
2450.65/2458.46	c #Conflicts:      92000 | #Constraints:       9241
2450.65/2458.46	c #Conflicts:      93000 | #Constraints:      10241
2450.65/2458.46	c #Conflicts:      94000 | #Constraints:      11241
2450.65/2458.46	c #Conflicts:      95000 | #Constraints:      12241
2450.65/2458.46	c #Conflicts:      96000 | #Constraints:      13241
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:      97000 | #Constraints:       8049
2450.65/2458.46	c #Conflicts:      98000 | #Constraints:       9049
2450.65/2458.46	c #Conflicts:      99000 | #Constraints:      10049
2450.65/2458.46	c #Conflicts:     100000 | #Constraints:      11049
2450.65/2458.46	c #Conflicts:     101000 | #Constraints:      12049
2450.65/2458.46	c #Conflicts:     102000 | #Constraints:      13049
2450.65/2458.46	c #Conflicts:     103000 | #Constraints:      14049
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     104000 | #Constraints:       8644
2450.65/2458.46	c #Conflicts:     105000 | #Constraints:       9644
2450.65/2458.46	c #Conflicts:     106000 | #Constraints:      10644
2450.65/2458.46	c #Conflicts:     107000 | #Constraints:      11644
2450.65/2458.46	c #Conflicts:     108000 | #Constraints:      12644
2450.65/2458.46	c #Conflicts:     109000 | #Constraints:      13644
2450.65/2458.46	c #Conflicts:     110000 | #Constraints:      14644
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     111000 | #Constraints:       9051
2450.65/2458.46	c #Conflicts:     112000 | #Constraints:      10051
2450.65/2458.46	c #Conflicts:     113000 | #Constraints:      11051
2450.65/2458.46	c #Conflicts:     114000 | #Constraints:      12051
2450.65/2458.46	c #Conflicts:     115000 | #Constraints:      13051
2450.65/2458.46	c #Conflicts:     116000 | #Constraints:      14051
2450.65/2458.46	c #Conflicts:     117000 | #Constraints:      15051
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     118000 | #Constraints:       9247
2450.65/2458.46	c #Conflicts:     119000 | #Constraints:      10247
2450.65/2458.46	c #Conflicts:     120000 | #Constraints:      11247
2450.65/2458.46	c #Conflicts:     121000 | #Constraints:      12247
2450.65/2458.46	c #Conflicts:     122000 | #Constraints:      13247
2450.65/2458.46	c #Conflicts:     123000 | #Constraints:      14247
2450.65/2458.46	c #Conflicts:     124000 | #Constraints:      15247
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     125000 | #Constraints:       9247
2450.65/2458.46	c #Conflicts:     126000 | #Constraints:      10247
2450.65/2458.46	c #Conflicts:     127000 | #Constraints:      11247
2450.65/2458.46	c #Conflicts:     128000 | #Constraints:      12247
2450.65/2458.46	c #Conflicts:     129000 | #Constraints:      13247
2450.65/2458.46	c #Conflicts:     130000 | #Constraints:      14247
2450.65/2458.46	c #Conflicts:     131000 | #Constraints:      15247
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     132000 | #Constraints:       9037
2450.65/2458.46	c #Conflicts:     133000 | #Constraints:      10037
2450.65/2458.46	c #Conflicts:     134000 | #Constraints:      11037
2450.65/2458.46	c #Conflicts:     135000 | #Constraints:      12037
2450.65/2458.46	c #Conflicts:     136000 | #Constraints:      13037
2450.65/2458.46	c #Conflicts:     137000 | #Constraints:      14037
2450.65/2458.46	c #Conflicts:     138000 | #Constraints:      15037
2450.65/2458.46	c #Conflicts:     139000 | #Constraints:      16037
2450.65/2458.46	c INPROCESSING
2450.65/2458.46	c GARBAGE COLLECT
2450.65/2458.46	c #Conflicts:     140000 | #Constraints:       9640
3600.02/3611.70	c #Conflicts:     141000 | #Constraints:      10640
3600.02/3611.70	c #Conflicts:     142000 | #Constraints:      11640
3600.02/3611.70	c #Conflicts:     143000 | #Constraints:      12640
3600.02/3611.70	c #Conflicts:     144000 | #Constraints:      13640
3600.02/3611.70	c #Conflicts:     145000 | #Constraints:      14640
3600.02/3611.70	c #Conflicts:     146000 | #Constraints:      15640
3600.02/3611.70	c #Conflicts:     147000 | #Constraints:      16640
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     148000 | #Constraints:      10043
3600.02/3611.70	c #Conflicts:     149000 | #Constraints:      11043
3600.02/3611.70	c #Conflicts:     150000 | #Constraints:      12043
3600.02/3611.70	c #Conflicts:     151000 | #Constraints:      13043
3600.02/3611.70	c #Conflicts:     152000 | #Constraints:      14043
3600.02/3611.70	c #Conflicts:     153000 | #Constraints:      15043
3600.02/3611.70	c #Conflicts:     154000 | #Constraints:      16043
3600.02/3611.70	c #Conflicts:     155000 | #Constraints:      17043
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     156000 | #Constraints:      10245
3600.02/3611.70	c #Conflicts:     157000 | #Constraints:      11245
3600.02/3611.70	c #Conflicts:     158000 | #Constraints:      12245
3600.02/3611.70	c #Conflicts:     159000 | #Constraints:      13245
3600.02/3611.70	c #Conflicts:     160000 | #Constraints:      14245
3600.02/3611.70	c #Conflicts:     161000 | #Constraints:      15245
3600.02/3611.70	c #Conflicts:     162000 | #Constraints:      16245
3600.02/3611.70	c #Conflicts:     163000 | #Constraints:      17245
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     164000 | #Constraints:      10236
3600.02/3611.70	c #Conflicts:     165000 | #Constraints:      11236
3600.02/3611.70	c #Conflicts:     166000 | #Constraints:      12236
3600.02/3611.70	c #Conflicts:     167000 | #Constraints:      13236
3600.02/3611.70	c #Conflicts:     168000 | #Constraints:      14236
3600.02/3611.70	c #Conflicts:     169000 | #Constraints:      15236
3600.02/3611.70	c #Conflicts:     170000 | #Constraints:      16236
3600.02/3611.70	c #Conflicts:     171000 | #Constraints:      17236
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     172000 | #Constraints:      10029
3600.02/3611.70	c #Conflicts:     173000 | #Constraints:      11029
3600.02/3611.70	c #Conflicts:     174000 | #Constraints:      12029
3600.02/3611.70	c #Conflicts:     175000 | #Constraints:      13029
3600.02/3611.70	c #Conflicts:     176000 | #Constraints:      14029
3600.02/3611.70	c #Conflicts:     177000 | #Constraints:      15029
3600.02/3611.70	c #Conflicts:     178000 | #Constraints:      16029
3600.02/3611.70	c #Conflicts:     179000 | #Constraints:      17029
3600.02/3611.70	c #Conflicts:     180000 | #Constraints:      18029
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     181000 | #Constraints:      10633
3600.02/3611.70	c #Conflicts:     182000 | #Constraints:      11633
3600.02/3611.70	c #Conflicts:     183000 | #Constraints:      12633
3600.02/3611.70	c #Conflicts:     184000 | #Constraints:      13633
3600.02/3611.70	c #Conflicts:     185000 | #Constraints:      14633
3600.02/3611.70	c #Conflicts:     186000 | #Constraints:      15633
3600.02/3611.70	c #Conflicts:     187000 | #Constraints:      16633
3600.02/3611.70	c #Conflicts:     188000 | #Constraints:      17633
3600.02/3611.70	c #Conflicts:     189000 | #Constraints:      18633
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     190000 | #Constraints:      11036
3600.02/3611.70	c #Conflicts:     191000 | #Constraints:      12036
3600.02/3611.70	c #Conflicts:     192000 | #Constraints:      13036
3600.02/3611.70	c #Conflicts:     193000 | #Constraints:      14036
3600.02/3611.70	c #Conflicts:     194000 | #Constraints:      15036
3600.02/3611.70	c #Conflicts:     195000 | #Constraints:      16036
3600.02/3611.70	c #Conflicts:     196000 | #Constraints:      17036
3600.02/3611.70	c #Conflicts:     197000 | #Constraints:      18036
3600.02/3611.70	c #Conflicts:     198000 | #Constraints:      19036
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     199000 | #Constraints:      11240
3600.02/3611.70	c #Conflicts:     200000 | #Constraints:      12240
3600.02/3611.70	c #Conflicts:     201000 | #Constraints:      13240
3600.02/3611.70	c #Conflicts:     202000 | #Constraints:      14240
3600.02/3611.70	c #Conflicts:     203000 | #Constraints:      15240
3600.02/3611.70	c #Conflicts:     204000 | #Constraints:      16240
3600.02/3611.70	c #Conflicts:     205000 | #Constraints:      17240
3600.02/3611.70	c #Conflicts:     206000 | #Constraints:      18240
3600.02/3611.70	c #Conflicts:     207000 | #Constraints:      19240
3600.02/3611.70	c INPROCESSING
3600.02/3611.70	c GARBAGE COLLECT
3600.02/3611.70	c #Conflicts:     208000 | #Constraints:      11256
3600.02/3611.70	c Program interrupted by user.
3600.02/3611.70	c cpu time 3573.07 s
3600.02/3611.70	c deterministic time 567200203132 5.67e+11
3600.02/3611.70	c optimization time 14.4684 s
3600.02/3611.70	c total solve time 3258.73 s
3600.02/3611.70	c core-guided solve time 3258.73 s
3600.02/3611.70	c propagation time 2221.17 s
3600.02/3611.70	c conflict analysis time 818.187 s
3600.02/3611.70	c propagations 476082209
3600.02/3611.70	c resolve steps 525604
3600.02/3611.70	c decisions 33922195
3600.02/3611.70	c conflicts 208490
3600.02/3611.70	c restarts 510
3600.02/3611.70	c inprocessing phases 37
3600.02/3611.70	c input clauses 157
3600.02/3611.70	c input cardinalities 837
3600.02/3611.70	c input general constraints 410
3600.02/3611.70	c input average constraint length 309.28
3600.02/3611.70	c input average constraint degree 355478.77
3600.02/3611.70	c learned clauses 92
3600.02/3611.70	c learned cardinalities 5
3600.02/3611.70	c learned general constraints 208392
3600.02/3611.70	c learned average constraint length 12379.71
3600.02/3611.70	c learned average constraint degree 610932823.13
3600.02/3611.70	c watched constraints 1644
3600.02/3611.70	c counting constraints 207158
3600.02/3611.70	c gcd simplifications 879
3600.02/3611.70	c detected cardinalities 2
3600.02/3611.70	c weakened non-implied lits 431551103
3600.02/3611.70	c weakened non-implying lits 69993
3600.02/3611.70	c original variables 15085
3600.02/3611.70	c clausal propagations 109871
3600.02/3611.70	c cardinality propagations 1015813
3600.02/3611.70	c watched propagations 642568
3600.02/3611.70	c counting propagations 470824323
3600.02/3611.70	c watch lookups 18634346212
3600.02/3611.70	c watch backjump lookups 18641202197
3600.02/3611.70	c watch checks 9572585811
3600.02/3611.70	c propagation checks 511992985613
3600.02/3611.70	c constraint additions 7338880946
3600.02/3611.70	c trail pops 510197948
3600.02/3611.70	c formula constraints 1403
3600.02/3611.70	c learned constraints 208489
3600.02/3611.70	c bound constraints 1
3600.02/3611.70	c core-guided constraints 0
3600.02/3611.70	c encountered formula constraints 209797
3600.02/3611.70	c encountered learned constraints 522656
3600.02/3611.70	c encountered bound constraints 1641
3600.02/3611.70	c encountered core-guided constraints 0
3600.02/3611.70	c LP total time 0 s
3600.02/3611.70	c LP solve time 0 s
3600.02/3611.70	c LP constraints added 0
3600.02/3611.70	c LP constraints removed 0
3600.02/3611.70	c LP pivots internal 0
3600.02/3611.70	c LP pivots root 0
3600.02/3611.70	c LP calls 0
3600.02/3611.70	c LP optimalities 0
3600.02/3611.70	c LP no pivot count 0
3600.02/3611.70	c LP infeasibilities 0
3600.02/3611.70	c LP valid Farkas constraints 0
3600.02/3611.70	c LP learned Farkas constraints 0
3600.02/3611.70	c LP basis resets 0
3600.02/3611.70	c LP cycling count 0
3600.02/3611.70	c LP singular count 0
3600.02/3611.70	c LP no primal count 0
3600.02/3611.70	c LP no farkas count 0
3600.02/3611.70	c LP other issue count 0
3600.02/3611.70	c LP Gomory cuts 0
3600.02/3611.70	c LP learned cuts 0
3600.02/3611.70	c LP deleted cuts 0
3600.02/3611.70	c LP encountered Gomory constraints 0
3600.02/3611.70	c LP encountered Farkas constraints 0
3600.02/3611.70	c LP encountered learned Farkas constraints 0
3600.02/3611.70	c CG auxiliary variables introduced 0
3600.02/3611.70	c CG solutions found 0
3600.02/3611.70	c CG cores constructed 0
3600.02/3611.70	c CG core cardinality constraints returned 0
3600.02/3611.70	c CG unit cores 0
3600.02/3611.70	c CG single cores 0
3600.02/3611.70	c CG blocks removed during cardinality reduction 0
3600.02/3611.70	c CG first core best 0
3600.02/3611.70	c CG decision core best 0
3600.02/3611.70	c CG core reduction tie 0
3600.02/3611.70	c CG core degree average 0.00
3600.02/3611.70	c CG core slack average 0.00
3600.02/3611.70	c CG exhausted 0
3600.02/3611.70	c CG exhaust time 0 s
3600.02/3611.70	c CG trimmed 0
3600.02/3611.70	c CG trim time 0 s
3600.02/3611.70	c CG minimized 0
3600.02/3611.70	c CG minimize time 0 s
3600.02/3611.70	c CG am1 prop time 5.5e-05 s
3600.02/3611.70	c CG # am1s reformulated 0
3600.02/3611.70	c CG lower bound derived from am1s 0
3600.02/3611.70	c CG # clausal cores 0
3600.02/3611.70	c CG # cardinality cores 0
3600.02/3611.70	c CG # pb cores 0
3600.02/3611.70	c CG # pb reforms 0
3600.02/3611.70	c CG # cores discarded because of pb reform 0
3600.02/3611.70	d LOWERBOUND 0
3600.02/3611.70	d NCORES 0
3600.02/3611.70	d NPBCORES 0
3600.02/3611.70	d NPBREFORM 0
3600.02/3611.70	d NTRIMMED 0
3600.02/3611.70	d NEXHAUSTED 0
3600.02/3611.70	d NAM1S 0
3600.02/3611.70	d AM1LB 0
3600.02/3611.70	c [Papilo Statistics]
3600.02/3611.70	c prepro time 0.161083s
3600.02/3611.70	c # tsx applied 32
3600.02/3611.70	c # tsx conflicts 0
3600.02/3611.70	c # bound changes 4
3600.02/3611.70	c # side changes 1
3600.02/3611.70	c # coef changes 0
3600.02/3611.70	c # rounds 3
3600.02/3611.70	c # deted vars 4
3600.02/3611.70	c # deted constrs 28
3600.02/3611.70	c # consecutive rounds of only bound changes 0
3600.02/3611.72	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: 63794 MiB (57032 MiB free)
  memory of node 1: 64507 MiB (61321 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529251-1752264124/watcher-4529251-1752264124 -o /tmp/evaluation-result-4529251-1752264124/solver-4529251-1752264124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124647 --watchdog 3760 mixed-bag HOME/instance-4529251-1752264124.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100066 s]*
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=121187512/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=85288 memory=14552 CPUtime=0.09 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 2793 0 0 0 8 1 0 0 20 0 1 0 142092091 87334912 3638 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 21322 3638 2144 2834 0 4074 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85288 KiB
Current children cumulated memory: 14552 KiB

[startup+0.206331 s]*
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=121122360/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=87336 memory=17176 CPUtime=0.2 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 3460 0 0 0 19 1 0 0 20 0 1 0 142092091 89432064 4294 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 21834 4294 2144 2834 0 4586 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87336 KiB
Current children cumulated memory: 17176 KiB

[startup+0.313155 s]*
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=121101880/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=91432 memory=19908 CPUtime=0.3 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 3635 0 0 0 29 1 0 0 20 0 1 0 142092091 93626368 4977 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 22858 4977 2144 2834 0 5610 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91432 KiB
Current children cumulated memory: 19908 KiB

[startup+0.700291 s]
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=120864696/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=156624 memory=76708 CPUtime=0.68 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 9059 0 0 0 64 4 0 0 20 0 1 0 142092091 160382976 19177 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 39156 19177 2240 2834 0 21361 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156624 KiB
Current children cumulated memory: 76708 KiB

[startup+1.50031 s]
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=120744988/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=282248 memory=202824 CPUtime=1.48 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 30996 0 0 0 138 10 0 0 20 0 1 0 142092091 289021952 50706 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 70562 50706 4000 2834 0 52767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 282248 KiB
Current children cumulated memory: 202824 KiB

[startup+3.11311 s]
/proc/loadavg: 4.12 4.12 4.10 5/253 125486
/proc/meminfo: memFree=120664216/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=359764 memory=263104 CPUtime=3.08 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 44012 0 0 0 295 13 0 0 20 0 1 0 142092091 368398336 65776 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 89941 65776 4064 2834 0 72146 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 359764 KiB
Current children cumulated memory: 263104 KiB

[startup+6.3003 s]
/proc/loadavg: 4.11 4.11 4.10 5/253 125486
/proc/meminfo: memFree=120519488/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=424680 memory=323548 CPUtime=6.26 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 55243 0 0 0 611 15 0 0 20 0 1 0 142092091 434872320 80887 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 106170 80887 4224 2834 0 88375 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 424680 KiB
Current children cumulated memory: 323548 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.10 5/253 125486
/proc/meminfo: memFree=119935988/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=490812 memory=388288 CPUtime=12.64 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 61273 0 0 0 1247 17 0 0 20 0 1 0 142092091 502591488 97072 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 122703 97072 4224 2834 0 104908 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 490812 KiB
Current children cumulated memory: 388288 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.10 5/253 125486
/proc/meminfo: memFree=119927540/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=501384 memory=400376 CPUtime=25.41 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 62257 0 0 0 2524 17 0 0 20 0 1 0 142092091 513417216 100094 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 125346 100094 4224 2834 0 107551 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 501384 KiB
Current children cumulated memory: 400376 KiB

[startup+51.1128 s]
/proc/loadavg: 4.11 4.11 4.10 5/252 125487
/proc/meminfo: memFree=119923888/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=556980 memory=455544 CPUtime=50.96 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 76021 0 0 0 5076 20 0 0 20 0 1 0 142092091 570347520 113886 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 139245 113886 4256 2834 0 121450 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 556980 KiB
Current children cumulated memory: 455544 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 125490
/proc/meminfo: memFree=119619828/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=556980 memory=456184 CPUtime=101.98 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 76156 0 0 0 10178 20 0 0 20 0 1 0 142092091 570347520 114046 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 139245 114046 4256 2834 0 121450 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 556980 KiB
Current children cumulated memory: 456184 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/253 125492
/proc/meminfo: memFree=119267472/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=575368 memory=471928 CPUtime=161.78 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 80160 0 0 0 16157 21 0 0 20 0 1 0 142092091 589176832 117982 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 143842 117982 4256 2834 0 126047 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 575368 KiB
Current children cumulated memory: 471928 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 125494
/proc/meminfo: memFree=119004528/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=630144 memory=526220 CPUtime=221.56 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 93330 0 0 0 22133 23 0 0 20 0 1 0 142092091 645267456 131555 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 157536 131555 4256 2834 0 139741 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 630144 KiB
Current children cumulated memory: 526220 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 125496
/proc/meminfo: memFree=118942980/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=640336 memory=538708 CPUtime=281.33 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 94453 0 0 0 28110 23 0 0 20 0 1 0 142092091 655704064 134677 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 160084 134677 4256 2834 0 142289 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 640336 KiB
Current children cumulated memory: 538708 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 125586
/proc/meminfo: memFree=114700104/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=963692 memory=851024 CPUtime=341.15 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 110042 0 0 0 33982 133 0 0 20 0 1 0 142092091 986820608 212756 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 240923 212756 4448 2834 0 223128 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 963692 KiB
Current children cumulated memory: 851024 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 125590
/proc/meminfo: memFree=113344624/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=1430068 memory=1208872 CPUtime=400.99 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 159661 0 0 0 39872 227 0 0 20 0 1 0 142092091 1464389632 302218 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 357517 302218 4448 2834 0 339722 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1430068 KiB
Current children cumulated memory: 1208872 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/249 125592
/proc/meminfo: memFree=113026344/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=1588816 memory=1400204 CPUtime=460.82 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 192711 0 0 0 45795 287 0 0 20 0 1 0 142092091 1626947584 350051 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 397204 350051 4448 2834 0 379409 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 3490276 KiB

[startup+2922.3 s]
/proc/loadavg: 1.10 1.49 2.19 2/233 125937
/proc/meminfo: memFree=119935448/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=3767592 memory=3508964 CPUtime=2913.03 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 457754 0 0 0 289011 2292 0 0 20 0 1 0 142092091 3858014208 877241 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 941898 877241 4448 2834 0 924103 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 3767592 KiB
Current children cumulated memory: 3508964 KiB

[startup+2982.3 s]
/proc/loadavg: 1.08 1.41 2.12 2/233 125939
/proc/meminfo: memFree=119876644/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=3774012 memory=3570440 CPUtime=2972.81 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 460893 0 0 0 294935 2346 0 0 20 0 1 0 142092091 3864588288 892610 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 943503 892610 4448 2834 0 925708 0
Current children cumulated CPU time: 2972.81 s
Current children cumulated vsize: 3774012 KiB
Current children cumulated memory: 3570440 KiB

[startup+3042.3 s]
/proc/loadavg: 1.15 1.37 2.06 2/232 125941
/proc/meminfo: memFree=119836968/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=3774012 memory=3594504 CPUtime=3032.6 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 461034 0 0 0 300876 2384 0 0 20 0 1 0 142092091 3864588288 898626 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 943503 898626 4448 2834 0 925708 0
Current children cumulated CPU time: 3032.6 s
Current children cumulated vsize: 3774012 KiB
Current children cumulated memory: 3594504 KiB

[startup+3102.3 s]
/proc/loadavg: 1.05 1.30 1.99 2/233 125948
/proc/meminfo: memFree=119810376/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=3775804 memory=3623688 CPUtime=3092.4 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 461726 0 0 0 306806 2434 0 0 20 0 1 0 142092091 3866423296 905922 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 943951 905922 4448 2834 0 926156 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 3775804 KiB
Current children cumulated memory: 3623688 KiB

[startup+3162.3 s]
/proc/loadavg: 1.06 1.26 1.93 2/233 125950
/proc/meminfo: memFree=119702628/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4731304 memory=3718164 CPUtime=3152.19 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 467964 0 0 0 312746 2473 0 0 20 0 1 0 142092091 4844855296 929541 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1182826 929541 4448 2834 0 1165031 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 4731304 KiB
Current children cumulated memory: 3718164 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.24 1.88 2/232 125952
/proc/meminfo: memFree=119663888/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4731304 memory=3742484 CPUtime=3211.96 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 468189 0 0 0 318696 2500 0 0 20 0 1 0 142092091 4844855296 935621 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1182826 935621 4448 2834 0 1165031 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 4731304 KiB
Current children cumulated memory: 3742484 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.21 1.83 2/232 125954
/proc/meminfo: memFree=119578264/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4775612 memory=3827644 CPUtime=3271.77 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 474143 0 0 0 324640 2537 0 0 20 0 1 0 142092091 4890226688 956911 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1193903 956911 4448 2834 0 1176108 0
Current children cumulated CPU time: 3271.77 s
Current children cumulated vsize: 4775612 KiB
Current children cumulated memory: 3827644 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.18 1.78 2/232 125956
/proc/meminfo: memFree=119548704/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4775612 memory=3854396 CPUtime=3331.55 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 474159 0 0 0 330577 2578 0 0 20 0 1 0 142092091 4890226688 963599 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1193903 963599 4448 2834 0 1176108 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 4775612 KiB
Current children cumulated memory: 3854396 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.16 1.73 2/231 125958
/proc/meminfo: memFree=119490276/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4847556 memory=3905996 CPUtime=3391.35 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 483829 0 0 0 336526 2609 0 0 20 0 1 0 142092091 4963897344 976499 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1211889 976499 4448 2834 0 1194094 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 4847556 KiB
Current children cumulated memory: 3905996 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.15 1.69 2/231 125960
/proc/meminfo: memFree=119493256/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4847556 memory=3905996 CPUtime=3451.15 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 483843 0 0 0 342483 2632 0 0 20 0 1 0 142092091 4963897344 976499 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1211889 976499 4448 2834 0 1194094 0
Current children cumulated CPU time: 3451.15 s
Current children cumulated vsize: 4847556 KiB
Current children cumulated memory: 3905996 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.13 1.65 2/232 125965
/proc/meminfo: memFree=119495640/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4847556 memory=3905996 CPUtime=3510.93 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 484026 0 0 0 348452 2641 0 0 20 0 1 0 142092091 4963897344 976499 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1211889 976499 4448 2834 0 1194094 0
Current children cumulated CPU time: 3510.93 s
Current children cumulated vsize: 4847556 KiB
Current children cumulated memory: 3905996 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.12 1.61 2/233 125979
/proc/meminfo: memFree=119443576/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=4854468 memory=3962920 CPUtime=3570.73 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 485288 0 0 0 354408 2665 0 0 20 0 1 0 142092091 4970975232 990730 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1213617 990730 4448 2834 0 1195822 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 4854468 KiB
Current children cumulated memory: 3962920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 1.45 1.20 1.63 2/233 125981
/proc/meminfo: memFree=119277808/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=5047504 memory=4124548 CPUtime=3600.02 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 510890 0 0 0 357306 2696 0 0 20 0 1 0 142092091 5168644096 1031137 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1261876 1031137 4448 2834 0 1244081 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5047504 KiB
Current children cumulated memory: 4124548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.07 s, system=26.9958 s

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

[startup+3611.7 s]
/proc/loadavg: 1.45 1.20 1.63 2/233 125981
/proc/meminfo: memFree=119277808/131382116 swapFree=33010684/33010684
[pid=125485] ppid=125482 vsize=5047504 memory=4124548 CPUtime=3600.02 cores=0,2
/proc/125485/stat : 125485 (mixed-bag) R 125482 125485 124637 0 -1 4194304 510890 0 0 0 357306 2696 0 0 20 0 1 0 142092091 5168644096 1031137 18446744073709551615 4235264 15840557 140720398756896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33259520 140720398760346 140720398760423 140720398760423 140720398766027 0
/proc/125485/statm: 1261876 1031137 4448 2834 0 1244081 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5047504 KiB
Current children cumulated memory: 4124548 KiB

Child status: 0

Real time (s): 3611.73
CPU time (s): 3600.07
CPU user time (s): 3573.07
CPU system time (s): 26.9958
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 5047504
Max. memory (cumulated for all children) (KiB): 4124548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.07
system time used= 26.9958
maximum resident set size= 4125060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510918
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= 542
involuntary context switches= 7992


# summary of solver processes directly reported to runsolver:
#   pid: 125485
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3573.07
#   total CPU system time (s): 26.9958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0642 second user time and 34.8547 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-11 22:02:04
IDJOB=4529251
IDBENCH=178608
IDSOLVER=3386
FILE ID=nodeC011/4529251-1752264124
RUNJOBID= nodeC011-1752256869-124647
SLURM_JOB_ID= 9682605
Free space on /tmp= 430080 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529251-1752264124/watcher-4529251-1752264124 -o /tmp/evaluation-result-4529251-1752264124/solver-4529251-1752264124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124647 --watchdog 3760  mixed-bag HOME/instance-4529251-1752264124.opb

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

MD5SUM BENCH= b3caef0af1778b7e481a62fab9deebc2
RANDOM SEED=320642171

nodeC011 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	: 0xb00001f
cpu MHz		: 1197.292
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3691.628
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 2992.477
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3664.873
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3492.098
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.696
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.639
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        121211104 kB
MemAvailable:   127698144 kB
Buffers:            3276 kB
Cached:          7257084 kB
SwapCached:            0 kB
Active:          2626796 kB
Inactive:        6811588 kB
Active(anon):    2193908 kB
Inactive(anon):     2076 kB
Active(file):     432888 kB
Inactive(file):  6809512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             82360 kB
Writeback:             0 kB
AnonPages:       2181224 kB
Mapped:           138552 kB
Shmem:             17960 kB
KReclaimable:     168152 kB
Slab:             257820 kB
SReclaimable:     168152 kB
SUnreclaim:        89668 kB
KernelStack:        4080 kB
PageTables:         7604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2639348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430128 MiB
End job on nodeC011 at 2025-07-11 23:02:16