Trace number 4529272

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.11 3610.24

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
MD5SUMc6bac13c4e4f8552186782101ff3a61f
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 benchmark3586.2
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.10/0.14	c [STEP] solving
0.10/0.14	c #variables 7920 #constraints 15840
0.10/0.14	c SMALL=int128, LARGE=int128
0.10/0.14	d SCIPUB 9444732965739290427391
0.10/0.14	c bounds - >= -4722366482869645213695 @ 0.085984
0.10/0.14	c stratification level: 1180591620717411303424
88.75/89.05	c bounds - >= -3541774862152233910271 @ 0.086215
88.75/89.05	c #Conflicts:       1000 | #Constraints:      16841
88.75/89.05	c #Conflicts:       2000 | #Constraints:      17841
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:       3000 | #Constraints:      17896
88.75/89.05	c #Conflicts:       4000 | #Constraints:      18896
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:       5000 | #Constraints:      18366
88.75/89.05	c #Conflicts:       6000 | #Constraints:      19366
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:       7000 | #Constraints:      18444
88.75/89.05	c #Conflicts:       8000 | #Constraints:      19444
88.75/89.05	c #Conflicts:       9000 | #Constraints:      20444
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      10000 | #Constraints:      19161
88.75/89.05	c #Conflicts:      11000 | #Constraints:      20161
88.75/89.05	c #Conflicts:      12000 | #Constraints:      21161
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      13000 | #Constraints:      19645
88.75/89.05	c #Conflicts:      14000 | #Constraints:      20645
88.75/89.05	c #Conflicts:      15000 | #Constraints:      21645
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      16000 | #Constraints:      19932
88.75/89.05	c #Conflicts:      17000 | #Constraints:      20932
88.75/89.05	c #Conflicts:      18000 | #Constraints:      21932
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      19000 | #Constraints:      19998
88.75/89.05	c #Conflicts:      20000 | #Constraints:      20998
88.75/89.05	c #Conflicts:      21000 | #Constraints:      21998
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      22000 | #Constraints:      19832
88.75/89.05	c #Conflicts:      23000 | #Constraints:      20832
88.75/89.05	c #Conflicts:      24000 | #Constraints:      21832
88.75/89.05	c #Conflicts:      25000 | #Constraints:      22832
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      26000 | #Constraints:      20463
88.75/89.05	c #Conflicts:      27000 | #Constraints:      21463
88.75/89.05	c #Conflicts:      28000 | #Constraints:      22463
88.75/89.05	c #Conflicts:      29000 | #Constraints:      23463
88.75/89.05	c #Conflicts:      30000 | #Constraints:      24463
88.75/89.05	c #Conflicts:      31000 | #Constraints:      25463
88.75/89.05	c #Conflicts:      32000 | #Constraints:      26463
88.75/89.05	c #Conflicts:      33000 | #Constraints:      27463
88.75/89.05	c #Conflicts:      34000 | #Constraints:      28463
88.75/89.05	c #Conflicts:      35000 | #Constraints:      29463
88.75/89.05	c #Conflicts:      36000 | #Constraints:      30463
88.75/89.05	c #Conflicts:      37000 | #Constraints:      31463
88.75/89.05	c #Conflicts:      38000 | #Constraints:      32463
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      39000 | #Constraints:      25449
88.75/89.05	c #Conflicts:      40000 | #Constraints:      26449
88.75/89.05	c #Conflicts:      41000 | #Constraints:      27449
88.75/89.05	c #Conflicts:      42000 | #Constraints:      28449
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      43000 | #Constraints:      22960
88.75/89.05	c #Conflicts:      44000 | #Constraints:      23960
88.75/89.05	c #Conflicts:      45000 | #Constraints:      24960
88.75/89.05	c #Conflicts:      46000 | #Constraints:      25960
88.75/89.05	c #Conflicts:      47000 | #Constraints:      26960
88.75/89.05	c #Conflicts:      48000 | #Constraints:      27960
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      49000 | #Constraints:      23193
88.75/89.05	c #Conflicts:      50000 | #Constraints:      24193
88.75/89.05	c #Conflicts:      51000 | #Constraints:      25193
88.75/89.05	c #Conflicts:      52000 | #Constraints:      26193
88.75/89.05	c #Conflicts:      53000 | #Constraints:      27193
88.75/89.05	c INPROCESSING
88.75/89.05	c GARBAGE COLLECT
88.75/89.05	c #Conflicts:      54000 | #Constraints:      22663
88.75/89.05	c #Conflicts:      55000 | #Constraints:      23663
88.75/89.05	c #Conflicts:      56000 | #Constraints:      24663
88.75/89.05	c #Conflicts:      57000 | #Constraints:      25663
88.75/89.05	c #Conflicts:      58000 | #Constraints:      26663
88.75/89.05	c #Conflicts:      59000 | #Constraints:      27663
88.75/89.05	c #Conflicts:      60000 | #Constraints:      28663
88.75/89.05	c #Conflicts:      61000 | #Constraints:      29663
88.75/89.05	c #Conflicts:      62000 | #Constraints:      30663
88.75/89.05	c #Conflicts:      63000 | #Constraints:      31663
88.75/89.05	c #Conflicts:      64000 | #Constraints:      32663
88.75/89.05	c #Conflicts:      65000 | #Constraints:      33663
88.75/89.05	c #Conflicts:      66000 | #Constraints:      34663
88.75/89.05	c #Conflicts:      67000 | #Constraints:      35663
88.75/89.05	c #Conflicts:      68000 | #Constraints:      36663
88.75/89.05	c #Conflicts:      69000 | #Constraints:      37663
88.75/89.05	c #Conflicts:      70000 | #Constraints:      38663
1074.54/1077.58	c #Conflicts:      71000 | #Constraints:      39663
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:      72000 | #Constraints:      28906
1074.54/1077.58	c #Conflicts:      73000 | #Constraints:      29906
1074.54/1077.58	c #Conflicts:      74000 | #Constraints:      30906
1074.54/1077.58	c #Conflicts:      75000 | #Constraints:      31906
1074.54/1077.58	c #Conflicts:      76000 | #Constraints:      32906
1074.54/1077.58	c #Conflicts:      77000 | #Constraints:      33906
1074.54/1077.58	c #Conflicts:      78000 | #Constraints:      34906
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:      79000 | #Constraints:      26705
1074.54/1077.58	c #Conflicts:      80000 | #Constraints:      27705
1074.54/1077.58	c #Conflicts:      81000 | #Constraints:      28705
1074.54/1077.58	c #Conflicts:      82000 | #Constraints:      29705
1074.54/1077.58	c #Conflicts:      83000 | #Constraints:      30705
1074.54/1077.58	c #Conflicts:      84000 | #Constraints:      31705
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:      85000 | #Constraints:      24738
1074.54/1077.58	c #Conflicts:      86000 | #Constraints:      25738
1074.54/1077.58	c #Conflicts:      87000 | #Constraints:      26738
1074.54/1077.58	c #Conflicts:      88000 | #Constraints:      27738
1074.54/1077.58	c #Conflicts:      89000 | #Constraints:      28738
1074.54/1077.58	c #Conflicts:      90000 | #Constraints:      29738
1074.54/1077.58	c #Conflicts:      91000 | #Constraints:      30738
1074.54/1077.58	c #Conflicts:      92000 | #Constraints:      31738
1074.54/1077.58	c #Conflicts:      93000 | #Constraints:      32738
1074.54/1077.58	c #Conflicts:      94000 | #Constraints:      33738
1074.54/1077.58	c #Conflicts:      95000 | #Constraints:      34738
1074.54/1077.58	c #Conflicts:      96000 | #Constraints:      35738
1074.54/1077.58	c #Conflicts:      97000 | #Constraints:      36738
1074.54/1077.58	c #Conflicts:      98000 | #Constraints:      37738
1074.54/1077.58	c #Conflicts:      99000 | #Constraints:      38738
1074.54/1077.58	c #Conflicts:     100000 | #Constraints:      39738
1074.54/1077.58	c #Conflicts:     101000 | #Constraints:      40738
1074.54/1077.58	c #Conflicts:     102000 | #Constraints:      41738
1074.54/1077.58	c #Conflicts:     103000 | #Constraints:      42738
1074.54/1077.58	c #Conflicts:     104000 | #Constraints:      43738
1074.54/1077.58	c #Conflicts:     105000 | #Constraints:      44738
1074.54/1077.58	c #Conflicts:     106000 | #Constraints:      45738
1074.54/1077.58	c #Conflicts:     107000 | #Constraints:      46738
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:     108000 | #Constraints:      32656
1074.54/1077.58	c #Conflicts:     109000 | #Constraints:      33656
1074.54/1077.58	c #Conflicts:     110000 | #Constraints:      34656
1074.54/1077.58	c #Conflicts:     111000 | #Constraints:      35656
1074.54/1077.58	c #Conflicts:     112000 | #Constraints:      36656
1074.54/1077.58	c #Conflicts:     113000 | #Constraints:      37656
1074.54/1077.58	c #Conflicts:     114000 | #Constraints:      38656
1074.54/1077.58	c #Conflicts:     115000 | #Constraints:      39656
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:     116000 | #Constraints:      29069
1074.54/1077.58	c #Conflicts:     117000 | #Constraints:      30069
1074.54/1077.58	c #Conflicts:     118000 | #Constraints:      31069
1074.54/1077.58	c #Conflicts:     119000 | #Constraints:      32069
1074.54/1077.58	c #Conflicts:     120000 | #Constraints:      33069
1074.54/1077.58	c #Conflicts:     121000 | #Constraints:      34069
1074.54/1077.58	c #Conflicts:     122000 | #Constraints:      35069
1074.54/1077.58	c #Conflicts:     123000 | #Constraints:      36069
1074.54/1077.58	c INPROCESSING
1074.54/1077.58	c GARBAGE COLLECT
1074.54/1077.58	c #Conflicts:     124000 | #Constraints:      27123
1074.54/1077.58	c #Conflicts:     125000 | #Constraints:      28123
1074.54/1077.58	c #Conflicts:     126000 | #Constraints:      29123
1074.54/1077.58	c #Conflicts:     127000 | #Constraints:      30123
1074.54/1077.58	c #Conflicts:     128000 | #Constraints:      31123
1074.54/1077.58	c #Conflicts:     129000 | #Constraints:      32123
1074.54/1077.58	c #Conflicts:     130000 | #Constraints:      33123
1074.54/1077.58	c #Conflicts:     131000 | #Constraints:      34123
1074.54/1077.58	c #Conflicts:     132000 | #Constraints:      35123
1074.54/1077.58	c #Conflicts:     133000 | #Constraints:      36123
1074.54/1077.58	c #Conflicts:     134000 | #Constraints:      37123
1074.54/1077.58	c #Conflicts:     135000 | #Constraints:      38123
1074.54/1077.58	c #Conflicts:     136000 | #Constraints:      39123
1074.54/1077.58	c #Conflicts:     137000 | #Constraints:      40123
1074.54/1077.58	c #Conflicts:     138000 | #Constraints:      41123
1074.54/1077.58	c #Conflicts:     139000 | #Constraints:      42123
1074.54/1077.58	c #Conflicts:     140000 | #Constraints:      43123
1074.54/1077.58	c #Conflicts:     141000 | #Constraints:      44123
1074.54/1077.58	c #Conflicts:     142000 | #Constraints:      45123
1074.54/1077.58	c #Conflicts:     143000 | #Constraints:      46123
1074.54/1077.58	c #Conflicts:     144000 | #Constraints:      47123
1074.54/1077.58	c #Conflicts:     145000 | #Constraints:      48123
1819.08/1824.28	c #Conflicts:     146000 | #Constraints:      49123
1819.08/1824.28	c #Conflicts:     147000 | #Constraints:      50123
1819.08/1824.28	c #Conflicts:     148000 | #Constraints:      51123
1819.08/1824.28	c #Conflicts:     149000 | #Constraints:      52123
1819.08/1824.28	c #Conflicts:     150000 | #Constraints:      53123
1819.08/1824.28	c INPROCESSING
1819.08/1824.28	c GARBAGE COLLECT
1819.08/1824.28	c #Conflicts:     151000 | #Constraints:      35943
1819.08/1824.28	c #Conflicts:     152000 | #Constraints:      36943
1819.08/1824.28	c #Conflicts:     153000 | #Constraints:      37943
1819.08/1824.28	c #Conflicts:     154000 | #Constraints:      38943
1819.08/1824.28	c #Conflicts:     155000 | #Constraints:      39943
1819.08/1824.28	c #Conflicts:     156000 | #Constraints:      40943
1819.08/1824.28	c #Conflicts:     157000 | #Constraints:      41943
1819.08/1824.28	c #Conflicts:     158000 | #Constraints:      42943
1819.08/1824.28	c #Conflicts:     159000 | #Constraints:      43943
1819.08/1824.28	c INPROCESSING
1819.08/1824.28	c GARBAGE COLLECT
1819.08/1824.28	c #Conflicts:     160000 | #Constraints:      31080
1819.08/1824.28	c #Conflicts:     161000 | #Constraints:      32080
1819.08/1824.28	c #Conflicts:     162000 | #Constraints:      33080
1819.08/1824.28	c #Conflicts:     163000 | #Constraints:      34080
1819.08/1824.28	c #Conflicts:     164000 | #Constraints:      35080
1819.08/1824.28	c #Conflicts:     165000 | #Constraints:      36080
1819.08/1824.28	c #Conflicts:     166000 | #Constraints:      37080
1819.08/1824.28	c #Conflicts:     167000 | #Constraints:      38080
1819.08/1824.28	c #Conflicts:     168000 | #Constraints:      39080
1819.08/1824.28	c #Conflicts:     169000 | #Constraints:      40080
1819.08/1824.28	c INPROCESSING
1819.08/1824.28	c GARBAGE COLLECT
1819.08/1824.28	c #Conflicts:     170000 | #Constraints:      29230
1819.08/1824.28	c #Conflicts:     171000 | #Constraints:      30230
1819.08/1824.28	c #Conflicts:     172000 | #Constraints:      31230
1819.08/1824.28	c #Conflicts:     173000 | #Constraints:      32230
1819.08/1824.28	c #Conflicts:     174000 | #Constraints:      33230
1819.08/1824.28	c #Conflicts:     175000 | #Constraints:      34230
1819.08/1824.28	c #Conflicts:     176000 | #Constraints:      35230
1819.08/1824.28	c #Conflicts:     177000 | #Constraints:      36230
1819.08/1824.28	c #Conflicts:     178000 | #Constraints:      37230
1819.08/1824.28	c #Conflicts:     179000 | #Constraints:      38230
1819.08/1824.28	c #Conflicts:     180000 | #Constraints:      39230
1819.08/1824.28	c #Conflicts:     181000 | #Constraints:      40230
1819.08/1824.28	c #Conflicts:     182000 | #Constraints:      41230
1819.08/1824.28	c #Conflicts:     183000 | #Constraints:      42230
1819.08/1824.28	c #Conflicts:     184000 | #Constraints:      43230
1819.08/1824.28	c #Conflicts:     185000 | #Constraints:      44230
1819.08/1824.28	c #Conflicts:     186000 | #Constraints:      45230
1819.08/1824.28	c #Conflicts:     187000 | #Constraints:      46230
1819.08/1824.28	c #Conflicts:     188000 | #Constraints:      47230
1819.08/1824.28	c #Conflicts:     189000 | #Constraints:      48230
1819.08/1824.28	c #Conflicts:     190000 | #Constraints:      49230
1819.08/1824.28	c #Conflicts:     191000 | #Constraints:      50230
1819.08/1824.28	c #Conflicts:     192000 | #Constraints:      51230
1819.08/1824.28	c #Conflicts:     193000 | #Constraints:      52230
1819.08/1824.28	c #Conflicts:     194000 | #Constraints:      53230
1819.08/1824.28	c #Conflicts:     195000 | #Constraints:      54230
1819.08/1824.28	c #Conflicts:     196000 | #Constraints:      55230
1819.08/1824.28	c #Conflicts:     197000 | #Constraints:      56230
1819.08/1824.28	c #Conflicts:     198000 | #Constraints:      57230
1819.08/1824.28	c #Conflicts:     199000 | #Constraints:      58230
1819.08/1824.28	c #Conflicts:     200000 | #Constraints:      59230
1819.08/1824.28	c INPROCESSING
1819.08/1824.28	c GARBAGE COLLECT
1819.08/1824.28	c #Conflicts:     201000 | #Constraints:      39050
1819.08/1824.28	c #Conflicts:     202000 | #Constraints:      40050
1819.08/1824.28	c #Conflicts:     203000 | #Constraints:      41050
1819.08/1824.28	c #Conflicts:     204000 | #Constraints:      42050
1819.08/1824.28	c #Conflicts:     205000 | #Constraints:      43050
1819.08/1824.28	c #Conflicts:     206000 | #Constraints:      44050
1819.08/1824.28	c #Conflicts:     207000 | #Constraints:      45050
1819.08/1824.28	c #Conflicts:     208000 | #Constraints:      46050
1819.08/1824.28	c #Conflicts:     209000 | #Constraints:      47050
1819.08/1824.28	c #Conflicts:     210000 | #Constraints:      48050
1819.08/1824.28	c #Conflicts:     211000 | #Constraints:      49050
1819.08/1824.28	c INPROCESSING
1819.08/1824.28	c GARBAGE COLLECT
1819.08/1824.28	c #Conflicts:     212000 | #Constraints:      33904
1819.08/1824.28	c #Conflicts:     213000 | #Constraints:      34904
1819.08/1824.28	c #Conflicts:     214000 | #Constraints:      35904
1819.08/1824.28	c #Conflicts:     215000 | #Constraints:      36904
1819.08/1824.28	c #Conflicts:     216000 | #Constraints:      37904
1819.08/1824.28	c #Conflicts:     217000 | #Constraints:      38904
1819.08/1824.28	c #Conflicts:     218000 | #Constraints:      39904
1819.08/1824.28	c #Conflicts:     219000 | #Constraints:      40904
1819.08/1824.28	c #Conflicts:     220000 | #Constraints:      41904
1819.08/1824.28	c #Conflicts:     221000 | #Constraints:      42904
3089.62/3098.50	c #Conflicts:     222000 | #Constraints:      43904
3089.62/3098.50	c INPROCESSING
3089.62/3098.50	c GARBAGE COLLECT
3089.62/3098.50	c #Conflicts:     223000 | #Constraints:      31251
3089.62/3098.50	c #Conflicts:     224000 | #Constraints:      32251
3089.62/3098.50	c #Conflicts:     225000 | #Constraints:      33251
3089.62/3098.50	c #Conflicts:     226000 | #Constraints:      34251
3089.62/3098.50	c #Conflicts:     227000 | #Constraints:      35251
3089.62/3098.50	c #Conflicts:     228000 | #Constraints:      36251
3089.62/3098.50	c #Conflicts:     229000 | #Constraints:      37251
3089.62/3098.50	c #Conflicts:     230000 | #Constraints:      38251
3089.62/3098.50	c #Conflicts:     231000 | #Constraints:      39251
3089.62/3098.50	c #Conflicts:     232000 | #Constraints:      40251
3089.62/3098.50	c #Conflicts:     233000 | #Constraints:      41251
3089.62/3098.50	c #Conflicts:     234000 | #Constraints:      42251
3089.62/3098.50	c #Conflicts:     235000 | #Constraints:      43251
3089.62/3098.50	c #Conflicts:     236000 | #Constraints:      44251
3089.62/3098.50	c #Conflicts:     237000 | #Constraints:      45251
3089.62/3098.50	c #Conflicts:     238000 | #Constraints:      46251
3089.62/3098.50	c #Conflicts:     239000 | #Constraints:      47251
3089.62/3098.50	c #Conflicts:     240000 | #Constraints:      48251
3089.62/3098.50	c #Conflicts:     241000 | #Constraints:      49251
3089.62/3098.50	c #Conflicts:     242000 | #Constraints:      50251
3089.62/3098.50	c #Conflicts:     243000 | #Constraints:      51251
3089.62/3098.50	c #Conflicts:     244000 | #Constraints:      52251
3089.62/3098.50	c #Conflicts:     245000 | #Constraints:      53251
3089.62/3098.50	c #Conflicts:     246000 | #Constraints:      54251
3089.62/3098.50	c #Conflicts:     247000 | #Constraints:      55251
3089.62/3098.50	c #Conflicts:     248000 | #Constraints:      56251
3089.62/3098.50	c #Conflicts:     249000 | #Constraints:      57251
3089.62/3098.50	c #Conflicts:     250000 | #Constraints:      58251
3089.62/3098.50	c #Conflicts:     251000 | #Constraints:      59251
3089.62/3098.50	c #Conflicts:     252000 | #Constraints:      60251
3089.62/3098.50	c #Conflicts:     253000 | #Constraints:      61251
3089.62/3098.50	c #Conflicts:     254000 | #Constraints:      62251
3089.62/3098.50	c #Conflicts:     255000 | #Constraints:      63251
3089.62/3098.50	c #Conflicts:     256000 | #Constraints:      64251
3089.62/3098.50	c #Conflicts:     257000 | #Constraints:      65251
3089.62/3098.50	c INPROCESSING
3089.62/3098.50	c GARBAGE COLLECT
3089.62/3098.50	c #Conflicts:     258000 | #Constraints:      41890
3089.62/3098.50	c #Conflicts:     259000 | #Constraints:      42890
3089.62/3098.50	c #Conflicts:     260000 | #Constraints:      43890
3089.62/3098.50	c #Conflicts:     261000 | #Constraints:      44890
3089.62/3098.50	c #Conflicts:     262000 | #Constraints:      45890
3089.62/3098.50	c #Conflicts:     263000 | #Constraints:      46890
3089.62/3098.50	c #Conflicts:     264000 | #Constraints:      47890
3089.62/3098.50	c #Conflicts:     265000 | #Constraints:      48890
3089.62/3098.50	c #Conflicts:     266000 | #Constraints:      49890
3089.62/3098.50	c #Conflicts:     267000 | #Constraints:      50890
3089.62/3098.50	c #Conflicts:     268000 | #Constraints:      51890
3089.62/3098.50	c #Conflicts:     269000 | #Constraints:      52890
3089.62/3098.50	c #Conflicts:     270000 | #Constraints:      53890
3089.62/3098.50	c INPROCESSING
3089.62/3098.50	c GARBAGE COLLECT
3089.62/3098.50	c #Conflicts:     271000 | #Constraints:      36468
3089.62/3098.50	c #Conflicts:     272000 | #Constraints:      37468
3089.62/3098.50	c #Conflicts:     273000 | #Constraints:      38468
3089.62/3098.50	c #Conflicts:     274000 | #Constraints:      39468
3089.62/3098.50	c #Conflicts:     275000 | #Constraints:      40468
3089.62/3098.50	c #Conflicts:     276000 | #Constraints:      41468
3089.62/3098.50	c #Conflicts:     277000 | #Constraints:      42468
3089.62/3098.50	c #Conflicts:     278000 | #Constraints:      43468
3089.62/3098.50	c #Conflicts:     279000 | #Constraints:      44468
3089.62/3098.50	c #Conflicts:     280000 | #Constraints:      45468
3089.62/3098.50	c #Conflicts:     281000 | #Constraints:      46468
3089.62/3098.50	c #Conflicts:     282000 | #Constraints:      47468
3089.62/3098.50	c INPROCESSING
3089.62/3098.50	c GARBAGE COLLECT
3089.62/3098.50	c #Conflicts:     283000 | #Constraints:      32853
3089.62/3098.50	c #Conflicts:     284000 | #Constraints:      33853
3089.62/3098.50	c #Conflicts:     285000 | #Constraints:      34853
3089.62/3098.50	c #Conflicts:     286000 | #Constraints:      35853
3089.62/3098.50	c #Conflicts:     287000 | #Constraints:      36853
3089.62/3098.50	c #Conflicts:     288000 | #Constraints:      37853
3089.62/3098.50	c #Conflicts:     289000 | #Constraints:      38853
3089.62/3098.50	c #Conflicts:     290000 | #Constraints:      39853
3089.62/3098.50	c #Conflicts:     291000 | #Constraints:      40853
3089.62/3098.50	c #Conflicts:     292000 | #Constraints:      41853
3089.62/3098.50	c #Conflicts:     293000 | #Constraints:      42853
3089.62/3098.50	c #Conflicts:     294000 | #Constraints:      43853
3089.62/3098.50	c #Conflicts:     295000 | #Constraints:      44853
3089.62/3098.50	c #Conflicts:     296000 | #Constraints:      45853
3089.62/3098.50	c #Conflicts:     297000 | #Constraints:      46853
3600.07/3610.23	c #Conflicts:     298000 | #Constraints:      47853
3600.07/3610.23	c #Conflicts:     299000 | #Constraints:      48853
3600.07/3610.23	c #Conflicts:     300000 | #Constraints:      49853
3600.07/3610.23	c #Conflicts:     301000 | #Constraints:      50853
3600.07/3610.23	c #Conflicts:     302000 | #Constraints:      51853
3600.07/3610.23	c #Conflicts:     303000 | #Constraints:      52853
3600.07/3610.23	c #Conflicts:     304000 | #Constraints:      53853
3600.07/3610.23	c #Conflicts:     305000 | #Constraints:      54853
3600.07/3610.23	c #Conflicts:     306000 | #Constraints:      55853
3600.07/3610.23	c #Conflicts:     307000 | #Constraints:      56853
3600.07/3610.23	c #Conflicts:     308000 | #Constraints:      57853
3600.07/3610.23	c #Conflicts:     309000 | #Constraints:      58853
3600.07/3610.23	c #Conflicts:     310000 | #Constraints:      59853
3600.07/3610.23	c #Conflicts:     311000 | #Constraints:      60853
3600.07/3610.23	c #Conflicts:     312000 | #Constraints:      61853
3600.07/3610.23	c #Conflicts:     313000 | #Constraints:      62853
3600.07/3610.23	c #Conflicts:     314000 | #Constraints:      63853
3600.07/3610.23	c #Conflicts:     315000 | #Constraints:      64853
3600.07/3610.23	c #Conflicts:     316000 | #Constraints:      65853
3600.07/3610.23	c Program interrupted by user.
3600.07/3610.23	c cpu time 3594.58 s
3600.07/3610.23	c deterministic time 286460503333 2.86e+11
3600.07/3610.23	c optimization time 694.551 s
3600.07/3610.23	c total solve time 2899.94 s
3600.07/3610.23	c core-guided solve time 2899.94 s
3600.07/3610.23	c propagation time 3314.41 s
3600.07/3610.23	c conflict analysis time 259.685 s
3600.07/3610.23	c propagations 258215890
3600.07/3610.23	c resolve steps 12400532
3600.07/3610.23	c decisions 3083399
3600.07/3610.23	c conflicts 316920
3600.07/3610.23	c restarts 764
3600.07/3610.23	c inprocessing phases 28
3600.07/3610.23	c input clauses 10800
3600.07/3610.23	c input cardinalities 0
3600.07/3610.23	c input general constraints 5041
3600.07/3610.23	c input average constraint length 3.12
3600.07/3610.23	c input average constraint degree 74527594262825024.00
3600.07/3610.23	c learned clauses 58285
3600.07/3610.23	c learned cardinalities 79
3600.07/3610.23	c learned general constraints 258557
3600.07/3610.23	c learned average constraint length 302.03
3600.07/3610.23	c learned average constraint degree 195469927.19
3600.07/3610.23	c watched constraints 250836
3600.07/3610.23	c counting constraints 12762
3600.07/3610.23	c gcd simplifications 16339
3600.07/3610.23	c detected cardinalities 7
3600.07/3610.23	c weakened non-implied lits 4942566
3600.07/3610.23	c weakened non-implying lits 199394
3600.07/3610.23	c original variables 7920
3600.07/3610.23	c clausal propagations 111817023
3600.07/3610.23	c cardinality propagations 1557
3600.07/3610.23	c watched propagations 28081092
3600.07/3610.23	c counting propagations 118193075
3600.07/3610.23	c watch lookups 56143151880
3600.07/3610.23	c watch backjump lookups 53240828489
3600.07/3610.23	c watch checks 121712387289
3600.07/3610.23	c propagation checks 54519870776
3600.07/3610.23	c constraint additions 321349415
3600.07/3610.23	c trail pops 261616194
3600.07/3610.23	c formula constraints 15840
3600.07/3610.23	c learned constraints 316921
3600.07/3610.23	c bound constraints 1
3600.07/3610.23	c core-guided constraints 0
3600.07/3610.23	c encountered formula constraints 9122380
3600.07/3610.23	c encountered learned constraints 3595072
3600.07/3610.23	c encountered bound constraints 0
3600.07/3610.23	c encountered core-guided constraints 0
3600.07/3610.23	c LP total time 0 s
3600.07/3610.23	c LP solve time 0 s
3600.07/3610.23	c LP constraints added 0
3600.07/3610.23	c LP constraints removed 0
3600.07/3610.23	c LP pivots internal 0
3600.07/3610.23	c LP pivots root 0
3600.07/3610.23	c LP calls 0
3600.07/3610.23	c LP optimalities 0
3600.07/3610.23	c LP no pivot count 0
3600.07/3610.23	c LP infeasibilities 0
3600.07/3610.23	c LP valid Farkas constraints 0
3600.07/3610.23	c LP learned Farkas constraints 0
3600.07/3610.23	c LP basis resets 0
3600.07/3610.23	c LP cycling count 0
3600.07/3610.23	c LP singular count 0
3600.07/3610.23	c LP no primal count 0
3600.07/3610.23	c LP no farkas count 0
3600.07/3610.23	c LP other issue count 0
3600.07/3610.23	c LP Gomory cuts 0
3600.07/3610.23	c LP learned cuts 0
3600.07/3610.23	c LP deleted cuts 0
3600.07/3610.23	c LP encountered Gomory constraints 0
3600.07/3610.23	c LP encountered Farkas constraints 0
3600.07/3610.23	c LP encountered learned Farkas constraints 0
3600.07/3610.23	c CG auxiliary variables introduced 0
3600.07/3610.23	c CG solutions found 0
3600.07/3610.23	c CG cores constructed 1
3600.07/3610.23	c CG core cardinality constraints returned 0
3600.07/3610.23	c CG unit cores 0
3600.07/3610.23	c CG single cores 1
3600.07/3610.23	c CG blocks removed during cardinality reduction 0
3600.07/3610.23	c CG first core best 0
3600.07/3610.23	c CG decision core best 0
3600.07/3610.23	c CG core reduction tie 0
3600.07/3610.23	c CG core degree average 1.00
3600.07/3610.23	c CG core slack average 3.00
3600.07/3610.23	c CG exhausted 0
3600.07/3610.23	c CG exhaust time 0 s
3600.07/3610.23	c CG trimmed 0
3600.07/3610.23	c CG trim time 0 s
3600.07/3610.23	c CG minimized 0
3600.07/3610.23	c CG minimize time 0 s
3600.07/3610.23	c CG am1 prop time 7.5e-05 s
3600.07/3610.23	c CG # am1s reformulated 0
3600.07/3610.23	c CG lower bound derived from am1s 0
3600.07/3610.23	c CG # clausal cores 1
3600.07/3610.23	c CG # cardinality cores 0
3600.07/3610.23	c CG # pb cores 0
3600.07/3610.23	c CG # pb reforms 0
3600.07/3610.23	c CG # cores discarded because of pb reform 0
3600.07/3610.23	d LOWERBOUND -9223372036854775808
3600.07/3610.23	d NCORES 1
3600.07/3610.23	d NPBCORES 0
3600.07/3610.23	d NPBREFORM 0
3600.07/3610.23	d NTRIMMED 0
3600.07/3610.23	d NEXHAUSTED 0
3600.07/3610.23	d NAM1S 0
3600.07/3610.23	d AM1LB 0
3600.07/3610.23	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: 63837 MiB (61046 MiB free)
  memory of node 1: 64465 MiB (55959 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529272-1752263828/watcher-4529272-1752263828 -o /tmp/evaluation-result-4529272-1752263828/solver-4529272-1752263828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116317 --watchdog 3760 mixed-bag HOME/instance-4529272-1752263828.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100109 s]*
/proc/loadavg: 4.13 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810072/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=81412 memory=13560 CPUtime=0.1 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 1056 0 0 0 7 3 0 0 20 0 1 0 142061651 83365888 3390 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 20353 3390 2080 2834 0 3105 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81412 KiB
Current children cumulated memory: 13560 KiB

[startup+0.213519 s]*
/proc/loadavg: 4.13 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810072/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=83412 memory=16504 CPUtime=0.2 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 1556 0 0 0 16 4 0 0 20 0 1 0 142061651 85413888 4126 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 20853 4126 2336 2834 0 3605 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83412 KiB
Current children cumulated memory: 16504 KiB

[startup+0.313347 s]*
/proc/loadavg: 4.13 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810312/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=83540 memory=16632 CPUtime=0.31 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 1588 0 0 0 26 5 0 0 20 0 1 0 142061651 85544960 4158 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 20885 4158 2336 2834 0 3637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83540 KiB
Current children cumulated memory: 16632 KiB

[startup+0.700318 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810312/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=83928 memory=17144 CPUtime=0.68 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 1699 0 0 0 62 6 0 0 20 0 1 0 142061651 85942272 4286 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 20982 4286 2336 2834 0 3734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83928 KiB
Current children cumulated memory: 17144 KiB

[startup+1.50035 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810312/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=84916 memory=20176 CPUtime=1.47 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 1996 0 0 0 139 8 0 0 20 0 1 0 142061651 86953984 5044 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 21229 5044 2336 2834 0 3981 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84916 KiB
Current children cumulated memory: 20176 KiB

[startup+3.11317 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119810532/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=86988 memory=22224 CPUtime=3.09 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 2496 0 0 0 298 11 0 0 20 0 1 0 142061651 89075712 5556 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 21747 5556 2336 2834 0 4499 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 86988 KiB
Current children cumulated memory: 22224 KiB

[startup+6.30033 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119786136/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=88232 memory=23376 CPUtime=6.26 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 2815 0 0 0 611 15 0 0 20 0 1 0 142061651 90349568 5844 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 22058 5844 2336 2834 0 4810 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88232 KiB
Current children cumulated memory: 23376 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.12 5/251 118153
/proc/meminfo: memFree=119757480/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=92780 memory=26576 CPUtime=12.65 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 3603 0 0 0 1238 27 0 0 20 0 1 0 142061651 95006720 6644 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 23195 6644 2336 2834 0 5947 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92780 KiB
Current children cumulated memory: 26576 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 4.13 5/251 118154
/proc/meminfo: memFree=119738112/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=111704 memory=45172 CPUtime=25.42 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 6724 0 0 0 2504 38 0 0 20 0 1 0 142061651 114384896 11293 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 27926 11293 2336 2834 0 10678 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 111704 KiB
Current children cumulated memory: 45172 KiB

[startup+51.1131 s]
/proc/loadavg: 4.52 4.21 4.16 5/251 118154
/proc/meminfo: memFree=119694696/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=127816 memory=55708 CPUtime=50.96 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 8820 0 0 0 5035 61 0 0 20 0 1 0 142061651 130883584 13927 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 31954 13927 2336 2834 0 14706 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 127816 KiB
Current children cumulated memory: 55708 KiB

[startup+102.3 s]
/proc/loadavg: 4.69 4.31 4.20 5/252 118159
/proc/meminfo: memFree=119641144/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=138292 memory=71364 CPUtime=102.01 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 11327 0 0 0 10120 81 0 0 20 0 1 0 142061651 141611008 17841 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 34573 17841 2336 2834 0 17325 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 138292 KiB
Current children cumulated memory: 71364 KiB

[startup+162.3 s]
/proc/loadavg: 4.82 4.41 4.24 5/252 118165
/proc/meminfo: memFree=119541080/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=174968 memory=94464 CPUtime=161.84 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 16356 0 0 0 16081 103 0 0 20 0 1 0 142061651 179167232 23616 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 43742 23616 2336 2834 0 26494 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 174968 KiB
Current children cumulated memory: 94464 KiB

[startup+222.3 s]
/proc/loadavg: 4.56 4.43 4.26 5/253 118348
/proc/meminfo: memFree=122894616/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=181468 memory=110052 CPUtime=221.68 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 17712 0 0 0 22056 112 0 0 20 0 1 0 142061651 185823232 27513 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 45367 27513 2336 2834 0 28119 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 181468 KiB
Current children cumulated memory: 110052 KiB

[startup+282.3 s]
/proc/loadavg: 4.26 4.36 4.24 5/253 118361
/proc/meminfo: memFree=121816880/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=223300 memory=141068 CPUtime=281.52 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 20862 0 0 0 28033 119 0 0 20 0 1 0 142061651 228659200 35267 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 55825 35267 2336 2834 0 38577 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 141068 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.31 4.23 5/252 118363
/proc/meminfo: memFree=121776928/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=285984 memory=169888 CPUtime=341.34 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 24469 0 0 0 34010 124 0 0 20 0 1 0 142061651 292847616 42472 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 71496 42472 2336 2834 0 54248 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 285984 KiB
Current children cumulated memory: 169888 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.26 4.22 5/251 118365
/proc/meminfo: memFree=121665328/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=323092 memory=220956 CPUtime=401.18 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 32653 0 0 0 39986 132 0 0 20 0 1 0 142061651 330846208 55239 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 80773 55239 2336 2834 0 63525 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 323092 KiB
Current children cumulated memory: 220956 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.23 4.21 5/251 118367
/proc/meminfo: memFree=121629788/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=328404 memory=227548 CPUtime=461.02 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 33784 0 0 0 45966 136 0 0 20 0 1 0 142061651 336285696 56887 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 82101 56887 2336 2834 0 64853 0
Current children cumulated CPU time: 461.02 s

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

Current children cumulated memory: 306080 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 118482
/proc/meminfo: memFree=118390008/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378064 memory=306080 CPUtime=2853.94 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 45940 0 0 0 284902 492 0 0 20 0 1 0 142061651 387137536 76520 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94516 76520 2336 2834 0 77268 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 306080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/250 118484
/proc/meminfo: memFree=118359276/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=2913.8 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46062 0 0 0 290883 497 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/249 118486
/proc/meminfo: memFree=118325804/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=2973.67 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46062 0 0 0 296860 507 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+3042.3 s]
/proc/loadavg: 4.29 4.13 4.11 5/249 118488
/proc/meminfo: memFree=118299128/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=3033.54 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46165 0 0 0 302843 511 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+3102.3 s]
/proc/loadavg: 4.69 4.29 4.17 5/250 118493
/proc/meminfo: memFree=118244148/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=3093.41 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46170 0 0 0 308823 518 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.27 4.17 4/244 118525
/proc/meminfo: memFree=123675852/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=3153.28 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46173 0 0 0 314805 523 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+3222.3 s]
/proc/loadavg: 3.59 4.05 4.10 4/244 118531
/proc/meminfo: memFree=123674592/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378052 memory=306068 CPUtime=3213.16 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46178 0 0 0 320788 528 0 0 20 0 1 0 142061651 387125248 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94513 76517 2336 2834 0 77265 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 378052 KiB
Current children cumulated memory: 306068 KiB

[startup+3282.3 s]
/proc/loadavg: 3.28 3.87 4.03 4/245 118534
/proc/meminfo: memFree=123674736/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378184 memory=306068 CPUtime=3273.03 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46197 0 0 0 326771 532 0 0 20 0 1 0 142061651 387260416 76517 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94546 76517 2336 2834 0 77298 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 378184 KiB
Current children cumulated memory: 306068 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.73 3.97 3/239 118565
/proc/meminfo: memFree=125703732/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=378936 memory=306452 CPUtime=3332.91 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46299 0 0 0 332755 536 0 0 20 0 1 0 142061651 388030464 76613 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 94734 76613 2336 2834 0 77486 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 378936 KiB
Current children cumulated memory: 306452 KiB

[startup+3402.3 s]
/proc/loadavg: 2.46 3.42 3.85 3/239 118567
/proc/meminfo: memFree=125703136/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=380664 memory=307476 CPUtime=3392.74 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46543 0 0 0 338735 539 0 0 20 0 1 0 142061651 389799936 76869 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 95166 76869 2336 2834 0 77918 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 380664 KiB
Current children cumulated memory: 307476 KiB

[startup+3462.3 s]
/proc/loadavg: 2.22 3.18 3.74 3/240 118570
/proc/meminfo: memFree=125682616/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=381176 memory=307860 CPUtime=3452.58 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 46642 0 0 0 344714 544 0 0 20 0 1 0 142061651 390324224 76965 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 95294 76965 2336 2834 0 78046 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 381176 KiB
Current children cumulated memory: 307860 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.97 3.63 3/240 118572
/proc/meminfo: memFree=125680204/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=385416 memory=310164 CPUtime=3512.41 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 47376 0 0 0 350694 547 0 0 20 0 1 0 142061651 394665984 77541 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 96354 77541 2336 2834 0 79106 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 385416 KiB
Current children cumulated memory: 310164 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.83 3.53 3/239 118574
/proc/meminfo: memFree=125674880/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=389064 memory=312340 CPUtime=3572.24 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 47913 0 0 0 356674 550 0 0 20 0 1 0 142061651 398401536 78085 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 97266 78085 2336 2834 0 80018 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 389064 KiB
Current children cumulated memory: 312340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 2.14 2.76 3.49 3/239 118575
/proc/meminfo: memFree=125675124/131382120 swapFree=33010416/33010684
[pid=118152] ppid=118149 vsize=391112 memory=313492 CPUtime=3600.07 cores=4,6
/proc/118152/stat : 118152 (mixed-bag) R 118149 118152 116306 0 -1 4194304 48209 0 0 0 359455 552 0 0 20 0 1 0 142061651 400498688 78373 18446744073709551615 4235264 15840557 140728463598400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26148864 140728463604122 140728463604199 140728463604199 140728463609803 0
/proc/118152/statm: 97778 78373 2336 2834 0 80530 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 391112 KiB
Current children cumulated memory: 313492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.59 s, system=5.52608 s

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

Child status: 0

Real time (s): 3610.24
CPU time (s): 3600.11
CPU user time (s): 3594.59
CPU system time (s): 5.52608
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 391112
Max. memory (cumulated for all children) (KiB): 313492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.59
system time used= 5.52608
maximum resident set size= 314260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48239
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= 169
involuntary context switches= 2798


# summary of solver processes directly reported to runsolver:
#   pid: 118152
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3594.59
#   total CPU system time (s): 5.52608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7554 second user time and 35.4014 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-11 21:57:08
IDJOB=4529272
IDBENCH=177138
IDSOLVER=3386
FILE ID=nodeC002/4529272-1752263828
RUNJOBID= nodeC002-1752256148-116317
SLURM_JOB_ID= 9682593
Free space on /tmp= 431192 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529272-1752263828/watcher-4529272-1752263828 -o /tmp/evaluation-result-4529272-1752263828/solver-4529272-1752263828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116317 --watchdog 3760  mixed-bag HOME/instance-4529272-1752263828.opb

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

MD5SUM BENCH= c6bac13c4e4f8552186782101ff3a61f
RANDOM SEED=1012661806

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        119814264 kB
MemAvailable:   122478060 kB
Buffers:            2128 kB
Cached:          3462864 kB
SwapCached:           28 kB
Active:          7905560 kB
Inactive:        3105060 kB
Active(anon):    7557156 kB
Inactive(anon):     6404 kB
Active(file):     348404 kB
Inactive(file):  3098656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15864 kB
Writeback:            20 kB
AnonPages:       7547216 kB
Mapped:           141040 kB
Shmem:             17932 kB
KReclaimable:     112724 kB
Slab:             200968 kB
SReclaimable:     112724 kB
SUnreclaim:        88244 kB
KernelStack:        4060 kB
PageTables:        18288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    8989120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3475456 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431212 MiB
End job on nodeC002 at 2025-07-11 22:57:19