Trace number 4518958

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
pb-oll-rs-2024 2025-05-06? (TO) 3600.06 3609.51

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518958-1751549180/watcher-4518958-1751549180 -o /tmp/evaluation-result-4518958-1751549180/solver-4518958-1751549180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760 pb-oll-rs HOME/instance-4518958-1751549180.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=76672, runsolver pid=76669
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129825388/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=22116 memory=7808 CPUtime=0.09 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 988 0 0 0 6 3 0 0 20 0 1 0 70597157 22646784 1952 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 5529 1952 1152 243 0 1778 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22116 KiB
Current children cumulated memory: 7808 KiB

[startup+0.212946 s]*
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129824632/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=23984 memory=10752 CPUtime=0.21 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 1541 0 0 0 17 4 0 0 20 0 1 0 70597157 24559616 2688 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 5996 2688 1376 243 0 2245 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23984 KiB
Current children cumulated memory: 10752 KiB

[startup+0.313046 s]*
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129824724/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=24112 memory=11008 CPUtime=0.31 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 1595 0 0 0 26 5 0 0 20 0 1 0 70597157 24690688 2752 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 6028 2752 1376 243 0 2277 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24112 KiB
Current children cumulated memory: 11008 KiB

[startup+0.700304 s]
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129823716/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=24368 memory=11776 CPUtime=0.68 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 1766 0 0 0 62 6 0 0 20 0 1 0 70597157 24952832 2944 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 6092 2944 1376 243 0 2341 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24368 KiB
Current children cumulated memory: 11776 KiB

[startup+1.50027 s]
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129799396/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=25224 memory=13312 CPUtime=1.48 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 2213 0 0 0 139 9 0 0 20 0 1 0 70597157 25829376 3328 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 6306 3328 1376 243 0 2555 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 13312 KiB

[startup+3.11263 s]
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129779468/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=27560 memory=17708 CPUtime=3.08 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 2807 0 0 0 297 11 0 0 20 0 1 0 70597157 28221440 4427 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 6890 4427 1376 243 0 3139 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 27560 KiB
Current children cumulated memory: 17708 KiB

[startup+6.30025 s]
/proc/loadavg: 1.57 1.14 1.10 4/247 76681
/proc/meminfo: memFree=129842476/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=28804 memory=18988 CPUtime=6.27 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 3128 0 0 0 613 14 0 0 20 0 1 0 70597157 29495296 4747 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 7201 4747 1376 243 0 3450 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28804 KiB
Current children cumulated memory: 18988 KiB

[startup+12.7002 s]
/proc/loadavg: 1.76 1.19 1.12 5/251 76718
/proc/meminfo: memFree=129832976/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=32728 memory=22860 CPUtime=12.65 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 3562 0 0 0 1244 21 0 0 20 0 1 0 70597157 33513472 5715 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 8182 5715 1376 243 0 4431 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32728 KiB
Current children cumulated memory: 22860 KiB

[startup+25.5003 s]
/proc/loadavg: 2.26 1.33 1.17 5/251 76718
/proc/meminfo: memFree=129800796/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=52128 memory=39796 CPUtime=25.42 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 6270 0 0 0 2510 32 0 0 20 0 1 0 70597157 53379072 9949 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 13032 9949 1376 243 0 9281 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 52128 KiB
Current children cumulated memory: 39796 KiB

[startup+51.1127 s]
/proc/loadavg: 2.85 1.54 1.24 5/251 76718
/proc/meminfo: memFree=129718272/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=68380 memory=50516 CPUtime=50.96 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 8433 0 0 0 5041 55 0 0 20 0 1 0 70597157 70021120 12629 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 17095 12629 1376 243 0 13344 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 68380 KiB
Current children cumulated memory: 50516 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 1.94 1.39 5/253 76723
/proc/meminfo: memFree=129612628/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=78860 memory=66684 CPUtime=101.98 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 11072 0 0 0 10121 77 0 0 20 0 1 0 70597157 80752640 16671 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 19715 16671 1376 243 0 15964 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 78860 KiB
Current children cumulated memory: 66684 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.35 1.57 5/253 76725
/proc/meminfo: memFree=129565724/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=107944 memory=80132 CPUtime=161.79 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 14186 0 0 0 16083 96 0 0 20 0 1 0 70597157 110534656 20033 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 26986 20033 1376 243 0 23235 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 107944 KiB
Current children cumulated memory: 80132 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.67 1.73 5/253 76727
/proc/meminfo: memFree=129497204/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=121504 memory=106852 CPUtime=221.58 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 17173 0 0 0 22053 105 0 0 20 0 1 0 70597157 124420096 26713 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 30376 26713 1376 243 0 26625 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 121504 KiB
Current children cumulated memory: 106852 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.91 1.88 5/254 76734
/proc/meminfo: memFree=129425900/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=161972 memory=133952 CPUtime=281.44 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 19878 0 0 0 28034 110 0 0 20 0 1 0 70597157 165859328 33488 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 40493 33488 1376 243 0 36742 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 161972 KiB
Current children cumulated memory: 133952 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.14 2.02 5/252 76736
/proc/meminfo: memFree=129363964/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=174956 memory=160168 CPUtime=341.3 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 22882 0 0 0 34016 114 0 0 20 0 1 0 70597157 179154944 40042 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 43739 40042 1376 243 0 39988 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 160168 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.32 2.15 5/252 76783
/proc/meminfo: memFree=129490912/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=240168 memory=197276 CPUtime=401.13 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 27022 0 0 0 39994 119 0 0 20 0 1 0 70597157 245932032 49319 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 60042 49319 1376 243 0 56291 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 240168 KiB
Current children cumulated memory: 197276 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.47 2.28 5/250 76785
/proc/meminfo: memFree=129440320/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=268572 memory=222672 CPUtime=460.96 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 32898 0 0 0 45971 125 0 0 20 0 1 0 70597157 275017728 55668 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 67143 55668 1376 243 0 63392 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 300216 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 76908
/proc/meminfo: memFree=129034492/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=318692 memory=300216 CPUtime=2914.77 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43581 0 0 0 291053 424 0 0 20 0 1 0 70597157 326340608 75054 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79673 75054 1376 243 0 75922 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 300216 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/249 76912
/proc/meminfo: memFree=129013184/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=318692 memory=300216 CPUtime=2974.62 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43586 0 0 0 297031 431 0 0 20 0 1 0 70597157 326340608 75054 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79673 75054 1376 243 0 75922 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 300216 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/249 76914
/proc/meminfo: memFree=129005004/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=318692 memory=300216 CPUtime=3034.45 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43588 0 0 0 303009 436 0 0 20 0 1 0 70597157 326340608 75054 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79673 75054 1376 243 0 75922 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 300216 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/248 76916
/proc/meminfo: memFree=128995068/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=318692 memory=300216 CPUtime=3094.28 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43593 0 0 0 308988 440 0 0 20 0 1 0 70597157 326340608 75054 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79673 75054 1376 243 0 75922 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 300216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/248 76918
/proc/meminfo: memFree=128990772/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=318692 memory=300216 CPUtime=3154.11 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43597 0 0 0 314965 446 0 0 20 0 1 0 70597157 326340608 75054 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79673 75054 1376 243 0 75922 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 300216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/248 76920
/proc/meminfo: memFree=128981040/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=319112 memory=301112 CPUtime=3213.94 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43661 0 0 0 320945 449 0 0 20 0 1 0 70597157 326770688 75278 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 79778 75278 1376 243 0 76027 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 319112 KiB
Current children cumulated memory: 301112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 76927
/proc/meminfo: memFree=128980964/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=320004 memory=301752 CPUtime=3273.77 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43805 0 0 0 326924 453 0 0 20 0 1 0 70597157 327684096 75438 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 80001 75438 1376 243 0 76250 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 320004 KiB
Current children cumulated memory: 301752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 76929
/proc/meminfo: memFree=128981140/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=321284 memory=302520 CPUtime=3333.59 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 43998 0 0 0 332903 456 0 0 20 0 1 0 70597157 328994816 75630 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 80321 75630 1376 243 0 76570 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 321284 KiB
Current children cumulated memory: 302520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 76931
/proc/meminfo: memFree=128966716/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=321796 memory=302776 CPUtime=3393.43 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 44079 0 0 0 338883 460 0 0 20 0 1 0 70597157 329519104 75694 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 80449 75694 1376 243 0 76698 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 321796 KiB
Current children cumulated memory: 302776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 76933
/proc/meminfo: memFree=128966208/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=325848 memory=305208 CPUtime=3453.25 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 44668 0 0 0 344861 464 0 0 20 0 1 0 70597157 333668352 76302 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 81462 76302 1376 243 0 77711 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 325848 KiB
Current children cumulated memory: 305208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 76935
/proc/meminfo: memFree=128965932/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=327704 memory=306104 CPUtime=3513.09 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 44916 0 0 0 350841 468 0 0 20 0 1 0 70597157 335568896 76526 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 81926 76526 1376 243 0 78175 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 327704 KiB
Current children cumulated memory: 306104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 76940
/proc/meminfo: memFree=128958572/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=332248 memory=308920 CPUtime=3572.92 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 45656 0 0 0 356821 471 0 0 20 0 1 0 70597157 340221952 77230 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 83062 77230 1376 243 0 79311 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 332248 KiB
Current children cumulated memory: 308920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177804/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=334040 memory=309944 CPUtime=3600.05 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 45919 0 0 0 359533 472 0 0 20 0 1 0 70597157 342056960 77486 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 83510 77486 1376 243 0 79759 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 334040 KiB
Current children cumulated memory: 309944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.33 s, system=4.72262 s

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

[startup+3609.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177804/131382120 swapFree=33010160/33010684
[pid=76672] ppid=76669 vsize=334040 memory=309944 CPUtime=3600.05 cores=4,6
/proc/76672/stat : 76672 (pb-oll-rs) R 76669 76672 76151 0 -1 4194304 45919 0 0 0 359533 472 0 0 20 0 1 0 70597157 342056960 77486 18446744073709551615 4218880 5211445 140726734419392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 15839232 140726734424476 140726734424553 140726734424553 140726734430155 0
/proc/76672/statm: 83510 77486 1376 243 0 79759 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 334040 KiB
Current children cumulated memory: 309944 KiB

Child status: 0

Real time (s): 3609.51
CPU time (s): 3600.06
CPU user time (s): 3595.33
CPU system time (s): 4.72262
CPU usage (%): 99.7382
Max. virtual memory (cumulated for all children) (KiB): 334040
Max. memory (cumulated for all children) (KiB): 309944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.33
system time used= 4.72262
maximum resident set size= 310200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45934
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= 190
involuntary context switches= 2700


# summary of solver processes directly reported to runsolver:
#   pid: 76672
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.33
#   total CPU system time (s): 4.72262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6834 second user time and 35.0687 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 15:26:20
IDJOB=4518958
IDBENCH=177138
IDSOLVER=3345
FILE ID=nodeC008/4518958-1751549180
RUNJOBID= nodeC008-1751549168-76162
SLURM_JOB_ID= 9598725
Free space on /tmp= 432816 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518958-1751549180/watcher-4518958-1751549180 -o /tmp/evaluation-result-4518958-1751549180/solver-4518958-1751549180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760  pb-oll-rs HOME/instance-4518958-1751549180.opb

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

MD5SUM BENCH= c6bac13c4e4f8552186782101ff3a61f
RANDOM SEED=1525916085

nodeC008 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		: 3659.220
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.72
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		: 3661.896
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.72
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.171
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.72
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		: 1197.221
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.72
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.214
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.72
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		: 3661.993
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.72
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.096
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.72
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		: 1197.375
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129825068 kB
MemAvailable:   129834388 kB
Buffers:            2128 kB
Cached:           804692 kB
SwapCached:           16 kB
Active:           713936 kB
Inactive:         285836 kB
Active(anon):     174476 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   249428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8472 kB
Writeback:             0 kB
AnonPages:        196096 kB
Mapped:           107536 kB
Shmem:             17920 kB
KReclaimable:     120116 kB
Slab:             204196 kB
SReclaimable:     120116 kB
SUnreclaim:        84080 kB
KernelStack:        4036 kB
PageTables:         3264 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     538228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 16:26:30