Trace number 4542541

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 63f22adUNSAT 1851.88 1856.12

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
MD5SUMa8e56f9e5ad0cb5cee4856e95cb4d672
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1193.42
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106882
Number of constraints which are clauses54005
Number of constraints which are cardinality constraints (but not clauses)48506
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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
2.17/2.29	c #variables 2235696 #constraints 106882
397.55/398.47	c #Conflicts:       1000 | #Constraints:     107881
397.55/398.47	c #Conflicts:       2000 | #Constraints:     108881
397.55/398.47	c INPROCESSING
397.55/398.47	c #Conflicts:       3000 | #Constraints:     108892
397.55/398.47	c #Conflicts:       4000 | #Constraints:     109892
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:       5000 | #Constraints:     109297
397.55/398.47	c #Conflicts:       6000 | #Constraints:     110297
397.55/398.47	c INPROCESSING
397.55/398.47	c #Conflicts:       7000 | #Constraints:     109314
397.55/398.47	c #Conflicts:       8000 | #Constraints:     110314
397.55/398.47	c #Conflicts:       9000 | #Constraints:     111314
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      10000 | #Constraints:     110001
397.55/398.47	c #Conflicts:      11000 | #Constraints:     111001
397.55/398.47	c #Conflicts:      12000 | #Constraints:     112001
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      13000 | #Constraints:     110461
397.55/398.47	c #Conflicts:      14000 | #Constraints:     111461
397.55/398.47	c #Conflicts:      15000 | #Constraints:     112461
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      16000 | #Constraints:     110693
397.55/398.47	c #Conflicts:      17000 | #Constraints:     111693
397.55/398.47	c #Conflicts:      18000 | #Constraints:     112693
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      19000 | #Constraints:     110706
397.55/398.47	c #Conflicts:      20000 | #Constraints:     111706
397.55/398.47	c #Conflicts:      21000 | #Constraints:     112706
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      22000 | #Constraints:     110514
397.55/398.47	c #Conflicts:      23000 | #Constraints:     111514
397.55/398.47	c #Conflicts:      24000 | #Constraints:     112514
397.55/398.47	c #Conflicts:      25000 | #Constraints:     113514
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      26000 | #Constraints:     111115
397.55/398.47	c #Conflicts:      27000 | #Constraints:     112115
397.55/398.47	c #Conflicts:      28000 | #Constraints:     113115
397.55/398.47	c #Conflicts:      29000 | #Constraints:     114115
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      30000 | #Constraints:     111509
397.55/398.47	c #Conflicts:      31000 | #Constraints:     112509
397.55/398.47	c #Conflicts:      32000 | #Constraints:     113509
397.55/398.47	c #Conflicts:      33000 | #Constraints:     114509
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      34000 | #Constraints:     111720
397.55/398.47	c #Conflicts:      35000 | #Constraints:     112720
397.55/398.47	c #Conflicts:      36000 | #Constraints:     113720
397.55/398.47	c #Conflicts:      37000 | #Constraints:     114720
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      38000 | #Constraints:     111711
397.55/398.47	c #Conflicts:      39000 | #Constraints:     112711
397.55/398.47	c #Conflicts:      40000 | #Constraints:     113711
397.55/398.47	c #Conflicts:      41000 | #Constraints:     114711
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      42000 | #Constraints:     111538
397.55/398.47	c #Conflicts:      43000 | #Constraints:     112538
397.55/398.47	c #Conflicts:      44000 | #Constraints:     113538
397.55/398.47	c #Conflicts:      45000 | #Constraints:     114538
397.55/398.47	c #Conflicts:      46000 | #Constraints:     115538
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      47000 | #Constraints:     112179
397.55/398.47	c #Conflicts:      48000 | #Constraints:     113179
397.55/398.47	c #Conflicts:      49000 | #Constraints:     114179
397.55/398.47	c #Conflicts:      50000 | #Constraints:     115179
397.55/398.47	c #Conflicts:      51000 | #Constraints:     116179
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      52000 | #Constraints:     112554
397.55/398.47	c #Conflicts:      53000 | #Constraints:     113554
397.55/398.47	c #Conflicts:      54000 | #Constraints:     114554
397.55/398.47	c #Conflicts:      55000 | #Constraints:     115554
397.55/398.47	c #Conflicts:      56000 | #Constraints:     116554
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      57000 | #Constraints:     112751
397.55/398.47	c #Conflicts:      58000 | #Constraints:     113751
397.55/398.47	c #Conflicts:      59000 | #Constraints:     114751
397.55/398.47	c #Conflicts:      60000 | #Constraints:     115751
397.55/398.47	c #Conflicts:      61000 | #Constraints:     116751
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      62000 | #Constraints:     112750
397.55/398.47	c #Conflicts:      63000 | #Constraints:     113750
397.55/398.47	c #Conflicts:      64000 | #Constraints:     114750
397.55/398.47	c #Conflicts:      65000 | #Constraints:     115750
397.55/398.47	c #Conflicts:      66000 | #Constraints:     116750
397.55/398.47	c INPROCESSING
397.55/398.47	c GARBAGE COLLECT
397.55/398.47	c #Conflicts:      67000 | #Constraints:     112559
397.55/398.47	c #Conflicts:      68000 | #Constraints:     113559
397.55/398.47	c #Conflicts:      69000 | #Constraints:     114559
1087.61/1089.99	c #Conflicts:      70000 | #Constraints:     115559
1087.61/1089.99	c #Conflicts:      71000 | #Constraints:     116559
1087.61/1089.99	c #Conflicts:      72000 | #Constraints:     117559
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:      73000 | #Constraints:     113172
1087.61/1089.99	c #Conflicts:      74000 | #Constraints:     114172
1087.61/1089.99	c #Conflicts:      75000 | #Constraints:     115172
1087.61/1089.99	c #Conflicts:      76000 | #Constraints:     116172
1087.61/1089.99	c #Conflicts:      77000 | #Constraints:     117172
1087.61/1089.99	c #Conflicts:      78000 | #Constraints:     118172
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:      79000 | #Constraints:     113592
1087.61/1089.99	c #Conflicts:      80000 | #Constraints:     114592
1087.61/1089.99	c #Conflicts:      81000 | #Constraints:     115592
1087.61/1089.99	c #Conflicts:      82000 | #Constraints:     116592
1087.61/1089.99	c #Conflicts:      83000 | #Constraints:     117592
1087.61/1089.99	c #Conflicts:      84000 | #Constraints:     118592
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:      85000 | #Constraints:     113793
1087.61/1089.99	c #Conflicts:      86000 | #Constraints:     114793
1087.61/1089.99	c #Conflicts:      87000 | #Constraints:     115793
1087.61/1089.99	c #Conflicts:      88000 | #Constraints:     116793
1087.61/1089.99	c #Conflicts:      89000 | #Constraints:     117793
1087.61/1089.99	c #Conflicts:      90000 | #Constraints:     118793
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:      91000 | #Constraints:     113804
1087.61/1089.99	c #Conflicts:      92000 | #Constraints:     114804
1087.61/1089.99	c #Conflicts:      93000 | #Constraints:     115804
1087.61/1089.99	c #Conflicts:      94000 | #Constraints:     116804
1087.61/1089.99	c #Conflicts:      95000 | #Constraints:     117804
1087.61/1089.99	c #Conflicts:      96000 | #Constraints:     118804
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:      97000 | #Constraints:     113683
1087.61/1089.99	c #Conflicts:      98000 | #Constraints:     114683
1087.61/1089.99	c #Conflicts:      99000 | #Constraints:     115683
1087.61/1089.99	c #Conflicts:     100000 | #Constraints:     116683
1087.61/1089.99	c #Conflicts:     101000 | #Constraints:     117683
1087.61/1089.99	c #Conflicts:     102000 | #Constraints:     118683
1087.61/1089.99	c #Conflicts:     103000 | #Constraints:     119683
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     104000 | #Constraints:     114304
1087.61/1089.99	c #Conflicts:     105000 | #Constraints:     115304
1087.61/1089.99	c #Conflicts:     106000 | #Constraints:     116304
1087.61/1089.99	c #Conflicts:     107000 | #Constraints:     117304
1087.61/1089.99	c #Conflicts:     108000 | #Constraints:     118304
1087.61/1089.99	c #Conflicts:     109000 | #Constraints:     119304
1087.61/1089.99	c #Conflicts:     110000 | #Constraints:     120304
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     111000 | #Constraints:     114708
1087.61/1089.99	c #Conflicts:     112000 | #Constraints:     115708
1087.61/1089.99	c #Conflicts:     113000 | #Constraints:     116708
1087.61/1089.99	c #Conflicts:     114000 | #Constraints:     117708
1087.61/1089.99	c #Conflicts:     115000 | #Constraints:     118708
1087.61/1089.99	c #Conflicts:     116000 | #Constraints:     119708
1087.61/1089.99	c #Conflicts:     117000 | #Constraints:     120708
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     118000 | #Constraints:     115004
1087.61/1089.99	c #Conflicts:     119000 | #Constraints:     116004
1087.61/1089.99	c #Conflicts:     120000 | #Constraints:     117004
1087.61/1089.99	c #Conflicts:     121000 | #Constraints:     118004
1087.61/1089.99	c #Conflicts:     122000 | #Constraints:     119004
1087.61/1089.99	c #Conflicts:     123000 | #Constraints:     120004
1087.61/1089.99	c #Conflicts:     124000 | #Constraints:     121004
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     125000 | #Constraints:     115057
1087.61/1089.99	c #Conflicts:     126000 | #Constraints:     116057
1087.61/1089.99	c #Conflicts:     127000 | #Constraints:     117057
1087.61/1089.99	c #Conflicts:     128000 | #Constraints:     118057
1087.61/1089.99	c #Conflicts:     129000 | #Constraints:     119057
1087.61/1089.99	c #Conflicts:     130000 | #Constraints:     120057
1087.61/1089.99	c #Conflicts:     131000 | #Constraints:     121057
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     132000 | #Constraints:     114887
1087.61/1089.99	c #Conflicts:     133000 | #Constraints:     115887
1087.61/1089.99	c #Conflicts:     134000 | #Constraints:     116887
1087.61/1089.99	c #Conflicts:     135000 | #Constraints:     117887
1087.61/1089.99	c #Conflicts:     136000 | #Constraints:     118887
1087.61/1089.99	c #Conflicts:     137000 | #Constraints:     119887
1087.61/1089.99	c #Conflicts:     138000 | #Constraints:     120887
1087.61/1089.99	c #Conflicts:     139000 | #Constraints:     121887
1087.61/1089.99	c INPROCESSING
1087.61/1089.99	c GARBAGE COLLECT
1087.61/1089.99	c #Conflicts:     140000 | #Constraints:     115508
1851.55/1855.84	c #Conflicts:     141000 | #Constraints:     116508
1851.55/1855.84	c #Conflicts:     142000 | #Constraints:     117508
1851.55/1855.84	c #Conflicts:     143000 | #Constraints:     118508
1851.55/1855.84	c #Conflicts:     144000 | #Constraints:     119508
1851.55/1855.84	c #Conflicts:     145000 | #Constraints:     120508
1851.55/1855.84	c #Conflicts:     146000 | #Constraints:     121508
1851.55/1855.84	c #Conflicts:     147000 | #Constraints:     122508
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     148000 | #Constraints:     115958
1851.55/1855.84	c #Conflicts:     149000 | #Constraints:     116958
1851.55/1855.84	c #Conflicts:     150000 | #Constraints:     117958
1851.55/1855.84	c #Conflicts:     151000 | #Constraints:     118958
1851.55/1855.84	c #Conflicts:     152000 | #Constraints:     119958
1851.55/1855.84	c #Conflicts:     153000 | #Constraints:     120958
1851.55/1855.84	c #Conflicts:     154000 | #Constraints:     121958
1851.55/1855.84	c #Conflicts:     155000 | #Constraints:     122958
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     156000 | #Constraints:     116210
1851.55/1855.84	c #Conflicts:     157000 | #Constraints:     117210
1851.55/1855.84	c #Conflicts:     158000 | #Constraints:     118210
1851.55/1855.84	c #Conflicts:     159000 | #Constraints:     119210
1851.55/1855.84	c #Conflicts:     160000 | #Constraints:     120210
1851.55/1855.84	c #Conflicts:     161000 | #Constraints:     121210
1851.55/1855.84	c #Conflicts:     162000 | #Constraints:     122210
1851.55/1855.84	c #Conflicts:     163000 | #Constraints:     123210
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     164000 | #Constraints:     116243
1851.55/1855.84	c #Conflicts:     165000 | #Constraints:     117243
1851.55/1855.84	c #Conflicts:     166000 | #Constraints:     118243
1851.55/1855.84	c #Conflicts:     167000 | #Constraints:     119243
1851.55/1855.84	c #Conflicts:     168000 | #Constraints:     120243
1851.55/1855.84	c #Conflicts:     169000 | #Constraints:     121243
1851.55/1855.84	c #Conflicts:     170000 | #Constraints:     122243
1851.55/1855.84	c #Conflicts:     171000 | #Constraints:     123243
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     172000 | #Constraints:     116068
1851.55/1855.84	c #Conflicts:     173000 | #Constraints:     117068
1851.55/1855.84	c #Conflicts:     174000 | #Constraints:     118068
1851.55/1855.84	c #Conflicts:     175000 | #Constraints:     119068
1851.55/1855.84	c #Conflicts:     176000 | #Constraints:     120068
1851.55/1855.84	c #Conflicts:     177000 | #Constraints:     121068
1851.55/1855.84	c #Conflicts:     178000 | #Constraints:     122068
1851.55/1855.84	c #Conflicts:     179000 | #Constraints:     123068
1851.55/1855.84	c #Conflicts:     180000 | #Constraints:     124068
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     181000 | #Constraints:     116731
1851.55/1855.84	c #Conflicts:     182000 | #Constraints:     117731
1851.55/1855.84	c #Conflicts:     183000 | #Constraints:     118731
1851.55/1855.84	c #Conflicts:     184000 | #Constraints:     119731
1851.55/1855.84	c #Conflicts:     185000 | #Constraints:     120731
1851.55/1855.84	c #Conflicts:     186000 | #Constraints:     121731
1851.55/1855.84	c #Conflicts:     187000 | #Constraints:     122731
1851.55/1855.84	c #Conflicts:     188000 | #Constraints:     123731
1851.55/1855.84	c #Conflicts:     189000 | #Constraints:     124731
1851.55/1855.84	c INPROCESSING
1851.55/1855.84	c GARBAGE COLLECT
1851.55/1855.84	c #Conflicts:     190000 | #Constraints:     117220
1851.55/1855.84	c #Conflicts:     191000 | #Constraints:     118220
1851.55/1855.84	c #Conflicts:     192000 | #Constraints:     119220
1851.55/1855.84	c #Conflicts:     193000 | #Constraints:     120220
1851.55/1855.84	c #Conflicts:     194000 | #Constraints:     121220
1851.55/1855.84	c #Conflicts:     195000 | #Constraints:     122220
1851.55/1855.84	c #Conflicts:     196000 | #Constraints:     123220
1851.55/1855.84	c #Conflicts:     197000 | #Constraints:     124220
1851.55/1855.84	c #Conflicts:     198000 | #Constraints:     125220
1851.55/1855.84	c #Conflicts:     199000 | #Constraints:     126220
1851.55/1855.84	c #Conflicts:     200000 | #Constraints:     127220
1851.55/1855.84	c #Conflicts:     201000 | #Constraints:     128220
1851.55/1855.84	c #Conflicts:     202000 | #Constraints:     129220
1851.55/1855.84	c #Conflicts:     203000 | #Constraints:     130220
1851.55/1855.84	c #Conflicts:     204000 | #Constraints:     131220
1851.55/1855.84	c #Conflicts:     205000 | #Constraints:     132220
1851.55/1855.84	c #Conflicts:     206000 | #Constraints:     133220
1851.55/1855.84	c #Conflicts:     207000 | #Constraints:     134220
1851.55/1855.84	c cpu time 817.152 s
1851.55/1855.84	c deterministic time 7042803888 7.04e+09
1851.55/1855.84	c optimization time 5.4e-05 s
1851.55/1855.84	c total solve time 815.294 s
1851.55/1855.84	c core-guided solve time 0 s
1851.55/1855.84	c propagation time 409.216 s
1851.55/1855.84	c conflict analysis time 7.72529 s
1851.55/1855.84	c propagations 73538905
1851.55/1855.84	c resolve steps 466220
1851.55/1855.84	c decisions 1626451933
1851.55/1855.84	c conflicts 207372
1851.55/1855.84	c restarts 509
1851.55/1855.84	c inprocessing phases 35
1851.55/1855.84	c garbage collections 33 ,( 94.29 )
1851.55/1855.84	c input clauses 54005 ,( 50.53 )
1851.75/1856.07	c input cardinalities 52877 ,( 49.47 )
1851.75/1856.07	c input general constraints 0 ,( 0.00 )
1851.75/1856.07	c input average constraint length 44.82
1851.75/1856.07	c input average constraint degree 22.27
1851.75/1856.07	c learned clauses 17726 ,( 8.55 )
1851.75/1856.07	c learned cardinalities 189626 ,( 91.44 )
1851.75/1856.07	c learned general constraints 19 ,( 0.01 )
1851.75/1856.07	c learned average constraint length 625.67
1851.75/1856.07	c learned average constraint degree 321.25
1851.75/1856.07	c watched  CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1851.75/1856.07	c counting CF 32, 64, 128, Arb: 18 , 0 , 0 , 0
1851.75/1856.07	c watched   constraints 1 ,( 5.26 ) 
1851.75/1856.07	c counting  constraints 18 ,( 94.74 ) 
1851.75/1856.07	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 39301413 , 38468918 , 97 ,( 9 , 88 )
1851.75/1856.07	c gcd simplifications 1
1851.75/1856.07	c detected cardinalities 0
1851.75/1856.07	c weakened non-implied lits 2938
1851.75/1856.07	c weakened non-implying lits 0
1851.75/1856.07	c original variables 2235696
1851.75/1856.07	c clausal propagations 37481912
1851.75/1856.07	c cardinality propagations 34503703
1851.75/1856.07	c watched propagations 1
1851.75/1856.07	c counting propagations 48
1851.75/1856.07	c watch lookups 77887393
1851.75/1856.07	c watch backjump lookups 0
1851.75/1856.07	c watch checks 1673562316
1851.75/1856.07	c propagation checks 1743275202
1851.75/1856.07	c constraint additions 147826953
1851.75/1856.07	c trail pops 1700198185
1851.75/1856.07	c formula constraints 106882
1851.75/1856.07	c learned constraints 207371
1851.75/1856.07	c bound constraints 0
1851.75/1856.07	c core-guided constraints 0
1851.75/1856.07	c encountered formula constraints 398019
1851.75/1856.07	c encountered learned constraints 275573
1851.75/1856.07	c encountered bound constraints 0
1851.75/1856.07	c encountered core-guided constraints 0
1851.75/1856.07	c LP total time 13.542 s
1851.75/1856.07	c LP solve time 12.32 s
1851.75/1856.07	c LP constraints added 106882
1851.75/1856.07	c LP constraints removed 0
1851.75/1856.07	c LP pivots internal 42000
1851.75/1856.07	c LP pivots root 21000
1851.75/1856.07	c LP calls 6
1851.75/1856.07	c LP optimalities 0
1851.75/1856.07	c LP no pivot count 0
1851.75/1856.07	c LP infeasibilities 0
1851.75/1856.07	c LP valid Farkas constraints 0
1851.75/1856.07	c LP learned Farkas constraints 0
1851.75/1856.07	c LP basis resets 0
1851.75/1856.07	c LP cycling count 0
1851.75/1856.07	c LP singular count 0
1851.75/1856.07	c LP no primal count 0
1851.75/1856.07	c LP no farkas count 0
1851.75/1856.07	c LP other issue count 0
1851.75/1856.07	c LP Gomory cuts 0
1851.75/1856.07	c LP learned cuts 0
1851.75/1856.07	c LP deleted cuts 0
1851.75/1856.07	c LP encountered Gomory constraints 0
1851.75/1856.07	c LP encountered Farkas constraints 0
1851.75/1856.07	c LP encountered learned Farkas constraints 0
1851.75/1856.07	c CG auxiliary variables introduced 0
1851.75/1856.07	c CG solutions found 0
1851.75/1856.07	c CG cores constructed 0
1851.75/1856.07	c CG core cardinality constraints returned 0
1851.75/1856.07	c CG unit cores 0
1851.75/1856.07	c CG single cores 0
1851.75/1856.07	c CG blocks removed during cardinality reduction 0
1851.75/1856.07	c CG first core best 0
1851.75/1856.07	c CG decision core best 0
1851.75/1856.07	c CG core reduction tie 0
1851.75/1856.07	c CG core degree average 0.00
1851.75/1856.07	c CG core slack average 0.00
1851.75/1856.07	c CG core upper bound improvements 0
1851.75/1856.07	c STR number of successful calls 0
1851.75/1856.07	c STR number of unsuccessful calls 0
1851.75/1856.07	c STR number of inconclusive calls 0
1851.75/1856.07	c STR number of successful attempts 0
1851.75/1856.07	c STR number of unsuccessful attempts 0
1851.75/1856.07	c STR number of inconclusive attempts 0
1851.75/1856.07	c STR average degree increase per successful call inf
1851.75/1856.07	c STR average degree increase per successful attempt inf
1851.75/1856.07	c STR total number of conflicts for successful attempts 0
1851.75/1856.07	c STR total number of conflicts for unsuccessful attempts 0
1851.75/1856.07	c STR total number of conflicts for inconclusive attempts 0
1851.75/1856.07	c STR average number of conflicts per successful attempt inf
1851.75/1856.07	c STR average number of conflicts per unsuccessful attempt inf
1851.75/1856.07	c STR average number of conflicts per inconclusive attempt inf
1851.75/1856.07	c AVG.sumWPerc 61.74 
1851.75/1856.07	c bigint constraints 0 
1851.75/1856.07	s UNSATISFIABLE

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 (55099 MiB free)
  memory of node 1: 64465 MiB (52350 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542541-1753215597/watcher-4542541-1753215597 -o /tmp/evaluation-result-4542541-1753215597/solver-4542541-1753215597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171551 --watchdog 3760 run-dec.sh HOME/instance-4542541-1753215597.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=172334, runsolver pid=172331
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.19 4.19 4.12 5/269 172336
/proc/meminfo: memFree=109807556/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=293400 memory=243996 CPUtime=0.08 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 1632 0 0 0 4 4 0 0 20 0 1 0 237238433 300441600 60999 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 73350 60999 1824 1147 0 60777 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 297592 KiB
Current children cumulated memory: 246684 KiB

[startup+0.206114 s]*
/proc/loadavg: 4.26 4.20 4.13 5/269 172336
/proc/meminfo: memFree=109582656/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=528384 memory=481196 CPUtime=0.19 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 6244 0 0 0 10 9 0 0 20 0 1 0 237238433 541065216 120299 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 132096 120299 1856 1147 0 119523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 532576 KiB
Current children cumulated memory: 483884 KiB

[startup+0.305947 s]*
/proc/loadavg: 4.26 4.20 4.13 5/269 172336
/proc/meminfo: memFree=109574592/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=534140 memory=488816 CPUtime=0.28 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 7651 0 0 0 19 9 0 0 20 0 1 0 237238433 546959360 122204 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 133535 122204 1856 1147 0 120962 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 538332 KiB
Current children cumulated memory: 491504 KiB

[startup+0.700173 s]
/proc/loadavg: 4.26 4.20 4.13 5/269 172336
/proc/meminfo: memFree=109560920/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=562828 memory=517200 CPUtime=0.67 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 13822 0 0 0 55 12 0 0 20 0 1 0 237238433 576335872 129300 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 140707 129300 1856 1147 0 128134 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 567020 KiB
Current children cumulated memory: 519888 KiB

[startup+1.50024 s]
/proc/loadavg: 4.26 4.20 4.13 5/269 172336
/proc/meminfo: memFree=109526836/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=625076 memory=573084 CPUtime=1.47 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 25382 0 0 0 127 20 0 0 20 0 1 0 237238433 640077824 143271 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 156269 143271 1856 1147 0 143696 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 629268 KiB
Current children cumulated memory: 575772 KiB

[startup+3.10604 s]
/proc/loadavg: 4.26 4.20 4.13 5/269 172336
/proc/meminfo: memFree=108832600/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=1300532 memory=1239644 CPUtime=3.07 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 68047 0 0 0 256 51 0 0 20 0 1 0 237238433 1331744768 309911 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 325133 309911 2176 1147 0 312560 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1304724 KiB
Current children cumulated memory: 1242332 KiB

[startup+6.30015 s]
/proc/loadavg: 4.23 4.20 4.13 5/269 172336
/proc/meminfo: memFree=108148916/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2048732 memory=1901488 CPUtime=6.26 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 94032 0 0 0 496 130 0 0 20 0 1 0 237238433 2097901568 475372 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 512183 475372 2304 1147 0 499610 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2052924 KiB
Current children cumulated memory: 1904176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.20 4.13 5/269 172336
/proc/meminfo: memFree=108130224/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2048732 memory=1910344 CPUtime=12.65 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 94313 0 0 0 824 441 0 0 20 0 1 0 237238433 2097901568 477586 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 512183 477586 2304 1147 0 499610 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2052924 KiB
Current children cumulated memory: 1913032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.12 5/269 172338
/proc/meminfo: memFree=108098020/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2057464 memory=1926852 CPUtime=25.42 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 95630 0 0 0 1472 1070 0 0 20 0 1 0 237238433 2106843136 481713 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 514366 481713 2304 1147 0 501793 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2061656 KiB
Current children cumulated memory: 1929540 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.19 4.12 5/269 172338
/proc/meminfo: memFree=107966464/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2124360 memory=1994368 CPUtime=50.97 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 110824 0 0 0 2747 2350 0 0 20 0 1 0 237238433 2175344640 498592 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 531090 498592 2304 1147 0 518517 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2128552 KiB
Current children cumulated memory: 1997056 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/269 172340
/proc/meminfo: memFree=107792128/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2233780 memory=2100204 CPUtime=102.06 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 127359 0 0 0 5037 5169 0 0 20 0 1 0 237238433 2287390720 525051 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 558445 525051 2304 1147 0 545872 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2237972 KiB
Current children cumulated memory: 2102892 KiB

[startup+162.3 s]
/proc/loadavg: 4.45 4.24 4.14 5/268 172342
/proc/meminfo: memFree=107539544/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2446924 memory=2302768 CPUtime=161.93 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 158761 0 0 0 7762 8431 0 0 20 0 1 0 237238433 2505650176 575692 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 611731 575692 2304 1147 0 599158 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 2451116 KiB
Current children cumulated memory: 2305456 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/268 172344
/proc/meminfo: memFree=107491300/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2446924 memory=2302768 CPUtime=221.81 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 159172 0 0 0 10521 11660 0 0 20 0 1 0 237238433 2505650176 575692 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 611731 575692 2304 1147 0 599158 0
Current children cumulated CPU time: 221.81 s

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

/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2965544 memory=2828616 CPUtime=1658.74 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 288853 0 0 0 73337 92537 0 0 20 0 1 0 237238433 3036717056 707154 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 741386 707154 2304 1147 0 728813 0
Current children cumulated CPU time: 1658.74 s
Current children cumulated vsize: 2969736 KiB
Current children cumulated memory: 2831304 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 173287
/proc/meminfo: memFree=107749604/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2966940 memory=2830408 CPUtime=1718.59 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 289442 0 0 0 75925 95934 0 0 20 0 1 0 237238433 3038146560 707602 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 741735 707602 2304 1147 0 729162 0
Current children cumulated CPU time: 1718.59 s
Current children cumulated vsize: 2971132 KiB
Current children cumulated memory: 2833096 KiB

[startup+1782.3 s]
/proc/loadavg: 4.18 4.10 4.10 4/264 173579
/proc/meminfo: memFree=110849864/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2966940 memory=2830408 CPUtime=1778.41 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 289524 0 0 0 78522 99319 0 0 20 0 1 0 237238433 3038146560 707602 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 741735 707602 2304 1147 0 729162 0
Current children cumulated CPU time: 1778.41 s
Current children cumulated vsize: 2971132 KiB
Current children cumulated memory: 2833096 KiB

[startup+1842.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110765320/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3002008 memory=2840068 CPUtime=1838.08 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 291434 0 0 0 81122 102686 0 0 20 0 1 0 237238433 3074056192 710017 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 750502 710017 2304 1147 0 737929 0
Current children cumulated CPU time: 1838.08 s
Current children cumulated vsize: 3006200 KiB
Current children cumulated memory: 2842756 KiB

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

# cumulated CPU time of all completed processes:  user=817.38 s, system=1034.5 s

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

[startup+1843.2 s]
/proc/loadavg: 4.16 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110761384/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3002008 memory=2840068 CPUtime=1838.98 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 291434 0 0 0 81156 102742 0 0 20 0 1 0 237238433 3074056192 710017 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 750502 710017 2304 1147 0 737929 0
Current children cumulated CPU time: 1838.98 s
Current children cumulated vsize: 3006200 KiB
Current children cumulated memory: 2842756 KiB

[startup+1849.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110725568/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3002008 memory=2842136 CPUtime=1845.37 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 291439 0 0 0 81440 103097 0 0 20 0 1 0 237238433 3074056192 710534 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 750502 710534 2304 1147 0 737929 0
Current children cumulated CPU time: 1845.37 s
Current children cumulated vsize: 3006200 KiB
Current children cumulated memory: 2844824 KiB

[startup+1852.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110674784/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3005616 memory=2844180 CPUtime=1848.55 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 292223 0 0 0 81579 103276 0 0 20 0 1 0 237238433 3077750784 711045 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 751404 711045 2304 1147 0 738831 0
Current children cumulated CPU time: 1848.55 s
Current children cumulated vsize: 3009808 KiB
Current children cumulated memory: 2846868 KiB

[startup+1854.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110666656/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3005616 memory=2844180 CPUtime=1850.15 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 292226 0 0 0 81648 103367 0 0 20 0 1 0 237238433 3077750784 711045 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 751404 711045 2304 1147 0 738831 0
Current children cumulated CPU time: 1850.15 s
Current children cumulated vsize: 3009808 KiB
Current children cumulated memory: 2846868 KiB

[startup+1855.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110666920/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3006544 memory=2847088 CPUtime=1850.95 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 292447 0 0 0 81686 103409 0 0 20 0 1 0 237238433 3078701056 711772 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 751636 711772 2304 1147 0 739063 0
Current children cumulated CPU time: 1850.95 s
Current children cumulated vsize: 3010736 KiB
Current children cumulated memory: 2849776 KiB

[startup+1855.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110666920/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=3006544 memory=2847088 CPUtime=1851.35 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 292454 0 0 0 81704 103431 0 0 20 0 1 0 237238433 3078701056 711772 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 751636 711772 2304 1147 0 739063 0
Current children cumulated CPU time: 1851.35 s
Current children cumulated vsize: 3010736 KiB
Current children cumulated memory: 2849776 KiB

[startup+1856 s]*
/proc/loadavg: 4.20 4.12 4.10 5/269 174355
/proc/meminfo: memFree=111325980/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
[pid=172336] ppid=172334 vsize=2322376 memory=2175116 CPUtime=1851.75 cores=0,2
/proc/172336/stat : 172336 (roundingsat) R 172334 172334 171541 0 -1 4194304 292605 0 0 0 81731 103444 0 0 20 0 1 0 237238433 2378113024 543779 18446744073709551615 4227072 8923433 140736456047616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13189120 140736456051125 140736456051238 140736456051238 140736456056810 0
/proc/172336/statm: 580594 543779 2304 1147 0 568021 0
Current children cumulated CPU time: 1851.75 s
Current children cumulated vsize: 2326568 KiB
Current children cumulated memory: 2177804 KiB

[startup+1856.11 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 174355
/proc/meminfo: memFree=111325980/131249996 swapFree=33010160/33010684
[pid=172334] ppid=172331 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/172334/stat : 172334 (run-dec.sh) S 172331 172334 171541 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 237238433 4292608 672 18446744073709551615 94555274674176 94555275568709 140728071278816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94555275807760 94555275855504 94555308371968 140728071281003 140728071281126 140728071281126 140728071286730 0
/proc/172334/statm: 1048 672 640 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2688 KiB

Child status: 0

Real time (s): 1856.12
CPU time (s): 1851.88
CPU user time (s): 817.38
CPU system time (s): 1034.5
CPU usage (%): 99.7714
Max. virtual memory (cumulated for all children) (KiB): 3010736
Max. memory (cumulated for all children) (KiB): 2849904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.38
system time used= 1034.5
maximum resident set size= 2847600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292924
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= 144
involuntary context switches= 4131


# summary of solver processes directly reported to runsolver:
#   pid: 172334
#   total CPU time (s): 1851.88
#   total CPU user time (s): 817.38
#   total CPU system time (s): 1034.5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8396 second user time and 8.26253 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-22 22:19:58
IDJOB=4542541
IDBENCH=163934
IDSOLVER=3349
FILE ID=nodeC032/4542541-1753215597
RUNJOBID= nodeC032-1753211592-171551
SLURM_JOB_ID= 9687796
Free space on /tmp= 432336 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542541-1753215597/watcher-4542541-1753215597 -o /tmp/evaluation-result-4542541-1753215597/solver-4542541-1753215597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171551 --watchdog 3760  run-dec.sh HOME/instance-4542541-1753215597.opb

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

MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=1386167973

nodeC032 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.804
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.69
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		: 3599.840
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.69
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		: 3477.478
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.69
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		: 3724.539
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.69
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.839
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.69
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.858
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.69
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		: 3598.607
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.69
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		: 3601.847
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        110028424 kB
MemAvailable:   122305964 kB
Buffers:            2728 kB
Cached:         12957148 kB
SwapCached:           20 kB
Active:          8503600 kB
Inactive:       11826440 kB
Active(anon):    7393316 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11823316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61800 kB
Writeback:             0 kB
AnonPages:       7363732 kB
Mapped:           121600 kB
Shmem:             26240 kB
KReclaimable:     366356 kB
Slab:             465016 kB
SReclaimable:     366356 kB
SUnreclaim:        98660 kB
KernelStack:        4352 kB
PageTables:        17860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8010280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5326848 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432432 MiB
End job on nodeC032 at 2025-07-22 22:50:54