Trace number 4515094

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 NameAnswerCPU timeWall clock time
roundingsat 63f22ad? (TO) 3600.19 3611.03

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
MD5SUMfadbb7049cb6f956a624efb3819309ab
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark27.5709
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1285215
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285382
Number of bits of the biggest sum of numbers29
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 pb25
0.00/0.01	c commit 63f22ad
0.00/0.08	c #variables 12675 #constraints 11891
863.45/865.96	c #Conflicts:       1000 | #Constraints:      12890
863.45/865.96	c #Conflicts:       2000 | #Constraints:      13890
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:       3000 | #Constraints:      13895
863.45/865.96	c #Conflicts:       4000 | #Constraints:      14895
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:       5000 | #Constraints:      14302
863.45/865.96	c #Conflicts:       6000 | #Constraints:      15302
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:       7000 | #Constraints:      14316
863.45/865.96	c #Conflicts:       8000 | #Constraints:      15316
863.45/865.96	c #Conflicts:       9000 | #Constraints:      16316
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      10000 | #Constraints:      15011
863.45/865.96	c #Conflicts:      11000 | #Constraints:      16011
863.45/865.96	c #Conflicts:      12000 | #Constraints:      17011
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      13000 | #Constraints:      15462
863.45/865.96	c #Conflicts:      14000 | #Constraints:      16462
863.45/865.96	c #Conflicts:      15000 | #Constraints:      17462
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      16000 | #Constraints:      15692
863.45/865.96	c #Conflicts:      17000 | #Constraints:      16692
863.45/865.96	c #Conflicts:      18000 | #Constraints:      17692
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      19000 | #Constraints:      15707
863.45/865.96	c #Conflicts:      20000 | #Constraints:      16707
863.45/865.96	c #Conflicts:      21000 | #Constraints:      17708
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      22000 | #Constraints:      15511
863.45/865.96	c #Conflicts:      23000 | #Constraints:      16511
863.45/865.96	c #Conflicts:      24000 | #Constraints:      17511
863.45/865.96	c #Conflicts:      25000 | #Constraints:      18511
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      26000 | #Constraints:      16112
863.45/865.96	c #Conflicts:      27000 | #Constraints:      17113
863.45/865.96	c #Conflicts:      28000 | #Constraints:      18113
863.45/865.96	c #Conflicts:      29000 | #Constraints:      19113
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      30000 | #Constraints:      16508
863.45/865.96	c #Conflicts:      31000 | #Constraints:      17508
863.45/865.96	c #Conflicts:      32000 | #Constraints:      18508
863.45/865.96	c #Conflicts:      33000 | #Constraints:      19509
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      34000 | #Constraints:      16710
863.45/865.96	c #Conflicts:      35000 | #Constraints:      17710
863.45/865.96	c #Conflicts:      36000 | #Constraints:      18710
863.45/865.96	c #Conflicts:      37000 | #Constraints:      19710
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      38000 | #Constraints:      16714
863.45/865.96	c #Conflicts:      39000 | #Constraints:      17715
863.45/865.96	c #Conflicts:      40000 | #Constraints:      18715
863.45/865.96	c #Conflicts:      41000 | #Constraints:      19715
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      42000 | #Constraints:      16516
863.45/865.96	c #Conflicts:      43000 | #Constraints:      17516
863.45/865.96	c #Conflicts:      44000 | #Constraints:      18516
863.45/865.96	c #Conflicts:      45000 | #Constraints:      19516
863.45/865.96	c #Conflicts:      46000 | #Constraints:      20516
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      47000 | #Constraints:      17113
863.45/865.96	c #Conflicts:      48000 | #Constraints:      18114
863.45/865.96	c #Conflicts:      49000 | #Constraints:      19115
863.45/865.96	c #Conflicts:      50000 | #Constraints:      20115
863.45/865.96	c #Conflicts:      51000 | #Constraints:      21116
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      52000 | #Constraints:      17515
863.45/865.96	c #Conflicts:      53000 | #Constraints:      18515
863.45/865.96	c #Conflicts:      54000 | #Constraints:      19515
863.45/865.96	c #Conflicts:      55000 | #Constraints:      20515
863.45/865.96	c #Conflicts:      56000 | #Constraints:      21515
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      57000 | #Constraints:      17718
863.45/865.96	c #Conflicts:      58000 | #Constraints:      18718
863.45/865.96	c #Conflicts:      59000 | #Constraints:      19718
863.45/865.96	c #Conflicts:      60000 | #Constraints:      20719
863.45/865.96	c #Conflicts:      61000 | #Constraints:      21719
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      62000 | #Constraints:      17717
863.45/865.96	c #Conflicts:      63000 | #Constraints:      18717
863.45/865.96	c #Conflicts:      64000 | #Constraints:      19717
863.45/865.96	c #Conflicts:      65000 | #Constraints:      20717
863.45/865.96	c #Conflicts:      66000 | #Constraints:      21718
863.45/865.96	c INPROCESSING
863.45/865.96	c GARBAGE COLLECT
863.45/865.96	c #Conflicts:      67000 | #Constraints:      17518
863.45/865.96	c #Conflicts:      68000 | #Constraints:      18518
1704.81/1709.98	c #Conflicts:      69000 | #Constraints:      19519
1704.81/1709.98	c #Conflicts:      70000 | #Constraints:      20519
1704.81/1709.98	c #Conflicts:      71000 | #Constraints:      21519
1704.81/1709.98	c #Conflicts:      72000 | #Constraints:      22519
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:      73000 | #Constraints:      18123
1704.81/1709.98	c #Conflicts:      74000 | #Constraints:      19123
1704.81/1709.98	c #Conflicts:      75000 | #Constraints:      20123
1704.81/1709.98	c #Conflicts:      76000 | #Constraints:      21124
1704.81/1709.98	c #Conflicts:      77000 | #Constraints:      22124
1704.81/1709.98	c #Conflicts:      78000 | #Constraints:      23124
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:      79000 | #Constraints:      18519
1704.81/1709.98	c #Conflicts:      80000 | #Constraints:      19519
1704.81/1709.98	c #Conflicts:      81000 | #Constraints:      20519
1704.81/1709.98	c #Conflicts:      82000 | #Constraints:      21519
1704.81/1709.98	c #Conflicts:      83000 | #Constraints:      22520
1704.81/1709.98	c #Conflicts:      84000 | #Constraints:      23521
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:      85000 | #Constraints:      18724
1704.81/1709.98	c #Conflicts:      86000 | #Constraints:      19724
1704.81/1709.98	c #Conflicts:      87000 | #Constraints:      20725
1704.81/1709.98	c #Conflicts:      88000 | #Constraints:      21725
1704.81/1709.98	c #Conflicts:      89000 | #Constraints:      22725
1704.81/1709.98	c #Conflicts:      90000 | #Constraints:      23725
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:      91000 | #Constraints:      18721
1704.81/1709.98	c #Conflicts:      92000 | #Constraints:      19722
1704.81/1709.98	c #Conflicts:      93000 | #Constraints:      20722
1704.81/1709.98	c #Conflicts:      94000 | #Constraints:      21723
1704.81/1709.98	c #Conflicts:      95000 | #Constraints:      22723
1704.81/1709.98	c #Conflicts:      96000 | #Constraints:      23724
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:      97000 | #Constraints:      18545
1704.81/1709.98	c #Conflicts:      98000 | #Constraints:      19546
1704.81/1709.98	c #Conflicts:      99000 | #Constraints:      20546
1704.81/1709.98	c #Conflicts:     100000 | #Constraints:      21546
1704.81/1709.98	c #Conflicts:     101000 | #Constraints:      22546
1704.81/1709.98	c #Conflicts:     102000 | #Constraints:      23546
1704.81/1709.98	c #Conflicts:     103000 | #Constraints:      24546
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:     104000 | #Constraints:      19127
1704.81/1709.98	c #Conflicts:     105000 | #Constraints:      20127
1704.81/1709.98	c #Conflicts:     106000 | #Constraints:      21127
1704.81/1709.98	c #Conflicts:     107000 | #Constraints:      22127
1704.81/1709.98	c #Conflicts:     108000 | #Constraints:      23128
1704.81/1709.98	c #Conflicts:     109000 | #Constraints:      24128
1704.81/1709.98	c #Conflicts:     110000 | #Constraints:      25129
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:     111000 | #Constraints:      19531
1704.81/1709.98	c #Conflicts:     112000 | #Constraints:      20531
1704.81/1709.98	c #Conflicts:     113000 | #Constraints:      21532
1704.81/1709.98	c #Conflicts:     114000 | #Constraints:      22532
1704.81/1709.98	c #Conflicts:     115000 | #Constraints:      23532
1704.81/1709.98	c #Conflicts:     116000 | #Constraints:      24532
1704.81/1709.98	c #Conflicts:     117000 | #Constraints:      25533
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:     118000 | #Constraints:      19730
1704.81/1709.98	c #Conflicts:     119000 | #Constraints:      20730
1704.81/1709.98	c #Conflicts:     120000 | #Constraints:      21730
1704.81/1709.98	c #Conflicts:     121000 | #Constraints:      22730
1704.81/1709.98	c #Conflicts:     122000 | #Constraints:      23731
1704.81/1709.98	c #Conflicts:     123000 | #Constraints:      24731
1704.81/1709.98	c #Conflicts:     124000 | #Constraints:      25732
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c #Conflicts:     125000 | #Constraints:      19725
1704.81/1709.98	c #Conflicts:     126000 | #Constraints:      20725
1704.81/1709.98	c #Conflicts:     127000 | #Constraints:      21725
1704.81/1709.98	c #Conflicts:     128000 | #Constraints:      22726
1704.81/1709.98	c #Conflicts:     129000 | #Constraints:      23726
1704.81/1709.98	c #Conflicts:     130000 | #Constraints:      24726
1704.81/1709.98	c #Conflicts:     131000 | #Constraints:      25726
1704.81/1709.98	c INPROCESSING
1704.81/1709.98	c GARBAGE COLLECT
1704.81/1709.98	c rational objective 18.4917
2858.28/2867.03	c #Conflicts:     132000 | #Constraints:      19522
2858.28/2867.03	c #Conflicts:     133000 | #Constraints:      20522
2858.28/2867.03	c #Conflicts:     134000 | #Constraints:      21522
2858.28/2867.03	c #Conflicts:     135000 | #Constraints:      22522
2858.28/2867.03	c #Conflicts:     136000 | #Constraints:      23523
2858.28/2867.03	c #Conflicts:     137000 | #Constraints:      24523
2858.28/2867.03	c #Conflicts:     138000 | #Constraints:      25523
2858.28/2867.03	c #Conflicts:     139000 | #Constraints:      26523
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     140000 | #Constraints:      20127
2858.28/2867.03	c #Conflicts:     141000 | #Constraints:      21127
2858.28/2867.03	c #Conflicts:     142000 | #Constraints:      22127
2858.28/2867.03	c #Conflicts:     143000 | #Constraints:      23127
2858.28/2867.03	c #Conflicts:     144000 | #Constraints:      24127
2858.28/2867.03	c #Conflicts:     145000 | #Constraints:      25127
2858.28/2867.03	c #Conflicts:     146000 | #Constraints:      26127
2858.28/2867.03	c #Conflicts:     147000 | #Constraints:      27127
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     148000 | #Constraints:      20530
2858.28/2867.03	c #Conflicts:     149000 | #Constraints:      21531
2858.28/2867.03	c #Conflicts:     150000 | #Constraints:      22531
2858.28/2867.03	c #Conflicts:     151000 | #Constraints:      23531
2858.28/2867.03	c #Conflicts:     152000 | #Constraints:      24531
2858.28/2867.03	c #Conflicts:     153000 | #Constraints:      25531
2858.28/2867.03	c #Conflicts:     154000 | #Constraints:      26531
2858.28/2867.03	c #Conflicts:     155000 | #Constraints:      27531
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     156000 | #Constraints:      20729
2858.28/2867.03	c #Conflicts:     157000 | #Constraints:      21729
2858.28/2867.03	c #Conflicts:     158000 | #Constraints:      22730
2858.28/2867.03	c #Conflicts:     159000 | #Constraints:      23730
2858.28/2867.03	c #Conflicts:     160000 | #Constraints:      24730
2858.28/2867.03	c #Conflicts:     161000 | #Constraints:      25730
2858.28/2867.03	c #Conflicts:     162000 | #Constraints:      26730
2858.28/2867.03	c #Conflicts:     163000 | #Constraints:      27730
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     164000 | #Constraints:      20731
2858.28/2867.03	c #Conflicts:     165000 | #Constraints:      21731
2858.28/2867.03	c #Conflicts:     166000 | #Constraints:      22731
2858.28/2867.03	c #Conflicts:     167000 | #Constraints:      23731
2858.28/2867.03	c #Conflicts:     168000 | #Constraints:      24731
2858.28/2867.03	c #Conflicts:     169000 | #Constraints:      25731
2858.28/2867.03	c #Conflicts:     170000 | #Constraints:      26731
2858.28/2867.03	c #Conflicts:     171000 | #Constraints:      27731
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     172000 | #Constraints:      20523
2858.28/2867.03	c #Conflicts:     173000 | #Constraints:      21523
2858.28/2867.03	c #Conflicts:     174000 | #Constraints:      22523
2858.28/2867.03	c #Conflicts:     175000 | #Constraints:      23523
2858.28/2867.03	c #Conflicts:     176000 | #Constraints:      24523
2858.28/2867.03	c #Conflicts:     177000 | #Constraints:      25523
2858.28/2867.03	c #Conflicts:     178000 | #Constraints:      26523
2858.28/2867.03	c #Conflicts:     179000 | #Constraints:      27523
2858.28/2867.03	c #Conflicts:     180000 | #Constraints:      28523
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     181000 | #Constraints:      21122
2858.28/2867.03	c #Conflicts:     182000 | #Constraints:      22122
2858.28/2867.03	c #Conflicts:     183000 | #Constraints:      23122
2858.28/2867.03	c #Conflicts:     184000 | #Constraints:      24122
2858.28/2867.03	c #Conflicts:     185000 | #Constraints:      25123
2858.28/2867.03	c #Conflicts:     186000 | #Constraints:      26123
2858.28/2867.03	c #Conflicts:     187000 | #Constraints:      27123
2858.28/2867.03	c #Conflicts:     188000 | #Constraints:      28123
2858.28/2867.03	c #Conflicts:     189000 | #Constraints:      29123
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     190000 | #Constraints:      21530
2858.28/2867.03	c #Conflicts:     191000 | #Constraints:      22530
2858.28/2867.03	c #Conflicts:     192000 | #Constraints:      23530
2858.28/2867.03	c #Conflicts:     193000 | #Constraints:      24531
2858.28/2867.03	c #Conflicts:     194000 | #Constraints:      25531
2858.28/2867.03	c #Conflicts:     195000 | #Constraints:      26531
2858.28/2867.03	c #Conflicts:     196000 | #Constraints:      27532
2858.28/2867.03	c #Conflicts:     197000 | #Constraints:      28532
2858.28/2867.03	c #Conflicts:     198000 | #Constraints:      29532
2858.28/2867.03	c INPROCESSING
2858.28/2867.03	c GARBAGE COLLECT
2858.28/2867.03	c #Conflicts:     199000 | #Constraints:      21735
2858.28/2867.03	c #Conflicts:     200000 | #Constraints:      22735
2858.28/2867.03	c #Conflicts:     201000 | #Constraints:      23735
2858.28/2867.03	c #Conflicts:     202000 | #Constraints:      24735
2858.28/2867.03	c #Conflicts:     203000 | #Constraints:      25735
2858.28/2867.03	c #Conflicts:     204000 | #Constraints:      26735
2858.28/2867.03	c #Conflicts:     205000 | #Constraints:      27735
3600.04/3610.90	c #Conflicts:     206000 | #Constraints:      28735
3600.04/3610.90	c #Conflicts:     207000 | #Constraints:      29735
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     208000 | #Constraints:      21730
3600.04/3610.90	c #Conflicts:     209000 | #Constraints:      22731
3600.04/3610.90	c #Conflicts:     210000 | #Constraints:      23731
3600.04/3610.90	c #Conflicts:     211000 | #Constraints:      24731
3600.04/3610.90	c #Conflicts:     212000 | #Constraints:      25731
3600.04/3610.90	c #Conflicts:     213000 | #Constraints:      26731
3600.04/3610.90	c #Conflicts:     214000 | #Constraints:      27732
3600.04/3610.90	c #Conflicts:     215000 | #Constraints:      28732
3600.04/3610.90	c #Conflicts:     216000 | #Constraints:      29732
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     217000 | #Constraints:      21538
3600.04/3610.90	c #Conflicts:     218000 | #Constraints:      22538
3600.04/3610.90	c #Conflicts:     219000 | #Constraints:      23538
3600.04/3610.90	c #Conflicts:     220000 | #Constraints:      24539
3600.04/3610.90	c #Conflicts:     221000 | #Constraints:      25539
3600.04/3610.90	c #Conflicts:     222000 | #Constraints:      26539
3600.04/3610.90	c #Conflicts:     223000 | #Constraints:      27539
3600.04/3610.90	c #Conflicts:     224000 | #Constraints:      28540
3600.04/3610.90	c #Conflicts:     225000 | #Constraints:      29540
3600.04/3610.90	c #Conflicts:     226000 | #Constraints:      30540
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     227000 | #Constraints:      22141
3600.04/3610.90	c #Conflicts:     228000 | #Constraints:      23142
3600.04/3610.90	c #Conflicts:     229000 | #Constraints:      24142
3600.04/3610.90	c #Conflicts:     230000 | #Constraints:      25142
3600.04/3610.90	c #Conflicts:     231000 | #Constraints:      26142
3600.04/3610.90	c #Conflicts:     232000 | #Constraints:      27143
3600.04/3610.90	c #Conflicts:     233000 | #Constraints:      28143
3600.04/3610.90	c #Conflicts:     234000 | #Constraints:      29143
3600.04/3610.90	c #Conflicts:     235000 | #Constraints:      30144
3600.04/3610.90	c #Conflicts:     236000 | #Constraints:      31144
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     237000 | #Constraints:      22534
3600.04/3610.90	c #Conflicts:     238000 | #Constraints:      23535
3600.04/3610.90	c #Conflicts:     239000 | #Constraints:      24535
3600.04/3610.90	c #Conflicts:     240000 | #Constraints:      25535
3600.04/3610.90	c #Conflicts:     241000 | #Constraints:      26535
3600.04/3610.90	c #Conflicts:     242000 | #Constraints:      27535
3600.04/3610.90	c #Conflicts:     243000 | #Constraints:      28536
3600.04/3610.90	c #Conflicts:     244000 | #Constraints:      29536
3600.04/3610.90	c #Conflicts:     245000 | #Constraints:      30536
3600.04/3610.90	c #Conflicts:     246000 | #Constraints:      31536
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c cpu time 3593.57 s
3600.04/3610.90	c deterministic time 527101223562 5.27e+11
3600.04/3610.90	c optimization time 10.6162 s
3600.04/3610.90	c total solve time 3582.9 s
3600.04/3610.90	c core-guided solve time 0 s
3600.04/3610.90	c propagation time 2294.26 s
3600.04/3610.90	c conflict analysis time 1110.24 s
3600.04/3610.90	c propagations 157125317
3600.04/3610.90	c resolve steps 5529581
3600.04/3610.90	c decisions 3416257
3600.04/3610.90	c conflicts 246581
3600.04/3610.90	c restarts 572
3600.04/3610.90	c inprocessing phases 41
3600.04/3610.90	c garbage collections 41 ,( 100.00 )
3600.04/3610.90	c input clauses 11766 ,( 98.95 )
3600.04/3610.90	c input cardinalities 124 ,( 1.04 )
3600.04/3610.90	c input general constraints 1 ,( 0.01 )
3600.04/3610.90	c input average constraint length 7.10
3600.04/3610.90	c input average constraint degree 113.20
3600.04/3610.90	c learned clauses 13443 ,( 5.45 )
3600.04/3610.90	c learned cardinalities 1251 ,( 0.51 )
3600.04/3610.90	c learned general constraints 231933 ,( 94.04 )
3600.04/3610.90	c learned average constraint length 6520.85
3600.04/3610.90	c learned average constraint degree 71038178402.67
3600.04/3610.90	c watched  CF 32, 64, 128, Arb: 73323 , 0 , 0 , 0
3600.04/3610.90	c counting CF 32, 64, 128, Arb: 158611 , 0 , 0 , 0
3600.04/3610.90	c watched   constraints 73323 ,( 31.61 ) 
3600.04/3610.90	c counting  constraints 158611 ,( 68.39 ) 
3600.04/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 59579332 , 1896587 , 2856124893 ,( 718412659 , 2137712234 )
3600.04/3610.90	c gcd simplifications 4439
3600.04/3610.90	c detected cardinalities 1
3600.04/3610.90	c weakened non-implied lits 375075667
3600.04/3610.90	c weakened non-implying lits 1900441
3600.04/3610.90	c original variables 12675
3600.04/3610.90	c clausal propagations 57288021
3600.04/3610.90	c cardinality propagations 25650145
3600.04/3610.90	c watched propagations 4174003
3600.04/3610.90	c counting propagations 64640906
3600.04/3610.90	c watch lookups 178579892561
3600.04/3610.90	c watch backjump lookups 0
3600.04/3610.90	c watch checks 182522957218
3600.04/3610.90	c propagation checks 161371040899
3600.04/3610.90	c constraint additions 4305960196
3600.04/3610.90	c trail pops 160777399
3600.04/3610.90	c formula constraints 11891
3600.04/3610.90	c learned constraints 246535
3600.04/3610.90	c bound constraints 0
3600.04/3610.90	c core-guided constraints 0
3600.04/3610.90	c encountered formula constraints 5231195
3600.04/3610.90	c encountered learned constraints 504529
3600.04/3610.90	c encountered bound constraints 0
3600.04/3610.90	c encountered core-guided constraints 0
3600.04/3610.90	c LP total time 20.8443 s
3600.04/3610.90	c LP solve time 16.66 s
3600.04/3610.90	c LP constraints added 11893
3600.04/3610.90	c LP constraints removed 0
3600.04/3610.90	c LP pivots internal 25492
3600.04/3610.90	c LP pivots root 28222
3600.04/3610.90	c LP calls 50
3600.04/3610.90	c LP optimalities 1
3600.04/3610.90	c LP no pivot count 0
3600.04/3610.90	c LP infeasibilities 45
3600.04/3610.90	c LP valid Farkas constraints 45
3600.04/3610.90	c LP learned Farkas constraints 45
3600.04/3610.90	c LP basis resets 0
3600.04/3610.90	c LP cycling count 0
3600.04/3610.90	c LP singular count 0
3600.04/3610.90	c LP no primal count 0
3600.04/3610.90	c LP no farkas count 0
3600.04/3610.90	c LP other issue count 0
3600.04/3610.90	c LP Gomory cuts 2
3600.04/3610.90	c LP learned cuts 0
3600.04/3610.90	c LP deleted cuts 0
3600.04/3610.90	c LP encountered Gomory constraints 0
3600.04/3610.90	c LP encountered Farkas constraints 40366
3600.04/3610.90	c LP encountered learned Farkas constraints 27
3600.04/3610.90	c CG auxiliary variables introduced 0
3600.04/3610.90	c CG solutions found 0
3600.04/3610.90	c CG cores constructed 0
3600.04/3610.90	c CG core cardinality constraints returned 0
3600.04/3610.90	c CG unit cores 0
3600.04/3610.90	c CG single cores 0
3600.04/3610.90	c CG blocks removed during cardinality reduction 0
3600.04/3610.90	c CG first core best 0
3600.04/3610.90	c CG decision core best 0
3600.04/3610.90	c CG core reduction tie 0
3600.04/3610.90	c CG core degree average 0.00
3600.04/3610.90	c CG core slack average 0.00
3600.04/3610.90	c CG core upper bound improvements 0
3600.04/3610.90	c STR number of successful calls 0
3600.04/3610.90	c STR number of unsuccessful calls 0
3600.04/3610.90	c STR number of inconclusive calls 0
3600.04/3610.90	c STR number of successful attempts 0
3600.04/3610.90	c STR number of unsuccessful attempts 0
3600.04/3610.90	c STR number of inconclusive attempts 0
3600.04/3610.90	c STR average degree increase per successful call inf
3600.04/3610.90	c STR average degree increase per successful attempt inf
3600.04/3610.90	c STR total number of conflicts for successful attempts 0
3600.04/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.90	c STR average number of conflicts per successful attempt inf
3600.04/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.90	c AVG.sumWPerc 54.86 
3600.04/3610.90	c bigint constraints 0 
3600.04/3610.90	s UNKNOWN
3600.04/3610.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515094-1751225742/watcher-4515094-1751225742 -o /tmp/evaluation-result-4515094-1751225742/solver-4515094-1751225742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751217467-30114 --watchdog 3760 run-dec.sh HOME/instance-4515094-1751225742.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=32851, runsolver pid=32848

[startup+0.100063 s]*
/proc/loadavg: 4.20 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123054576/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=81100 memory=35368 CPUtime=0.08 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 6795 0 0 0 6 2 0 0 20 0 1 0 38252590 83046400 8842 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 20275 8842 2208 1147 0 7702 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85292 KiB
Current children cumulated memory: 38440 KiB

[startup+0.205545 s]*
/proc/loadavg: 4.20 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123054576/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=83864 memory=36392 CPUtime=0.19 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 7069 0 0 0 17 2 0 0 20 0 1 0 38252590 85876736 9098 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 20966 9098 2208 1147 0 8393 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88056 KiB
Current children cumulated memory: 39464 KiB

[startup+0.30549 s]*
/proc/loadavg: 4.20 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123054576/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=83864 memory=36648 CPUtime=0.29 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 7105 0 0 0 27 2 0 0 20 0 1 0 38252590 85876736 9162 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 20966 9162 2208 1147 0 8393 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88056 KiB
Current children cumulated memory: 39720 KiB

[startup+0.70022 s]
/proc/loadavg: 4.20 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123054576/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=84888 memory=37800 CPUtime=0.68 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 7372 0 0 0 65 3 0 0 20 0 1 0 38252590 86925312 9450 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 21222 9450 2240 1147 0 8649 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89080 KiB
Current children cumulated memory: 40872 KiB

[startup+1.50016 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123055004/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=84888 memory=40280 CPUtime=1.47 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 7440 0 0 0 144 3 0 0 20 0 1 0 38252590 86925312 10070 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 21222 10070 2272 1147 0 8649 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89080 KiB
Current children cumulated memory: 43352 KiB

[startup+3.10538 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 32853
/proc/meminfo: memFree=123017452/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=111536 memory=67320 CPUtime=3.08 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 10108 0 0 0 302 6 0 0 20 0 1 0 38252590 114212864 16830 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 27884 16830 2304 1147 0 15311 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115728 KiB
Current children cumulated memory: 70392 KiB

[startup+6.30019 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 32853
/proc/meminfo: memFree=122972964/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=162968 memory=112432 CPUtime=6.26 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 11633 0 0 0 618 8 0 0 20 0 1 0 38252590 166879232 28108 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 40742 28108 2336 1147 0 28169 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 167160 KiB
Current children cumulated memory: 115504 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.09 5/268 32853
/proc/meminfo: memFree=122888276/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=304840 memory=187424 CPUtime=12.64 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 15104 0 0 0 1250 14 0 0 20 0 1 0 38252590 312156160 46856 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 76210 46856 2336 1147 0 63637 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 309032 KiB
Current children cumulated memory: 190496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 32854
/proc/meminfo: memFree=122792076/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=310208 memory=254008 CPUtime=25.41 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 16430 0 0 0 2523 18 0 0 20 0 1 0 38252590 317652992 63502 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 77552 63502 2336 1147 0 64979 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 314400 KiB
Current children cumulated memory: 257080 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 32854
/proc/meminfo: memFree=122671748/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=463184 memory=370216 CPUtime=50.95 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 21965 0 0 0 5068 27 0 0 20 0 1 0 38252590 474300416 92554 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 115796 92554 2336 1147 0 103223 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 467376 KiB
Current children cumulated memory: 373288 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 32857
/proc/meminfo: memFree=122575260/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=716596 memory=456500 CPUtime=102.02 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 31305 0 0 0 10163 39 0 0 20 0 1 0 38252590 733794304 114125 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 179149 114125 2336 1147 0 166576 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 720788 KiB
Current children cumulated memory: 459572 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/268 32859
/proc/meminfo: memFree=122527988/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=740648 memory=511548 CPUtime=161.88 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 36967 0 0 0 16134 54 0 0 20 0 1 0 38252590 758423552 127887 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 185162 127887 2336 1147 0 172589 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 744840 KiB
Current children cumulated memory: 514620 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 32865
/proc/meminfo: memFree=122461444/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=758404 memory=580824 CPUtime=221.72 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 40997 0 0 0 22113 59 0 0 20 0 1 0 38252590 776605696 145206 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 189601 145206 2336 1147 0 177028 0

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

[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4325972 memory=3622452 CPUtime=3092.85 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 719530 0 0 0 308692 593 0 0 20 0 1 0 38252590 4429795328 905613 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1081493 905613 2336 1147 0 1068920 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 4330164 KiB
Current children cumulated memory: 3625524 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.48 3.23 3/253 33075
/proc/meminfo: memFree=114913784/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4325972 memory=3623220 CPUtime=3152.65 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 719762 0 0 0 314668 597 0 0 20 0 1 0 38252590 4429795328 905805 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1081493 905805 2336 1147 0 1068920 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 4330164 KiB
Current children cumulated memory: 3626292 KiB

[startup+3222.3 s]
/proc/loadavg: 2.14 2.42 3.16 3/253 33077
/proc/meminfo: memFree=114563500/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4338568 memory=3636916 CPUtime=3212.47 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 723234 0 0 0 320644 603 0 0 20 0 1 0 38252590 4442693632 909229 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1084642 909229 2336 1147 0 1072069 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 4342760 KiB
Current children cumulated memory: 3639988 KiB

[startup+3282.3 s]
/proc/loadavg: 2.11 2.35 3.09 3/253 33083
/proc/meminfo: memFree=114266160/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4347480 memory=3643188 CPUtime=3272.29 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 724806 0 0 0 326621 608 0 0 20 0 1 0 38252590 4451819520 910797 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1086870 910797 2336 1147 0 1074297 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 4351672 KiB
Current children cumulated memory: 3646260 KiB

[startup+3342.3 s]
/proc/loadavg: 2.08 2.30 3.03 2/247 33094
/proc/meminfo: memFree=125870424/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4372824 memory=3666356 CPUtime=3332.1 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 730666 0 0 0 332591 619 0 0 20 0 1 0 38252590 4477771776 916589 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1093206 916589 2336 1147 0 1080633 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 4377016 KiB
Current children cumulated memory: 3669428 KiB

[startup+3402.3 s]
/proc/loadavg: 1.49 2.09 2.91 2/245 33118
/proc/meminfo: memFree=126262400/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4408920 memory=3706372 CPUtime=3391.95 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 738665 0 0 0 338567 628 0 0 20 0 1 0 38252590 4514734080 926593 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1102230 926593 2336 1147 0 1089657 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 4413112 KiB
Current children cumulated memory: 3709444 KiB

[startup+3462.3 s]
/proc/loadavg: 1.23 1.91 2.79 2/245 33120
/proc/meminfo: memFree=126259736/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4408920 memory=3708292 CPUtime=3451.81 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 738673 0 0 0 344547 634 0 0 20 0 1 0 38252590 4514734080 927073 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1102230 927073 2336 1147 0 1089657 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 4413112 KiB
Current children cumulated memory: 3711364 KiB

[startup+3522.3 s]
/proc/loadavg: 1.20 1.77 2.69 2/246 33122
/proc/meminfo: memFree=126261884/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4408920 memory=3708548 CPUtime=3511.66 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 738828 0 0 0 350525 641 0 0 20 0 1 0 38252590 4514734080 927137 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1102230 927137 2336 1147 0 1089657 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 4413112 KiB
Current children cumulated memory: 3711620 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.64 2.58 2/246 33124
/proc/meminfo: memFree=126247080/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4408920 memory=3711492 CPUtime=3571.51 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 739371 0 0 0 356506 645 0 0 20 0 1 0 38252590 4514734080 927873 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1102230 927873 2336 1147 0 1089657 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 4413112 KiB
Current children cumulated memory: 3714564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 1.16 1.61 2.55 2/247 33129
/proc/meminfo: memFree=126247828/131249996 swapFree=33010684/33010684
[pid=32851] ppid=32848 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/32851/stat : 32851 (run-dec.sh) S 32848 32851 30102 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38252589 4292608 768 18446744073709551615 94718540787712 94718541682245 140720529694560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94718541921296 94718541969040 94718543507456 140720529701229 140720529701352 140720529701352 140720529706954 0
/proc/32851/statm: 1048 768 704 219 0 110 0
[pid=32853] ppid=32851 vsize=4418772 memory=3721476 CPUtime=3600.04 cores=1,3
/proc/32853/stat : 32853 (roundingsat) R 32851 32851 30102 0 -1 4194304 741967 0 0 0 359356 648 0 0 20 0 1 0 38252590 4524822528 930369 18446744073709551615 4227072 8923433 140732922290032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13971456 140732922296759 140732922296872 140732922296872 140732922302442 0
/proc/32853/statm: 1104693 930369 2336 1147 0 1092120 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4422964 KiB
Current children cumulated memory: 3724548 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.9 s]
# the end of solver process 32851 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.002145 s
Sleeping 2 seconds

[startup+3611.03 s]
# the end of solver process 32853 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3593.57 s, system=6.61655 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611 s]*
/proc/loadavg: 1.16 1.61 2.55 2/246 33129
/proc/meminfo: memFree=129391228/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002145 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.03
CPU time (s): 3600.19
CPU user time (s): 3593.57
CPU system time (s): 6.61655
CPU usage (%): 99.6997
Max. virtual memory (cumulated for all children) (KiB): 4422964
Max. memory (cumulated for all children) (KiB): 3724548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.57
system time used= 6.61655
maximum resident set size= 3721988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 742195
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= 161
involuntary context switches= 4584


# summary of solver processes directly reported to runsolver:
#   pid: 32851,32853
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3593.57
#   total CPU system time (s): 6.61655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71028 second user time and 16.9934 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-29 21:35:42
IDJOB=4515094
IDBENCH=164141
IDSOLVER=3349
FILE ID=nodeC029/4515094-1751225742
RUNJOBID= nodeC029-1751217467-30114
SLURM_JOB_ID= 9587662
Free space on /tmp= 432604 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.s.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515094-1751225742/watcher-4515094-1751225742 -o /tmp/evaluation-result-4515094-1751225742/solver-4515094-1751225742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751217467-30114 --watchdog 3760  run-dec.sh HOME/instance-4515094-1751225742.opb

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

MD5SUM BENCH= fadbb7049cb6f956a624efb3819309ab
RANDOM SEED=1492393846

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123079320 kB
MemAvailable:   123304280 kB
Buffers:            3280 kB
Cached:          1034096 kB
SwapCached:            0 kB
Active:          6764488 kB
Inactive:         777172 kB
Active(anon):    6522348 kB
Inactive(anon):        0 kB
Active(file):     242140 kB
Inactive(file):   777172 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8000 kB
Writeback:             0 kB
AnonPages:       6504036 kB
Mapped:           116244 kB
Shmem:             18060 kB
KReclaimable:      89772 kB
Slab:             173928 kB
SReclaimable:      89772 kB
SUnreclaim:        84156 kB
KernelStack:        4336 kB
PageTables:        16072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7004900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5042176 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC029 at 2025-06-29 22:35:53