Trace number 4485311

Some explanations

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

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

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

Solver answer on this benchmark

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

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.18/0.25	c [STEP] preprocessing with Papilo
2.65/2.74	c [STEP] solving with SCIP
301.92/302.96	c [STEP] preprocessing done, loading into solver
302.02/303.02	c [STEP] solving
302.02/303.02	c #variables 67061 #constraints 5184
302.02/303.02	c SMALL=long long, LARGE=int128
302.02/303.02	d SCIPUB 70769414094849
302.02/303.03	c bounds - >= 0 @ 301.833
302.02/303.03	c stratification level: 346281738240
589.41/591.15	c #Conflicts:       1000 | #Constraints:       6183
589.41/591.15	c #Conflicts:       2000 | #Constraints:       7183
589.41/591.15	c INPROCESSING
589.41/591.15	c #Conflicts:       3000 | #Constraints:       7340
589.41/591.15	c #Conflicts:       4000 | #Constraints:       8340
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:       5000 | #Constraints:       8009
589.41/591.15	c #Conflicts:       6000 | #Constraints:       9009
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:       7000 | #Constraints:       8198
589.41/591.15	c #Conflicts:       8000 | #Constraints:       9198
589.41/591.15	c #Conflicts:       9000 | #Constraints:      10198
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      10000 | #Constraints:       9027
589.41/591.15	c #Conflicts:      11000 | #Constraints:      10027
589.41/591.15	c #Conflicts:      12000 | #Constraints:      11027
589.41/591.15	c #Conflicts:      13000 | #Constraints:      12027
589.41/591.15	c #Conflicts:      14000 | #Constraints:      13027
589.41/591.15	c #Conflicts:      15000 | #Constraints:      14027
589.41/591.15	c #Conflicts:      16000 | #Constraints:      15027
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      17000 | #Constraints:      11478
589.41/591.15	c #Conflicts:      18000 | #Constraints:      12478
589.41/591.15	c #Conflicts:      19000 | #Constraints:      13478
589.41/591.15	c #Conflicts:      20000 | #Constraints:      14478
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      21000 | #Constraints:      11335
589.41/591.15	c #Conflicts:      22000 | #Constraints:      12335
589.41/591.15	c #Conflicts:      23000 | #Constraints:      13335
589.41/591.15	c #Conflicts:      24000 | #Constraints:      14335
589.41/591.15	c #Conflicts:      25000 | #Constraints:      15335
589.41/591.15	c #Conflicts:      26000 | #Constraints:      16335
589.41/591.15	c #Conflicts:      27000 | #Constraints:      17335
589.41/591.15	c #Conflicts:      28000 | #Constraints:      18335
589.41/591.15	c #Conflicts:      29000 | #Constraints:      19335
589.41/591.15	c #Conflicts:      30000 | #Constraints:      20335
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      31000 | #Constraints:      14411
589.41/591.15	c #Conflicts:      32000 | #Constraints:      15411
589.41/591.15	c #Conflicts:      33000 | #Constraints:      16411
589.41/591.15	c #Conflicts:      34000 | #Constraints:      17411
589.41/591.15	c #Conflicts:      35000 | #Constraints:      18411
589.41/591.15	c #Conflicts:      36000 | #Constraints:      19411
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      37000 | #Constraints:      14335
589.41/591.15	c #Conflicts:      38000 | #Constraints:      15335
589.41/591.15	c #Conflicts:      39000 | #Constraints:      16335
589.41/591.15	c #Conflicts:      40000 | #Constraints:      17335
589.41/591.15	c #Conflicts:      41000 | #Constraints:      18335
589.41/591.15	c #Conflicts:      42000 | #Constraints:      19335
589.41/591.15	c #Conflicts:      43000 | #Constraints:      20335
589.41/591.15	c #Conflicts:      44000 | #Constraints:      21335
589.41/591.15	c #Conflicts:      45000 | #Constraints:      22335
589.41/591.15	c #Conflicts:      46000 | #Constraints:      23335
589.41/591.15	c #Conflicts:      47000 | #Constraints:      24335
589.41/591.15	c #Conflicts:      48000 | #Constraints:      25335
589.41/591.15	c #Conflicts:      49000 | #Constraints:      26335
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      50000 | #Constraints:      17667
589.41/591.15	c #Conflicts:      51000 | #Constraints:      18667
589.41/591.15	c #Conflicts:      52000 | #Constraints:      19667
589.41/591.15	c #Conflicts:      53000 | #Constraints:      20667
589.41/591.15	c #Conflicts:      54000 | #Constraints:      21667
589.41/591.15	c #Conflicts:      55000 | #Constraints:      22667
589.41/591.15	c #Conflicts:      56000 | #Constraints:      23667
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      57000 | #Constraints:      16580
589.41/591.15	c #Conflicts:      58000 | #Constraints:      17580
589.41/591.15	c #Conflicts:      59000 | #Constraints:      18580
589.41/591.15	c #Conflicts:      60000 | #Constraints:      19580
589.41/591.15	c #Conflicts:      61000 | #Constraints:      20580
589.41/591.15	c #Conflicts:      62000 | #Constraints:      21580
589.41/591.15	c #Conflicts:      63000 | #Constraints:      22580
589.41/591.15	c #Conflicts:      64000 | #Constraints:      23580
589.41/591.15	c #Conflicts:      65000 | #Constraints:      24580
589.41/591.15	c #Conflicts:      66000 | #Constraints:      25580
589.41/591.15	c #Conflicts:      67000 | #Constraints:      26580
589.41/591.15	c #Conflicts:      68000 | #Constraints:      27580
589.41/591.15	c #Conflicts:      69000 | #Constraints:      28580
589.41/591.15	c #Conflicts:      70000 | #Constraints:      29580
589.41/591.15	c #Conflicts:      71000 | #Constraints:      30580
589.41/591.15	c #Conflicts:      72000 | #Constraints:      31580
589.41/591.15	c INPROCESSING
589.41/591.15	c GARBAGE COLLECT
589.41/591.15	c #Conflicts:      73000 | #Constraints:      20665
1371.87/1375.42	c #Conflicts:      74000 | #Constraints:      21665
1371.87/1375.42	c #Conflicts:      75000 | #Constraints:      22665
1371.87/1375.42	c #Conflicts:      76000 | #Constraints:      23665
1371.87/1375.42	c #Conflicts:      77000 | #Constraints:      24665
1371.87/1375.42	c #Conflicts:      78000 | #Constraints:      25665
1371.87/1375.42	c #Conflicts:      79000 | #Constraints:      26665
1371.87/1375.42	c #Conflicts:      80000 | #Constraints:      27665
1371.87/1375.42	c INPROCESSING
1371.87/1375.42	c GARBAGE COLLECT
1371.87/1375.42	c #Conflicts:      81000 | #Constraints:      18706
1371.87/1375.42	c #Conflicts:      82000 | #Constraints:      19706
1371.87/1375.42	c #Conflicts:      83000 | #Constraints:      20706
1371.87/1375.42	c #Conflicts:      84000 | #Constraints:      21706
1371.87/1375.42	c #Conflicts:      85000 | #Constraints:      22706
1371.87/1375.42	c #Conflicts:      86000 | #Constraints:      23706
1371.87/1375.42	c #Conflicts:      87000 | #Constraints:      24706
1371.87/1375.42	c #Conflicts:      88000 | #Constraints:      25706
1371.87/1375.42	c #Conflicts:      89000 | #Constraints:      26706
1371.87/1375.42	c #Conflicts:      90000 | #Constraints:      27706
1371.87/1375.42	c #Conflicts:      91000 | #Constraints:      28706
1371.87/1375.42	c #Conflicts:      92000 | #Constraints:      29706
1371.87/1375.42	c #Conflicts:      93000 | #Constraints:      30706
1371.87/1375.42	c #Conflicts:      94000 | #Constraints:      31706
1371.87/1375.42	c #Conflicts:      95000 | #Constraints:      32706
1371.87/1375.42	c #Conflicts:      96000 | #Constraints:      33706
1371.87/1375.42	c #Conflicts:      97000 | #Constraints:      34706
1371.87/1375.42	c #Conflicts:      98000 | #Constraints:      35706
1371.87/1375.42	c #Conflicts:      99000 | #Constraints:      36706
1371.87/1375.42	c #Conflicts:     100000 | #Constraints:      37706
1371.87/1375.42	c INPROCESSING
1371.87/1375.42	c GARBAGE COLLECT
1371.87/1375.42	c #Conflicts:     101000 | #Constraints:      24295
1371.87/1375.42	c #Conflicts:     102000 | #Constraints:      25295
1371.87/1375.42	c #Conflicts:     103000 | #Constraints:      26295
1371.87/1375.42	c #Conflicts:     104000 | #Constraints:      27295
1371.87/1375.42	c #Conflicts:     105000 | #Constraints:      28295
1371.87/1375.42	c #Conflicts:     106000 | #Constraints:      29295
1371.87/1375.42	c #Conflicts:     107000 | #Constraints:      30295
1371.87/1375.42	c #Conflicts:     108000 | #Constraints:      31295
1371.87/1375.42	c #Conflicts:     109000 | #Constraints:      32295
1371.87/1375.42	c INPROCESSING
1371.87/1375.42	c GARBAGE COLLECT
1371.87/1375.42	c #Conflicts:     110000 | #Constraints:      21484
1371.87/1375.42	c #Conflicts:     111000 | #Constraints:      22484
1371.87/1375.42	c #Conflicts:     112000 | #Constraints:      23484
1371.87/1375.42	c #Conflicts:     113000 | #Constraints:      24484
1371.87/1375.42	c #Conflicts:     114000 | #Constraints:      25484
1371.87/1375.42	c #Conflicts:     115000 | #Constraints:      26484
1371.87/1375.42	c #Conflicts:     116000 | #Constraints:      27484
1371.87/1375.42	c #Conflicts:     117000 | #Constraints:      28484
1371.87/1375.42	c #Conflicts:     118000 | #Constraints:      29484
1371.87/1375.42	c INPROCESSING
1371.87/1375.42	c GARBAGE COLLECT
1371.87/1375.42	c #Conflicts:     119000 | #Constraints:      19681
1371.87/1375.42	c #Conflicts:     120000 | #Constraints:      20681
1371.87/1375.42	c #Conflicts:     121000 | #Constraints:      21681
1371.87/1375.42	c #Conflicts:     122000 | #Constraints:      22681
1371.87/1375.42	c #Conflicts:     123000 | #Constraints:      23681
1371.87/1375.42	c #Conflicts:     124000 | #Constraints:      24681
1371.87/1375.42	c #Conflicts:     125000 | #Constraints:      25681
1371.87/1375.42	c #Conflicts:     126000 | #Constraints:      26681
1371.87/1375.42	c #Conflicts:     127000 | #Constraints:      27681
1371.87/1375.42	c #Conflicts:     128000 | #Constraints:      28681
1371.87/1375.42	c #Conflicts:     129000 | #Constraints:      29681
1371.87/1375.42	c #Conflicts:     130000 | #Constraints:      30681
1371.87/1375.42	c #Conflicts:     131000 | #Constraints:      31681
1371.87/1375.42	c #Conflicts:     132000 | #Constraints:      32681
1371.87/1375.42	c #Conflicts:     133000 | #Constraints:      33681
1371.87/1375.42	c #Conflicts:     134000 | #Constraints:      34681
1371.87/1375.42	c #Conflicts:     135000 | #Constraints:      35681
1371.87/1375.42	c #Conflicts:     136000 | #Constraints:      36681
1371.87/1375.42	c #Conflicts:     137000 | #Constraints:      37681
1371.87/1375.42	c #Conflicts:     138000 | #Constraints:      38681
1371.87/1375.42	c #Conflicts:     139000 | #Constraints:      39681
1371.87/1375.42	c #Conflicts:     140000 | #Constraints:      40681
1371.87/1375.42	c #Conflicts:     141000 | #Constraints:      41681
1371.87/1375.42	c #Conflicts:     142000 | #Constraints:      42681
1371.87/1375.42	c INPROCESSING
1371.87/1375.42	c GARBAGE COLLECT
1371.87/1375.42	c #Conflicts:     143000 | #Constraints:      26760
1371.87/1375.42	c #Conflicts:     144000 | #Constraints:      27760
1371.87/1375.42	c #Conflicts:     145000 | #Constraints:      28760
1371.87/1375.42	c #Conflicts:     146000 | #Constraints:      29760
1371.87/1375.42	c #Conflicts:     147000 | #Constraints:      30760
1371.87/1375.42	c #Conflicts:     148000 | #Constraints:      31760
2373.35/2379.54	c #Conflicts:     149000 | #Constraints:      32760
2373.35/2379.54	c #Conflicts:     150000 | #Constraints:      33760
2373.35/2379.54	c #Conflicts:     151000 | #Constraints:      34760
2373.35/2379.54	c #Conflicts:     152000 | #Constraints:      35760
2373.35/2379.54	c #Conflicts:     153000 | #Constraints:      36760
2373.35/2379.54	c INPROCESSING
2373.35/2379.54	c GARBAGE COLLECT
2373.35/2379.54	c #Conflicts:     154000 | #Constraints:      23861
2373.35/2379.54	c #Conflicts:     155000 | #Constraints:      24861
2373.35/2379.54	c #Conflicts:     156000 | #Constraints:      25861
2373.35/2379.54	c #Conflicts:     157000 | #Constraints:      26861
2373.35/2379.54	c #Conflicts:     158000 | #Constraints:      27861
2373.35/2379.54	c #Conflicts:     159000 | #Constraints:      28861
2373.35/2379.54	c #Conflicts:     160000 | #Constraints:      29861
2373.35/2379.54	c #Conflicts:     161000 | #Constraints:      30861
2373.35/2379.54	c #Conflicts:     162000 | #Constraints:      31861
2373.35/2379.54	c #Conflicts:     163000 | #Constraints:      32861
2373.35/2379.54	c INPROCESSING
2373.35/2379.54	c GARBAGE COLLECT
2373.35/2379.54	c #Conflicts:     164000 | #Constraints:      21605
2373.35/2379.54	c #Conflicts:     165000 | #Constraints:      22605
2373.35/2379.54	c #Conflicts:     166000 | #Constraints:      23605
2373.35/2379.54	c #Conflicts:     167000 | #Constraints:      24605
2373.35/2379.54	c #Conflicts:     168000 | #Constraints:      25605
2373.35/2379.54	c #Conflicts:     169000 | #Constraints:      26605
2373.35/2379.54	c #Conflicts:     170000 | #Constraints:      27605
2373.35/2379.54	c #Conflicts:     171000 | #Constraints:      28605
2373.35/2379.54	c #Conflicts:     172000 | #Constraints:      29605
2373.35/2379.54	c #Conflicts:     173000 | #Constraints:      30605
2373.35/2379.54	c #Conflicts:     174000 | #Constraints:      31605
2373.35/2379.54	c #Conflicts:     175000 | #Constraints:      32605
2373.35/2379.54	c #Conflicts:     176000 | #Constraints:      33605
2373.35/2379.54	c #Conflicts:     177000 | #Constraints:      34605
2373.35/2379.54	c #Conflicts:     178000 | #Constraints:      35605
2373.35/2379.54	c #Conflicts:     179000 | #Constraints:      36605
2373.35/2379.54	c #Conflicts:     180000 | #Constraints:      37605
2373.35/2379.54	c #Conflicts:     181000 | #Constraints:      38605
2373.35/2379.54	c #Conflicts:     182000 | #Constraints:      39605
2373.35/2379.54	c #Conflicts:     183000 | #Constraints:      40605
2373.35/2379.54	c #Conflicts:     184000 | #Constraints:      41605
2373.35/2379.54	c #Conflicts:     185000 | #Constraints:      42605
2373.35/2379.54	c #Conflicts:     186000 | #Constraints:      43605
2373.35/2379.54	c #Conflicts:     187000 | #Constraints:      44605
2373.35/2379.54	c #Conflicts:     188000 | #Constraints:      45605
2373.35/2379.54	c #Conflicts:     189000 | #Constraints:      46605
2373.35/2379.54	c #Conflicts:     190000 | #Constraints:      47605
2373.35/2379.54	c #Conflicts:     191000 | #Constraints:      48605
2373.35/2379.54	c INPROCESSING
2373.35/2379.54	c GARBAGE COLLECT
2373.35/2379.54	c #Conflicts:     192000 | #Constraints:      29593
2373.35/2379.54	c #Conflicts:     193000 | #Constraints:      30593
2373.35/2379.54	c #Conflicts:     194000 | #Constraints:      31593
2373.35/2379.54	c #Conflicts:     195000 | #Constraints:      32593
2373.35/2379.54	c #Conflicts:     196000 | #Constraints:      33593
2373.35/2379.54	c #Conflicts:     197000 | #Constraints:      34593
2373.35/2379.54	c #Conflicts:     198000 | #Constraints:      35593
2373.35/2379.54	c #Conflicts:     199000 | #Constraints:      36593
2373.35/2379.54	c #Conflicts:     200000 | #Constraints:      37593
2373.35/2379.54	c #Conflicts:     201000 | #Constraints:      38593
2373.35/2379.54	c #Conflicts:     202000 | #Constraints:      39593
2373.35/2379.54	c #Conflicts:     203000 | #Constraints:      40593
2373.35/2379.54	c #Conflicts:     204000 | #Constraints:      41593
2373.35/2379.54	c INPROCESSING
2373.35/2379.54	c GARBAGE COLLECT
2373.35/2379.54	c #Conflicts:     205000 | #Constraints:      26633
2373.35/2379.54	c #Conflicts:     206000 | #Constraints:      27633
2373.35/2379.54	c #Conflicts:     207000 | #Constraints:      28633
2373.35/2379.54	c #Conflicts:     208000 | #Constraints:      29633
2373.35/2379.54	c #Conflicts:     209000 | #Constraints:      30633
2373.35/2379.54	c #Conflicts:     210000 | #Constraints:      31633
2373.35/2379.54	c #Conflicts:     211000 | #Constraints:      32633
2373.35/2379.54	c #Conflicts:     212000 | #Constraints:      33633
2373.35/2379.54	c #Conflicts:     213000 | #Constraints:      34633
2373.35/2379.54	c #Conflicts:     214000 | #Constraints:      35633
2373.35/2379.54	c #Conflicts:     215000 | #Constraints:      36633
2373.35/2379.54	c #Conflicts:     216000 | #Constraints:      37633
2373.35/2379.54	c INPROCESSING
2373.35/2379.54	c GARBAGE COLLECT
2373.35/2379.54	c #Conflicts:     217000 | #Constraints:      24241
2373.35/2379.54	c #Conflicts:     218000 | #Constraints:      25241
2373.35/2379.54	c #Conflicts:     219000 | #Constraints:      26241
2373.35/2379.54	c #Conflicts:     220000 | #Constraints:      27241
2373.35/2379.54	c #Conflicts:     221000 | #Constraints:      28241
2373.35/2379.54	c #Conflicts:     222000 | #Constraints:      29241
2373.35/2379.54	c #Conflicts:     223000 | #Constraints:      30241
2373.35/2379.54	c #Conflicts:     224000 | #Constraints:      31241
3600.09/3609.70	c #Conflicts:     225000 | #Constraints:      32241
3600.09/3609.70	c #Conflicts:     226000 | #Constraints:      33241
3600.09/3609.70	c #Conflicts:     227000 | #Constraints:      34241
3600.09/3609.70	c #Conflicts:     228000 | #Constraints:      35241
3600.09/3609.70	c #Conflicts:     229000 | #Constraints:      36241
3600.09/3609.70	c #Conflicts:     230000 | #Constraints:      37241
3600.09/3609.70	c #Conflicts:     231000 | #Constraints:      38241
3600.09/3609.70	c #Conflicts:     232000 | #Constraints:      39241
3600.09/3609.70	c #Conflicts:     233000 | #Constraints:      40241
3600.09/3609.70	c #Conflicts:     234000 | #Constraints:      41241
3600.09/3609.70	c #Conflicts:     235000 | #Constraints:      42241
3600.09/3609.70	c #Conflicts:     236000 | #Constraints:      43241
3600.09/3609.70	c #Conflicts:     237000 | #Constraints:      44241
3600.09/3609.70	c #Conflicts:     238000 | #Constraints:      45241
3600.09/3609.70	c #Conflicts:     239000 | #Constraints:      46241
3600.09/3609.70	c #Conflicts:     240000 | #Constraints:      47241
3600.09/3609.70	c #Conflicts:     241000 | #Constraints:      48241
3600.09/3609.70	c #Conflicts:     242000 | #Constraints:      49241
3600.09/3609.70	c #Conflicts:     243000 | #Constraints:      50241
3600.09/3609.70	c #Conflicts:     244000 | #Constraints:      51241
3600.09/3609.70	c #Conflicts:     245000 | #Constraints:      52241
3600.09/3609.70	c #Conflicts:     246000 | #Constraints:      53241
3600.09/3609.70	c #Conflicts:     247000 | #Constraints:      54241
3600.09/3609.70	c #Conflicts:     248000 | #Constraints:      55241
3600.09/3609.70	c INPROCESSING
3600.09/3609.70	c GARBAGE COLLECT
3600.09/3609.70	c #Conflicts:     249000 | #Constraints:      33232
3600.09/3609.70	c #Conflicts:     250000 | #Constraints:      34232
3600.09/3609.70	c #Conflicts:     251000 | #Constraints:      35232
3600.09/3609.70	c #Conflicts:     252000 | #Constraints:      36232
3600.09/3609.70	c #Conflicts:     253000 | #Constraints:      37232
3600.09/3609.70	c #Conflicts:     254000 | #Constraints:      38232
3600.09/3609.70	c #Conflicts:     255000 | #Constraints:      39232
3600.09/3609.70	c #Conflicts:     256000 | #Constraints:      40232
3600.09/3609.70	c #Conflicts:     257000 | #Constraints:      41232
3600.09/3609.70	c #Conflicts:     258000 | #Constraints:      42232
3600.09/3609.70	c #Conflicts:     259000 | #Constraints:      43232
3600.09/3609.70	c #Conflicts:     260000 | #Constraints:      44232
3600.09/3609.70	c #Conflicts:     261000 | #Constraints:      45232
3600.09/3609.70	c #Conflicts:     262000 | #Constraints:      46232
3600.09/3609.70	c INPROCESSING
3600.09/3609.70	c GARBAGE COLLECT
3600.09/3609.70	c #Conflicts:     263000 | #Constraints:      28909
3600.09/3609.70	c #Conflicts:     264000 | #Constraints:      29909
3600.09/3609.70	c #Conflicts:     265000 | #Constraints:      30909
3600.09/3609.70	c #Conflicts:     266000 | #Constraints:      31909
3600.09/3609.70	c #Conflicts:     267000 | #Constraints:      32909
3600.09/3609.70	c #Conflicts:     268000 | #Constraints:      33909
3600.09/3609.70	c #Conflicts:     269000 | #Constraints:      34909
3600.09/3609.70	c #Conflicts:     270000 | #Constraints:      35909
3600.09/3609.70	c #Conflicts:     271000 | #Constraints:      36909
3600.09/3609.70	c #Conflicts:     272000 | #Constraints:      37909
3600.09/3609.70	c #Conflicts:     273000 | #Constraints:      38909
3600.09/3609.70	c #Conflicts:     274000 | #Constraints:      39909
3600.09/3609.70	c #Conflicts:     275000 | #Constraints:      40909
3600.09/3609.70	c #Conflicts:     276000 | #Constraints:      41909
3600.09/3609.70	c INPROCESSING
3600.09/3609.70	c GARBAGE COLLECT
3600.09/3609.70	c #Conflicts:     277000 | #Constraints:      26781
3600.09/3609.70	c #Conflicts:     278000 | #Constraints:      27781
3600.09/3609.70	c #Conflicts:     279000 | #Constraints:      28781
3600.09/3609.70	c #Conflicts:     280000 | #Constraints:      29781
3600.09/3609.70	c #Conflicts:     281000 | #Constraints:      30781
3600.09/3609.70	c #Conflicts:     282000 | #Constraints:      31781
3600.09/3609.70	c #Conflicts:     283000 | #Constraints:      32781
3600.09/3609.70	c #Conflicts:     284000 | #Constraints:      33781
3600.09/3609.70	c #Conflicts:     285000 | #Constraints:      34781
3600.09/3609.70	c #Conflicts:     286000 | #Constraints:      35781
3600.09/3609.70	c #Conflicts:     287000 | #Constraints:      36781
3600.09/3609.70	c #Conflicts:     288000 | #Constraints:      37781
3600.09/3609.70	c #Conflicts:     289000 | #Constraints:      38781
3600.09/3609.70	c #Conflicts:     290000 | #Constraints:      39781
3600.09/3609.70	c #Conflicts:     291000 | #Constraints:      40781
3600.09/3609.70	c Program interrupted by user.
3600.09/3609.70	c cpu time 3405.61 s
3600.09/3609.70	c deterministic time 343542726468 3.44e+11
3600.09/3609.70	c optimization time 179.566 s
3600.09/3609.70	c total solve time 2924.21 s
3600.09/3609.70	c core-guided solve time 2924.21 s
3600.09/3609.70	c propagation time 2847.02 s
3600.09/3609.70	c conflict analysis time 79.6108 s
3600.09/3609.70	c propagations 601798947
3600.09/3609.70	c resolve steps 494677
3600.09/3609.70	c decisions 277519600
3600.09/3609.70	c conflicts 291392
3600.09/3609.70	c restarts 700
3600.09/3609.70	c inprocessing phases 24
3600.09/3609.70	c input clauses 0
3600.09/3609.70	c input cardinalities 0
3600.09/3609.70	c input general constraints 5184
3600.09/3609.70	c input average constraint length 53.87
3600.09/3609.70	c input average constraint degree 138825164.31
3600.09/3609.70	c learned clauses 28005
3600.09/3609.70	c learned cardinalities 93
3600.09/3609.70	c learned general constraints 263293
3600.09/3609.70	c learned average constraint length 348.19
3600.09/3609.70	c learned average constraint degree 520017490.48
3600.09/3609.70	c watched constraints 233232
3600.09/3609.70	c counting constraints 35245
3600.09/3609.70	c gcd simplifications 39069
3600.09/3609.70	c detected cardinalities 75
3600.09/3609.70	c weakened non-implied lits 9025725
3600.09/3609.70	c weakened non-implying lits 591205
3600.09/3609.70	c original variables 107808
3600.09/3609.70	c clausal propagations 10042635
3600.09/3609.70	c cardinality propagations 5861
3600.09/3609.70	c watched propagations 518714728
3600.09/3609.70	c counting propagations 72958805
3600.09/3609.70	c watch lookups 49677970633
3600.09/3609.70	c watch backjump lookups 48442381030
3600.09/3609.70	c watch checks 173500399126
3600.09/3609.70	c propagation checks 69968677576
3600.09/3609.70	c constraint additions 194388147
3600.09/3609.70	c trail pops 879591408
3600.09/3609.70	c formula constraints 5184
3600.09/3609.70	c learned constraints 291391
3600.09/3609.70	c bound constraints 0
3600.09/3609.70	c core-guided constraints 0
3600.09/3609.70	c encountered formula constraints 233764
3600.09/3609.70	c encountered learned constraints 552305
3600.09/3609.70	c encountered bound constraints 0
3600.09/3609.70	c encountered core-guided constraints 0
3600.09/3609.70	c LP total time 0 s
3600.09/3609.70	c LP solve time 0 s
3600.09/3609.70	c LP constraints added 0
3600.09/3609.70	c LP constraints removed 0
3600.09/3609.70	c LP pivots internal 0
3600.09/3609.70	c LP pivots root 0
3600.09/3609.70	c LP calls 0
3600.09/3609.70	c LP optimalities 0
3600.09/3609.70	c LP no pivot count 0
3600.09/3609.70	c LP infeasibilities 0
3600.09/3609.70	c LP valid Farkas constraints 0
3600.09/3609.70	c LP learned Farkas constraints 0
3600.09/3609.70	c LP basis resets 0
3600.09/3609.70	c LP cycling count 0
3600.09/3609.70	c LP singular count 0
3600.09/3609.70	c LP no primal count 0
3600.09/3609.70	c LP no farkas count 0
3600.09/3609.70	c LP other issue count 0
3600.09/3609.70	c LP Gomory cuts 0
3600.09/3609.70	c LP learned cuts 0
3600.09/3609.70	c LP deleted cuts 0
3600.09/3609.70	c LP encountered Gomory constraints 0
3600.09/3609.70	c LP encountered Farkas constraints 0
3600.09/3609.70	c LP encountered learned Farkas constraints 0
3600.09/3609.70	c CG auxiliary variables introduced 0
3600.09/3609.70	c CG solutions found 0
3600.09/3609.70	c CG cores constructed 0
3600.09/3609.70	c CG core cardinality constraints returned 0
3600.09/3609.70	c CG unit cores 0
3600.09/3609.70	c CG single cores 0
3600.09/3609.70	c CG blocks removed during cardinality reduction 0
3600.09/3609.70	c CG first core best 0
3600.09/3609.70	c CG decision core best 0
3600.09/3609.70	c CG core reduction tie 0
3600.09/3609.70	c CG core degree average 0.00
3600.09/3609.70	c CG core slack average 0.00
3600.09/3609.70	c CG exhausted 0
3600.09/3609.70	c CG exhaust time 0 s
3600.09/3609.70	c CG trimmed 0
3600.09/3609.70	c CG trim time 0 s
3600.09/3609.70	c CG minimized 0
3600.09/3609.70	c CG minimize time 0 s
3600.09/3609.70	c CG am1 prop time 3.8e-05 s
3600.09/3609.70	c CG # am1s reformulated 0
3600.09/3609.70	c CG lower bound derived from am1s 0
3600.09/3609.70	c CG # clausal cores 0
3600.09/3609.70	c CG # cardinality cores 0
3600.09/3609.70	c CG # pb cores 0
3600.09/3609.70	c CG # pb reforms 0
3600.09/3609.70	c CG # cores discarded because of pb reform 0
3600.09/3609.70	d LOWERBOUND 0
3600.09/3609.70	d NCORES 0
3600.09/3609.70	d NPBCORES 0
3600.09/3609.70	d NPBREFORM 0
3600.09/3609.70	d NTRIMMED 0
3600.09/3609.70	d NEXHAUSTED 0
3600.09/3609.70	d NAM1S 0
3600.09/3609.70	d AM1LB 0
3600.09/3609.70	c [Papilo Statistics]
3600.09/3609.70	c prepro time 2.48525s
3600.09/3609.70	c # tsx applied 93446
3600.09/3609.70	c # tsx conflicts 0
3600.09/3609.70	c # bound changes 40716
3600.09/3609.70	c # side changes 0
3600.09/3609.70	c # coef changes 9024
3600.09/3609.70	c # rounds 5
3600.09/3609.70	c # deted vars 40748
3600.09/3609.70	c # deted constrs 0
3600.09/3609.70	c # consecutive rounds of only bound changes 0
3600.09/3609.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485311-1751286916/watcher-4485311-1751286916 -o /tmp/evaluation-result-4485311-1751286916/solver-4485311-1751286916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38725 --watchdog 3760 mixed-bag HOME/instance-4485311-1751286916.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=40006, runsolver pid=40003

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.10 4.09 4/261 40007
/proc/meminfo: memFree=127776252/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=111720 memory=38344 CPUtime=0.08 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 8567 0 0 0 7 1 0 0 20 0 1 0 44369390 114401280 9586 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 27930 9586 2144 2842 0 10163 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111720 KiB
Current children cumulated memory: 38344 KiB

[startup+0.20561 s]*
/proc/loadavg: 4.11 4.10 4.09 4/262 40015
/proc/meminfo: memFree=127761544/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=119920 memory=41208 CPUtime=0.18 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 9742 0 0 0 17 1 0 0 20 0 1 0 44369390 122798080 10302 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 29980 10302 2144 2842 0 12213 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 119920 KiB
Current children cumulated memory: 41208 KiB

[startup+0.305586 s]*
/proc/loadavg: 4.11 4.10 4.09 4/259 40015
/proc/meminfo: memFree=127728792/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=181892 memory=94676 CPUtime=0.27 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 16840 0 0 0 25 2 0 0 20 0 1 0 44369390 186257408 23669 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 45473 23669 2304 2842 0 27167 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 181892 KiB
Current children cumulated memory: 94676 KiB

[startup+0.700176 s]
/proc/loadavg: 4.11 4.10 4.09 4/259 40015
/proc/meminfo: memFree=127728792/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=181892 memory=94676 CPUtime=0.66 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 16848 0 0 0 64 2 0 0 20 0 1 0 44369390 186257408 23669 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 45473 23669 2304 2842 0 27167 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 181892 KiB
Current children cumulated memory: 94676 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.10 4.09 4/259 40015
/proc/meminfo: memFree=127729044/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=184212 memory=97108 CPUtime=1.46 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 17450 0 0 0 144 2 0 0 20 0 1 0 44369390 188633088 24277 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 46053 24277 2304 2842 0 27747 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 97108 KiB

[startup+3.10542 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 40052
/proc/meminfo: memFree=127511468/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=377512 memory=288536 CPUtime=3.06 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 60626 0 0 0 298 8 0 0 20 0 1 0 44369390 386572288 72134 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 94378 72134 4064 2842 0 76072 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 377512 KiB
Current children cumulated memory: 288536 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 40052
/proc/meminfo: memFree=127135876/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=859840 memory=641756 CPUtime=6.25 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 111566 0 0 0 605 20 0 0 20 0 1 0 44369390 880476160 160439 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 214960 160439 4256 2842 0 196654 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 859840 KiB
Current children cumulated memory: 641756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 40052
/proc/meminfo: memFree=127007036/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=874328 memory=656348 CPUtime=12.63 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115174 0 0 0 1242 21 0 0 20 0 1 0 44369390 895311872 164087 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218582 164087 4288 2842 0 200276 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 874328 KiB
Current children cumulated memory: 656348 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 40052
/proc/meminfo: memFree=126931044/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=874328 memory=656348 CPUtime=25.39 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115182 0 0 0 2518 21 0 0 20 0 1 0 44369390 895311872 164087 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218582 164087 4288 2842 0 200276 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 874328 KiB
Current children cumulated memory: 656348 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 40054
/proc/meminfo: memFree=126793380/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=874328 memory=656348 CPUtime=50.91 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115184 0 0 0 5070 21 0 0 20 0 1 0 44369390 895311872 164087 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218582 164087 4288 2842 0 200276 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 874328 KiB
Current children cumulated memory: 656348 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 40055
/proc/meminfo: memFree=126585520/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=874328 memory=656348 CPUtime=101.95 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115184 0 0 0 10174 21 0 0 20 0 1 0 44369390 895311872 164087 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218582 164087 4288 2842 0 200276 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 874328 KiB
Current children cumulated memory: 656348 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 40058
/proc/meminfo: memFree=126429008/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=875696 memory=658652 CPUtime=161.75 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115553 0 0 0 16154 21 0 0 20 0 1 0 44369390 896712704 164663 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218924 164663 4512 2842 0 200618 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 875696 KiB
Current children cumulated memory: 658652 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 40061
/proc/meminfo: memFree=126214092/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=875696 memory=658652 CPUtime=221.57 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115556 0 0 0 22136 21 0 0 20 0 1 0 44369390 896712704 164663 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218924 164663 4512 2842 0 200618 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 875696 KiB
Current children cumulated memory: 658652 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 40111
/proc/meminfo: memFree=126315836/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=875696 memory=658652 CPUtime=281.38 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 115560 0 0 0 28117 21 0 0 20 0 1 0 44369390 896712704 164663 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 218924 164663 4512 2842 0 200618 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 875696 KiB
Current children cumulated memory: 658652 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126668512/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=582136 memory=492860 CPUtime=341.22 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 117360 0 0 0 33345 777 0 0 20 0 1 0 44369390 596107264 123215 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 145534 123215 4640 2842 0 127228 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 582136 KiB
Current children cumulated memory: 492860 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 40164
/proc/meminfo: memFree=126589336/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=593812 memory=501196 CPUtime=401.07 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 118438 0 0 0 38494 1613 0 0 20 0 1 0 44369390 608063488 125299 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 148453 125299 4640 2842 0 130147 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 593812 KiB
Current children cumulated memory: 501196 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 40166
/proc/meminfo: memFree=126552460/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=612780 memory=521340 CPUtime=460.93 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 119070 0 0 0 44023 2070 0 0 20 0 1 0 44369390 627486720 130335 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 153195 130335 4640 2842 0 134889 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 611416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 40292
/proc/meminfo: memFree=117494416/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=621656 CPUtime=2914.66 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121048 0 0 0 275453 16013 0 0 20 0 1 0 44369390 710336512 155414 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 155414 4640 2842 0 155116 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 621656 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/263 40295
/proc/meminfo: memFree=117356904/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=627800 CPUtime=2974.49 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121054 0 0 0 281289 16160 0 0 20 0 1 0 44369390 710336512 156950 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 156950 4640 2842 0 155116 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 627800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 40297
/proc/meminfo: memFree=117121544/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3034.31 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 286980 16451 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 40300
/proc/meminfo: memFree=116879912/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3094.15 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 292651 16764 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 40302
/proc/meminfo: memFree=116849188/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3153.97 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 298367 17030 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 40304
/proc/meminfo: memFree=116790980/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3213.8 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 304106 17274 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 40308
/proc/meminfo: memFree=116800756/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3273.62 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 309738 17624 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 40315
/proc/meminfo: memFree=116644540/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3333.45 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121058 0 0 0 315361 17984 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 40317
/proc/meminfo: memFree=116330932/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3393.28 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121178 0 0 0 321062 18266 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 40319
/proc/meminfo: memFree=116011940/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3453.11 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121180 0 0 0 326598 18713 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 40321
/proc/meminfo: memFree=115981880/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3512.94 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121180 0 0 0 332221 19073 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 40323
/proc/meminfo: memFree=115722096/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3572.77 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121180 0 0 0 337939 19338 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.42 4.19 4.11 5/264 40323
/proc/meminfo: memFree=115651032/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3600.09 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121180 0 0 0 340560 19449 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3405.62 s, system=194.5 s

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

[startup+3609.7 s]
/proc/loadavg: 4.42 4.19 4.11 5/264 40323
/proc/meminfo: memFree=115651032/131249996 swapFree=33010684/33010684
[pid=40006] ppid=40003 vsize=693688 memory=629848 CPUtime=3600.09 cores=1,3
/proc/40006/stat : 40006 (mixed-bag) R 40003 40006 38713 0 -1 4194304 121180 0 0 0 340560 19449 0 0 20 0 1 0 44369390 710336512 157462 18446744073709551615 4235264 15874749 140735422236736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46592000 140735422241180 140735422241257 140735422241257 140735422246859 0
/proc/40006/statm: 173422 157462 4640 2842 0 155116 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 693688 KiB
Current children cumulated memory: 629848 KiB

Child status: 0

Real time (s): 3609.72
CPU time (s): 3600.12
CPU user time (s): 3405.62
CPU system time (s): 194.5
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 875696
Max. memory (cumulated for all children) (KiB): 658780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3405.62
system time used= 194.5
maximum resident set size= 658780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121208
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= 180
involuntary context switches= 1183


# summary of solver processes directly reported to runsolver:
#   pid: 40006
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3405.62
#   total CPU system time (s): 194.5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84997 second user time and 16.1981 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 14:35:16
IDJOB=4485311
IDBENCH=146784
IDSOLVER=3340
FILE ID=nodeC022/4485311-1751286916
RUNJOBID= nodeC022-1751279693-38725
SLURM_JOB_ID= 9594218
Free space on /tmp= 433008 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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-4485311-1751286916/watcher-4485311-1751286916 -o /tmp/evaluation-result-4485311-1751286916/solver-4485311-1751286916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38725 --watchdog 3760  mixed-bag HOME/instance-4485311-1751286916.opb

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=764572076

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126985988 kB
MemAvailable:   127799404 kB
Buffers:            3280 kB
Cached:          1616564 kB
SwapCached:            0 kB
Active:          2291920 kB
Inactive:        1366956 kB
Active(anon):    2057096 kB
Inactive(anon):        0 kB
Active(file):     234824 kB
Inactive(file):  1366956 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20244 kB
Writeback:             0 kB
AnonPages:       2038756 kB
Mapped:           138980 kB
Shmem:             18060 kB
KReclaimable:     101348 kB
Slab:             188204 kB
SReclaimable:     101348 kB
SUnreclaim:        86856 kB
KernelStack:        4256 kB
PageTables:         7276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2745720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1964032 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC022 at 2025-06-30 15:35:26