Trace number 4519137

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.1 3609.92

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61462 MiB free)
  memory of node 1: 64465 MiB (62828 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519137-1751535678/watcher-4519137-1751535678 -o /tmp/evaluation-result-4519137-1751535678/solver-4519137-1751535678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70540 --watchdog 3760 mixed-bag HOME/instance-4519137-1751535678.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=73288, runsolver pid=73285

[startup+0.100065 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 73289
/proc/meminfo: memFree=127273392/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=85544 memory=16720 CPUtime=0.09 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 1592 0 0 0 7 2 0 0 20 0 1 0 69245351 87597056 4180 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 21386 4180 2336 2842 0 3619 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85544 KiB
Current children cumulated memory: 16720 KiB

[startup+0.205616 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 73289
/proc/meminfo: memFree=127273392/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=85808 memory=16848 CPUtime=0.19 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 1655 0 0 0 17 2 0 0 20 0 1 0 69245351 87867392 4212 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 21452 4212 2336 2842 0 3685 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85808 KiB
Current children cumulated memory: 16848 KiB

[startup+0.30554 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 73289
/proc/meminfo: memFree=127273840/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=86492 memory=17604 CPUtime=0.28 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 1861 0 0 0 26 2 0 0 20 0 1 0 69245351 88567808 4401 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 21623 4401 2336 2842 0 3856 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86492 KiB
Current children cumulated memory: 17604 KiB

[startup+0.700172 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 73289
/proc/meminfo: memFree=127273840/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=87020 memory=17988 CPUtime=0.67 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 1978 0 0 0 64 3 0 0 20 0 1 0 69245351 89108480 4497 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 21755 4497 2336 2842 0 3988 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87020 KiB
Current children cumulated memory: 17988 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 73290
/proc/meminfo: memFree=127272076/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=88080 memory=21184 CPUtime=1.47 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 2246 0 0 0 142 5 0 0 20 0 1 0 69245351 90193920 5296 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 22020 5296 2336 2842 0 4253 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 88080 KiB
Current children cumulated memory: 21184 KiB

[startup+3.10544 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 73290
/proc/meminfo: memFree=127274840/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=89980 memory=22976 CPUtime=3.07 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 2716 0 0 0 299 8 0 0 20 0 1 0 69245351 92139520 5744 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 22495 5744 2336 2842 0 4728 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 22976 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 73290
/proc/meminfo: memFree=127264656/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=90332 memory=23488 CPUtime=6.26 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 2842 0 0 0 613 13 0 0 20 0 1 0 69245351 92499968 5872 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 22583 5872 2336 2842 0 4816 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90332 KiB
Current children cumulated memory: 23488 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 73290
/proc/meminfo: memFree=127246272/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=101428 memory=33528 CPUtime=12.64 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 4827 0 0 0 1244 20 0 0 20 0 1 0 69245351 103862272 8382 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 25357 8382 2336 2842 0 7590 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 101428 KiB
Current children cumulated memory: 33528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 73290
/proc/meminfo: memFree=127227100/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=112944 memory=39136 CPUtime=25.41 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 6467 0 0 0 2511 30 0 0 20 0 1 0 69245351 115654656 9784 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 28236 9784 2336 2842 0 10469 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 112944 KiB
Current children cumulated memory: 39136 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 73293
/proc/meminfo: memFree=127169560/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=162480 memory=82744 CPUtime=50.95 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 12894 0 0 0 5055 40 0 0 20 0 1 0 69245351 166379520 20686 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 40620 20686 2336 2842 0 22853 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 162480 KiB
Current children cumulated memory: 82744 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 73295
/proc/meminfo: memFree=127073208/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=229196 memory=138016 CPUtime=102 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 21105 0 0 0 10148 52 0 0 20 0 1 0 69245351 234696704 34504 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 57299 34504 2336 2842 0 39532 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 229196 KiB
Current children cumulated memory: 138016 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 73297
/proc/meminfo: memFree=127019656/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=234144 memory=146208 CPUtime=161.86 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 22478 0 0 0 16103 83 0 0 20 0 1 0 69245351 239763456 36552 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 58536 36552 2336 2842 0 40769 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 234144 KiB
Current children cumulated memory: 146208 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 73299
/proc/meminfo: memFree=126951880/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=236404 memory=148200 CPUtime=221.7 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 23324 0 0 0 22056 114 0 0 20 0 1 0 69245351 242077696 37050 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 59101 37050 2336 2842 0 41334 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 236404 KiB
Current children cumulated memory: 148200 KiB

[startup+282.3 s]
/proc/loadavg: 4.35 4.19 4.12 5/264 73301
/proc/meminfo: memFree=126894848/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=239520 memory=151016 CPUtime=281.55 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 24034 0 0 0 28023 132 0 0 20 0 1 0 69245351 245268480 37754 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 59880 37754 2336 2842 0 42113 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 239520 KiB
Current children cumulated memory: 151016 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/264 73305
/proc/meminfo: memFree=126857276/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=245500 memory=161040 CPUtime=341.38 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 25479 0 0 0 33991 147 0 0 20 0 1 0 69245351 251392000 40260 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 61375 40260 2336 2842 0 43608 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 245500 KiB
Current children cumulated memory: 161040 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/264 73307
/proc/meminfo: memFree=126842376/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=246296 memory=162388 CPUtime=401.22 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 25931 0 0 0 39955 167 0 0 20 0 1 0 69245351 252207104 40597 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 61574 40597 2336 2842 0 43807 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 246296 KiB
Current children cumulated memory: 162388 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 73314
/proc/meminfo: memFree=126840232/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=247904 memory=163668 CPUtime=461.07 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 26264 0 0 0 45928 179 0 0 20 0 1 0 69245351 253853696 40917 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 61976 40917 2336 2842 0 44209 0

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

Current children cumulated memory: 263496 KiB

[startup+2922.3 s]
/proc/loadavg: 3.37 3.87 4.01 4/258 73476
/proc/meminfo: memFree=126728988/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=365064 memory=269264 CPUtime=2914.51 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 39869 0 0 0 291040 411 0 0 20 0 1 0 69245351 373825536 67316 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 91266 67316 2336 2842 0 73499 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 365064 KiB
Current children cumulated memory: 269264 KiB

[startup+2982.3 s]
/proc/loadavg: 3.18 3.72 3.95 4/259 73480
/proc/meminfo: memFree=126708312/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=367432 memory=274896 CPUtime=2974.34 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 40252 0 0 0 297019 415 0 0 20 0 1 0 69245351 376250368 68724 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 91858 68724 2336 2842 0 74091 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 367432 KiB
Current children cumulated memory: 274896 KiB

[startup+3042.3 s]
/proc/loadavg: 3.17 3.62 3.90 4/258 73484
/proc/meminfo: memFree=126687088/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=369932 memory=278516 CPUtime=3034.16 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 40641 0 0 0 302999 417 0 0 20 0 1 0 69245351 378810368 69629 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92483 69629 2336 2842 0 74716 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 369932 KiB
Current children cumulated memory: 278516 KiB

[startup+3102.3 s]
/proc/loadavg: 3.11 3.52 3.84 4/258 73486
/proc/meminfo: memFree=126680188/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3093.99 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 40984 0 0 0 308975 424 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3162.3 s]
/proc/loadavg: 3.16 3.45 3.80 4/258 73488
/proc/meminfo: memFree=126638712/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3153.81 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 40985 0 0 0 314953 428 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3222.3 s]
/proc/loadavg: 2.90 3.34 3.74 3/252 73521
/proc/meminfo: memFree=127551104/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3213.63 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 40985 0 0 0 320931 432 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3282.3 s]
/proc/loadavg: 2.38 3.11 3.63 3/252 73524
/proc/meminfo: memFree=127550640/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3273.44 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41017 0 0 0 326908 436 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3342.3 s]
/proc/loadavg: 2.24 2.93 3.54 3/252 73526
/proc/meminfo: memFree=127538688/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3333.25 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41019 0 0 0 332886 439 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.78 3.44 3/252 73528
/proc/meminfo: memFree=127536936/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370072 memory=278864 CPUtime=3393.07 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41022 0 0 0 338864 443 0 0 20 0 1 0 69245351 378953728 69716 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92518 69716 2336 2842 0 74751 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 370072 KiB
Current children cumulated memory: 278864 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.65 3.35 3/252 73534
/proc/meminfo: memFree=127537916/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370176 memory=278984 CPUtime=3452.88 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41329 0 0 0 344841 447 0 0 20 0 1 0 69245351 379060224 69746 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92544 69746 2336 2842 0 74777 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 278984 KiB

[startup+3522.3 s]
/proc/loadavg: 2.06 2.54 3.27 3/251 73536
/proc/meminfo: memFree=127537116/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370176 memory=278984 CPUtime=3512.69 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41329 0 0 0 350817 452 0 0 20 0 1 0 69245351 379060224 69746 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92544 69746 2336 2842 0 74777 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 278984 KiB

[startup+3582.3 s]
/proc/loadavg: 1.58 2.33 3.15 2/245 73569
/proc/meminfo: memFree=127849056/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370176 memory=283848 CPUtime=3572.53 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41331 0 0 0 356798 455 0 0 20 0 1 0 69245351 379060224 70962 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92544 70962 2336 2842 0 74777 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 283848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 1.44 2.24 3.10 2/245 73570
/proc/meminfo: memFree=127856044/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370176 memory=283848 CPUtime=3600.06 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41331 0 0 0 359550 456 0 0 20 0 1 0 69245351 379060224 70962 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92544 70962 2336 2842 0 74777 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 283848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.53 s, system=4.56882 s

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

[startup+3609.9 s]
/proc/loadavg: 1.44 2.24 3.10 2/245 73570
/proc/meminfo: memFree=127856044/131250000 swapFree=33007332/33010684
[pid=73288] ppid=73285 vsize=370176 memory=283848 CPUtime=3600.06 cores=5,7
/proc/73288/stat : 73288 (mixed-bag) R 73285 73288 70527 0 -1 4194304 41331 0 0 0 359550 456 0 0 20 0 1 0 69245351 379060224 70962 18446744073709551615 4235264 15874749 140730062117008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 46915584 140730062125468 140730062125545 140730062125545 140730062131147 0
/proc/73288/statm: 92544 70962 2336 2842 0 74777 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 283848 KiB

Child status: 0

Real time (s): 3609.92
CPU time (s): 3600.1
CPU user time (s): 3595.53
CPU system time (s): 4.56882
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 371412
Max. memory (cumulated for all children) (KiB): 283848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.53
system time used= 4.56882
maximum resident set size= 284488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41362
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= 175
involuntary context switches= 4616


# summary of solver processes directly reported to runsolver:
#   pid: 73288
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3595.53
#   total CPU system time (s): 4.56882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.6681 second user time and 16.7815 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-03 11:41:18
IDJOB=4519137
IDBENCH=177172
IDSOLVER=3340
FILE ID=nodeC019/4519137-1751535678
RUNJOBID= nodeC019-1751527683-70540
SLURM_JOB_ID= 9598661
Free space on /tmp= 431596 MiB

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

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

MD5SUM BENCH= 35fe9b1930bcbc7a02a3c0004c4836fe
RANDOM SEED=1879746129

nodeC019 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.690
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.37
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.661
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.37
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		: 3598.986
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.37
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		: 3574.754
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.37
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.671
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.37
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.261
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.37
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		: 3597.191
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.37
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		: 3599.670
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127273728 kB
MemAvailable:   128900408 kB
Buffers:             904 kB
Cached:          2429416 kB
SwapCached:          440 kB
Active:          1087580 kB
Inactive:        2283804 kB
Active(anon):     928520 kB
Inactive(anon):    27736 kB
Active(file):     159060 kB
Inactive(file):  2256068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16220 kB
Writeback:           156 kB
AnonPages:        942224 kB
Mapped:           131316 kB
Shmem:             15192 kB
KReclaimable:     101580 kB
Slab:             190484 kB
SReclaimable:     101580 kB
SUnreclaim:        88904 kB
KernelStack:        4284 kB
PageTables:         5256 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1335388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431628 MiB
End job on nodeC019 at 2025-07-03 12:41:29