Trace number 4528852

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.09 3612.04

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUM46c70d7f28752ee0ae29660ce5b35655
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7149108224
Best CPU time to get the best result obtained on this benchmark72002.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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.24	c [STEP] preprocessing with Papilo
2.58/2.63	c [STEP] solving with SCIP
301.79/302.87	c [STEP] preprocessing done, loading into solver
301.89/302.92	c [STEP] solving
301.89/302.92	c #variables 67061 #constraints 5184
301.89/302.93	c SMALL=long long, LARGE=int128
301.89/302.93	d SCIPUB 70769414094849
301.89/302.93	c bounds - >= 0 @ 301.703
301.89/302.93	c stratification level: 346281738240
640.88/643.01	c #Conflicts:       1000 | #Constraints:       6183
640.88/643.01	c #Conflicts:       2000 | #Constraints:       7183
640.88/643.01	c INPROCESSING
640.88/643.01	c #Conflicts:       3000 | #Constraints:       7340
640.88/643.01	c #Conflicts:       4000 | #Constraints:       8340
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:       5000 | #Constraints:       8009
640.88/643.01	c #Conflicts:       6000 | #Constraints:       9009
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:       7000 | #Constraints:       8198
640.88/643.01	c #Conflicts:       8000 | #Constraints:       9198
640.88/643.01	c #Conflicts:       9000 | #Constraints:      10198
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      10000 | #Constraints:       9027
640.88/643.01	c #Conflicts:      11000 | #Constraints:      10027
640.88/643.01	c #Conflicts:      12000 | #Constraints:      11027
640.88/643.01	c #Conflicts:      13000 | #Constraints:      12027
640.88/643.01	c #Conflicts:      14000 | #Constraints:      13027
640.88/643.01	c #Conflicts:      15000 | #Constraints:      14027
640.88/643.01	c #Conflicts:      16000 | #Constraints:      15027
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      17000 | #Constraints:      11478
640.88/643.01	c #Conflicts:      18000 | #Constraints:      12478
640.88/643.01	c #Conflicts:      19000 | #Constraints:      13478
640.88/643.01	c #Conflicts:      20000 | #Constraints:      14478
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      21000 | #Constraints:      11335
640.88/643.01	c #Conflicts:      22000 | #Constraints:      12335
640.88/643.01	c #Conflicts:      23000 | #Constraints:      13335
640.88/643.01	c #Conflicts:      24000 | #Constraints:      14335
640.88/643.01	c #Conflicts:      25000 | #Constraints:      15335
640.88/643.01	c #Conflicts:      26000 | #Constraints:      16335
640.88/643.01	c #Conflicts:      27000 | #Constraints:      17335
640.88/643.01	c #Conflicts:      28000 | #Constraints:      18335
640.88/643.01	c #Conflicts:      29000 | #Constraints:      19335
640.88/643.01	c #Conflicts:      30000 | #Constraints:      20335
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      31000 | #Constraints:      14411
640.88/643.01	c #Conflicts:      32000 | #Constraints:      15411
640.88/643.01	c #Conflicts:      33000 | #Constraints:      16411
640.88/643.01	c #Conflicts:      34000 | #Constraints:      17411
640.88/643.01	c #Conflicts:      35000 | #Constraints:      18411
640.88/643.01	c #Conflicts:      36000 | #Constraints:      19411
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      37000 | #Constraints:      14335
640.88/643.01	c #Conflicts:      38000 | #Constraints:      15335
640.88/643.01	c #Conflicts:      39000 | #Constraints:      16335
640.88/643.01	c #Conflicts:      40000 | #Constraints:      17335
640.88/643.01	c #Conflicts:      41000 | #Constraints:      18335
640.88/643.01	c #Conflicts:      42000 | #Constraints:      19335
640.88/643.01	c #Conflicts:      43000 | #Constraints:      20335
640.88/643.01	c #Conflicts:      44000 | #Constraints:      21335
640.88/643.01	c #Conflicts:      45000 | #Constraints:      22335
640.88/643.01	c #Conflicts:      46000 | #Constraints:      23335
640.88/643.01	c #Conflicts:      47000 | #Constraints:      24335
640.88/643.01	c #Conflicts:      48000 | #Constraints:      25335
640.88/643.01	c #Conflicts:      49000 | #Constraints:      26335
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      50000 | #Constraints:      17667
640.88/643.01	c #Conflicts:      51000 | #Constraints:      18667
640.88/643.01	c #Conflicts:      52000 | #Constraints:      19667
640.88/643.01	c #Conflicts:      53000 | #Constraints:      20667
640.88/643.01	c #Conflicts:      54000 | #Constraints:      21667
640.88/643.01	c #Conflicts:      55000 | #Constraints:      22667
640.88/643.01	c #Conflicts:      56000 | #Constraints:      23667
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      57000 | #Constraints:      16580
640.88/643.01	c #Conflicts:      58000 | #Constraints:      17580
640.88/643.01	c #Conflicts:      59000 | #Constraints:      18580
640.88/643.01	c #Conflicts:      60000 | #Constraints:      19580
640.88/643.01	c #Conflicts:      61000 | #Constraints:      20580
640.88/643.01	c #Conflicts:      62000 | #Constraints:      21580
640.88/643.01	c #Conflicts:      63000 | #Constraints:      22580
640.88/643.01	c #Conflicts:      64000 | #Constraints:      23580
640.88/643.01	c #Conflicts:      65000 | #Constraints:      24580
640.88/643.01	c #Conflicts:      66000 | #Constraints:      25580
640.88/643.01	c #Conflicts:      67000 | #Constraints:      26580
640.88/643.01	c #Conflicts:      68000 | #Constraints:      27580
640.88/643.01	c #Conflicts:      69000 | #Constraints:      28580
640.88/643.01	c #Conflicts:      70000 | #Constraints:      29580
640.88/643.01	c #Conflicts:      71000 | #Constraints:      30580
640.88/643.01	c #Conflicts:      72000 | #Constraints:      31580
640.88/643.01	c INPROCESSING
640.88/643.01	c GARBAGE COLLECT
640.88/643.01	c #Conflicts:      73000 | #Constraints:      20665
1513.00/1518.10	c #Conflicts:      74000 | #Constraints:      21665
1513.00/1518.10	c #Conflicts:      75000 | #Constraints:      22665
1513.00/1518.10	c #Conflicts:      76000 | #Constraints:      23665
1513.00/1518.10	c #Conflicts:      77000 | #Constraints:      24665
1513.00/1518.10	c #Conflicts:      78000 | #Constraints:      25665
1513.00/1518.10	c #Conflicts:      79000 | #Constraints:      26665
1513.00/1518.10	c #Conflicts:      80000 | #Constraints:      27665
1513.00/1518.10	c INPROCESSING
1513.00/1518.10	c GARBAGE COLLECT
1513.00/1518.10	c #Conflicts:      81000 | #Constraints:      18706
1513.00/1518.10	c #Conflicts:      82000 | #Constraints:      19706
1513.00/1518.10	c #Conflicts:      83000 | #Constraints:      20706
1513.00/1518.10	c #Conflicts:      84000 | #Constraints:      21706
1513.00/1518.10	c #Conflicts:      85000 | #Constraints:      22706
1513.00/1518.10	c #Conflicts:      86000 | #Constraints:      23706
1513.00/1518.10	c #Conflicts:      87000 | #Constraints:      24706
1513.00/1518.10	c #Conflicts:      88000 | #Constraints:      25706
1513.00/1518.10	c #Conflicts:      89000 | #Constraints:      26706
1513.00/1518.10	c #Conflicts:      90000 | #Constraints:      27706
1513.00/1518.10	c #Conflicts:      91000 | #Constraints:      28706
1513.00/1518.10	c #Conflicts:      92000 | #Constraints:      29706
1513.00/1518.10	c #Conflicts:      93000 | #Constraints:      30706
1513.00/1518.10	c #Conflicts:      94000 | #Constraints:      31706
1513.00/1518.10	c #Conflicts:      95000 | #Constraints:      32706
1513.00/1518.10	c #Conflicts:      96000 | #Constraints:      33706
1513.00/1518.10	c #Conflicts:      97000 | #Constraints:      34706
1513.00/1518.10	c #Conflicts:      98000 | #Constraints:      35706
1513.00/1518.10	c #Conflicts:      99000 | #Constraints:      36706
1513.00/1518.10	c #Conflicts:     100000 | #Constraints:      37706
1513.00/1518.10	c INPROCESSING
1513.00/1518.10	c GARBAGE COLLECT
1513.00/1518.10	c #Conflicts:     101000 | #Constraints:      24295
1513.00/1518.10	c #Conflicts:     102000 | #Constraints:      25295
1513.00/1518.10	c #Conflicts:     103000 | #Constraints:      26295
1513.00/1518.10	c #Conflicts:     104000 | #Constraints:      27295
1513.00/1518.10	c #Conflicts:     105000 | #Constraints:      28295
1513.00/1518.10	c #Conflicts:     106000 | #Constraints:      29295
1513.00/1518.10	c #Conflicts:     107000 | #Constraints:      30295
1513.00/1518.10	c #Conflicts:     108000 | #Constraints:      31295
1513.00/1518.10	c #Conflicts:     109000 | #Constraints:      32295
1513.00/1518.10	c INPROCESSING
1513.00/1518.10	c GARBAGE COLLECT
1513.00/1518.10	c #Conflicts:     110000 | #Constraints:      21484
1513.00/1518.10	c #Conflicts:     111000 | #Constraints:      22484
1513.00/1518.10	c #Conflicts:     112000 | #Constraints:      23484
1513.00/1518.10	c #Conflicts:     113000 | #Constraints:      24484
1513.00/1518.10	c #Conflicts:     114000 | #Constraints:      25484
1513.00/1518.10	c #Conflicts:     115000 | #Constraints:      26484
1513.00/1518.10	c #Conflicts:     116000 | #Constraints:      27484
1513.00/1518.10	c #Conflicts:     117000 | #Constraints:      28484
1513.00/1518.10	c #Conflicts:     118000 | #Constraints:      29484
1513.00/1518.10	c INPROCESSING
1513.00/1518.10	c GARBAGE COLLECT
1513.00/1518.10	c #Conflicts:     119000 | #Constraints:      19681
1513.00/1518.10	c #Conflicts:     120000 | #Constraints:      20681
1513.00/1518.10	c #Conflicts:     121000 | #Constraints:      21681
1513.00/1518.10	c #Conflicts:     122000 | #Constraints:      22681
1513.00/1518.10	c #Conflicts:     123000 | #Constraints:      23681
1513.00/1518.10	c #Conflicts:     124000 | #Constraints:      24681
1513.00/1518.10	c #Conflicts:     125000 | #Constraints:      25681
1513.00/1518.10	c #Conflicts:     126000 | #Constraints:      26681
1513.00/1518.10	c #Conflicts:     127000 | #Constraints:      27681
1513.00/1518.10	c #Conflicts:     128000 | #Constraints:      28681
1513.00/1518.10	c #Conflicts:     129000 | #Constraints:      29681
1513.00/1518.10	c #Conflicts:     130000 | #Constraints:      30681
1513.00/1518.10	c #Conflicts:     131000 | #Constraints:      31681
1513.00/1518.10	c #Conflicts:     132000 | #Constraints:      32681
1513.00/1518.10	c #Conflicts:     133000 | #Constraints:      33681
1513.00/1518.10	c #Conflicts:     134000 | #Constraints:      34681
1513.00/1518.10	c #Conflicts:     135000 | #Constraints:      35681
1513.00/1518.10	c #Conflicts:     136000 | #Constraints:      36681
1513.00/1518.10	c #Conflicts:     137000 | #Constraints:      37681
1513.00/1518.10	c #Conflicts:     138000 | #Constraints:      38681
1513.00/1518.10	c #Conflicts:     139000 | #Constraints:      39681
1513.00/1518.10	c #Conflicts:     140000 | #Constraints:      40681
1513.00/1518.10	c #Conflicts:     141000 | #Constraints:      41681
1513.00/1518.10	c #Conflicts:     142000 | #Constraints:      42681
1513.00/1518.10	c INPROCESSING
1513.00/1518.10	c GARBAGE COLLECT
1513.00/1518.10	c #Conflicts:     143000 | #Constraints:      26760
1513.00/1518.10	c #Conflicts:     144000 | #Constraints:      27760
1513.00/1518.10	c #Conflicts:     145000 | #Constraints:      28760
1513.00/1518.10	c #Conflicts:     146000 | #Constraints:      29760
1513.00/1518.10	c #Conflicts:     147000 | #Constraints:      30760
1513.00/1518.10	c #Conflicts:     148000 | #Constraints:      31760
2567.99/2576.54	c #Conflicts:     149000 | #Constraints:      32760
2567.99/2576.54	c #Conflicts:     150000 | #Constraints:      33760
2567.99/2576.54	c #Conflicts:     151000 | #Constraints:      34760
2567.99/2576.54	c #Conflicts:     152000 | #Constraints:      35760
2567.99/2576.54	c #Conflicts:     153000 | #Constraints:      36760
2567.99/2576.54	c INPROCESSING
2567.99/2576.54	c GARBAGE COLLECT
2567.99/2576.54	c #Conflicts:     154000 | #Constraints:      23861
2567.99/2576.54	c #Conflicts:     155000 | #Constraints:      24861
2567.99/2576.54	c #Conflicts:     156000 | #Constraints:      25861
2567.99/2576.54	c #Conflicts:     157000 | #Constraints:      26861
2567.99/2576.54	c #Conflicts:     158000 | #Constraints:      27861
2567.99/2576.54	c #Conflicts:     159000 | #Constraints:      28861
2567.99/2576.54	c #Conflicts:     160000 | #Constraints:      29861
2567.99/2576.54	c #Conflicts:     161000 | #Constraints:      30861
2567.99/2576.54	c #Conflicts:     162000 | #Constraints:      31861
2567.99/2576.54	c #Conflicts:     163000 | #Constraints:      32861
2567.99/2576.54	c INPROCESSING
2567.99/2576.54	c GARBAGE COLLECT
2567.99/2576.54	c #Conflicts:     164000 | #Constraints:      21605
2567.99/2576.54	c #Conflicts:     165000 | #Constraints:      22605
2567.99/2576.54	c #Conflicts:     166000 | #Constraints:      23605
2567.99/2576.54	c #Conflicts:     167000 | #Constraints:      24605
2567.99/2576.54	c #Conflicts:     168000 | #Constraints:      25605
2567.99/2576.54	c #Conflicts:     169000 | #Constraints:      26605
2567.99/2576.54	c #Conflicts:     170000 | #Constraints:      27605
2567.99/2576.54	c #Conflicts:     171000 | #Constraints:      28605
2567.99/2576.54	c #Conflicts:     172000 | #Constraints:      29605
2567.99/2576.54	c #Conflicts:     173000 | #Constraints:      30605
2567.99/2576.54	c #Conflicts:     174000 | #Constraints:      31605
2567.99/2576.54	c #Conflicts:     175000 | #Constraints:      32605
2567.99/2576.54	c #Conflicts:     176000 | #Constraints:      33605
2567.99/2576.54	c #Conflicts:     177000 | #Constraints:      34605
2567.99/2576.54	c #Conflicts:     178000 | #Constraints:      35605
2567.99/2576.54	c #Conflicts:     179000 | #Constraints:      36605
2567.99/2576.54	c #Conflicts:     180000 | #Constraints:      37605
2567.99/2576.54	c #Conflicts:     181000 | #Constraints:      38605
2567.99/2576.54	c #Conflicts:     182000 | #Constraints:      39605
2567.99/2576.54	c #Conflicts:     183000 | #Constraints:      40605
2567.99/2576.54	c #Conflicts:     184000 | #Constraints:      41605
2567.99/2576.54	c #Conflicts:     185000 | #Constraints:      42605
2567.99/2576.54	c #Conflicts:     186000 | #Constraints:      43605
2567.99/2576.54	c #Conflicts:     187000 | #Constraints:      44605
2567.99/2576.54	c #Conflicts:     188000 | #Constraints:      45605
2567.99/2576.54	c #Conflicts:     189000 | #Constraints:      46605
2567.99/2576.54	c #Conflicts:     190000 | #Constraints:      47605
2567.99/2576.54	c #Conflicts:     191000 | #Constraints:      48605
2567.99/2576.54	c INPROCESSING
2567.99/2576.54	c GARBAGE COLLECT
2567.99/2576.54	c #Conflicts:     192000 | #Constraints:      29593
2567.99/2576.54	c #Conflicts:     193000 | #Constraints:      30593
2567.99/2576.54	c #Conflicts:     194000 | #Constraints:      31593
2567.99/2576.54	c #Conflicts:     195000 | #Constraints:      32593
2567.99/2576.54	c #Conflicts:     196000 | #Constraints:      33593
2567.99/2576.54	c #Conflicts:     197000 | #Constraints:      34593
2567.99/2576.54	c #Conflicts:     198000 | #Constraints:      35593
2567.99/2576.54	c #Conflicts:     199000 | #Constraints:      36593
2567.99/2576.54	c #Conflicts:     200000 | #Constraints:      37593
2567.99/2576.54	c #Conflicts:     201000 | #Constraints:      38593
2567.99/2576.54	c #Conflicts:     202000 | #Constraints:      39593
2567.99/2576.54	c #Conflicts:     203000 | #Constraints:      40593
2567.99/2576.54	c #Conflicts:     204000 | #Constraints:      41593
2567.99/2576.54	c INPROCESSING
2567.99/2576.54	c GARBAGE COLLECT
2567.99/2576.54	c #Conflicts:     205000 | #Constraints:      26633
2567.99/2576.54	c #Conflicts:     206000 | #Constraints:      27633
2567.99/2576.54	c #Conflicts:     207000 | #Constraints:      28633
2567.99/2576.54	c #Conflicts:     208000 | #Constraints:      29633
2567.99/2576.54	c #Conflicts:     209000 | #Constraints:      30633
2567.99/2576.54	c #Conflicts:     210000 | #Constraints:      31633
2567.99/2576.54	c #Conflicts:     211000 | #Constraints:      32633
2567.99/2576.54	c #Conflicts:     212000 | #Constraints:      33633
2567.99/2576.54	c #Conflicts:     213000 | #Constraints:      34633
2567.99/2576.54	c #Conflicts:     214000 | #Constraints:      35633
2567.99/2576.54	c #Conflicts:     215000 | #Constraints:      36633
2567.99/2576.54	c #Conflicts:     216000 | #Constraints:      37633
2567.99/2576.54	c INPROCESSING
2567.99/2576.54	c GARBAGE COLLECT
2567.99/2576.54	c #Conflicts:     217000 | #Constraints:      24241
2567.99/2576.54	c #Conflicts:     218000 | #Constraints:      25241
2567.99/2576.54	c #Conflicts:     219000 | #Constraints:      26241
2567.99/2576.54	c #Conflicts:     220000 | #Constraints:      27241
2567.99/2576.54	c #Conflicts:     221000 | #Constraints:      28241
2567.99/2576.54	c #Conflicts:     222000 | #Constraints:      29241
2567.99/2576.54	c #Conflicts:     223000 | #Constraints:      30241
2567.99/2576.54	c #Conflicts:     224000 | #Constraints:      31241
3600.04/3612.00	c #Conflicts:     225000 | #Constraints:      32241
3600.04/3612.00	c #Conflicts:     226000 | #Constraints:      33241
3600.04/3612.00	c #Conflicts:     227000 | #Constraints:      34241
3600.04/3612.00	c #Conflicts:     228000 | #Constraints:      35241
3600.04/3612.00	c #Conflicts:     229000 | #Constraints:      36241
3600.04/3612.00	c #Conflicts:     230000 | #Constraints:      37241
3600.04/3612.00	c #Conflicts:     231000 | #Constraints:      38241
3600.04/3612.00	c #Conflicts:     232000 | #Constraints:      39241
3600.04/3612.00	c #Conflicts:     233000 | #Constraints:      40241
3600.04/3612.00	c #Conflicts:     234000 | #Constraints:      41241
3600.04/3612.00	c #Conflicts:     235000 | #Constraints:      42241
3600.04/3612.00	c #Conflicts:     236000 | #Constraints:      43241
3600.04/3612.00	c #Conflicts:     237000 | #Constraints:      44241
3600.04/3612.00	c #Conflicts:     238000 | #Constraints:      45241
3600.04/3612.00	c #Conflicts:     239000 | #Constraints:      46241
3600.04/3612.00	c #Conflicts:     240000 | #Constraints:      47241
3600.04/3612.00	c #Conflicts:     241000 | #Constraints:      48241
3600.04/3612.00	c #Conflicts:     242000 | #Constraints:      49241
3600.04/3612.00	c #Conflicts:     243000 | #Constraints:      50241
3600.04/3612.00	c #Conflicts:     244000 | #Constraints:      51241
3600.04/3612.00	c #Conflicts:     245000 | #Constraints:      52241
3600.04/3612.00	c #Conflicts:     246000 | #Constraints:      53241
3600.04/3612.00	c #Conflicts:     247000 | #Constraints:      54241
3600.04/3612.00	c #Conflicts:     248000 | #Constraints:      55241
3600.04/3612.00	c INPROCESSING
3600.04/3612.00	c GARBAGE COLLECT
3600.04/3612.00	c #Conflicts:     249000 | #Constraints:      33232
3600.04/3612.00	c #Conflicts:     250000 | #Constraints:      34232
3600.04/3612.00	c #Conflicts:     251000 | #Constraints:      35232
3600.04/3612.00	c #Conflicts:     252000 | #Constraints:      36232
3600.04/3612.00	c #Conflicts:     253000 | #Constraints:      37232
3600.04/3612.00	c #Conflicts:     254000 | #Constraints:      38232
3600.04/3612.00	c #Conflicts:     255000 | #Constraints:      39232
3600.04/3612.00	c #Conflicts:     256000 | #Constraints:      40232
3600.04/3612.00	c #Conflicts:     257000 | #Constraints:      41232
3600.04/3612.00	c #Conflicts:     258000 | #Constraints:      42232
3600.04/3612.00	c #Conflicts:     259000 | #Constraints:      43232
3600.04/3612.00	c #Conflicts:     260000 | #Constraints:      44232
3600.04/3612.00	c #Conflicts:     261000 | #Constraints:      45232
3600.04/3612.00	c #Conflicts:     262000 | #Constraints:      46232
3600.04/3612.00	c INPROCESSING
3600.04/3612.00	c GARBAGE COLLECT
3600.04/3612.00	c #Conflicts:     263000 | #Constraints:      28909
3600.04/3612.00	c #Conflicts:     264000 | #Constraints:      29909
3600.04/3612.00	c #Conflicts:     265000 | #Constraints:      30909
3600.04/3612.00	c #Conflicts:     266000 | #Constraints:      31909
3600.04/3612.00	c #Conflicts:     267000 | #Constraints:      32909
3600.04/3612.00	c #Conflicts:     268000 | #Constraints:      33909
3600.04/3612.00	c #Conflicts:     269000 | #Constraints:      34909
3600.04/3612.00	c #Conflicts:     270000 | #Constraints:      35909
3600.04/3612.00	c #Conflicts:     271000 | #Constraints:      36909
3600.04/3612.00	c #Conflicts:     272000 | #Constraints:      37909
3600.04/3612.00	c #Conflicts:     273000 | #Constraints:      38909
3600.04/3612.00	c Program interrupted by user.
3600.04/3612.00	c cpu time 3417.23 s
3600.04/3612.00	c deterministic time 318334383221 3.18e+11
3600.04/3612.00	c optimization time 116.772 s
3600.04/3612.00	c total solve time 2998.76 s
3600.04/3612.00	c core-guided solve time 2998.76 s
3600.04/3612.00	c propagation time 2863.77 s
3600.04/3612.00	c conflict analysis time 80.5891 s
3600.04/3612.00	c propagations 559832726
3600.04/3612.00	c resolve steps 463641
3600.04/3612.00	c decisions 258362392
3600.04/3612.00	c conflicts 273247
3600.04/3612.00	c restarts 637
3600.04/3612.00	c inprocessing phases 23
3600.04/3612.00	c input clauses 0
3600.04/3612.00	c input cardinalities 0
3600.04/3612.00	c input general constraints 5184
3600.04/3612.00	c input average constraint length 53.87
3600.04/3612.00	c input average constraint degree 138825164.31
3600.04/3612.00	c learned clauses 26631
3600.04/3612.00	c learned cardinalities 93
3600.04/3612.00	c learned general constraints 246523
3600.04/3612.00	c learned average constraint length 344.53
3600.04/3612.00	c learned average constraint degree 517261849.10
3600.04/3612.00	c watched constraints 218156
3600.04/3612.00	c counting constraints 33551
3600.04/3612.00	c gcd simplifications 37003
3600.04/3612.00	c detected cardinalities 75
3600.04/3612.00	c weakened non-implied lits 8410011
3600.04/3612.00	c weakened non-implying lits 549737
3600.04/3612.00	c original variables 107808
3600.04/3612.00	c clausal propagations 9280821
3600.04/3612.00	c cardinality propagations 5693
3600.04/3612.00	c watched propagations 482551820
3600.04/3612.00	c counting propagations 67922574
3600.04/3612.00	c watch lookups 46230014314
3600.04/3612.00	c watch backjump lookups 45087820752
3600.04/3612.00	c watch checks 160264640100
3600.04/3612.00	c propagation checks 64934818137
3600.04/3612.00	c constraint additions 180445385
3600.04/3612.00	c trail pops 818449414
3600.04/3612.00	c formula constraints 5184
3600.04/3612.00	c learned constraints 273247
3600.04/3612.00	c bound constraints 0
3600.04/3612.00	c core-guided constraints 0
3600.04/3612.00	c encountered formula constraints 220793
3600.04/3612.00	c encountered learned constraints 516095
3600.04/3612.00	c encountered bound constraints 0
3600.04/3612.00	c encountered core-guided constraints 0
3600.04/3612.00	c LP total time 0 s
3600.04/3612.00	c LP solve time 0 s
3600.04/3612.00	c LP constraints added 0
3600.04/3612.00	c LP constraints removed 0
3600.04/3612.00	c LP pivots internal 0
3600.04/3612.00	c LP pivots root 0
3600.04/3612.00	c LP calls 0
3600.04/3612.00	c LP optimalities 0
3600.04/3612.00	c LP no pivot count 0
3600.04/3612.00	c LP infeasibilities 0
3600.04/3612.00	c LP valid Farkas constraints 0
3600.04/3612.00	c LP learned Farkas constraints 0
3600.04/3612.00	c LP basis resets 0
3600.04/3612.00	c LP cycling count 0
3600.04/3612.00	c LP singular count 0
3600.04/3612.00	c LP no primal count 0
3600.04/3612.00	c LP no farkas count 0
3600.04/3612.00	c LP other issue count 0
3600.04/3612.00	c LP Gomory cuts 0
3600.04/3612.00	c LP learned cuts 0
3600.04/3612.00	c LP deleted cuts 0
3600.04/3612.00	c LP encountered Gomory constraints 0
3600.04/3612.00	c LP encountered Farkas constraints 0
3600.04/3612.00	c LP encountered learned Farkas constraints 0
3600.04/3612.00	c CG auxiliary variables introduced 0
3600.04/3612.00	c CG solutions found 0
3600.04/3612.00	c CG cores constructed 0
3600.04/3612.00	c CG core cardinality constraints returned 0
3600.04/3612.00	c CG unit cores 0
3600.04/3612.00	c CG single cores 0
3600.04/3612.00	c CG blocks removed during cardinality reduction 0
3600.04/3612.00	c CG first core best 0
3600.04/3612.00	c CG decision core best 0
3600.04/3612.00	c CG core reduction tie 0
3600.04/3612.00	c CG core degree average 0.00
3600.04/3612.00	c CG core slack average 0.00
3600.04/3612.00	c CG exhausted 0
3600.04/3612.00	c CG exhaust time 0 s
3600.04/3612.00	c CG trimmed 0
3600.04/3612.00	c CG trim time 0 s
3600.04/3612.00	c CG minimized 0
3600.04/3612.00	c CG minimize time 0 s
3600.04/3612.00	c CG am1 prop time 3.8e-05 s
3600.04/3612.00	c CG # am1s reformulated 0
3600.04/3612.00	c CG lower bound derived from am1s 0
3600.04/3612.00	c CG # clausal cores 0
3600.04/3612.00	c CG # cardinality cores 0
3600.04/3612.00	c CG # pb cores 0
3600.04/3612.00	c CG # pb reforms 0
3600.04/3612.00	c CG # cores discarded because of pb reform 0
3600.04/3612.00	d LOWERBOUND 0
3600.04/3612.00	d NCORES 0
3600.04/3612.00	d NPBCORES 0
3600.04/3612.00	d NPBREFORM 0
3600.04/3612.00	d NTRIMMED 0
3600.04/3612.00	d NEXHAUSTED 0
3600.04/3612.00	d NAM1S 0
3600.04/3612.00	d AM1LB 0
3600.04/3612.00	c [Papilo Statistics]
3600.04/3612.00	c prepro time 2.39136s
3600.04/3612.00	c # tsx applied 93446
3600.04/3612.00	c # tsx conflicts 0
3600.04/3612.00	c # bound changes 40716
3600.04/3612.00	c # side changes 0
3600.04/3612.00	c # coef changes 9024
3600.04/3612.00	c # rounds 5
3600.04/3612.00	c # deted vars 40748
3600.04/3612.00	c # deted constrs 0
3600.04/3612.00	c # consecutive rounds of only bound changes 0
3600.04/3612.02	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: 63708 MiB (59383 MiB free)
  memory of node 1: 64465 MiB (58818 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528852-1752255008/watcher-4528852-1752255008 -o /tmp/evaluation-result-4528852-1752255008/solver-4528852-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118202 --watchdog 3760 mixed-bag HOME/instance-4528852-1752255008.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
Starting watchdog thread
solver pid=118254, runsolver pid=118251
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120966516/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=109556 memory=38636 CPUtime=0.08 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 8600 0 0 0 7 1 0 0 20 0 1 0 141180277 112185344 9659 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 27389 9659 2176 2834 0 10141 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 38636 KiB

[startup+0.205808 s]*
/proc/loadavg: 0.75 1.56 2.44 6/266 118259
/proc/meminfo: memFree=120903324/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=117756 memory=41244 CPUtime=0.19 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 9720 0 0 0 17 2 0 0 20 0 1 0 141180277 120582144 10311 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 29439 10311 2176 2834 0 12191 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117756 KiB
Current children cumulated memory: 41244 KiB

[startup+0.305797 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120755332/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=179348 memory=94308 CPUtime=0.29 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 16216 0 0 0 26 3 0 0 20 0 1 0 141180277 183652352 23577 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 44837 23577 2336 2834 0 27042 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 179348 KiB
Current children cumulated memory: 94308 KiB

[startup+0.700164 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120710976/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=179348 memory=94308 CPUtime=0.67 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 16220 0 0 0 64 3 0 0 20 0 1 0 141180277 183652352 23577 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 44837 23577 2336 2834 0 27042 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 179348 KiB
Current children cumulated memory: 94308 KiB

[startup+1.50018 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120594992/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=181704 memory=96740 CPUtime=1.47 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 16836 0 0 0 144 3 0 0 20 0 1 0 141180277 186064896 24185 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 45426 24185 2336 2834 0 27631 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 181704 KiB
Current children cumulated memory: 96740 KiB

[startup+3.10572 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120272872/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=393276 memory=305152 CPUtime=3.08 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 64264 0 0 0 297 11 0 0 20 0 1 0 141180277 402714624 76288 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 98319 76288 4064 2834 0 80524 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 393276 KiB
Current children cumulated memory: 305152 KiB

[startup+6.30016 s]
/proc/loadavg: 1.09 1.62 2.46 5/266 118259
/proc/meminfo: memFree=119855008/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=861884 memory=644912 CPUtime=6.26 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 111806 0 0 0 606 20 0 0 20 0 1 0 141180277 882569216 161228 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 215471 161228 4256 2834 0 197676 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 861884 KiB
Current children cumulated memory: 644912 KiB

[startup+12.7002 s]
/proc/loadavg: 1.40 1.68 2.47 5/266 118259
/proc/meminfo: memFree=119751940/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=871720 memory=655280 CPUtime=12.64 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 114422 0 0 0 1243 21 0 0 20 0 1 0 141180277 892641280 163820 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 217930 163820 4256 2834 0 200135 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 871720 KiB
Current children cumulated memory: 655280 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 1.81 2.50 5/266 118259
/proc/meminfo: memFree=119646824/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=871720 memory=655408 CPUtime=25.41 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 114436 0 0 0 2520 21 0 0 20 0 1 0 141180277 892641280 163852 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 217930 163852 4256 2834 0 200135 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 871720 KiB
Current children cumulated memory: 655408 KiB

[startup+51.1057 s]
/proc/loadavg: 2.72 1.98 2.54 5/266 118260
/proc/meminfo: memFree=119529184/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=871720 memory=655408 CPUtime=50.95 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 114437 0 0 0 5074 21 0 0 20 0 1 0 141180277 892641280 163852 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 217930 163852 4256 2834 0 200135 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 871720 KiB
Current children cumulated memory: 655408 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.31 2.63 5/266 118261
/proc/meminfo: memFree=119188960/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=871720 memory=655408 CPUtime=101.99 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 114437 0 0 0 10178 21 0 0 20 0 1 0 141180277 892641280 163852 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 217930 163852 4256 2834 0 200135 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 871720 KiB
Current children cumulated memory: 655408 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.65 2.72 5/266 118263
/proc/meminfo: memFree=118941084/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=874432 memory=657584 CPUtime=161.79 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 115016 0 0 0 16157 22 0 0 20 0 1 0 141180277 895418368 164396 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 218608 164396 4256 2834 0 200813 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 874432 KiB
Current children cumulated memory: 657584 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.92 2.81 5/266 118265
/proc/meminfo: memFree=118656788/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=874432 memory=657584 CPUtime=221.58 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 115017 0 0 0 22136 22 0 0 20 0 1 0 141180277 895418368 164396 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 218608 164396 4256 2834 0 200813 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 874432 KiB
Current children cumulated memory: 657584 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.15 2.90 7/264 118267
/proc/meminfo: memFree=118501248/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=874432 memory=657584 CPUtime=281.37 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 115019 0 0 0 28115 22 0 0 20 0 1 0 141180277 895418368 164396 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 218608 164396 4256 2834 0 200813 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 874432 KiB
Current children cumulated memory: 657584 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.32 2.98 5/263 118270
/proc/meminfo: memFree=117935692/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=580872 memory=492032 CPUtime=341.17 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 116796 0 0 0 33395 722 0 0 20 0 1 0 141180277 594812928 123008 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 145218 123008 4480 2834 0 127423 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 580872 KiB
Current children cumulated memory: 492032 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.46 3.05 5/263 118272
/proc/meminfo: memFree=117204800/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=592548 memory=500704 CPUtime=400.97 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 117942 0 0 0 38652 1445 0 0 20 0 1 0 141180277 606769152 125176 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 148137 125176 4480 2834 0 130342 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 592548 KiB
Current children cumulated memory: 500704 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.59 3.12 5/263 118274
/proc/meminfo: memFree=116853184/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=592548 memory=508272 CPUtime=460.77 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 118316 0 0 0 44123 1954 0 0 20 0 1 0 141180277 606769152 127068 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 148137 127068 4480 2834 0 130342 0
Current children cumulated CPU time: 460.77 s

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

Current children cumulated memory: 577904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/263 118402
/proc/meminfo: memFree=108588228/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=577904 CPUtime=2852.84 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 120479 0 0 0 269849 15435 0 0 20 0 1 0 141180277 709042176 144476 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 144476 4480 2834 0 155311 0
Current children cumulated CPU time: 2852.84 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 577904 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 118404
/proc/meminfo: memFree=108511916/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=577904 CPUtime=2912.63 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 120487 0 0 0 275660 15603 0 0 20 0 1 0 141180277 709042176 144476 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 144476 4480 2834 0 155311 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 577904 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 118406
/proc/meminfo: memFree=108364976/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=584072 CPUtime=2972.43 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 120495 0 0 0 281479 15764 0 0 20 0 1 0 141180277 709042176 146018 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 146018 4480 2834 0 155311 0
Current children cumulated CPU time: 2972.43 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 584072 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118415
/proc/meminfo: memFree=108345024/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=588180 CPUtime=3032.24 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 120501 0 0 0 287298 15926 0 0 20 0 1 0 141180277 709042176 147045 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 147045 4480 2834 0 155311 0
Current children cumulated CPU time: 3032.24 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 588180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 118418
/proc/meminfo: memFree=108316108/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=594332 CPUtime=3092.03 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 120505 0 0 0 293124 16079 0 0 20 0 1 0 141180277 709042176 148583 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 148583 4480 2834 0 155311 0
Current children cumulated CPU time: 3092.03 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 594332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 118420
/proc/meminfo: memFree=108281256/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=606224 CPUtime=3151.83 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121449 0 0 0 298978 16205 0 0 20 0 1 0 141180277 709042176 151556 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 151556 4480 2834 0 155311 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 606224 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118422
/proc/meminfo: memFree=108228480/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=610588 CPUtime=3211.62 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121510 0 0 0 304822 16340 0 0 20 0 1 0 141180277 709042176 152647 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 152647 4480 2834 0 155311 0
Current children cumulated CPU time: 3211.62 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 610588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 118424
/proc/meminfo: memFree=108064828/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3271.43 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121548 0 0 0 310449 16694 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3271.43 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118427
/proc/meminfo: memFree=107983944/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3331.23 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121548 0 0 0 316158 16965 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 118429
/proc/meminfo: memFree=107947844/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3391.04 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121561 0 0 0 321881 17223 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3391.04 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 118431
/proc/meminfo: memFree=107784824/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3450.84 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121561 0 0 0 327632 17452 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 118433
/proc/meminfo: memFree=107734056/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3510.64 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121561 0 0 0 333256 17808 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118435
/proc/meminfo: memFree=107703192/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3570.44 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121561 0 0 0 338907 18137 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.13 4.12 4.09 4/260 118561
/proc/meminfo: memFree=120433312/131250000 swapFree=33009904/33010684
[pid=118254] ppid=118251 vsize=692424 memory=612796 CPUtime=3600.04 cores=5,7
/proc/118254/stat : 118254 (mixed-bag) R 118251 118254 118184 0 -1 4194304 121561 0 0 0 341723 18281 0 0 20 0 1 0 141180277 709042176 153199 18446744073709551615 4235264 15840557 140726819881680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53059584 140726819883418 140726819883495 140726819883495 140726819889099 0
/proc/118254/statm: 173106 153199 4480 2834 0 155311 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 692424 KiB
Current children cumulated memory: 612796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3417.25 s, system=182.84 s

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

Child status: 0

Real time (s): 3612.04
CPU time (s): 3600.09
CPU user time (s): 3417.25
CPU system time (s): 182.84
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 874432
Max. memory (cumulated for all children) (KiB): 657584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3417.25
system time used= 182.84
maximum resident set size= 657712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121590
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= 128
involuntary context switches= 3106


# summary of solver processes directly reported to runsolver:
#   pid: 118254
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3417.25
#   total CPU system time (s): 182.84

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.89829 second user time and 13.5118 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-11 19:30:09
IDJOB=4528852
IDBENCH=146784
IDSOLVER=3386
FILE ID=nodeC033/4528852-1752255008
RUNJOBID= nodeC033-1752255008-118202
SLURM_JOB_ID= 9682592
Free space on /tmp= 429748 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528852-1752255008/watcher-4528852-1752255008 -o /tmp/evaluation-result-4528852-1752255008/solver-4528852-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118202 --watchdog 3760  mixed-bag HOME/instance-4528852-1752255008.opb

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=1778446000

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121052340 kB
MemAvailable:   129672736 kB
Buffers:            2128 kB
Cached:          9342016 kB
SwapCached:           68 kB
Active:           788532 kB
Inactive:        8619848 kB
Active(anon):      77200 kB
Inactive(anon):     5388 kB
Active(file):     711332 kB
Inactive(file):  8614460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             75168 kB
Writeback:             0 kB
AnonPages:         67640 kB
Mapped:           105900 kB
Shmem:             18028 kB
KReclaimable:     267684 kB
Slab:             362768 kB
SReclaimable:     267684 kB
SUnreclaim:        95084 kB
KernelStack:        4024 kB
PageTables:         2736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     343948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429716 MiB
End job on nodeC033 at 2025-07-11 20:30:21