Trace number 4489543

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.09 3610.45

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495618
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495618
Number of bits of the biggest sum of numbers19
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
2.37/2.47	c [STEP] preprocessing with Papilo
4.27/4.35	c Papilo could not simplify the problem
4.27/4.35	c [STEP] solving with SCIP
304.77/306.22	c [STEP] preprocessing done, loading into solver
305.86/307.30	c [STEP] solving
305.86/307.30	c #variables 10001 #constraints 656900
305.86/307.30	c SMALL=int, LARGE=long long
305.86/307.30	d SCIPUB 585
305.86/307.30	c bounds - >= 0 @ 304.197
305.86/307.30	c stratification level: 98
791.98/794.76	c #Conflicts:       1000 | #Constraints:     657900
791.98/794.76	c #Conflicts:       2000 | #Constraints:     658900
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:       3000 | #Constraints:     658909
791.98/794.76	c #Conflicts:       4000 | #Constraints:     659909
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:       5000 | #Constraints:     659318
791.98/794.76	c #Conflicts:       6000 | #Constraints:     660318
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:       7000 | #Constraints:     659326
791.98/794.76	c #Conflicts:       8000 | #Constraints:     660326
791.98/794.76	c #Conflicts:       9000 | #Constraints:     661326
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      10000 | #Constraints:     660028
791.98/794.76	c #Conflicts:      11000 | #Constraints:     661028
791.98/794.76	c #Conflicts:      12000 | #Constraints:     662028
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      13000 | #Constraints:     660474
791.98/794.76	c #Conflicts:      14000 | #Constraints:     661474
791.98/794.76	c #Conflicts:      15000 | #Constraints:     662474
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      16000 | #Constraints:     660700
791.98/794.76	c #Conflicts:      17000 | #Constraints:     661700
791.98/794.76	c #Conflicts:      18000 | #Constraints:     662700
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      19000 | #Constraints:     660719
791.98/794.76	c #Conflicts:      20000 | #Constraints:     661719
791.98/794.76	c #Conflicts:      21000 | #Constraints:     662719
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      22000 | #Constraints:     660523
791.98/794.76	c #Conflicts:      23000 | #Constraints:     661523
791.98/794.76	c #Conflicts:      24000 | #Constraints:     662523
791.98/794.76	c #Conflicts:      25000 | #Constraints:     663523
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      26000 | #Constraints:     661126
791.98/794.76	c #Conflicts:      27000 | #Constraints:     662126
791.98/794.76	c #Conflicts:      28000 | #Constraints:     663126
791.98/794.76	c #Conflicts:      29000 | #Constraints:     664126
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      30000 | #Constraints:     661523
791.98/794.76	c #Conflicts:      31000 | #Constraints:     662523
791.98/794.76	c #Conflicts:      32000 | #Constraints:     663523
791.98/794.76	c #Conflicts:      33000 | #Constraints:     664523
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      34000 | #Constraints:     661725
791.98/794.76	c #Conflicts:      35000 | #Constraints:     662725
791.98/794.76	c #Conflicts:      36000 | #Constraints:     663725
791.98/794.76	c #Conflicts:      37000 | #Constraints:     664725
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      38000 | #Constraints:     661723
791.98/794.76	c #Conflicts:      39000 | #Constraints:     662723
791.98/794.76	c #Conflicts:      40000 | #Constraints:     663723
791.98/794.76	c #Conflicts:      41000 | #Constraints:     664723
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      42000 | #Constraints:     661532
791.98/794.76	c #Conflicts:      43000 | #Constraints:     662532
791.98/794.76	c #Conflicts:      44000 | #Constraints:     663532
791.98/794.76	c #Conflicts:      45000 | #Constraints:     664532
791.98/794.76	c #Conflicts:      46000 | #Constraints:     665532
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      47000 | #Constraints:     662130
791.98/794.76	c #Conflicts:      48000 | #Constraints:     663130
791.98/794.76	c #Conflicts:      49000 | #Constraints:     664130
791.98/794.76	c #Conflicts:      50000 | #Constraints:     665130
791.98/794.76	c #Conflicts:      51000 | #Constraints:     666130
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      52000 | #Constraints:     662534
791.98/794.76	c #Conflicts:      53000 | #Constraints:     663534
791.98/794.76	c #Conflicts:      54000 | #Constraints:     664534
791.98/794.76	c #Conflicts:      55000 | #Constraints:     665534
791.98/794.76	c #Conflicts:      56000 | #Constraints:     666534
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      57000 | #Constraints:     662730
791.98/794.76	c #Conflicts:      58000 | #Constraints:     663730
791.98/794.76	c #Conflicts:      59000 | #Constraints:     664730
791.98/794.76	c #Conflicts:      60000 | #Constraints:     665730
791.98/794.76	c #Conflicts:      61000 | #Constraints:     666730
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      62000 | #Constraints:     662737
791.98/794.76	c #Conflicts:      63000 | #Constraints:     663737
791.98/794.76	c #Conflicts:      64000 | #Constraints:     664737
791.98/794.76	c #Conflicts:      65000 | #Constraints:     665737
791.98/794.76	c #Conflicts:      66000 | #Constraints:     666737
791.98/794.76	c INPROCESSING
791.98/794.76	c GARBAGE COLLECT
791.98/794.76	c #Conflicts:      67000 | #Constraints:     662535
791.98/794.76	c #Conflicts:      68000 | #Constraints:     663535
1490.14/1494.70	c #Conflicts:      69000 | #Constraints:     664535
1490.14/1494.70	c #Conflicts:      70000 | #Constraints:     665535
1490.14/1494.70	c #Conflicts:      71000 | #Constraints:     666535
1490.14/1494.70	c #Conflicts:      72000 | #Constraints:     667535
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:      73000 | #Constraints:     663126
1490.14/1494.70	c #Conflicts:      74000 | #Constraints:     664126
1490.14/1494.70	c #Conflicts:      75000 | #Constraints:     665126
1490.14/1494.70	c #Conflicts:      76000 | #Constraints:     666126
1490.14/1494.70	c #Conflicts:      77000 | #Constraints:     667126
1490.14/1494.70	c #Conflicts:      78000 | #Constraints:     668126
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:      79000 | #Constraints:     663527
1490.14/1494.70	c #Conflicts:      80000 | #Constraints:     664527
1490.14/1494.70	c #Conflicts:      81000 | #Constraints:     665527
1490.14/1494.70	c #Conflicts:      82000 | #Constraints:     666527
1490.14/1494.70	c #Conflicts:      83000 | #Constraints:     667527
1490.14/1494.70	c #Conflicts:      84000 | #Constraints:     668527
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:      85000 | #Constraints:     663737
1490.14/1494.70	c #Conflicts:      86000 | #Constraints:     664737
1490.14/1494.70	c #Conflicts:      87000 | #Constraints:     665737
1490.14/1494.70	c #Conflicts:      88000 | #Constraints:     666737
1490.14/1494.70	c #Conflicts:      89000 | #Constraints:     667737
1490.14/1494.70	c #Conflicts:      90000 | #Constraints:     668737
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:      91000 | #Constraints:     663739
1490.14/1494.70	c #Conflicts:      92000 | #Constraints:     664739
1490.14/1494.70	c #Conflicts:      93000 | #Constraints:     665739
1490.14/1494.70	c #Conflicts:      94000 | #Constraints:     666739
1490.14/1494.70	c #Conflicts:      95000 | #Constraints:     667739
1490.14/1494.70	c #Conflicts:      96000 | #Constraints:     668739
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:      97000 | #Constraints:     663545
1490.14/1494.70	c #Conflicts:      98000 | #Constraints:     664545
1490.14/1494.70	c #Conflicts:      99000 | #Constraints:     665545
1490.14/1494.70	c #Conflicts:     100000 | #Constraints:     666545
1490.14/1494.70	c #Conflicts:     101000 | #Constraints:     667545
1490.14/1494.70	c #Conflicts:     102000 | #Constraints:     668545
1490.14/1494.70	c #Conflicts:     103000 | #Constraints:     669545
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     104000 | #Constraints:     664135
1490.14/1494.70	c #Conflicts:     105000 | #Constraints:     665135
1490.14/1494.70	c #Conflicts:     106000 | #Constraints:     666135
1490.14/1494.70	c #Conflicts:     107000 | #Constraints:     667135
1490.14/1494.70	c #Conflicts:     108000 | #Constraints:     668135
1490.14/1494.70	c #Conflicts:     109000 | #Constraints:     669135
1490.14/1494.70	c #Conflicts:     110000 | #Constraints:     670135
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     111000 | #Constraints:     664540
1490.14/1494.70	c #Conflicts:     112000 | #Constraints:     665540
1490.14/1494.70	c #Conflicts:     113000 | #Constraints:     666540
1490.14/1494.70	c #Conflicts:     114000 | #Constraints:     667540
1490.14/1494.70	c #Conflicts:     115000 | #Constraints:     668540
1490.14/1494.70	c #Conflicts:     116000 | #Constraints:     669540
1490.14/1494.70	c #Conflicts:     117000 | #Constraints:     670540
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     118000 | #Constraints:     664731
1490.14/1494.70	c #Conflicts:     119000 | #Constraints:     665731
1490.14/1494.70	c #Conflicts:     120000 | #Constraints:     666731
1490.14/1494.70	c #Conflicts:     121000 | #Constraints:     667731
1490.14/1494.70	c #Conflicts:     122000 | #Constraints:     668731
1490.14/1494.70	c #Conflicts:     123000 | #Constraints:     669731
1490.14/1494.70	c #Conflicts:     124000 | #Constraints:     670731
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     125000 | #Constraints:     664730
1490.14/1494.70	c #Conflicts:     126000 | #Constraints:     665730
1490.14/1494.70	c #Conflicts:     127000 | #Constraints:     666730
1490.14/1494.70	c #Conflicts:     128000 | #Constraints:     667730
1490.14/1494.70	c #Conflicts:     129000 | #Constraints:     668730
1490.14/1494.70	c #Conflicts:     130000 | #Constraints:     669730
1490.14/1494.70	c #Conflicts:     131000 | #Constraints:     670730
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     132000 | #Constraints:     664529
1490.14/1494.70	c #Conflicts:     133000 | #Constraints:     665529
1490.14/1494.70	c #Conflicts:     134000 | #Constraints:     666529
1490.14/1494.70	c #Conflicts:     135000 | #Constraints:     667529
1490.14/1494.70	c #Conflicts:     136000 | #Constraints:     668529
1490.14/1494.70	c #Conflicts:     137000 | #Constraints:     669529
1490.14/1494.70	c #Conflicts:     138000 | #Constraints:     670529
1490.14/1494.70	c #Conflicts:     139000 | #Constraints:     671529
1490.14/1494.70	c INPROCESSING
1490.14/1494.70	c GARBAGE COLLECT
1490.14/1494.70	c #Conflicts:     140000 | #Constraints:     665133
2310.31/2317.10	c #Conflicts:     141000 | #Constraints:     666133
2310.31/2317.10	c #Conflicts:     142000 | #Constraints:     667133
2310.31/2317.10	c #Conflicts:     143000 | #Constraints:     668133
2310.31/2317.10	c #Conflicts:     144000 | #Constraints:     669133
2310.31/2317.10	c #Conflicts:     145000 | #Constraints:     670133
2310.31/2317.10	c #Conflicts:     146000 | #Constraints:     671133
2310.31/2317.10	c #Conflicts:     147000 | #Constraints:     672133
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     148000 | #Constraints:     665543
2310.31/2317.10	c #Conflicts:     149000 | #Constraints:     666543
2310.31/2317.10	c #Conflicts:     150000 | #Constraints:     667543
2310.31/2317.10	c #Conflicts:     151000 | #Constraints:     668543
2310.31/2317.10	c #Conflicts:     152000 | #Constraints:     669543
2310.31/2317.10	c #Conflicts:     153000 | #Constraints:     670543
2310.31/2317.10	c #Conflicts:     154000 | #Constraints:     671543
2310.31/2317.10	c #Conflicts:     155000 | #Constraints:     672543
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     156000 | #Constraints:     665742
2310.31/2317.10	c #Conflicts:     157000 | #Constraints:     666742
2310.31/2317.10	c #Conflicts:     158000 | #Constraints:     667742
2310.31/2317.10	c #Conflicts:     159000 | #Constraints:     668742
2310.31/2317.10	c #Conflicts:     160000 | #Constraints:     669742
2310.31/2317.10	c #Conflicts:     161000 | #Constraints:     670742
2310.31/2317.10	c #Conflicts:     162000 | #Constraints:     671742
2310.31/2317.10	c #Conflicts:     163000 | #Constraints:     672742
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     164000 | #Constraints:     665738
2310.31/2317.10	c #Conflicts:     165000 | #Constraints:     666738
2310.31/2317.10	c #Conflicts:     166000 | #Constraints:     667738
2310.31/2317.10	c #Conflicts:     167000 | #Constraints:     668738
2310.31/2317.10	c #Conflicts:     168000 | #Constraints:     669738
2310.31/2317.10	c #Conflicts:     169000 | #Constraints:     670738
2310.31/2317.10	c #Conflicts:     170000 | #Constraints:     671738
2310.31/2317.10	c #Conflicts:     171000 | #Constraints:     672738
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     172000 | #Constraints:     665533
2310.31/2317.10	c #Conflicts:     173000 | #Constraints:     666533
2310.31/2317.10	c #Conflicts:     174000 | #Constraints:     667533
2310.31/2317.10	c #Conflicts:     175000 | #Constraints:     668533
2310.31/2317.10	c #Conflicts:     176000 | #Constraints:     669533
2310.31/2317.10	c #Conflicts:     177000 | #Constraints:     670533
2310.31/2317.10	c #Conflicts:     178000 | #Constraints:     671533
2310.31/2317.10	c #Conflicts:     179000 | #Constraints:     672533
2310.31/2317.10	c #Conflicts:     180000 | #Constraints:     673533
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     181000 | #Constraints:     666129
2310.31/2317.10	c #Conflicts:     182000 | #Constraints:     667129
2310.31/2317.10	c #Conflicts:     183000 | #Constraints:     668129
2310.31/2317.10	c #Conflicts:     184000 | #Constraints:     669129
2310.31/2317.10	c #Conflicts:     185000 | #Constraints:     670129
2310.31/2317.10	c #Conflicts:     186000 | #Constraints:     671129
2310.31/2317.10	c #Conflicts:     187000 | #Constraints:     672129
2310.31/2317.10	c #Conflicts:     188000 | #Constraints:     673129
2310.31/2317.10	c #Conflicts:     189000 | #Constraints:     674129
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     190000 | #Constraints:     666531
2310.31/2317.10	c #Conflicts:     191000 | #Constraints:     667531
2310.31/2317.10	c #Conflicts:     192000 | #Constraints:     668531
2310.31/2317.10	c #Conflicts:     193000 | #Constraints:     669531
2310.31/2317.10	c #Conflicts:     194000 | #Constraints:     670531
2310.31/2317.10	c #Conflicts:     195000 | #Constraints:     671531
2310.31/2317.10	c #Conflicts:     196000 | #Constraints:     672531
2310.31/2317.10	c #Conflicts:     197000 | #Constraints:     673531
2310.31/2317.10	c #Conflicts:     198000 | #Constraints:     674531
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     199000 | #Constraints:     666737
2310.31/2317.10	c #Conflicts:     200000 | #Constraints:     667737
2310.31/2317.10	c #Conflicts:     201000 | #Constraints:     668737
2310.31/2317.10	c #Conflicts:     202000 | #Constraints:     669737
2310.31/2317.10	c #Conflicts:     203000 | #Constraints:     670737
2310.31/2317.10	c #Conflicts:     204000 | #Constraints:     671737
2310.31/2317.10	c #Conflicts:     205000 | #Constraints:     672737
2310.31/2317.10	c #Conflicts:     206000 | #Constraints:     673737
2310.31/2317.10	c #Conflicts:     207000 | #Constraints:     674737
2310.31/2317.10	c INPROCESSING
2310.31/2317.10	c GARBAGE COLLECT
2310.31/2317.10	c #Conflicts:     208000 | #Constraints:     666737
2310.31/2317.10	c #Conflicts:     209000 | #Constraints:     667737
2310.31/2317.10	c #Conflicts:     210000 | #Constraints:     668737
2310.31/2317.10	c #Conflicts:     211000 | #Constraints:     669737
2310.31/2317.10	c #Conflicts:     212000 | #Constraints:     670737
2310.31/2317.10	c #Conflicts:     213000 | #Constraints:     671737
3316.61/3326.13	c #Conflicts:     214000 | #Constraints:     672737
3316.61/3326.13	c #Conflicts:     215000 | #Constraints:     673737
3316.61/3326.13	c #Conflicts:     216000 | #Constraints:     674737
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     217000 | #Constraints:     666544
3316.61/3326.13	c #Conflicts:     218000 | #Constraints:     667544
3316.61/3326.13	c #Conflicts:     219000 | #Constraints:     668544
3316.61/3326.13	c #Conflicts:     220000 | #Constraints:     669544
3316.61/3326.13	c #Conflicts:     221000 | #Constraints:     670544
3316.61/3326.13	c #Conflicts:     222000 | #Constraints:     671544
3316.61/3326.13	c #Conflicts:     223000 | #Constraints:     672544
3316.61/3326.13	c #Conflicts:     224000 | #Constraints:     673544
3316.61/3326.13	c #Conflicts:     225000 | #Constraints:     674544
3316.61/3326.13	c #Conflicts:     226000 | #Constraints:     675544
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     227000 | #Constraints:     667151
3316.61/3326.13	c #Conflicts:     228000 | #Constraints:     668151
3316.61/3326.13	c #Conflicts:     229000 | #Constraints:     669151
3316.61/3326.13	c #Conflicts:     230000 | #Constraints:     670151
3316.61/3326.13	c #Conflicts:     231000 | #Constraints:     671151
3316.61/3326.13	c #Conflicts:     232000 | #Constraints:     672151
3316.61/3326.13	c #Conflicts:     233000 | #Constraints:     673151
3316.61/3326.13	c #Conflicts:     234000 | #Constraints:     674151
3316.61/3326.13	c #Conflicts:     235000 | #Constraints:     675151
3316.61/3326.13	c #Conflicts:     236000 | #Constraints:     676151
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     237000 | #Constraints:     667543
3316.61/3326.13	c #Conflicts:     238000 | #Constraints:     668543
3316.61/3326.13	c #Conflicts:     239000 | #Constraints:     669543
3316.61/3326.13	c #Conflicts:     240000 | #Constraints:     670543
3316.61/3326.13	c #Conflicts:     241000 | #Constraints:     671543
3316.61/3326.13	c #Conflicts:     242000 | #Constraints:     672543
3316.61/3326.13	c #Conflicts:     243000 | #Constraints:     673543
3316.61/3326.13	c #Conflicts:     244000 | #Constraints:     674543
3316.61/3326.13	c #Conflicts:     245000 | #Constraints:     675543
3316.61/3326.13	c #Conflicts:     246000 | #Constraints:     676543
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     247000 | #Constraints:     667742
3316.61/3326.13	c #Conflicts:     248000 | #Constraints:     668742
3316.61/3326.13	c #Conflicts:     249000 | #Constraints:     669742
3316.61/3326.13	c #Conflicts:     250000 | #Constraints:     670742
3316.61/3326.13	c #Conflicts:     251000 | #Constraints:     671742
3316.61/3326.13	c #Conflicts:     252000 | #Constraints:     672742
3316.61/3326.13	c #Conflicts:     253000 | #Constraints:     673742
3316.61/3326.13	c #Conflicts:     254000 | #Constraints:     674742
3316.61/3326.13	c #Conflicts:     255000 | #Constraints:     675742
3316.61/3326.13	c #Conflicts:     256000 | #Constraints:     676742
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     257000 | #Constraints:     667735
3316.61/3326.13	c #Conflicts:     258000 | #Constraints:     668735
3316.61/3326.13	c #Conflicts:     259000 | #Constraints:     669735
3316.61/3326.13	c #Conflicts:     260000 | #Constraints:     670735
3316.61/3326.13	c #Conflicts:     261000 | #Constraints:     671735
3316.61/3326.13	c #Conflicts:     262000 | #Constraints:     672735
3316.61/3326.13	c #Conflicts:     263000 | #Constraints:     673735
3316.61/3326.13	c #Conflicts:     264000 | #Constraints:     674735
3316.61/3326.13	c #Conflicts:     265000 | #Constraints:     675735
3316.61/3326.13	c #Conflicts:     266000 | #Constraints:     676735
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     267000 | #Constraints:     667538
3316.61/3326.13	c #Conflicts:     268000 | #Constraints:     668538
3316.61/3326.13	c #Conflicts:     269000 | #Constraints:     669538
3316.61/3326.13	c #Conflicts:     270000 | #Constraints:     670538
3316.61/3326.13	c #Conflicts:     271000 | #Constraints:     671538
3316.61/3326.13	c #Conflicts:     272000 | #Constraints:     672538
3316.61/3326.13	c #Conflicts:     273000 | #Constraints:     673538
3316.61/3326.13	c #Conflicts:     274000 | #Constraints:     674538
3316.61/3326.13	c #Conflicts:     275000 | #Constraints:     675538
3316.61/3326.13	c #Conflicts:     276000 | #Constraints:     676538
3316.61/3326.13	c #Conflicts:     277000 | #Constraints:     677538
3316.61/3326.13	c INPROCESSING
3316.61/3326.13	c GARBAGE COLLECT
3316.61/3326.13	c #Conflicts:     278000 | #Constraints:     668134
3316.61/3326.13	c #Conflicts:     279000 | #Constraints:     669134
3316.61/3326.13	c #Conflicts:     280000 | #Constraints:     670134
3316.61/3326.13	c #Conflicts:     281000 | #Constraints:     671134
3316.61/3326.13	c #Conflicts:     282000 | #Constraints:     672134
3316.61/3326.13	c #Conflicts:     283000 | #Constraints:     673134
3316.61/3326.13	c #Conflicts:     284000 | #Constraints:     674134
3316.61/3326.13	c #Conflicts:     285000 | #Constraints:     675134
3316.61/3326.13	c #Conflicts:     286000 | #Constraints:     676134
3316.61/3326.13	c #Conflicts:     287000 | #Constraints:     677134
3316.61/3326.13	c #Conflicts:     288000 | #Constraints:     678134
3600.04/3610.40	c INPROCESSING
3600.04/3610.40	c GARBAGE COLLECT
3600.04/3610.40	c #Conflicts:     289000 | #Constraints:     668525
3600.04/3610.40	c #Conflicts:     290000 | #Constraints:     669525
3600.04/3610.40	c #Conflicts:     291000 | #Constraints:     670525
3600.04/3610.40	c #Conflicts:     292000 | #Constraints:     671525
3600.04/3610.40	c #Conflicts:     293000 | #Constraints:     672525
3600.04/3610.40	c #Conflicts:     294000 | #Constraints:     673525
3600.04/3610.40	c #Conflicts:     295000 | #Constraints:     674525
3600.04/3610.40	c #Conflicts:     296000 | #Constraints:     675525
3600.04/3610.40	c #Conflicts:     297000 | #Constraints:     676525
3600.04/3610.40	c #Conflicts:     298000 | #Constraints:     677525
3600.04/3610.40	c #Conflicts:     299000 | #Constraints:     678525
3600.04/3610.40	c INPROCESSING
3600.04/3610.40	c GARBAGE COLLECT
3600.04/3610.40	c #Conflicts:     300000 | #Constraints:     668730
3600.04/3610.40	c #Conflicts:     301000 | #Constraints:     669730
3600.04/3610.40	c #Conflicts:     302000 | #Constraints:     670730
3600.04/3610.40	c #Conflicts:     303000 | #Constraints:     671730
3600.04/3610.40	c #Conflicts:     304000 | #Constraints:     672730
3600.04/3610.40	c #Conflicts:     305000 | #Constraints:     673730
3600.04/3610.40	c #Conflicts:     306000 | #Constraints:     674730
3600.04/3610.40	c #Conflicts:     307000 | #Constraints:     675730
3600.04/3610.40	c #Conflicts:     308000 | #Constraints:     676730
3600.04/3610.40	c #Conflicts:     309000 | #Constraints:     677730
3600.04/3610.40	c Program interrupted by user.
3600.04/3610.40	c cpu time 3589.01 s
3600.04/3610.40	c deterministic time 909503286189 9.10e+11
3600.04/3610.40	c optimization time 133.097 s
3600.04/3610.40	c total solve time 3151.72 s
3600.04/3610.40	c core-guided solve time 3151.72 s
3600.04/3610.40	c propagation time 2333.53 s
3600.04/3610.40	c conflict analysis time 747.68 s
3600.04/3610.40	c propagations 164492125
3600.04/3610.40	c resolve steps 1832271
3600.04/3610.40	c decisions 10193083
3600.04/3610.40	c conflicts 309409
3600.04/3610.40	c restarts 762
3600.04/3610.40	c inprocessing phases 46
3600.04/3610.40	c input clauses 656900
3600.04/3610.40	c input cardinalities 0
3600.04/3610.40	c input general constraints 1
3600.04/3610.40	c input average constraint length 2.05
3600.04/3610.40	c input average constraint degree 1.75
3600.04/3610.40	c learned clauses 21563
3600.04/3610.40	c learned cardinalities 4
3600.04/3610.40	c learned general constraints 287842
3600.04/3610.40	c learned average constraint length 6612.81
3600.04/3610.40	c learned average constraint degree 1442219.73
3600.04/3610.40	c watched constraints 1198
3600.04/3610.40	c counting constraints 286645
3600.04/3610.40	c gcd simplifications 2182
3600.04/3610.40	c detected cardinalities 0
3600.04/3610.40	c weakened non-implied lits 826794284
3600.04/3610.40	c weakened non-implying lits 64365
3600.04/3610.40	c original variables 10000
3600.04/3610.40	c clausal propagations 22822677
3600.04/3610.40	c cardinality propagations 2
3600.04/3610.40	c watched propagations 23996
3600.04/3610.40	c counting propagations 136507294
3600.04/3610.40	c watch lookups 8694203639
3600.04/3610.40	c watch backjump lookups 8682279108
3600.04/3610.40	c watch checks 728559109
3600.04/3610.40	c propagation checks 885908797732
3600.04/3610.40	c constraint additions 5139776221
3600.04/3610.40	c trail pops 174985171
3600.04/3610.40	c formula constraints 656900
3600.04/3610.40	c learned constraints 309409
3600.04/3610.40	c bound constraints 1
3600.04/3610.40	c core-guided constraints 0
3600.04/3610.40	c encountered formula constraints 1521642
3600.04/3610.40	c encountered learned constraints 619064
3600.04/3610.40	c encountered bound constraints 974
3600.04/3610.40	c encountered core-guided constraints 0
3600.04/3610.40	c LP total time 0 s
3600.04/3610.40	c LP solve time 0 s
3600.04/3610.40	c LP constraints added 0
3600.04/3610.40	c LP constraints removed 0
3600.04/3610.40	c LP pivots internal 0
3600.04/3610.40	c LP pivots root 0
3600.04/3610.40	c LP calls 0
3600.04/3610.40	c LP optimalities 0
3600.04/3610.40	c LP no pivot count 0
3600.04/3610.40	c LP infeasibilities 0
3600.04/3610.40	c LP valid Farkas constraints 0
3600.04/3610.40	c LP learned Farkas constraints 0
3600.04/3610.40	c LP basis resets 0
3600.04/3610.40	c LP cycling count 0
3600.04/3610.40	c LP singular count 0
3600.04/3610.40	c LP no primal count 0
3600.04/3610.40	c LP no farkas count 0
3600.04/3610.40	c LP other issue count 0
3600.04/3610.40	c LP Gomory cuts 0
3600.04/3610.40	c LP learned cuts 0
3600.04/3610.40	c LP deleted cuts 0
3600.04/3610.40	c LP encountered Gomory constraints 0
3600.04/3610.40	c LP encountered Farkas constraints 0
3600.04/3610.40	c LP encountered learned Farkas constraints 0
3600.04/3610.40	c CG auxiliary variables introduced 0
3600.04/3610.40	c CG solutions found 0
3600.04/3610.40	c CG cores constructed 0
3600.04/3610.40	c CG core cardinality constraints returned 0
3600.04/3610.40	c CG unit cores 0
3600.04/3610.40	c CG single cores 0
3600.04/3610.40	c CG blocks removed during cardinality reduction 0
3600.04/3610.40	c CG first core best 0
3600.04/3610.40	c CG decision core best 0
3600.04/3610.40	c CG core reduction tie 0
3600.04/3610.40	c CG core degree average 0.00
3600.04/3610.40	c CG core slack average 0.00
3600.04/3610.40	c CG exhausted 0
3600.04/3610.40	c CG exhaust time 0 s
3600.04/3610.40	c CG trimmed 0
3600.04/3610.40	c CG trim time 0 s
3600.04/3610.40	c CG minimized 0
3600.04/3610.40	c CG minimize time 0 s
3600.04/3610.40	c CG am1 prop time 0.00021 s
3600.04/3610.40	c CG # am1s reformulated 0
3600.04/3610.40	c CG lower bound derived from am1s 0
3600.04/3610.40	c CG # clausal cores 0
3600.04/3610.40	c CG # cardinality cores 0
3600.04/3610.40	c CG # pb cores 0
3600.04/3610.40	c CG # pb reforms 0
3600.04/3610.40	c CG # cores discarded because of pb reform 0
3600.04/3610.40	d LOWERBOUND 0
3600.04/3610.40	d NCORES 0
3600.04/3610.40	d NPBCORES 0
3600.04/3610.40	d NPBREFORM 0
3600.04/3610.40	d NTRIMMED 0
3600.04/3610.40	d NEXHAUSTED 0
3600.04/3610.40	d NAM1S 0
3600.04/3610.40	d AM1LB 0
3600.04/3610.40	c [Papilo Statistics]
3600.04/3610.40	c prepro time 1.88287s
3600.04/3610.40	c # tsx applied 0
3600.04/3610.40	c # tsx conflicts 0
3600.04/3610.40	c # bound changes 0
3600.04/3610.40	c # side changes 0
3600.04/3610.40	c # coef changes 0
3600.04/3610.40	c # rounds 1
3600.04/3610.40	c # deted vars 0
3600.04/3610.40	c # deted constrs 0
3600.04/3610.40	c # consecutive rounds of only bound changes 0
3600.04/3610.40	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 (60633 MiB free)
  memory of node 1: 64507 MiB (59532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489543-1751356821/watcher-4489543-1751356821 -o /tmp/evaluation-result-4489543-1751356821/solver-4489543-1751356821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760 mixed-bag HOME/instance-4489543-1751356821.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=51486, runsolver pid=51483
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=123010500/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=117132 memory=16248 CPUtime=0.09 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 2011 0 0 0 8 1 0 0 20 0 1 0 51361956 119943168 4062 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 29283 4062 2176 2842 0 11516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117132 KiB
Current children cumulated memory: 16248 KiB

[startup+0.211898 s]*
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=122992100/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=119248 memory=19228 CPUtime=0.2 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 2708 0 0 0 19 1 0 0 20 0 1 0 51361956 122109952 4807 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 29812 4807 2176 2842 0 12045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 19228 KiB

[startup+0.31314 s]*
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=122984084/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=119248 memory=20252 CPUtime=0.3 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 2988 0 0 0 29 1 0 0 20 0 1 0 51361956 122109952 5063 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 29812 5063 2176 2842 0 12045 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 20252 KiB

[startup+0.700245 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=122964300/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=123344 memory=27528 CPUtime=0.67 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 3791 0 0 0 65 2 0 0 20 0 1 0 51361956 126304256 6882 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 30836 6882 2176 2842 0 13069 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 123344 KiB
Current children cumulated memory: 27528 KiB

[startup+1.50032 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=122760680/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=147920 memory=55308 CPUtime=1.48 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 4595 0 0 0 144 4 0 0 20 0 1 0 51361956 151470080 13827 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 36980 13827 2176 2842 0 19213 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147920 KiB
Current children cumulated memory: 55308 KiB

[startup+3.113 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 51487
/proc/meminfo: memFree=121869768/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=437320 memory=335492 CPUtime=3.08 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 26663 0 0 0 293 15 0 0 20 0 1 0 51361956 447815680 83873 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 109330 83873 2336 2842 0 91024 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 437320 KiB
Current children cumulated memory: 335492 KiB

[startup+6.30026 s]
/proc/loadavg: 4.12 4.21 4.14 5/251 51487
/proc/meminfo: memFree=119913312/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=1100124 memory=1001436 CPUtime=6.26 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 198606 0 0 0 583 43 0 0 20 0 1 0 51361956 1126526976 250359 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 275031 250359 4064 2842 0 256725 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1100124 KiB
Current children cumulated memory: 1001436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.20 4.14 5/251 51487
/proc/meminfo: memFree=118429080/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=1514684 memory=1409592 CPUtime=12.64 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 257634 0 0 0 1203 61 0 0 20 0 1 0 51361956 1551036416 352398 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 378671 352398 4064 2842 0 360365 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1514684 KiB
Current children cumulated memory: 1409592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.19 4.14 5/251 51487
/proc/meminfo: memFree=113902428/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3236444 memory=2886804 CPUtime=25.39 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 270335 0 0 0 2448 91 0 0 20 0 1 0 51361956 3314118656 721701 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 809111 721701 4096 2842 0 790805 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3236444 KiB
Current children cumulated memory: 2886804 KiB

[startup+51.1129 s]
/proc/loadavg: 4.06 4.18 4.14 5/251 51498
/proc/meminfo: memFree=112195268/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3953212 memory=3571496 CPUtime=50.92 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 391637 0 0 0 4975 117 0 0 20 0 1 0 51361956 4048089088 892874 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 988303 892874 4320 2842 0 969997 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3953212 KiB
Current children cumulated memory: 3571496 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/252 51501
/proc/meminfo: memFree=112075800/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3953212 memory=3581604 CPUtime=101.84 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 392624 0 0 0 10067 117 0 0 20 0 1 0 51361956 4048089088 895401 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 988303 895401 4320 2842 0 969997 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 3953212 KiB
Current children cumulated memory: 3581604 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/253 51504
/proc/meminfo: memFree=111838548/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=4151000 memory=3679960 CPUtime=161.55 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 401919 0 0 0 16035 120 0 0 20 0 1 0 51361956 4250624000 919990 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 1037750 919990 4320 2842 0 1019444 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 4151000 KiB
Current children cumulated memory: 3679960 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/253 51506
/proc/meminfo: memFree=111707364/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=4225932 memory=3695272 CPUtime=221.26 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 404510 0 0 0 22005 121 0 0 20 0 1 0 51361956 4327354368 923818 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 1056483 923818 4320 2842 0 1038177 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 4225932 KiB
Current children cumulated memory: 3695272 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/253 51508
/proc/meminfo: memFree=111679188/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=4302584 memory=3710344 CPUtime=280.97 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 405760 0 0 0 27975 122 0 0 20 0 1 0 51361956 4405846016 927586 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 1075646 927586 4320 2842 0 1057340 0
Current children cumulated CPU time: 280.97 s
Current children cumulated vsize: 4302584 KiB
Current children cumulated memory: 3710344 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/252 51510
/proc/meminfo: memFree=116601288/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=2424340 memory=2233724 CPUtime=340.77 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 410877 0 0 0 33872 205 0 0 20 0 1 0 51361956 2482524160 558431 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 606085 558431 4480 2842 0 587779 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 2424340 KiB
Current children cumulated memory: 2233724 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/251 51512
/proc/meminfo: memFree=116453984/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=2424340 memory=2320612 CPUtime=400.61 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 411665 0 0 0 39820 241 0 0 20 0 1 0 51361956 2482524160 580153 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 606085 580153 4480 2842 0 587779 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 2424340 KiB
Current children cumulated memory: 2320612 KiB

[startup+462.3 s]
/proc/loadavg: 4.40 4.19 4.14 5/250 51514
/proc/meminfo: memFree=116325152/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=2639264 memory=2391376 CPUtime=460.46 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 412549 0 0 0 45773 273 0 0 20 0 1 0 51361956 2702606336 597844 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 659816 597844 4480 2842 0 641510 0
Current children cumulated CPU time: 460.46 s

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

Current children cumulated memory: 3020868 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/249 51627
/proc/meminfo: memFree=114866572/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3020868 CPUtime=2854.14 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 419733 0 0 0 284499 915 0 0 20 0 1 0 51361956 3641384960 755217 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 755217 4480 2842 0 870704 0
Current children cumulated CPU time: 2854.14 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3020868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/249 51629
/proc/meminfo: memFree=114678768/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3035356 CPUtime=2913.97 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420024 0 0 0 290467 930 0 0 20 0 1 0 51361956 3641384960 758839 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 758839 4480 2842 0 870704 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3035356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/249 51631
/proc/meminfo: memFree=114533208/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3035356 CPUtime=2973.8 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420032 0 0 0 296433 947 0 0 20 0 1 0 51361956 3641384960 758839 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 758839 4480 2842 0 870704 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3035356 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/250 51641
/proc/meminfo: memFree=114437460/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3068312 CPUtime=3033.63 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420148 0 0 0 302405 958 0 0 20 0 1 0 51361956 3641384960 767078 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 767078 4480 2842 0 870704 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3068312 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/251 51644
/proc/meminfo: memFree=114404712/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3068312 CPUtime=3093.46 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420149 0 0 0 308382 964 0 0 20 0 1 0 51361956 3641384960 767078 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 767078 4480 2842 0 870704 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3068312 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/251 51646
/proc/meminfo: memFree=114271284/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3068312 CPUtime=3153.29 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420477 0 0 0 314354 975 0 0 20 0 1 0 51361956 3641384960 767078 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 767078 4480 2842 0 870704 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3068312 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 51648
/proc/meminfo: memFree=114068288/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3068312 CPUtime=3213.1 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420510 0 0 0 320316 994 0 0 20 0 1 0 51361956 3641384960 767078 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 767078 4480 2842 0 870704 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3068312 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 51650
/proc/meminfo: memFree=113844472/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3068568 CPUtime=3272.94 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420510 0 0 0 326285 1009 0 0 20 0 1 0 51361956 3641384960 767142 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 767142 4480 2842 0 870704 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3068568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/250 51652
/proc/meminfo: memFree=113673536/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093332 CPUtime=3332.75 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 420604 0 0 0 332245 1030 0 0 20 0 1 0 51361956 3641384960 773333 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773333 4480 2842 0 870704 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/249 51654
/proc/meminfo: memFree=113530708/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093332 CPUtime=3392.55 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 421061 0 0 0 338215 1040 0 0 20 0 1 0 51361956 3641384960 773333 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773333 4480 2842 0 870704 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.11 5/249 51656
/proc/meminfo: memFree=113408320/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093332 CPUtime=3452.38 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 421126 0 0 0 344181 1057 0 0 20 0 1 0 51361956 3641384960 773333 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773333 4480 2842 0 870704 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/249 51658
/proc/meminfo: memFree=113299328/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093716 CPUtime=3512.2 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 421164 0 0 0 350141 1079 0 0 20 0 1 0 51361956 3641384960 773429 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773429 4480 2842 0 870704 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/249 51660
/proc/meminfo: memFree=113163248/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093716 CPUtime=3572.01 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 421172 0 0 0 356106 1095 0 0 20 0 1 0 51361956 3641384960 773429 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773429 4480 2842 0 870704 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.09 4.10 4.09 4/246 51676
/proc/meminfo: memFree=115558708/131382112 swapFree=33010684/33010684
[pid=51486] ppid=51483 vsize=3556040 memory=3093716 CPUtime=3600.04 cores=4,6
/proc/51486/stat : 51486 (mixed-bag) R 51483 51486 50699 0 -1 4194304 421667 0 0 0 358901 1103 0 0 20 0 1 0 51361956 3641384960 773429 18446744073709551615 4235264 15874749 140733035399008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 46546944 140733035407772 140733035407849 140733035407849 140733035413451 0
/proc/51486/statm: 889010 773429 4480 2842 0 870704 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3556040 KiB
Current children cumulated memory: 3093716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.02 s, system=11.0737 s

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

Child status: 0

Real time (s): 3610.45
CPU time (s): 3600.09
CPU user time (s): 3589.02
CPU system time (s): 11.0737
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 4302584
Max. memory (cumulated for all children) (KiB): 3710344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.02
system time used= 11.0737
maximum resident set size= 3724044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421712
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= 209
involuntary context switches= 2336


# summary of solver processes directly reported to runsolver:
#   pid: 51486
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3589.02
#   total CPU system time (s): 11.0737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5571 second user time and 33.7466 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 10:00:22
IDJOB=4489543
IDBENCH=147557
IDSOLVER=3340
FILE ID=nodeC009/4489543-1751356821
RUNJOBID= nodeC009-1751349596-50710
SLURM_JOB_ID= 9598132
Free space on /tmp= 432564 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489543-1751356821/watcher-4489543-1751356821 -o /tmp/evaluation-result-4489543-1751356821/solver-4489543-1751356821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760  mixed-bag HOME/instance-4489543-1751356821.opb

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1833878423

nodeC009 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		: 2394.493
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.85
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		: 2294.675
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.85
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.601
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.85
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.85
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		: 3700.000
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.85
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		: 1795.846
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.85
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		: 1396.773
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123062196 kB
MemAvailable:   129858520 kB
Buffers:            3280 kB
Cached:          7568020 kB
SwapCached:            0 kB
Active:           444556 kB
Inactive:        7268396 kB
Active(anon):     158652 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7267428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            113012 kB
Writeback:             0 kB
AnonPages:        144468 kB
Mapped:           120476 kB
Shmem:             17960 kB
KReclaimable:     164856 kB
Slab:             248400 kB
SReclaimable:     164856 kB
SUnreclaim:        83544 kB
KernelStack:        4000 kB
PageTables:         3224 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     558788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432548 MiB
End job on nodeC009 at 2025-07-01 11:00:32