Trace number 4529266

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.06 3609.82

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
MD5SUM35fe9b1930bcbc7a02a3c0004c4836fe
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 benchmark0
Best CPU time to get the best result obtained on this benchmark3517.32
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7920
Total number of constraints11808
Number of constraints which are clauses7776
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4032
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 144
Biggest coefficient in the objective function 2361183241434822606848
Number of bits for the biggest coefficient in the objective function 72
Sum of the numbers in the objective function 9444732965739290427390
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 2361183241434822606848
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 9444732965739290427390
Number of bits of the biggest sum of numbers73
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.00/0.01	c skipping papilo and scip due to too large bitwidth of coefficients
0.00/0.05	c [STEP] solving
0.00/0.05	c #variables 7920 #constraints 15840
0.00/0.05	c SMALL=int128, LARGE=int128
0.00/0.05	d SCIPUB 9444732965739290427391
0.00/0.05	c bounds - >= -4722366482869645213695 @ 0.024443
0.00/0.05	c stratification level: 1180591620717411303424
128.86/129.31	c bounds - >= -3541774862152233910271 @ 0.024443
128.86/129.31	c #Conflicts:       1000 | #Constraints:      16841
128.86/129.31	c #Conflicts:       2000 | #Constraints:      17841
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:       3000 | #Constraints:      17908
128.86/129.31	c #Conflicts:       4000 | #Constraints:      18908
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:       5000 | #Constraints:      18364
128.86/129.31	c #Conflicts:       6000 | #Constraints:      19364
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:       7000 | #Constraints:      18414
128.86/129.31	c #Conflicts:       8000 | #Constraints:      19414
128.86/129.31	c #Conflicts:       9000 | #Constraints:      20414
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      10000 | #Constraints:      19160
128.86/129.31	c #Conflicts:      11000 | #Constraints:      20160
128.86/129.31	c #Conflicts:      12000 | #Constraints:      21160
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      13000 | #Constraints:      19636
128.86/129.31	c #Conflicts:      14000 | #Constraints:      20636
128.86/129.31	c #Conflicts:      15000 | #Constraints:      21636
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      16000 | #Constraints:      19897
128.86/129.31	c #Conflicts:      17000 | #Constraints:      20897
128.86/129.31	c #Conflicts:      18000 | #Constraints:      21897
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      19000 | #Constraints:      19982
128.86/129.31	c #Conflicts:      20000 | #Constraints:      20982
128.86/129.31	c #Conflicts:      21000 | #Constraints:      21982
128.86/129.31	c #Conflicts:      22000 | #Constraints:      22982
128.86/129.31	c #Conflicts:      23000 | #Constraints:      23982
128.86/129.31	c #Conflicts:      24000 | #Constraints:      24982
128.86/129.31	c #Conflicts:      25000 | #Constraints:      25982
128.86/129.31	c #Conflicts:      26000 | #Constraints:      26982
128.86/129.31	c #Conflicts:      27000 | #Constraints:      27982
128.86/129.31	c #Conflicts:      28000 | #Constraints:      28982
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      29000 | #Constraints:      23269
128.86/129.31	c #Conflicts:      30000 | #Constraints:      24269
128.86/129.31	c #Conflicts:      31000 | #Constraints:      25269
128.86/129.31	c #Conflicts:      32000 | #Constraints:      26269
128.86/129.31	c #Conflicts:      33000 | #Constraints:      27269
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      34000 | #Constraints:      22693
128.86/129.31	c #Conflicts:      35000 | #Constraints:      23693
128.86/129.31	c #Conflicts:      36000 | #Constraints:      24693
128.86/129.31	c #Conflicts:      37000 | #Constraints:      25693
128.86/129.31	c #Conflicts:      38000 | #Constraints:      26693
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      39000 | #Constraints:      22548
128.86/129.31	c #Conflicts:      40000 | #Constraints:      23548
128.86/129.31	c #Conflicts:      41000 | #Constraints:      24548
128.86/129.31	c #Conflicts:      42000 | #Constraints:      25548
128.86/129.31	c #Conflicts:      43000 | #Constraints:      26548
128.86/129.31	c #Conflicts:      44000 | #Constraints:      27548
128.86/129.31	c #Conflicts:      45000 | #Constraints:      28548
128.86/129.31	c #Conflicts:      46000 | #Constraints:      29548
128.86/129.31	c #Conflicts:      47000 | #Constraints:      30548
128.86/129.31	c #Conflicts:      48000 | #Constraints:      31548
128.86/129.31	c #Conflicts:      49000 | #Constraints:      32548
128.86/129.31	c #Conflicts:      50000 | #Constraints:      33548
128.86/129.31	c #Conflicts:      51000 | #Constraints:      34548
128.86/129.31	c #Conflicts:      52000 | #Constraints:      35548
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      53000 | #Constraints:      26584
128.86/129.31	c #Conflicts:      54000 | #Constraints:      27584
128.86/129.31	c #Conflicts:      55000 | #Constraints:      28584
128.86/129.31	c #Conflicts:      56000 | #Constraints:      29584
128.86/129.31	c #Conflicts:      57000 | #Constraints:      30584
128.86/129.31	c #Conflicts:      58000 | #Constraints:      31584
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      59000 | #Constraints:      24651
128.86/129.31	c #Conflicts:      60000 | #Constraints:      25651
128.86/129.31	c #Conflicts:      61000 | #Constraints:      26651
128.86/129.31	c #Conflicts:      62000 | #Constraints:      27651
128.86/129.31	c #Conflicts:      63000 | #Constraints:      28651
128.86/129.31	c #Conflicts:      64000 | #Constraints:      29651
128.86/129.31	c #Conflicts:      65000 | #Constraints:      30651
128.86/129.31	c INPROCESSING
128.86/129.31	c GARBAGE COLLECT
128.86/129.31	c #Conflicts:      66000 | #Constraints:      24551
128.86/129.31	c #Conflicts:      67000 | #Constraints:      25551
128.86/129.31	c #Conflicts:      68000 | #Constraints:      26551
128.86/129.31	c #Conflicts:      69000 | #Constraints:      27551
128.86/129.31	c #Conflicts:      70000 | #Constraints:      28551
352.13/353.31	c #Conflicts:      71000 | #Constraints:      29551
352.13/353.31	c #Conflicts:      72000 | #Constraints:      30551
352.13/353.31	c #Conflicts:      73000 | #Constraints:      31551
352.13/353.31	c #Conflicts:      74000 | #Constraints:      32551
352.13/353.31	c #Conflicts:      75000 | #Constraints:      33551
352.13/353.31	c #Conflicts:      76000 | #Constraints:      34551
352.13/353.31	c #Conflicts:      77000 | #Constraints:      35551
352.13/353.31	c #Conflicts:      78000 | #Constraints:      36551
352.13/353.31	c #Conflicts:      79000 | #Constraints:      37551
352.13/353.31	c #Conflicts:      80000 | #Constraints:      38551
352.13/353.31	c #Conflicts:      81000 | #Constraints:      39551
352.13/353.31	c #Conflicts:      82000 | #Constraints:      40551
352.13/353.31	c #Conflicts:      83000 | #Constraints:      41551
352.13/353.31	c #Conflicts:      84000 | #Constraints:      42551
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:      85000 | #Constraints:      30582
352.13/353.31	c #Conflicts:      86000 | #Constraints:      31582
352.13/353.31	c #Conflicts:      87000 | #Constraints:      32582
352.13/353.31	c #Conflicts:      88000 | #Constraints:      33582
352.13/353.31	c #Conflicts:      89000 | #Constraints:      34582
352.13/353.31	c #Conflicts:      90000 | #Constraints:      35582
352.13/353.31	c #Conflicts:      91000 | #Constraints:      36582
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:      92000 | #Constraints:      27323
352.13/353.31	c #Conflicts:      93000 | #Constraints:      28323
352.13/353.31	c #Conflicts:      94000 | #Constraints:      29323
352.13/353.31	c #Conflicts:      95000 | #Constraints:      30323
352.13/353.31	c #Conflicts:      96000 | #Constraints:      31323
352.13/353.31	c #Conflicts:      97000 | #Constraints:      32323
352.13/353.31	c #Conflicts:      98000 | #Constraints:      33323
352.13/353.31	c #Conflicts:      99000 | #Constraints:      34323
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:     100000 | #Constraints:      26395
352.13/353.31	c #Conflicts:     101000 | #Constraints:      27395
352.13/353.31	c #Conflicts:     102000 | #Constraints:      28395
352.13/353.31	c #Conflicts:     103000 | #Constraints:      29395
352.13/353.31	c #Conflicts:     104000 | #Constraints:      30395
352.13/353.31	c #Conflicts:     105000 | #Constraints:      31395
352.13/353.31	c #Conflicts:     106000 | #Constraints:      32395
352.13/353.31	c #Conflicts:     107000 | #Constraints:      33395
352.13/353.31	c #Conflicts:     108000 | #Constraints:      34395
352.13/353.31	c #Conflicts:     109000 | #Constraints:      35395
352.13/353.31	c #Conflicts:     110000 | #Constraints:      36395
352.13/353.31	c #Conflicts:     111000 | #Constraints:      37395
352.13/353.31	c #Conflicts:     112000 | #Constraints:      38395
352.13/353.31	c #Conflicts:     113000 | #Constraints:      39395
352.13/353.31	c #Conflicts:     114000 | #Constraints:      40395
352.13/353.31	c #Conflicts:     115000 | #Constraints:      41395
352.13/353.31	c #Conflicts:     116000 | #Constraints:      42395
352.13/353.31	c #Conflicts:     117000 | #Constraints:      43395
352.13/353.31	c #Conflicts:     118000 | #Constraints:      44395
352.13/353.31	c #Conflicts:     119000 | #Constraints:      45395
352.13/353.31	c #Conflicts:     120000 | #Constraints:      46395
352.13/353.31	c #Conflicts:     121000 | #Constraints:      47395
352.13/353.31	c #Conflicts:     122000 | #Constraints:      48395
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:     123000 | #Constraints:      33349
352.13/353.31	c #Conflicts:     124000 | #Constraints:      34349
352.13/353.31	c #Conflicts:     125000 | #Constraints:      35349
352.13/353.31	c #Conflicts:     126000 | #Constraints:      36349
352.13/353.31	c #Conflicts:     127000 | #Constraints:      37349
352.13/353.31	c #Conflicts:     128000 | #Constraints:      38349
352.13/353.31	c #Conflicts:     129000 | #Constraints:      39349
352.13/353.31	c #Conflicts:     130000 | #Constraints:      40349
352.13/353.31	c #Conflicts:     131000 | #Constraints:      41349
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:     132000 | #Constraints:      29845
352.13/353.31	c #Conflicts:     133000 | #Constraints:      30845
352.13/353.31	c #Conflicts:     134000 | #Constraints:      31845
352.13/353.31	c #Conflicts:     135000 | #Constraints:      32845
352.13/353.31	c #Conflicts:     136000 | #Constraints:      33845
352.13/353.31	c #Conflicts:     137000 | #Constraints:      34845
352.13/353.31	c #Conflicts:     138000 | #Constraints:      35845
352.13/353.31	c #Conflicts:     139000 | #Constraints:      36845
352.13/353.31	c #Conflicts:     140000 | #Constraints:      37845
352.13/353.31	c INPROCESSING
352.13/353.31	c GARBAGE COLLECT
352.13/353.31	c #Conflicts:     141000 | #Constraints:      28002
352.13/353.31	c #Conflicts:     142000 | #Constraints:      29002
352.13/353.31	c #Conflicts:     143000 | #Constraints:      30002
352.13/353.31	c #Conflicts:     144000 | #Constraints:      31002
352.13/353.31	c #Conflicts:     145000 | #Constraints:      32002
1012.11/1015.15	c #Conflicts:     146000 | #Constraints:      33002
1012.11/1015.15	c #Conflicts:     147000 | #Constraints:      34002
1012.11/1015.15	c #Conflicts:     148000 | #Constraints:      35002
1012.11/1015.15	c #Conflicts:     149000 | #Constraints:      36002
1012.11/1015.15	c #Conflicts:     150000 | #Constraints:      37002
1012.11/1015.15	c #Conflicts:     151000 | #Constraints:      38002
1012.11/1015.15	c #Conflicts:     152000 | #Constraints:      39002
1012.11/1015.15	c #Conflicts:     153000 | #Constraints:      40002
1012.11/1015.15	c #Conflicts:     154000 | #Constraints:      41002
1012.11/1015.15	c #Conflicts:     155000 | #Constraints:      42002
1012.11/1015.15	c #Conflicts:     156000 | #Constraints:      43002
1012.11/1015.15	c #Conflicts:     157000 | #Constraints:      44002
1012.11/1015.15	c #Conflicts:     158000 | #Constraints:      45002
1012.11/1015.15	c #Conflicts:     159000 | #Constraints:      46002
1012.11/1015.15	c #Conflicts:     160000 | #Constraints:      47002
1012.11/1015.15	c #Conflicts:     161000 | #Constraints:      48002
1012.11/1015.15	c #Conflicts:     162000 | #Constraints:      49002
1012.11/1015.15	c #Conflicts:     163000 | #Constraints:      50002
1012.11/1015.15	c #Conflicts:     164000 | #Constraints:      51002
1012.11/1015.15	c #Conflicts:     165000 | #Constraints:      52002
1012.11/1015.15	c #Conflicts:     166000 | #Constraints:      53002
1012.11/1015.15	c #Conflicts:     167000 | #Constraints:      54002
1012.11/1015.15	c #Conflicts:     168000 | #Constraints:      55002
1012.11/1015.15	c INPROCESSING
1012.11/1015.15	c GARBAGE COLLECT
1012.11/1015.15	c #Conflicts:     169000 | #Constraints:      36871
1012.11/1015.15	c #Conflicts:     170000 | #Constraints:      37871
1012.11/1015.15	c #Conflicts:     171000 | #Constraints:      38871
1012.11/1015.15	c #Conflicts:     172000 | #Constraints:      39871
1012.11/1015.15	c #Conflicts:     173000 | #Constraints:      40871
1012.11/1015.15	c #Conflicts:     174000 | #Constraints:      41871
1012.11/1015.15	c #Conflicts:     175000 | #Constraints:      42871
1012.11/1015.15	c #Conflicts:     176000 | #Constraints:      43871
1012.11/1015.15	c #Conflicts:     177000 | #Constraints:      44871
1012.11/1015.15	c #Conflicts:     178000 | #Constraints:      45871
1012.11/1015.15	c INPROCESSING
1012.11/1015.15	c GARBAGE COLLECT
1012.11/1015.15	c #Conflicts:     179000 | #Constraints:      32099
1012.11/1015.15	c #Conflicts:     180000 | #Constraints:      33099
1012.11/1015.15	c #Conflicts:     181000 | #Constraints:      34099
1012.11/1015.15	c #Conflicts:     182000 | #Constraints:      35099
1012.11/1015.15	c #Conflicts:     183000 | #Constraints:      36099
1012.11/1015.15	c #Conflicts:     184000 | #Constraints:      37099
1012.11/1015.15	c #Conflicts:     185000 | #Constraints:      38099
1012.11/1015.15	c #Conflicts:     186000 | #Constraints:      39099
1012.11/1015.15	c #Conflicts:     187000 | #Constraints:      40099
1012.11/1015.15	c #Conflicts:     188000 | #Constraints:      41099
1012.11/1015.15	c #Conflicts:     189000 | #Constraints:      42099
1012.11/1015.15	c #Conflicts:     190000 | #Constraints:      43099
1012.11/1015.15	c #Conflicts:     191000 | #Constraints:      44099
1012.11/1015.15	c #Conflicts:     192000 | #Constraints:      45099
1012.11/1015.15	c #Conflicts:     193000 | #Constraints:      46099
1012.11/1015.15	c #Conflicts:     194000 | #Constraints:      47099
1012.11/1015.15	c #Conflicts:     195000 | #Constraints:      48099
1012.11/1015.15	c #Conflicts:     196000 | #Constraints:      49099
1012.11/1015.15	c #Conflicts:     197000 | #Constraints:      50099
1012.11/1015.15	c #Conflicts:     198000 | #Constraints:      51099
1012.11/1015.15	c #Conflicts:     199000 | #Constraints:      52099
1012.11/1015.15	c #Conflicts:     200000 | #Constraints:      53099
1012.11/1015.15	c #Conflicts:     201000 | #Constraints:      54099
1012.11/1015.15	c #Conflicts:     202000 | #Constraints:      55099
1012.11/1015.15	c #Conflicts:     203000 | #Constraints:      56099
1012.11/1015.15	c #Conflicts:     204000 | #Constraints:      57099
1012.11/1015.15	c #Conflicts:     205000 | #Constraints:      58099
1012.11/1015.15	c #Conflicts:     206000 | #Constraints:      59099
1012.11/1015.15	c #Conflicts:     207000 | #Constraints:      60099
1012.11/1015.15	c #Conflicts:     208000 | #Constraints:      61099
1012.11/1015.15	c #Conflicts:     209000 | #Constraints:      62099
1012.11/1015.15	c INPROCESSING
1012.11/1015.15	c GARBAGE COLLECT
1012.11/1015.15	c #Conflicts:     210000 | #Constraints:      40543
1012.11/1015.15	c #Conflicts:     211000 | #Constraints:      41543
1012.11/1015.15	c #Conflicts:     212000 | #Constraints:      42543
1012.11/1015.15	c #Conflicts:     213000 | #Constraints:      43543
1012.11/1015.15	c #Conflicts:     214000 | #Constraints:      44543
1012.11/1015.15	c #Conflicts:     215000 | #Constraints:      45543
1012.11/1015.15	c #Conflicts:     216000 | #Constraints:      46543
1012.11/1015.15	c #Conflicts:     217000 | #Constraints:      47543
1012.11/1015.15	c #Conflicts:     218000 | #Constraints:      48543
1012.11/1015.15	c #Conflicts:     219000 | #Constraints:      49543
1012.11/1015.15	c #Conflicts:     220000 | #Constraints:      50543
1012.11/1015.15	c INPROCESSING
1012.11/1015.15	c GARBAGE COLLECT
1012.11/1015.15	c #Conflicts:     221000 | #Constraints:      34368
2734.32/2741.84	c #Conflicts:     222000 | #Constraints:      35368
2734.32/2741.84	c #Conflicts:     223000 | #Constraints:      36368
2734.32/2741.84	c #Conflicts:     224000 | #Constraints:      37368
2734.32/2741.84	c #Conflicts:     225000 | #Constraints:      38368
2734.32/2741.84	c #Conflicts:     226000 | #Constraints:      39368
2734.32/2741.84	c #Conflicts:     227000 | #Constraints:      40368
2734.32/2741.84	c #Conflicts:     228000 | #Constraints:      41368
2734.32/2741.84	c #Conflicts:     229000 | #Constraints:      42368
2734.32/2741.84	c #Conflicts:     230000 | #Constraints:      43368
2734.32/2741.84	c #Conflicts:     231000 | #Constraints:      44368
2734.32/2741.84	c #Conflicts:     232000 | #Constraints:      45368
2734.32/2741.84	c #Conflicts:     233000 | #Constraints:      46368
2734.32/2741.84	c #Conflicts:     234000 | #Constraints:      47368
2734.32/2741.84	c #Conflicts:     235000 | #Constraints:      48368
2734.32/2741.84	c #Conflicts:     236000 | #Constraints:      49368
2734.32/2741.84	c #Conflicts:     237000 | #Constraints:      50368
2734.32/2741.84	c #Conflicts:     238000 | #Constraints:      51368
2734.32/2741.84	c #Conflicts:     239000 | #Constraints:      52368
2734.32/2741.84	c #Conflicts:     240000 | #Constraints:      53368
2734.32/2741.84	c #Conflicts:     241000 | #Constraints:      54368
2734.32/2741.84	c #Conflicts:     242000 | #Constraints:      55368
2734.32/2741.84	c #Conflicts:     243000 | #Constraints:      56368
2734.32/2741.84	c #Conflicts:     244000 | #Constraints:      57368
2734.32/2741.84	c #Conflicts:     245000 | #Constraints:      58368
2734.32/2741.84	c #Conflicts:     246000 | #Constraints:      59368
2734.32/2741.84	c #Conflicts:     247000 | #Constraints:      60368
2734.32/2741.84	c #Conflicts:     248000 | #Constraints:      61368
2734.32/2741.84	c #Conflicts:     249000 | #Constraints:      62368
2734.32/2741.84	c #Conflicts:     250000 | #Constraints:      63368
2734.32/2741.84	c #Conflicts:     251000 | #Constraints:      64368
2734.32/2741.84	c #Conflicts:     252000 | #Constraints:      65368
2734.32/2741.84	c #Conflicts:     253000 | #Constraints:      66368
2734.32/2741.84	c #Conflicts:     254000 | #Constraints:      67368
2734.32/2741.84	c INPROCESSING
2734.32/2741.84	c GARBAGE COLLECT
2734.32/2741.84	c #Conflicts:     255000 | #Constraints:      43017
2734.32/2741.84	c #Conflicts:     256000 | #Constraints:      44017
2734.32/2741.84	c #Conflicts:     257000 | #Constraints:      45017
2734.32/2741.84	c #Conflicts:     258000 | #Constraints:      46017
2734.32/2741.84	c #Conflicts:     259000 | #Constraints:      47017
2734.32/2741.84	c #Conflicts:     260000 | #Constraints:      48017
2734.32/2741.84	c #Conflicts:     261000 | #Constraints:      49017
2734.32/2741.84	c #Conflicts:     262000 | #Constraints:      50017
2734.32/2741.84	c #Conflicts:     263000 | #Constraints:      51017
2734.32/2741.84	c #Conflicts:     264000 | #Constraints:      52017
2734.32/2741.84	c #Conflicts:     265000 | #Constraints:      53017
2734.32/2741.84	c #Conflicts:     266000 | #Constraints:      54017
2734.32/2741.84	c #Conflicts:     267000 | #Constraints:      55017
2734.32/2741.84	c INPROCESSING
2734.32/2741.84	c GARBAGE COLLECT
2734.32/2741.84	c #Conflicts:     268000 | #Constraints:      36768
2734.32/2741.84	c #Conflicts:     269000 | #Constraints:      37768
2734.32/2741.84	c #Conflicts:     270000 | #Constraints:      38768
2734.32/2741.84	c #Conflicts:     271000 | #Constraints:      39768
2734.32/2741.84	c #Conflicts:     272000 | #Constraints:      40768
2734.32/2741.84	c #Conflicts:     273000 | #Constraints:      41768
2734.32/2741.84	c #Conflicts:     274000 | #Constraints:      42768
2734.32/2741.84	c #Conflicts:     275000 | #Constraints:      43768
2734.32/2741.84	c #Conflicts:     276000 | #Constraints:      44768
2734.32/2741.84	c #Conflicts:     277000 | #Constraints:      45768
2734.32/2741.84	c #Conflicts:     278000 | #Constraints:      46768
2734.32/2741.84	c #Conflicts:     279000 | #Constraints:      47768
2734.32/2741.84	c #Conflicts:     280000 | #Constraints:      48768
2734.32/2741.84	c #Conflicts:     281000 | #Constraints:      49768
2734.32/2741.84	c #Conflicts:     282000 | #Constraints:      50768
2734.32/2741.84	c #Conflicts:     283000 | #Constraints:      51768
2734.32/2741.84	c #Conflicts:     284000 | #Constraints:      52768
2734.32/2741.84	c #Conflicts:     285000 | #Constraints:      53768
2734.32/2741.84	c #Conflicts:     286000 | #Constraints:      54768
2734.32/2741.84	c #Conflicts:     287000 | #Constraints:      55768
2734.32/2741.84	c #Conflicts:     288000 | #Constraints:      56768
2734.32/2741.84	c #Conflicts:     289000 | #Constraints:      57768
2734.32/2741.84	c #Conflicts:     290000 | #Constraints:      58768
2734.32/2741.84	c #Conflicts:     291000 | #Constraints:      59768
2734.32/2741.84	c #Conflicts:     292000 | #Constraints:      60768
2734.32/2741.84	c #Conflicts:     293000 | #Constraints:      61768
2734.32/2741.84	c #Conflicts:     294000 | #Constraints:      62768
2734.32/2741.84	c #Conflicts:     295000 | #Constraints:      63768
2734.32/2741.84	c #Conflicts:     296000 | #Constraints:      64768
2734.32/2741.84	c #Conflicts:     297000 | #Constraints:      65768
2734.32/2741.84	c #Conflicts:     298000 | #Constraints:      66768
2734.32/2741.84	c #Conflicts:     299000 | #Constraints:      67768
3600.03/3609.82	c #Conflicts:     300000 | #Constraints:      68768
3600.03/3609.82	c #Conflicts:     301000 | #Constraints:      69768
3600.03/3609.82	c #Conflicts:     302000 | #Constraints:      70768
3600.03/3609.82	c #Conflicts:     303000 | #Constraints:      71768
3600.03/3609.82	c #Conflicts:     304000 | #Constraints:      72768
3600.03/3609.82	c INPROCESSING
3600.03/3609.82	c GARBAGE COLLECT
3600.03/3609.82	c #Conflicts:     305000 | #Constraints:      45769
3600.03/3609.82	c #Conflicts:     306000 | #Constraints:      46769
3600.03/3609.82	c #Conflicts:     307000 | #Constraints:      47769
3600.03/3609.82	c #Conflicts:     308000 | #Constraints:      48769
3600.03/3609.82	c #Conflicts:     309000 | #Constraints:      49769
3600.03/3609.82	c #Conflicts:     310000 | #Constraints:      50769
3600.03/3609.82	c #Conflicts:     311000 | #Constraints:      51769
3600.03/3609.82	c #Conflicts:     312000 | #Constraints:      52769
3600.03/3609.82	c #Conflicts:     313000 | #Constraints:      53769
3600.03/3609.82	c #Conflicts:     314000 | #Constraints:      54769
3600.03/3609.82	c #Conflicts:     315000 | #Constraints:      55769
3600.03/3609.82	c #Conflicts:     316000 | #Constraints:      56769
3600.03/3609.82	c #Conflicts:     317000 | #Constraints:      57769
3600.03/3609.82	c #Conflicts:     318000 | #Constraints:      58769
3600.03/3609.82	c INPROCESSING
3600.03/3609.82	c GARBAGE COLLECT
3600.03/3609.82	c #Conflicts:     319000 | #Constraints:      43091
3600.03/3609.82	c #Conflicts:     320000 | #Constraints:      44091
3600.03/3609.82	c #Conflicts:     321000 | #Constraints:      45091
3600.03/3609.82	c #Conflicts:     322000 | #Constraints:      46091
3600.03/3609.82	c #Conflicts:     323000 | #Constraints:      47091
3600.03/3609.82	c #Conflicts:     324000 | #Constraints:      48091
3600.03/3609.82	c #Conflicts:     325000 | #Constraints:      49091
3600.03/3609.82	c #Conflicts:     326000 | #Constraints:      50091
3600.03/3609.82	c Program interrupted by user.
3600.03/3609.82	c cpu time 3595.23 s
3600.03/3609.82	c deterministic time 283832376780 2.84e+11
3600.03/3609.82	c optimization time 245.342 s
3600.03/3609.82	c total solve time 3349.86 s
3600.03/3609.82	c core-guided solve time 3349.86 s
3600.03/3609.82	c propagation time 3340.75 s
3600.03/3609.82	c conflict analysis time 233.705 s
3600.03/3609.82	c propagations 253000186
3600.03/3609.82	c resolve steps 12061228
3600.03/3609.82	c decisions 3198591
3600.03/3609.82	c conflicts 326863
3600.03/3609.82	c restarts 765
3600.03/3609.82	c inprocessing phases 27
3600.03/3609.82	c input clauses 10800
3600.03/3609.82	c input cardinalities 0
3600.03/3609.82	c input general constraints 5041
3600.03/3609.82	c input average constraint length 3.12
3600.03/3609.82	c input average constraint degree 74527594262825024.00
3600.03/3609.82	c learned clauses 64349
3600.03/3609.82	c learned cardinalities 78
3600.03/3609.82	c learned general constraints 262437
3600.03/3609.82	c learned average constraint length 271.29
3600.03/3609.82	c learned average constraint degree 192319410.47
3600.03/3609.82	c watched constraints 253202
3600.03/3609.82	c counting constraints 14276
3600.03/3609.82	c gcd simplifications 16835
3600.03/3609.82	c detected cardinalities 12
3600.03/3609.82	c weakened non-implied lits 5386195
3600.03/3609.82	c weakened non-implying lits 221887
3600.03/3609.82	c original variables 7920
3600.03/3609.82	c clausal propagations 114995510
3600.03/3609.82	c cardinality propagations 258
3600.03/3609.82	c watched propagations 23150293
3600.03/3609.82	c counting propagations 114717854
3600.03/3609.82	c watch lookups 67490444735
3600.03/3609.82	c watch backjump lookups 65008342976
3600.03/3609.82	c watch checks 89377082511
3600.03/3609.82	c propagation checks 61155891362
3600.03/3609.82	c constraint additions 287890793
3600.03/3609.82	c trail pops 256525625
3600.03/3609.82	c formula constraints 15840
3600.03/3609.82	c learned constraints 326864
3600.03/3609.82	c bound constraints 1
3600.03/3609.82	c core-guided constraints 0
3600.03/3609.82	c encountered formula constraints 9015888
3600.03/3609.82	c encountered learned constraints 3372203
3600.03/3609.82	c encountered bound constraints 0
3600.03/3609.82	c encountered core-guided constraints 0
3600.03/3609.82	c LP total time 0 s
3600.03/3609.82	c LP solve time 0 s
3600.03/3609.82	c LP constraints added 0
3600.03/3609.82	c LP constraints removed 0
3600.03/3609.82	c LP pivots internal 0
3600.03/3609.82	c LP pivots root 0
3600.03/3609.82	c LP calls 0
3600.03/3609.82	c LP optimalities 0
3600.03/3609.82	c LP no pivot count 0
3600.03/3609.82	c LP infeasibilities 0
3600.03/3609.82	c LP valid Farkas constraints 0
3600.03/3609.82	c LP learned Farkas constraints 0
3600.03/3609.82	c LP basis resets 0
3600.03/3609.82	c LP cycling count 0
3600.03/3609.82	c LP singular count 0
3600.03/3609.82	c LP no primal count 0
3600.03/3609.82	c LP no farkas count 0
3600.03/3609.82	c LP other issue count 0
3600.03/3609.82	c LP Gomory cuts 0
3600.03/3609.82	c LP learned cuts 0
3600.03/3609.82	c LP deleted cuts 0
3600.03/3609.82	c LP encountered Gomory constraints 0
3600.03/3609.82	c LP encountered Farkas constraints 0
3600.03/3609.82	c LP encountered learned Farkas constraints 0
3600.03/3609.82	c CG auxiliary variables introduced 0
3600.03/3609.82	c CG solutions found 0
3600.03/3609.82	c CG cores constructed 1
3600.03/3609.82	c CG core cardinality constraints returned 0
3600.03/3609.82	c CG unit cores 0
3600.03/3609.82	c CG single cores 1
3600.03/3609.82	c CG blocks removed during cardinality reduction 0
3600.03/3609.82	c CG first core best 0
3600.03/3609.82	c CG decision core best 0
3600.03/3609.82	c CG core reduction tie 0
3600.03/3609.82	c CG core degree average 1.00
3600.03/3609.82	c CG core slack average 3.00
3600.03/3609.82	c CG exhausted 0
3600.03/3609.82	c CG exhaust time 0 s
3600.03/3609.82	c CG trimmed 0
3600.03/3609.82	c CG trim time 0 s
3600.03/3609.82	c CG minimized 0
3600.03/3609.82	c CG minimize time 0 s
3600.03/3609.82	c CG am1 prop time 0 s
3600.03/3609.82	c CG # am1s reformulated 0
3600.03/3609.82	c CG lower bound derived from am1s 0
3600.03/3609.82	c CG # clausal cores 1
3600.03/3609.82	c CG # cardinality cores 0
3600.03/3609.82	c CG # pb cores 0
3600.03/3609.82	c CG # pb reforms 0
3600.03/3609.82	c CG # cores discarded because of pb reform 0
3600.03/3609.82	d LOWERBOUND -9223372036854775808
3600.03/3609.82	d NCORES 1
3600.03/3609.82	d NPBCORES 0
3600.03/3609.82	d NPBREFORM 0
3600.03/3609.82	d NTRIMMED 0
3600.03/3609.82	d NEXHAUSTED 0
3600.03/3609.82	d NAM1S 0
3600.03/3609.82	d AM1LB 0
3600.03/3609.82	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 (50077 MiB free)
  memory of node 1: 64507 MiB (63483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529266-1752263895/watcher-4529266-1752263895 -o /tmp/evaluation-result-4529266-1752263895/solver-4529266-1752263895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122582 --watchdog 3760 mixed-bag HOME/instance-4529266-1752263895.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=125306, runsolver pid=125303

[startup+0.100064 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116287072/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=83380 memory=16628 CPUtime=0.09 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 1567 0 0 0 7 2 0 0 20 0 1 0 142069080 85381120 4157 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 20845 4157 2336 2834 0 3597 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83380 KiB
Current children cumulated memory: 16628 KiB

[startup+0.205624 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116287072/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=83644 memory=16884 CPUtime=0.19 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 1635 0 0 0 17 2 0 0 20 0 1 0 142069080 85651456 4221 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 20911 4221 2336 2834 0 3663 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83644 KiB
Current children cumulated memory: 16884 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116287072/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=84328 memory=17504 CPUtime=0.29 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 1834 0 0 0 27 2 0 0 20 0 1 0 142069080 86351872 4376 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 21082 4376 2336 2834 0 3834 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84328 KiB
Current children cumulated memory: 17504 KiB

[startup+0.70017 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116287072/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=84856 memory=17888 CPUtime=0.68 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 1953 0 0 0 64 4 0 0 20 0 1 0 142069080 86892544 4472 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 21214 4472 2336 2834 0 3966 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84856 KiB
Current children cumulated memory: 17888 KiB

[startup+1.50017 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116279260/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=85916 memory=21084 CPUtime=1.48 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 2219 0 0 0 142 6 0 0 20 0 1 0 142069080 87977984 5271 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 21479 5271 2336 2834 0 4231 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85916 KiB
Current children cumulated memory: 21084 KiB

[startup+3.10537 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 125307
/proc/meminfo: memFree=116279764/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=87816 memory=22876 CPUtime=3.08 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 2689 0 0 0 299 9 0 0 20 0 1 0 142069080 89923584 5719 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 21954 5719 2336 2834 0 4706 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87816 KiB
Current children cumulated memory: 22876 KiB

[startup+6.30016 s]
/proc/loadavg: 4.21 4.13 4.10 6/264 125307
/proc/meminfo: memFree=116280016/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=88168 memory=23388 CPUtime=6.27 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 2815 0 0 0 614 13 0 0 20 0 1 0 142069080 90284032 5847 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 22042 5847 2336 2834 0 4794 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88168 KiB
Current children cumulated memory: 23388 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 125308
/proc/meminfo: memFree=116272852/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=99396 memory=33748 CPUtime=12.65 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 4878 0 0 0 1244 21 0 0 20 0 1 0 142069080 101781504 8437 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 24849 8437 2336 2834 0 7601 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99396 KiB
Current children cumulated memory: 33748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/266 125449
/proc/meminfo: memFree=118709568/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=110780 memory=40060 CPUtime=25.41 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 6689 0 0 0 2512 29 0 0 20 0 1 0 142069080 113438720 10015 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 27695 10015 2336 2834 0 10447 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 110780 KiB
Current children cumulated memory: 40060 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.14 4.10 5/266 125449
/proc/meminfo: memFree=118372820/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=161288 memory=84560 CPUtime=50.93 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 12827 0 0 0 5054 39 0 0 20 0 1 0 142069080 165158912 21140 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 40322 21140 2336 2834 0 23074 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161288 KiB
Current children cumulated memory: 84560 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/266 125451
/proc/meminfo: memFree=118182512/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=228424 memory=141812 CPUtime=101.95 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 21537 0 0 0 10141 54 0 0 20 0 1 0 142069080 233906176 35453 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 57106 35453 2336 2834 0 39858 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 228424 KiB
Current children cumulated memory: 141812 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 125453
/proc/meminfo: memFree=118093620/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=233212 memory=145844 CPUtime=161.74 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 22902 0 0 0 16087 87 0 0 20 0 1 0 142069080 238809088 36461 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 58303 36461 2336 2834 0 41055 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 233212 KiB
Current children cumulated memory: 145844 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 125466
/proc/meminfo: memFree=118198680/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=234380 memory=146812 CPUtime=221.55 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 23501 0 0 0 22034 121 0 0 20 0 1 0 142069080 240005120 36703 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 58595 36703 2336 2834 0 41347 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 234380 KiB
Current children cumulated memory: 146812 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 125468
/proc/meminfo: memFree=118153864/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=242856 memory=154080 CPUtime=281.35 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 25389 0 0 0 27996 139 0 0 20 0 1 0 142069080 248684544 38520 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 60714 38520 2336 2834 0 43466 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 242856 KiB
Current children cumulated memory: 154080 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 125560
/proc/meminfo: memFree=118579236/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=243188 memory=154612 CPUtime=341.17 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 25860 0 0 0 33954 163 0 0 20 0 1 0 142069080 249024512 38653 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 60797 38653 2336 2834 0 43549 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 243188 KiB
Current children cumulated memory: 154612 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 125562
/proc/meminfo: memFree=117745660/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=244856 memory=156020 CPUtime=400.98 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 26226 0 0 0 39918 180 0 0 20 0 1 0 142069080 250732544 39005 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 61214 39005 2336 2834 0 43966 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 244856 KiB
Current children cumulated memory: 156020 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 125608
/proc/meminfo: memFree=122540844/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=249052 memory=159604 CPUtime=460.79 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 27141 0 0 0 45887 192 0 0 20 0 1 0 142069080 255029248 39901 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 62263 39901 2336 2834 0 45015 0
Current children cumulated CPU time: 460.79 s

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

Current children cumulated memory: 263700 KiB

[startup+2862.3 s]
/proc/loadavg: 3.07 3.21 3.59 5/261 126071
/proc/meminfo: memFree=125354892/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=364788 memory=271900 CPUtime=2854.52 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 40881 0 0 0 285011 441 0 0 20 0 1 0 142069080 373542912 67975 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91197 67975 2336 2834 0 73949 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 364788 KiB
Current children cumulated memory: 271900 KiB

[startup+2922.3 s]
/proc/loadavg: 3.14 3.20 3.56 4/260 126073
/proc/meminfo: memFree=125347032/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367768 memory=275764 CPUtime=2914.37 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41348 0 0 0 290993 444 0 0 20 0 1 0 142069080 376594432 68941 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91942 68941 2336 2834 0 74694 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 367768 KiB
Current children cumulated memory: 275764 KiB

[startup+2982.3 s]
/proc/loadavg: 3.11 3.18 3.53 4/260 126075
/proc/meminfo: memFree=125349880/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=2974.22 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41697 0 0 0 296974 448 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3042.3 s]
/proc/loadavg: 3.31 3.21 3.52 4/260 126079
/proc/meminfo: memFree=125352404/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3034.07 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41698 0 0 0 302956 451 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3102.3 s]
/proc/loadavg: 3.28 3.23 3.51 4/257 126086
/proc/meminfo: memFree=125351976/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3093.91 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41797 0 0 0 308937 454 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.20 3.48 4/257 126088
/proc/meminfo: memFree=125351948/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3153.76 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41799 0 0 0 314919 457 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.17 3.45 4/258 126091
/proc/meminfo: memFree=125353016/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3213.61 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41801 0 0 0 320899 462 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.17 3.43 4/258 126093
/proc/meminfo: memFree=125352944/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3273.45 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41803 0 0 0 326881 464 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3342.3 s]
/proc/loadavg: 3.28 3.22 3.44 4/258 126095
/proc/meminfo: memFree=125327756/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=367908 memory=276104 CPUtime=3333.29 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 41806 0 0 0 332862 467 0 0 20 0 1 0 142069080 376737792 69026 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 91977 69026 2336 2834 0 74729 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 367908 KiB
Current children cumulated memory: 276104 KiB

[startup+3402.3 s]
/proc/loadavg: 3.21 3.21 3.42 4/258 126097
/proc/meminfo: memFree=125324460/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=368012 memory=276228 CPUtime=3393.14 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 42112 0 0 0 338843 471 0 0 20 0 1 0 142069080 376844288 69057 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 92003 69057 2336 2834 0 74755 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 368012 KiB
Current children cumulated memory: 276228 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.19 3.40 4/257 126099
/proc/meminfo: memFree=125317296/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=368012 memory=283140 CPUtime=3452.99 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 42114 0 0 0 344825 474 0 0 20 0 1 0 142069080 376844288 70785 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 92003 70785 2336 2834 0 74755 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 368012 KiB
Current children cumulated memory: 283140 KiB

[startup+3522.3 s]
/proc/loadavg: 2.77 3.09 3.35 3/250 126131
/proc/meminfo: memFree=125674860/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=368012 memory=283140 CPUtime=3512.81 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 42114 0 0 0 350804 477 0 0 20 0 1 0 142069080 376844288 70785 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 92003 70785 2336 2834 0 74755 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 368012 KiB
Current children cumulated memory: 283140 KiB

[startup+3582.3 s]
/proc/loadavg: 2.34 2.90 3.26 3/250 126133
/proc/meminfo: memFree=125675180/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=368012 memory=283140 CPUtime=3572.62 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 42114 0 0 0 356781 481 0 0 20 0 1 0 142069080 376844288 70785 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 92003 70785 2336 2834 0 74755 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 368012 KiB
Current children cumulated memory: 283140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 2.23 2.83 3.23 3/250 126133
/proc/meminfo: memFree=125675188/131249996 swapFree=33005016/33010684
[pid=125306] ppid=125303 vsize=368012 memory=283140 CPUtime=3600.03 cores=1,3
/proc/125306/stat : 125306 (mixed-bag) R 125303 125306 122570 0 -1 4194304 42114 0 0 0 359521 482 0 0 20 0 1 0 142069080 376844288 70785 18446744073709551615 4235264 15840557 140723836760560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45920256 140723836762522 140723836762599 140723836762599 140723836768203 0
/proc/125306/statm: 92003 70785 2336 2834 0 74755 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 368012 KiB
Current children cumulated memory: 283140 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.23 s, system=4.83007 s

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

Child status: 0

Real time (s): 3609.82
CPU time (s): 3600.06
CPU user time (s): 3595.23
CPU system time (s): 4.83007
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 369248
Max. memory (cumulated for all children) (KiB): 283140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.23
system time used= 4.83007
maximum resident set size= 283652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42144
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= 192
involuntary context switches= 3929


# summary of solver processes directly reported to runsolver:
#   pid: 125306
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.23
#   total CPU system time (s): 4.83007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73088 second user time and 15.7967 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-11 21:58:15
IDJOB=4529266
IDBENCH=177172
IDSOLVER=3386
FILE ID=nodeC030/4529266-1752263895
RUNJOBID= nodeC030-1752256328-122582
SLURM_JOB_ID= 9682597
Free space on /tmp= 432372 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529266-1752263895/watcher-4529266-1752263895 -o /tmp/evaluation-result-4529266-1752263895/solver-4529266-1752263895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122582 --watchdog 3760  mixed-bag HOME/instance-4529266-1752263895.opb

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

MD5SUM BENCH= 35fe9b1930bcbc7a02a3c0004c4836fe
RANDOM SEED=1200891431

nodeC030 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.386
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.62
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		: 3600.522
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.62
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		: 3534.172
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.62
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		: 3594.062
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.62
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.349
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.62
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.324
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.62
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		: 3543.632
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.62
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		: 3592.461
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116285140 kB
MemAvailable:   119448316 kB
Buffers:              16 kB
Cached:          3947640 kB
SwapCached:          216 kB
Active:         10348256 kB
Inactive:        3840176 kB
Active(anon):   10193236 kB
Inactive(anon):    61088 kB
Active(file):     155020 kB
Inactive(file):  3779088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15564 kB
Writeback:            44 kB
AnonPages:      10242748 kB
Mapped:           134940 kB
Shmem:             13548 kB
KReclaimable:     136216 kB
Slab:             229236 kB
SReclaimable:     136216 kB
SUnreclaim:        93020 kB
KernelStack:        4240 kB
PageTables:        23704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11789696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5449728 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432484 MiB
End job on nodeC030 at 2025-07-11 22:58:25