Trace number 4529267

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.02 3610.71

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
MD5SUM1dc1bfd723a572791c0842725d28eb02
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 benchmark3414.24
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15200
Total number of constraints22700
Number of constraints which are clauses15000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7700
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 200
Biggest coefficient in the objective function 633825300114114700748351602688
Number of bits for the biggest coefficient in the objective function 100
Sum of the numbers in the objective function 2535301200456458802993406410750
Number of bits of the sum of numbers in the objective function 101
Biggest number in a constraint 633825300114114700748351602688
Number of bits of the biggest number in a constraint 100
Biggest sum of numbers in a constraint 2535301200456458802993406410750
Number of bits of the biggest sum of numbers101
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.19/0.27	c [STEP] solving
0.19/0.27	c #variables 15200 #constraints 30400
0.19/0.27	c SMALL=int128, LARGE=int256
0.19/0.27	d SCIPUB 2535301200456458802993406410751
0.19/0.27	c bounds - >= -1267650600228229401496703205375 @ 0.159788
0.19/0.27	c stratification level: 316912650057057350374175801344
81.95/82.55	c bounds - >= -950737950171172051122527404031 @ 0.161974
81.95/82.55	c #Conflicts:       1000 | #Constraints:      31401
81.95/82.55	c #Conflicts:       2000 | #Constraints:      32401
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:       3000 | #Constraints:      32474
81.95/82.55	c #Conflicts:       4000 | #Constraints:      33474
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:       5000 | #Constraints:      32954
81.95/82.55	c #Conflicts:       6000 | #Constraints:      33954
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:       7000 | #Constraints:      33028
81.95/82.55	c #Conflicts:       8000 | #Constraints:      34028
81.95/82.55	c #Conflicts:       9000 | #Constraints:      35028
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      10000 | #Constraints:      33759
81.95/82.55	c #Conflicts:      11000 | #Constraints:      34759
81.95/82.55	c #Conflicts:      12000 | #Constraints:      35759
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      13000 | #Constraints:      34224
81.95/82.55	c #Conflicts:      14000 | #Constraints:      35224
81.95/82.55	c #Conflicts:      15000 | #Constraints:      36224
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      16000 | #Constraints:      34518
81.95/82.55	c #Conflicts:      17000 | #Constraints:      35518
81.95/82.55	c #Conflicts:      18000 | #Constraints:      36518
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      19000 | #Constraints:      34574
81.95/82.55	c #Conflicts:      20000 | #Constraints:      35574
81.95/82.55	c #Conflicts:      21000 | #Constraints:      36574
81.95/82.55	c #Conflicts:      22000 | #Constraints:      37574
81.95/82.55	c #Conflicts:      23000 | #Constraints:      38574
81.95/82.55	c #Conflicts:      24000 | #Constraints:      39574
81.95/82.55	c #Conflicts:      25000 | #Constraints:      40574
81.95/82.55	c #Conflicts:      26000 | #Constraints:      41574
81.95/82.55	c #Conflicts:      27000 | #Constraints:      42574
81.95/82.55	c #Conflicts:      28000 | #Constraints:      43574
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      29000 | #Constraints:      37878
81.95/82.55	c #Conflicts:      30000 | #Constraints:      38878
81.95/82.55	c #Conflicts:      31000 | #Constraints:      39878
81.95/82.55	c #Conflicts:      32000 | #Constraints:      40878
81.95/82.55	c #Conflicts:      33000 | #Constraints:      41878
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      34000 | #Constraints:      37268
81.95/82.55	c #Conflicts:      35000 | #Constraints:      38268
81.95/82.55	c #Conflicts:      36000 | #Constraints:      39268
81.95/82.55	c #Conflicts:      37000 | #Constraints:      40268
81.95/82.55	c #Conflicts:      38000 | #Constraints:      41268
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      39000 | #Constraints:      37127
81.95/82.55	c #Conflicts:      40000 | #Constraints:      38127
81.95/82.55	c #Conflicts:      41000 | #Constraints:      39127
81.95/82.55	c #Conflicts:      42000 | #Constraints:      40127
81.95/82.55	c #Conflicts:      43000 | #Constraints:      41127
81.95/82.55	c #Conflicts:      44000 | #Constraints:      42127
81.95/82.55	c #Conflicts:      45000 | #Constraints:      43127
81.95/82.55	c #Conflicts:      46000 | #Constraints:      44127
81.95/82.55	c #Conflicts:      47000 | #Constraints:      45127
81.95/82.55	c #Conflicts:      48000 | #Constraints:      46127
81.95/82.55	c #Conflicts:      49000 | #Constraints:      47127
81.95/82.55	c #Conflicts:      50000 | #Constraints:      48127
81.95/82.55	c #Conflicts:      51000 | #Constraints:      49127
81.95/82.55	c #Conflicts:      52000 | #Constraints:      50127
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      53000 | #Constraints:      41238
81.95/82.55	c #Conflicts:      54000 | #Constraints:      42238
81.95/82.55	c #Conflicts:      55000 | #Constraints:      43238
81.95/82.55	c #Conflicts:      56000 | #Constraints:      44238
81.95/82.55	c #Conflicts:      57000 | #Constraints:      45238
81.95/82.55	c #Conflicts:      58000 | #Constraints:      46238
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      59000 | #Constraints:      39350
81.95/82.55	c #Conflicts:      60000 | #Constraints:      40350
81.95/82.55	c #Conflicts:      61000 | #Constraints:      41350
81.95/82.55	c #Conflicts:      62000 | #Constraints:      42350
81.95/82.55	c #Conflicts:      63000 | #Constraints:      43350
81.95/82.55	c #Conflicts:      64000 | #Constraints:      44350
81.95/82.55	c #Conflicts:      65000 | #Constraints:      45350
81.95/82.55	c INPROCESSING
81.95/82.55	c GARBAGE COLLECT
81.95/82.55	c #Conflicts:      66000 | #Constraints:      39266
81.95/82.55	c #Conflicts:      67000 | #Constraints:      40266
81.95/82.55	c #Conflicts:      68000 | #Constraints:      41266
81.95/82.55	c #Conflicts:      69000 | #Constraints:      42266
81.95/82.55	c #Conflicts:      70000 | #Constraints:      43266
615.13/617.52	c #Conflicts:      71000 | #Constraints:      44266
615.13/617.52	c #Conflicts:      72000 | #Constraints:      45266
615.13/617.52	c #Conflicts:      73000 | #Constraints:      46266
615.13/617.52	c #Conflicts:      74000 | #Constraints:      47266
615.13/617.52	c #Conflicts:      75000 | #Constraints:      48266
615.13/617.52	c #Conflicts:      76000 | #Constraints:      49266
615.13/617.52	c #Conflicts:      77000 | #Constraints:      50266
615.13/617.52	c #Conflicts:      78000 | #Constraints:      51266
615.13/617.52	c #Conflicts:      79000 | #Constraints:      52266
615.13/617.52	c #Conflicts:      80000 | #Constraints:      53266
615.13/617.52	c #Conflicts:      81000 | #Constraints:      54266
615.13/617.52	c #Conflicts:      82000 | #Constraints:      55266
615.13/617.52	c #Conflicts:      83000 | #Constraints:      56266
615.13/617.52	c #Conflicts:      84000 | #Constraints:      57266
615.13/617.52	c INPROCESSING
615.13/617.52	c GARBAGE COLLECT
615.13/617.52	c #Conflicts:      85000 | #Constraints:      45274
615.13/617.52	c #Conflicts:      86000 | #Constraints:      46274
615.13/617.52	c #Conflicts:      87000 | #Constraints:      47274
615.13/617.52	c #Conflicts:      88000 | #Constraints:      48274
615.13/617.52	c #Conflicts:      89000 | #Constraints:      49274
615.13/617.52	c #Conflicts:      90000 | #Constraints:      50274
615.13/617.52	c #Conflicts:      91000 | #Constraints:      51274
615.13/617.52	c INPROCESSING
615.13/617.52	c GARBAGE COLLECT
615.13/617.52	c #Conflicts:      92000 | #Constraints:      42025
615.13/617.52	c #Conflicts:      93000 | #Constraints:      43025
615.13/617.52	c #Conflicts:      94000 | #Constraints:      44025
615.13/617.52	c #Conflicts:      95000 | #Constraints:      45025
615.13/617.52	c #Conflicts:      96000 | #Constraints:      46025
615.13/617.52	c #Conflicts:      97000 | #Constraints:      47025
615.13/617.52	c #Conflicts:      98000 | #Constraints:      48025
615.13/617.52	c #Conflicts:      99000 | #Constraints:      49025
615.13/617.52	c #Conflicts:     100000 | #Constraints:      50025
615.13/617.52	c #Conflicts:     101000 | #Constraints:      51025
615.13/617.52	c #Conflicts:     102000 | #Constraints:      52025
615.13/617.52	c #Conflicts:     103000 | #Constraints:      53025
615.13/617.52	c #Conflicts:     104000 | #Constraints:      54025
615.13/617.52	c #Conflicts:     105000 | #Constraints:      55025
615.13/617.52	c #Conflicts:     106000 | #Constraints:      56025
615.13/617.52	c #Conflicts:     107000 | #Constraints:      57025
615.13/617.52	c #Conflicts:     108000 | #Constraints:      58025
615.13/617.52	c #Conflicts:     109000 | #Constraints:      59025
615.13/617.52	c #Conflicts:     110000 | #Constraints:      60025
615.13/617.52	c #Conflicts:     111000 | #Constraints:      61025
615.13/617.52	c #Conflicts:     112000 | #Constraints:      62025
615.13/617.52	c #Conflicts:     113000 | #Constraints:      63025
615.13/617.52	c INPROCESSING
615.13/617.52	c GARBAGE COLLECT
615.13/617.52	c #Conflicts:     114000 | #Constraints:      47874
615.13/617.52	c #Conflicts:     115000 | #Constraints:      48874
615.13/617.52	c #Conflicts:     116000 | #Constraints:      49874
615.13/617.52	c #Conflicts:     117000 | #Constraints:      50874
615.13/617.52	c #Conflicts:     118000 | #Constraints:      51874
615.13/617.52	c #Conflicts:     119000 | #Constraints:      52874
615.13/617.52	c #Conflicts:     120000 | #Constraints:      53874
615.13/617.52	c #Conflicts:     121000 | #Constraints:      54874
615.13/617.52	c #Conflicts:     122000 | #Constraints:      55874
615.13/617.52	c INPROCESSING
615.13/617.52	c GARBAGE COLLECT
615.13/617.52	c #Conflicts:     123000 | #Constraints:      44397
615.13/617.52	c #Conflicts:     124000 | #Constraints:      45397
615.13/617.52	c #Conflicts:     125000 | #Constraints:      46397
615.13/617.52	c #Conflicts:     126000 | #Constraints:      47397
615.13/617.52	c #Conflicts:     127000 | #Constraints:      48397
615.13/617.52	c #Conflicts:     128000 | #Constraints:      49397
615.13/617.52	c #Conflicts:     129000 | #Constraints:      50397
615.13/617.52	c #Conflicts:     130000 | #Constraints:      51397
615.13/617.52	c #Conflicts:     131000 | #Constraints:      52397
615.13/617.52	c #Conflicts:     132000 | #Constraints:      53397
615.13/617.52	c #Conflicts:     133000 | #Constraints:      54397
615.13/617.52	c #Conflicts:     134000 | #Constraints:      55397
615.13/617.52	c #Conflicts:     135000 | #Constraints:      56397
615.13/617.52	c #Conflicts:     136000 | #Constraints:      57397
615.13/617.52	c #Conflicts:     137000 | #Constraints:      58397
615.13/617.52	c #Conflicts:     138000 | #Constraints:      59397
615.13/617.52	c #Conflicts:     139000 | #Constraints:      60397
615.13/617.52	c #Conflicts:     140000 | #Constraints:      61397
615.13/617.52	c #Conflicts:     141000 | #Constraints:      62397
615.13/617.52	c #Conflicts:     142000 | #Constraints:      63397
615.13/617.52	c #Conflicts:     143000 | #Constraints:      64397
615.13/617.52	c #Conflicts:     144000 | #Constraints:      65397
615.13/617.52	c #Conflicts:     145000 | #Constraints:      66397
615.13/617.52	c #Conflicts:     146000 | #Constraints:      67397
1564.60/1569.53	c #Conflicts:     147000 | #Constraints:      68397
1564.60/1569.53	c INPROCESSING
1564.60/1569.53	c GARBAGE COLLECT
1564.60/1569.53	c #Conflicts:     148000 | #Constraints:      50654
1564.60/1569.53	c #Conflicts:     149000 | #Constraints:      51654
1564.60/1569.53	c #Conflicts:     150000 | #Constraints:      52654
1564.60/1569.53	c #Conflicts:     151000 | #Constraints:      53654
1564.60/1569.53	c #Conflicts:     152000 | #Constraints:      54654
1564.60/1569.53	c #Conflicts:     153000 | #Constraints:      55654
1564.60/1569.53	c #Conflicts:     154000 | #Constraints:      56654
1564.60/1569.53	c #Conflicts:     155000 | #Constraints:      57654
1564.60/1569.53	c #Conflicts:     156000 | #Constraints:      58654
1564.60/1569.53	c #Conflicts:     157000 | #Constraints:      59654
1564.60/1569.53	c INPROCESSING
1564.60/1569.53	c GARBAGE COLLECT
1564.60/1569.53	c #Conflicts:     158000 | #Constraints:      46208
1564.60/1569.53	c #Conflicts:     159000 | #Constraints:      47208
1564.60/1569.53	c #Conflicts:     160000 | #Constraints:      48208
1564.60/1569.53	c #Conflicts:     161000 | #Constraints:      49208
1564.60/1569.53	c #Conflicts:     162000 | #Constraints:      50208
1564.60/1569.53	c #Conflicts:     163000 | #Constraints:      51208
1564.60/1569.53	c #Conflicts:     164000 | #Constraints:      52208
1564.60/1569.53	c #Conflicts:     165000 | #Constraints:      53208
1564.60/1569.53	c #Conflicts:     166000 | #Constraints:      54208
1564.60/1569.53	c #Conflicts:     167000 | #Constraints:      55208
1564.60/1569.53	c #Conflicts:     168000 | #Constraints:      56208
1564.60/1569.53	c #Conflicts:     169000 | #Constraints:      57208
1564.60/1569.53	c #Conflicts:     170000 | #Constraints:      58208
1564.60/1569.53	c #Conflicts:     171000 | #Constraints:      59208
1564.60/1569.53	c #Conflicts:     172000 | #Constraints:      60208
1564.60/1569.53	c #Conflicts:     173000 | #Constraints:      61208
1564.60/1569.53	c #Conflicts:     174000 | #Constraints:      62208
1564.60/1569.53	c #Conflicts:     175000 | #Constraints:      63208
1564.60/1569.53	c #Conflicts:     176000 | #Constraints:      64208
1564.60/1569.53	c #Conflicts:     177000 | #Constraints:      65208
1564.60/1569.53	c #Conflicts:     178000 | #Constraints:      66208
1564.60/1569.53	c #Conflicts:     179000 | #Constraints:      67208
1564.60/1569.53	c #Conflicts:     180000 | #Constraints:      68208
1564.60/1569.53	c #Conflicts:     181000 | #Constraints:      69208
1564.60/1569.53	c #Conflicts:     182000 | #Constraints:      70208
1564.60/1569.53	c #Conflicts:     183000 | #Constraints:      71208
1564.60/1569.53	c #Conflicts:     184000 | #Constraints:      72208
1564.60/1569.53	c #Conflicts:     185000 | #Constraints:      73208
1564.60/1569.53	c #Conflicts:     186000 | #Constraints:      74208
1564.60/1569.53	c INPROCESSING
1564.60/1569.53	c GARBAGE COLLECT
1564.60/1569.53	c #Conflicts:     187000 | #Constraints:      53914
1564.60/1569.53	c #Conflicts:     188000 | #Constraints:      54914
1564.60/1569.53	c #Conflicts:     189000 | #Constraints:      55914
1564.60/1569.53	c #Conflicts:     190000 | #Constraints:      56914
1564.60/1569.53	c #Conflicts:     191000 | #Constraints:      57914
1564.60/1569.53	c #Conflicts:     192000 | #Constraints:      58914
1564.60/1569.53	c #Conflicts:     193000 | #Constraints:      59914
1564.60/1569.53	c #Conflicts:     194000 | #Constraints:      60914
1564.60/1569.53	c #Conflicts:     195000 | #Constraints:      61914
1564.60/1569.53	c #Conflicts:     196000 | #Constraints:      62914
1564.60/1569.53	c #Conflicts:     197000 | #Constraints:      63914
1564.60/1569.53	c INPROCESSING
1564.60/1569.53	c GARBAGE COLLECT
1564.60/1569.53	c #Conflicts:     198000 | #Constraints:      49091
1564.60/1569.53	c #Conflicts:     199000 | #Constraints:      50091
1564.60/1569.53	c #Conflicts:     200000 | #Constraints:      51091
1564.60/1569.53	c #Conflicts:     201000 | #Constraints:      52091
1564.60/1569.53	c #Conflicts:     202000 | #Constraints:      53091
1564.60/1569.53	c #Conflicts:     203000 | #Constraints:      54091
1564.60/1569.53	c #Conflicts:     204000 | #Constraints:      55091
1564.60/1569.53	c #Conflicts:     205000 | #Constraints:      56091
1564.60/1569.53	c #Conflicts:     206000 | #Constraints:      57091
1564.60/1569.53	c #Conflicts:     207000 | #Constraints:      58091
1564.60/1569.53	c #Conflicts:     208000 | #Constraints:      59091
1564.60/1569.53	c #Conflicts:     209000 | #Constraints:      60091
1564.60/1569.53	c #Conflicts:     210000 | #Constraints:      61091
1564.60/1569.53	c #Conflicts:     211000 | #Constraints:      62091
1564.60/1569.53	c #Conflicts:     212000 | #Constraints:      63091
1564.60/1569.53	c #Conflicts:     213000 | #Constraints:      64091
1564.60/1569.53	c #Conflicts:     214000 | #Constraints:      65091
1564.60/1569.53	c #Conflicts:     215000 | #Constraints:      66091
1564.60/1569.53	c #Conflicts:     216000 | #Constraints:      67091
1564.60/1569.53	c #Conflicts:     217000 | #Constraints:      68091
1564.60/1569.53	c #Conflicts:     218000 | #Constraints:      69091
1564.60/1569.53	c #Conflicts:     219000 | #Constraints:      70091
1564.60/1569.53	c #Conflicts:     220000 | #Constraints:      71091
1564.60/1569.53	c #Conflicts:     221000 | #Constraints:      72091
1564.60/1569.53	c #Conflicts:     222000 | #Constraints:      73091
3542.99/3553.52	c #Conflicts:     223000 | #Constraints:      74091
3542.99/3553.52	c #Conflicts:     224000 | #Constraints:      75091
3542.99/3553.52	c #Conflicts:     225000 | #Constraints:      76091
3542.99/3553.52	c #Conflicts:     226000 | #Constraints:      77091
3542.99/3553.52	c #Conflicts:     227000 | #Constraints:      78091
3542.99/3553.52	c #Conflicts:     228000 | #Constraints:      79091
3542.99/3553.52	c INPROCESSING
3542.99/3553.52	c GARBAGE COLLECT
3542.99/3553.52	c #Conflicts:     229000 | #Constraints:      55983
3542.99/3553.52	c #Conflicts:     230000 | #Constraints:      56983
3542.99/3553.52	c #Conflicts:     231000 | #Constraints:      57983
3542.99/3553.52	c #Conflicts:     232000 | #Constraints:      58983
3542.99/3553.52	c #Conflicts:     233000 | #Constraints:      59983
3542.99/3553.52	c #Conflicts:     234000 | #Constraints:      60983
3542.99/3553.52	c #Conflicts:     235000 | #Constraints:      61983
3542.99/3553.52	c #Conflicts:     236000 | #Constraints:      62983
3542.99/3553.52	c #Conflicts:     237000 | #Constraints:      63983
3542.99/3553.52	c #Conflicts:     238000 | #Constraints:      64983
3542.99/3553.52	c #Conflicts:     239000 | #Constraints:      65983
3542.99/3553.52	c #Conflicts:     240000 | #Constraints:      66983
3542.99/3553.52	c #Conflicts:     241000 | #Constraints:      67983
3542.99/3553.52	c INPROCESSING
3542.99/3553.52	c GARBAGE COLLECT
3542.99/3553.52	c #Conflicts:     242000 | #Constraints:      53487
3542.99/3553.52	c #Conflicts:     243000 | #Constraints:      54487
3542.99/3553.52	c #Conflicts:     244000 | #Constraints:      55487
3542.99/3553.52	c #Conflicts:     245000 | #Constraints:      56487
3542.99/3553.52	c #Conflicts:     246000 | #Constraints:      57487
3542.99/3553.52	c #Conflicts:     247000 | #Constraints:      58487
3542.99/3553.52	c #Conflicts:     248000 | #Constraints:      59487
3542.99/3553.52	c #Conflicts:     249000 | #Constraints:      60487
3542.99/3553.52	c #Conflicts:     250000 | #Constraints:      61487
3542.99/3553.52	c #Conflicts:     251000 | #Constraints:      62487
3542.99/3553.52	c #Conflicts:     252000 | #Constraints:      63487
3542.99/3553.52	c #Conflicts:     253000 | #Constraints:      64487
3542.99/3553.52	c #Conflicts:     254000 | #Constraints:      65487
3542.99/3553.52	c #Conflicts:     255000 | #Constraints:      66487
3542.99/3553.52	c #Conflicts:     256000 | #Constraints:      67487
3542.99/3553.52	c #Conflicts:     257000 | #Constraints:      68487
3542.99/3553.52	c #Conflicts:     258000 | #Constraints:      69487
3542.99/3553.52	c #Conflicts:     259000 | #Constraints:      70487
3542.99/3553.52	c #Conflicts:     260000 | #Constraints:      71487
3542.99/3553.52	c #Conflicts:     261000 | #Constraints:      72487
3542.99/3553.52	c #Conflicts:     262000 | #Constraints:      73487
3542.99/3553.52	c #Conflicts:     263000 | #Constraints:      74487
3542.99/3553.52	c #Conflicts:     264000 | #Constraints:      75487
3542.99/3553.52	c #Conflicts:     265000 | #Constraints:      76487
3542.99/3553.52	c #Conflicts:     266000 | #Constraints:      77487
3542.99/3553.52	c #Conflicts:     267000 | #Constraints:      78487
3542.99/3553.52	c #Conflicts:     268000 | #Constraints:      79487
3542.99/3553.52	c #Conflicts:     269000 | #Constraints:      80487
3542.99/3553.52	c #Conflicts:     270000 | #Constraints:      81487
3542.99/3553.52	c #Conflicts:     271000 | #Constraints:      82487
3542.99/3553.52	c #Conflicts:     272000 | #Constraints:      83487
3542.99/3553.52	c #Conflicts:     273000 | #Constraints:      84487
3542.99/3553.52	c #Conflicts:     274000 | #Constraints:      85487
3542.99/3553.52	c #Conflicts:     275000 | #Constraints:      86487
3542.99/3553.52	c #Conflicts:     276000 | #Constraints:      87487
3542.99/3553.52	c INPROCESSING
3542.99/3553.52	c GARBAGE COLLECT
3542.99/3553.52	c #Conflicts:     277000 | #Constraints:      60611
3542.99/3553.52	c #Conflicts:     278000 | #Constraints:      61611
3542.99/3553.52	c #Conflicts:     279000 | #Constraints:      62611
3542.99/3553.52	c #Conflicts:     280000 | #Constraints:      63611
3542.99/3553.52	c #Conflicts:     281000 | #Constraints:      64611
3542.99/3553.52	c #Conflicts:     282000 | #Constraints:      65611
3542.99/3553.52	c #Conflicts:     283000 | #Constraints:      66611
3542.99/3553.52	c #Conflicts:     284000 | #Constraints:      67611
3542.99/3553.52	c #Conflicts:     285000 | #Constraints:      68611
3542.99/3553.52	c #Conflicts:     286000 | #Constraints:      69611
3542.99/3553.52	c #Conflicts:     287000 | #Constraints:      70611
3542.99/3553.52	c #Conflicts:     288000 | #Constraints:      71611
3542.99/3553.52	c #Conflicts:     289000 | #Constraints:      72611
3542.99/3553.52	c #Conflicts:     290000 | #Constraints:      73611
3542.99/3553.52	c INPROCESSING
3542.99/3553.52	c GARBAGE COLLECT
3542.99/3553.52	c #Conflicts:     291000 | #Constraints:      59563
3542.99/3553.52	c #Conflicts:     292000 | #Constraints:      60563
3542.99/3553.52	c #Conflicts:     293000 | #Constraints:      61563
3542.99/3553.52	c #Conflicts:     294000 | #Constraints:      62563
3542.99/3553.52	c #Conflicts:     295000 | #Constraints:      63563
3542.99/3553.52	c #Conflicts:     296000 | #Constraints:      64563
3542.99/3553.52	c #Conflicts:     297000 | #Constraints:      65563
3542.99/3553.52	c #Conflicts:     298000 | #Constraints:      66563
3542.99/3553.52	c #Conflicts:     299000 | #Constraints:      67563
3600.01/3610.70	c #Conflicts:     300000 | #Constraints:      68563
3600.01/3610.70	c Program interrupted by user.
3600.01/3610.70	c cpu time 3595.17 s
3600.01/3610.70	c deterministic time 269245774560 2.69e+11
3600.01/3610.70	c optimization time 289.296 s
3600.01/3610.70	c total solve time 3305.71 s
3600.01/3610.70	c core-guided solve time 3305.71 s
3600.01/3610.70	c propagation time 3368.86 s
3600.01/3610.70	c conflict analysis time 204.024 s
3600.01/3610.70	c propagations 289495370
3600.01/3610.70	c resolve steps 9283382
3600.01/3610.70	c decisions 3219981
3600.01/3610.70	c conflicts 300775
3600.01/3610.70	c restarts 730
3600.01/3610.70	c inprocessing phases 25
3600.01/3610.70	c input clauses 20600
3600.01/3610.70	c input cardinalities 0
3600.01/3610.70	c input general constraints 9801
3600.01/3610.70	c input average constraint length 3.13
3600.01/3610.70	c input average constraint degree 10424415317162506934288384.00
3600.01/3610.70	c learned clauses 54734
3600.01/3610.70	c learned cardinalities 65
3600.01/3610.70	c learned general constraints 245977
3600.01/3610.70	c learned average constraint length 239.96
3600.01/3610.70	c learned average constraint degree 134938581.58
3600.01/3610.70	c watched constraints 235547
3600.01/3610.70	c counting constraints 20231
3600.01/3610.70	c gcd simplifications 14880
3600.01/3610.70	c detected cardinalities 5
3600.01/3610.70	c weakened non-implied lits 3922704
3600.01/3610.70	c weakened non-implying lits 189973
3600.01/3610.70	c original variables 15200
3600.01/3610.70	c clausal propagations 145134533
3600.01/3610.70	c cardinality propagations 1244
3600.01/3610.70	c watched propagations 22617871
3600.01/3610.70	c counting propagations 121622209
3600.01/3610.70	c watch lookups 69947381143
3600.01/3610.70	c watch backjump lookups 67884676630
3600.01/3610.70	c watch checks 78390311041
3600.01/3610.70	c propagation checks 52204241858
3600.01/3610.70	c constraint additions 233432428
3600.01/3610.70	c trail pops 293016108
3600.01/3610.70	c formula constraints 30400
3600.01/3610.70	c learned constraints 300776
3600.01/3610.70	c bound constraints 1
3600.01/3610.70	c core-guided constraints 0
3600.01/3610.70	c encountered formula constraints 7061570
3600.01/3610.70	c encountered learned constraints 2522587
3600.01/3610.70	c encountered bound constraints 0
3600.01/3610.70	c encountered core-guided constraints 0
3600.01/3610.70	c LP total time 0 s
3600.01/3610.70	c LP solve time 0 s
3600.01/3610.70	c LP constraints added 0
3600.01/3610.70	c LP constraints removed 0
3600.01/3610.70	c LP pivots internal 0
3600.01/3610.70	c LP pivots root 0
3600.01/3610.70	c LP calls 0
3600.01/3610.70	c LP optimalities 0
3600.01/3610.70	c LP no pivot count 0
3600.01/3610.70	c LP infeasibilities 0
3600.01/3610.70	c LP valid Farkas constraints 0
3600.01/3610.70	c LP learned Farkas constraints 0
3600.01/3610.70	c LP basis resets 0
3600.01/3610.70	c LP cycling count 0
3600.01/3610.70	c LP singular count 0
3600.01/3610.70	c LP no primal count 0
3600.01/3610.70	c LP no farkas count 0
3600.01/3610.70	c LP other issue count 0
3600.01/3610.70	c LP Gomory cuts 0
3600.01/3610.70	c LP learned cuts 0
3600.01/3610.70	c LP deleted cuts 0
3600.01/3610.70	c LP encountered Gomory constraints 0
3600.01/3610.70	c LP encountered Farkas constraints 0
3600.01/3610.70	c LP encountered learned Farkas constraints 0
3600.01/3610.70	c CG auxiliary variables introduced 0
3600.01/3610.70	c CG solutions found 0
3600.01/3610.70	c CG cores constructed 1
3600.01/3610.70	c CG core cardinality constraints returned 0
3600.01/3610.70	c CG unit cores 0
3600.01/3610.70	c CG single cores 1
3600.01/3610.70	c CG blocks removed during cardinality reduction 0
3600.01/3610.70	c CG first core best 0
3600.01/3610.70	c CG decision core best 0
3600.01/3610.70	c CG core reduction tie 0
3600.01/3610.70	c CG core degree average 1.00
3600.01/3610.70	c CG core slack average 3.00
3600.01/3610.70	c CG exhausted 0
3600.01/3610.70	c CG exhaust time 0 s
3600.01/3610.70	c CG trimmed 0
3600.01/3610.70	c CG trim time 9.7e-05 s
3600.01/3610.70	c CG minimized 0
3600.01/3610.70	c CG minimize time 0 s
3600.01/3610.70	c CG am1 prop time 0.000145 s
3600.01/3610.70	c CG # am1s reformulated 0
3600.01/3610.70	c CG lower bound derived from am1s 0
3600.01/3610.70	c CG # clausal cores 1
3600.01/3610.70	c CG # cardinality cores 0
3600.01/3610.70	c CG # pb cores 0
3600.01/3610.70	c CG # pb reforms 0
3600.01/3610.70	c CG # cores discarded because of pb reform 0
3600.01/3610.70	d LOWERBOUND -9223372036854775808
3600.01/3610.70	d NCORES 1
3600.01/3610.70	d NPBCORES 0
3600.01/3610.70	d NPBREFORM 0
3600.01/3610.70	d NTRIMMED 0
3600.01/3610.70	d NEXHAUSTED 0
3600.01/3610.70	d NAM1S 0
3600.01/3610.70	d AM1LB 0
3600.01/3610.70	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: 63794 MiB (53024 MiB free)
  memory of node 1: 64507 MiB (62027 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529267-1752263895/watcher-4529267-1752263895 -o /tmp/evaluation-result-4529267-1752263895/solver-4529267-1752263895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116150 --watchdog 3760 mixed-bag HOME/instance-4529267-1752263895.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=118034, runsolver pid=118031

[startup+0.100066 s]*
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117801760/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=82864 memory=15036 CPUtime=0.08 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 1398 0 0 0 5 3 0 0 20 0 1 0 142068409 84852736 3759 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 20716 3759 2112 2834 0 3468 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 82864 KiB
Current children cumulated memory: 15036 KiB

[startup+0.21711 s]*
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117797728/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=83572 memory=15676 CPUtime=0.19 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 1557 0 0 0 13 6 0 0 20 0 1 0 142068409 85577728 3919 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 20893 3919 2112 2834 0 3645 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83572 KiB
Current children cumulated memory: 15676 KiB

[startup+0.313156 s]*
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117797728/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=86508 memory=19516 CPUtime=0.27 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 2369 0 0 0 20 7 0 0 20 0 1 0 142068409 88584192 4879 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 21627 4879 2304 2834 0 4379 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 19516 KiB

[startup+0.700163 s]
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117797728/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=86788 memory=19772 CPUtime=0.62 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 2440 0 0 0 54 8 0 0 20 0 1 0 142068409 88870912 4943 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 21697 4943 2304 2834 0 4449 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 86788 KiB
Current children cumulated memory: 19772 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117797728/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=88136 memory=23132 CPUtime=1.41 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 2880 0 0 0 130 11 0 0 20 0 1 0 142068409 90251264 5783 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 22034 5783 2304 2834 0 4786 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 88136 KiB
Current children cumulated memory: 23132 KiB

[startup+3.10539 s]
/proc/loadavg: 4.14 4.18 4.17 5/252 118035
/proc/meminfo: memFree=117794008/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=90776 memory=25820 CPUtime=3 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 3561 0 0 0 285 15 0 0 20 0 1 0 142068409 92954624 6455 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 22694 6455 2304 2834 0 5446 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 90776 KiB
Current children cumulated memory: 25820 KiB

[startup+6.30019 s]
/proc/loadavg: 4.20 4.19 4.17 5/252 118035
/proc/meminfo: memFree=117775364/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=95096 memory=27868 CPUtime=6.16 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 4072 0 0 0 595 21 0 0 20 0 1 0 142068409 97378304 6967 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 23774 6967 2304 2834 0 6526 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 95096 KiB
Current children cumulated memory: 27868 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.19 4.17 5/252 118035
/proc/meminfo: memFree=117779096/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=103392 memory=37660 CPUtime=12.51 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 6012 0 0 0 1221 30 0 0 20 0 1 0 142068409 105873408 9415 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 25848 9415 2304 2834 0 8600 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 37660 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.17 5/252 118036
/proc/meminfo: memFree=117754932/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=115172 memory=44188 CPUtime=25.18 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 7632 0 0 0 2479 39 0 0 20 0 1 0 142068409 117936128 11047 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 28793 11047 2304 2834 0 11545 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 115172 KiB
Current children cumulated memory: 44188 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.16 4.16 5/252 118081
/proc/meminfo: memFree=123811916/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=134180 memory=63632 CPUtime=50.68 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 10024 0 0 0 5009 59 0 0 20 0 1 0 142068409 137400320 15908 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 33545 15908 2304 2834 0 16297 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 134180 KiB
Current children cumulated memory: 63632 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/252 118083
/proc/meminfo: memFree=123312944/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=145504 memory=74320 CPUtime=101.67 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 12803 0 0 0 10082 85 0 0 20 0 1 0 142068409 148996096 18580 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 36376 18580 2304 2834 0 19128 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 145504 KiB
Current children cumulated memory: 74320 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/253 118086
/proc/meminfo: memFree=123249820/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=178272 memory=96968 CPUtime=161.47 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 16714 0 0 0 16044 103 0 0 20 0 1 0 142068409 182550528 24242 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 44568 24242 2304 2834 0 27320 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 178272 KiB
Current children cumulated memory: 96968 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/253 118101
/proc/meminfo: memFree=122840844/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=178936 memory=97480 CPUtime=221.25 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 16863 0 0 0 22000 125 0 0 20 0 1 0 142068409 183230464 24370 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 44734 24370 2304 2834 0 27486 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 178936 KiB
Current children cumulated memory: 97480 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/250 118103
/proc/meminfo: memFree=122750852/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=182712 memory=102912 CPUtime=281.05 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 17713 0 0 0 27965 140 0 0 20 0 1 0 142068409 187097088 25728 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 45678 25728 2304 2834 0 28430 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 182712 KiB
Current children cumulated memory: 102912 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/250 118105
/proc/meminfo: memFree=122319240/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=189688 memory=117108 CPUtime=340.84 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 19483 0 0 0 33930 154 0 0 20 0 1 0 142068409 194240512 29277 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 47422 29277 2304 2834 0 30174 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 189688 KiB
Current children cumulated memory: 117108 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/251 118110
/proc/meminfo: memFree=122850216/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=189672 memory=117108 CPUtime=400.64 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 19777 0 0 0 39892 172 0 0 20 0 1 0 142068409 194224128 29277 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 47418 29277 2304 2834 0 30170 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 189672 KiB
Current children cumulated memory: 117108 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 118114
/proc/meminfo: memFree=122842040/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=189672 memory=117108 CPUtime=460.43 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 19805 0 0 0 45857 186 0 0 20 0 1 0 142068409 194224128 29277 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 47418 29277 2304 2834 0 30170 0
Current children cumulated CPU time: 460.43 s

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

Current children cumulated memory: 271944 KiB

[startup+2922.3 s]
/proc/loadavg: 2.08 2.15 2.63 3/239 118332
/proc/meminfo: memFree=126715132/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=273188 CPUtime=2913.58 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43806 0 0 0 290921 437 0 0 20 0 1 0 142068409 382558208 68297 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 68297 2304 2834 0 76150 0
Current children cumulated CPU time: 2913.58 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 273188 KiB

[startup+2982.3 s]
/proc/loadavg: 2.13 2.15 2.60 3/238 118337
/proc/meminfo: memFree=126716908/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=273188 CPUtime=2973.4 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43806 0 0 0 296898 442 0 0 20 0 1 0 142068409 382558208 68297 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 68297 2304 2834 0 76150 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 273188 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.14 2.56 3/238 118339
/proc/meminfo: memFree=126716404/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=273188 CPUtime=3033.21 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43807 0 0 0 302876 445 0 0 20 0 1 0 142068409 382558208 68297 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 68297 2304 2834 0 76150 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 273188 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.13 2.53 3/238 118341
/proc/meminfo: memFree=126693356/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=282276 CPUtime=3093.04 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43808 0 0 0 308855 449 0 0 20 0 1 0 142068409 382558208 70569 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 70569 2304 2834 0 76150 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 282276 KiB

[startup+3162.3 s]
/proc/loadavg: 2.08 2.12 2.50 3/238 118343
/proc/meminfo: memFree=126694868/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=282276 CPUtime=3152.88 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43808 0 0 0 314835 453 0 0 20 0 1 0 142068409 382558208 70569 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 70569 2304 2834 0 76150 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 282276 KiB

[startup+3222.3 s]
/proc/loadavg: 2.07 2.11 2.47 3/238 118345
/proc/meminfo: memFree=126676280/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=282276 CPUtime=3212.72 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43808 0 0 0 320816 456 0 0 20 0 1 0 142068409 382558208 70569 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 70569 2304 2834 0 76150 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 282276 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.12 2.45 3/237 118347
/proc/meminfo: memFree=126677792/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373592 memory=282276 CPUtime=3272.55 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 43819 0 0 0 326796 459 0 0 20 0 1 0 142068409 382558208 70569 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93398 70569 2304 2834 0 76150 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 373592 KiB
Current children cumulated memory: 282276 KiB

[startup+3342.3 s]
/proc/loadavg: 2.05 2.09 2.42 3/238 118352
/proc/meminfo: memFree=126676468/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3332.39 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44130 0 0 0 332776 463 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 2.10 2.40 3/238 118354
/proc/meminfo: memFree=126641496/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3392.22 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44157 0 0 0 338755 467 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.10 2.38 3/238 118356
/proc/meminfo: memFree=126638928/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3452.07 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44159 0 0 0 344735 472 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.09 2.36 3/238 118360
/proc/meminfo: memFree=126641864/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3511.91 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44160 0 0 0 350715 476 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

[startup+3582.3 s]
/proc/loadavg: 1.57 1.95 2.29 2/232 118394
/proc/meminfo: memFree=127551312/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3571.71 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44162 0 0 0 356688 483 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.37 1.87 2.26 2/232 118396
/proc/meminfo: memFree=127552308/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3600.01 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44163 0 0 0 359517 484 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.17 s, system=4.84655 s

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

[startup+3610.7 s]
/proc/loadavg: 1.37 1.87 2.26 2/232 118396
/proc/meminfo: memFree=127552308/131382112 swapFree=33009904/33010684
[pid=118034] ppid=118031 vsize=373804 memory=282408 CPUtime=3600.01 cores=5,7
/proc/118034/stat : 118034 (mixed-bag) R 118031 118034 116137 0 -1 4194304 44163 0 0 0 359517 484 0 0 20 0 1 0 142068409 382775296 70602 18446744073709551615 4235264 15840557 140724770506336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37068800 140724770515354 140724770515431 140724770515431 140724770521035 0
/proc/118034/statm: 93451 70602 2304 2834 0 76203 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 373804 KiB
Current children cumulated memory: 282408 KiB

Child status: 0

Real time (s): 3610.71
CPU time (s): 3600.02
CPU user time (s): 3595.17
CPU system time (s): 4.84655
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 375104
Max. memory (cumulated for all children) (KiB): 283556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.17
system time used= 4.84655
maximum resident set size= 283556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44193
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= 162
involuntary context switches= 3400


# summary of solver processes directly reported to runsolver:
#   pid: 118034
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3595.17
#   total CPU system time (s): 4.84655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7195 second user time and 33.7547 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-11 21:58:15
IDJOB=4529267
IDBENCH=177185
IDSOLVER=3386
FILE ID=nodeC001/4529267-1752263895
RUNJOBID= nodeC001-1752256268-116150
SLURM_JOB_ID= 9682596
Free space on /tmp= 432072 MiB

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

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

MD5SUM BENCH= 1dc1bfd723a572791c0842725d28eb02
RANDOM SEED=1165376641

nodeC001 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.365
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.49
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.284
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.49
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		: 1196.880
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.49
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.49
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		: 3662.438
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.49
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		: 1197.171
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.49
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.471
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.49
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.548
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        117813732 kB
MemAvailable:   119875996 kB
Buffers:            1668 kB
Cached:          2843772 kB
SwapCached:          128 kB
Active:         10347456 kB
Inactive:        2542212 kB
Active(anon):   10034180 kB
Inactive(anon):    27824 kB
Active(file):     313276 kB
Inactive(file):  2514388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16200 kB
Writeback:             4 kB
AnonPages:      10047172 kB
Mapped:           140244 kB
Shmem:             17776 kB
KReclaimable:     148068 kB
Slab:             236292 kB
SReclaimable:     148068 kB
SUnreclaim:        88224 kB
KernelStack:        4064 kB
PageTables:        23836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11252388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6088704 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432128 MiB
End job on nodeC001 at 2025-07-11 22:58:26