Trace number 4542463

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 1519.26 1523.32

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
MD5SUM67ed6d0a845cd2604ef9c9dd089eeee0
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 benchmark908.84
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1871280
Total number of constraints93919
Number of constraints which are clauses47477
Number of constraints which are cardinality constraints (but not clauses)42437
Number of constraints which are nor clauses,nor cardinality constraints4005
Minimum length of a constraint42
Maximum length of a constraint47
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 50
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
1.88/1.91	c #variables 1871280 #constraints 93919
377.67/378.76	c #Conflicts:       1000 | #Constraints:      94918
377.67/378.76	c #Conflicts:       2000 | #Constraints:      95918
377.67/378.76	c INPROCESSING
377.67/378.76	c #Conflicts:       3000 | #Constraints:      95932
377.67/378.76	c #Conflicts:       4000 | #Constraints:      96932
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:       5000 | #Constraints:      96347
377.67/378.76	c #Conflicts:       6000 | #Constraints:      97347
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:       7000 | #Constraints:      96342
377.67/378.76	c #Conflicts:       8000 | #Constraints:      97342
377.67/378.76	c #Conflicts:       9000 | #Constraints:      98342
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      10000 | #Constraints:      97032
377.67/378.76	c #Conflicts:      11000 | #Constraints:      98032
377.67/378.76	c #Conflicts:      12000 | #Constraints:      99032
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      13000 | #Constraints:      97499
377.67/378.76	c #Conflicts:      14000 | #Constraints:      98499
377.67/378.76	c #Conflicts:      15000 | #Constraints:      99499
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      16000 | #Constraints:      97714
377.67/378.76	c #Conflicts:      17000 | #Constraints:      98714
377.67/378.76	c #Conflicts:      18000 | #Constraints:      99714
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      19000 | #Constraints:      97734
377.67/378.76	c #Conflicts:      20000 | #Constraints:      98734
377.67/378.76	c #Conflicts:      21000 | #Constraints:      99734
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      22000 | #Constraints:      97534
377.67/378.76	c #Conflicts:      23000 | #Constraints:      98534
377.67/378.76	c #Conflicts:      24000 | #Constraints:      99534
377.67/378.76	c #Conflicts:      25000 | #Constraints:     100534
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      26000 | #Constraints:      98150
377.67/378.76	c #Conflicts:      27000 | #Constraints:      99150
377.67/378.76	c #Conflicts:      28000 | #Constraints:     100150
377.67/378.76	c #Conflicts:      29000 | #Constraints:     101150
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      30000 | #Constraints:      98561
377.67/378.76	c #Conflicts:      31000 | #Constraints:      99561
377.67/378.76	c #Conflicts:      32000 | #Constraints:     100561
377.67/378.76	c #Conflicts:      33000 | #Constraints:     101561
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      34000 | #Constraints:      98755
377.67/378.76	c #Conflicts:      35000 | #Constraints:      99755
377.67/378.76	c #Conflicts:      36000 | #Constraints:     100755
377.67/378.76	c #Conflicts:      37000 | #Constraints:     101755
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      38000 | #Constraints:      98763
377.67/378.76	c #Conflicts:      39000 | #Constraints:      99763
377.67/378.76	c #Conflicts:      40000 | #Constraints:     100763
377.67/378.76	c #Conflicts:      41000 | #Constraints:     101763
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      42000 | #Constraints:      98556
377.67/378.76	c #Conflicts:      43000 | #Constraints:      99556
377.67/378.76	c #Conflicts:      44000 | #Constraints:     100556
377.67/378.76	c #Conflicts:      45000 | #Constraints:     101556
377.67/378.76	c #Conflicts:      46000 | #Constraints:     102556
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      47000 | #Constraints:      99176
377.67/378.76	c #Conflicts:      48000 | #Constraints:     100176
377.67/378.76	c #Conflicts:      49000 | #Constraints:     101176
377.67/378.76	c #Conflicts:      50000 | #Constraints:     102176
377.67/378.76	c #Conflicts:      51000 | #Constraints:     103176
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      52000 | #Constraints:      99573
377.67/378.76	c #Conflicts:      53000 | #Constraints:     100573
377.67/378.76	c #Conflicts:      54000 | #Constraints:     101573
377.67/378.76	c #Conflicts:      55000 | #Constraints:     102573
377.67/378.76	c #Conflicts:      56000 | #Constraints:     103573
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      57000 | #Constraints:      99776
377.67/378.76	c #Conflicts:      58000 | #Constraints:     100776
377.67/378.76	c #Conflicts:      59000 | #Constraints:     101776
377.67/378.76	c #Conflicts:      60000 | #Constraints:     102776
377.67/378.76	c #Conflicts:      61000 | #Constraints:     103776
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      62000 | #Constraints:      99789
377.67/378.76	c #Conflicts:      63000 | #Constraints:     100789
377.67/378.76	c #Conflicts:      64000 | #Constraints:     101789
377.67/378.76	c #Conflicts:      65000 | #Constraints:     102789
377.67/378.76	c #Conflicts:      66000 | #Constraints:     103789
377.67/378.76	c INPROCESSING
377.67/378.76	c GARBAGE COLLECT
377.67/378.76	c #Conflicts:      67000 | #Constraints:      99594
377.67/378.76	c #Conflicts:      68000 | #Constraints:     100594
997.42/1000.16	c #Conflicts:      69000 | #Constraints:     101594
997.42/1000.16	c #Conflicts:      70000 | #Constraints:     102594
997.42/1000.16	c #Conflicts:      71000 | #Constraints:     103594
997.42/1000.16	c #Conflicts:      72000 | #Constraints:     104594
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:      73000 | #Constraints:     100196
997.42/1000.16	c #Conflicts:      74000 | #Constraints:     101196
997.42/1000.16	c #Conflicts:      75000 | #Constraints:     102196
997.42/1000.16	c #Conflicts:      76000 | #Constraints:     103196
997.42/1000.16	c #Conflicts:      77000 | #Constraints:     104196
997.42/1000.16	c #Conflicts:      78000 | #Constraints:     105196
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:      79000 | #Constraints:     100611
997.42/1000.16	c #Conflicts:      80000 | #Constraints:     101611
997.42/1000.16	c #Conflicts:      81000 | #Constraints:     102611
997.42/1000.16	c #Conflicts:      82000 | #Constraints:     103611
997.42/1000.16	c #Conflicts:      83000 | #Constraints:     104611
997.42/1000.16	c #Conflicts:      84000 | #Constraints:     105611
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:      85000 | #Constraints:     100829
997.42/1000.16	c #Conflicts:      86000 | #Constraints:     101829
997.42/1000.16	c #Conflicts:      87000 | #Constraints:     102829
997.42/1000.16	c #Conflicts:      88000 | #Constraints:     103829
997.42/1000.16	c #Conflicts:      89000 | #Constraints:     104829
997.42/1000.16	c #Conflicts:      90000 | #Constraints:     105829
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:      91000 | #Constraints:     100832
997.42/1000.16	c #Conflicts:      92000 | #Constraints:     101832
997.42/1000.16	c #Conflicts:      93000 | #Constraints:     102832
997.42/1000.16	c #Conflicts:      94000 | #Constraints:     103832
997.42/1000.16	c #Conflicts:      95000 | #Constraints:     104832
997.42/1000.16	c #Conflicts:      96000 | #Constraints:     105832
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:      97000 | #Constraints:     100648
997.42/1000.16	c #Conflicts:      98000 | #Constraints:     101648
997.42/1000.16	c #Conflicts:      99000 | #Constraints:     102648
997.42/1000.16	c #Conflicts:     100000 | #Constraints:     103648
997.42/1000.16	c #Conflicts:     101000 | #Constraints:     104648
997.42/1000.16	c #Conflicts:     102000 | #Constraints:     105648
997.42/1000.16	c #Conflicts:     103000 | #Constraints:     106648
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     104000 | #Constraints:     101299
997.42/1000.16	c #Conflicts:     105000 | #Constraints:     102299
997.42/1000.16	c #Conflicts:     106000 | #Constraints:     103299
997.42/1000.16	c #Conflicts:     107000 | #Constraints:     104299
997.42/1000.16	c #Conflicts:     108000 | #Constraints:     105299
997.42/1000.16	c #Conflicts:     109000 | #Constraints:     106299
997.42/1000.16	c #Conflicts:     110000 | #Constraints:     107299
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     111000 | #Constraints:     101737
997.42/1000.16	c #Conflicts:     112000 | #Constraints:     102737
997.42/1000.16	c #Conflicts:     113000 | #Constraints:     103737
997.42/1000.16	c #Conflicts:     114000 | #Constraints:     104737
997.42/1000.16	c #Conflicts:     115000 | #Constraints:     105737
997.42/1000.16	c #Conflicts:     116000 | #Constraints:     106737
997.42/1000.16	c #Conflicts:     117000 | #Constraints:     107737
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     118000 | #Constraints:     101955
997.42/1000.16	c #Conflicts:     119000 | #Constraints:     102955
997.42/1000.16	c #Conflicts:     120000 | #Constraints:     103955
997.42/1000.16	c #Conflicts:     121000 | #Constraints:     104955
997.42/1000.16	c #Conflicts:     122000 | #Constraints:     105955
997.42/1000.16	c #Conflicts:     123000 | #Constraints:     106955
997.42/1000.16	c #Conflicts:     124000 | #Constraints:     107955
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     125000 | #Constraints:     101981
997.42/1000.16	c #Conflicts:     126000 | #Constraints:     102981
997.42/1000.16	c #Conflicts:     127000 | #Constraints:     103981
997.42/1000.16	c #Conflicts:     128000 | #Constraints:     104981
997.42/1000.16	c #Conflicts:     129000 | #Constraints:     105981
997.42/1000.16	c #Conflicts:     130000 | #Constraints:     106981
997.42/1000.16	c #Conflicts:     131000 | #Constraints:     107981
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     132000 | #Constraints:     101818
997.42/1000.16	c #Conflicts:     133000 | #Constraints:     102818
997.42/1000.16	c #Conflicts:     134000 | #Constraints:     103818
997.42/1000.16	c #Conflicts:     135000 | #Constraints:     104818
997.42/1000.16	c #Conflicts:     136000 | #Constraints:     105818
997.42/1000.16	c #Conflicts:     137000 | #Constraints:     106818
997.42/1000.16	c #Conflicts:     138000 | #Constraints:     107818
997.42/1000.16	c #Conflicts:     139000 | #Constraints:     108818
997.42/1000.16	c INPROCESSING
997.42/1000.16	c GARBAGE COLLECT
997.42/1000.16	c #Conflicts:     140000 | #Constraints:     102446
1518.93/1523.08	c #Conflicts:     141000 | #Constraints:     103446
1518.93/1523.08	c #Conflicts:     142000 | #Constraints:     104446
1518.93/1523.08	c #Conflicts:     143000 | #Constraints:     105446
1518.93/1523.08	c #Conflicts:     144000 | #Constraints:     106446
1518.93/1523.08	c #Conflicts:     145000 | #Constraints:     107446
1518.93/1523.08	c #Conflicts:     146000 | #Constraints:     108446
1518.93/1523.08	c #Conflicts:     147000 | #Constraints:     109446
1518.93/1523.08	c INPROCESSING
1518.93/1523.08	c GARBAGE COLLECT
1518.93/1523.08	c #Conflicts:     148000 | #Constraints:     102892
1518.93/1523.08	c #Conflicts:     149000 | #Constraints:     103892
1518.93/1523.08	c #Conflicts:     150000 | #Constraints:     104892
1518.93/1523.08	c #Conflicts:     151000 | #Constraints:     105892
1518.93/1523.08	c #Conflicts:     152000 | #Constraints:     106892
1518.93/1523.08	c #Conflicts:     153000 | #Constraints:     107892
1518.93/1523.08	c #Conflicts:     154000 | #Constraints:     108892
1518.93/1523.08	c #Conflicts:     155000 | #Constraints:     109892
1518.93/1523.08	c INPROCESSING
1518.93/1523.08	c GARBAGE COLLECT
1518.93/1523.08	c #Conflicts:     156000 | #Constraints:     103199
1518.93/1523.08	c #Conflicts:     157000 | #Constraints:     104199
1518.93/1523.08	c #Conflicts:     158000 | #Constraints:     105199
1518.93/1523.08	c #Conflicts:     159000 | #Constraints:     106199
1518.93/1523.08	c #Conflicts:     160000 | #Constraints:     107199
1518.93/1523.08	c #Conflicts:     161000 | #Constraints:     108199
1518.93/1523.08	c #Conflicts:     162000 | #Constraints:     109199
1518.93/1523.08	c #Conflicts:     163000 | #Constraints:     110199
1518.93/1523.08	c INPROCESSING
1518.93/1523.08	c GARBAGE COLLECT
1518.93/1523.08	c #Conflicts:     164000 | #Constraints:     103272
1518.93/1523.08	c #Conflicts:     165000 | #Constraints:     104272
1518.93/1523.08	c #Conflicts:     166000 | #Constraints:     105272
1518.93/1523.08	c #Conflicts:     167000 | #Constraints:     106272
1518.93/1523.08	c #Conflicts:     168000 | #Constraints:     107272
1518.93/1523.08	c #Conflicts:     169000 | #Constraints:     108272
1518.93/1523.08	c #Conflicts:     170000 | #Constraints:     109272
1518.93/1523.08	c #Conflicts:     171000 | #Constraints:     110272
1518.93/1523.08	c INPROCESSING
1518.93/1523.08	c GARBAGE COLLECT
1518.93/1523.08	c #Conflicts:     172000 | #Constraints:     103193
1518.93/1523.08	c #Conflicts:     173000 | #Constraints:     104193
1518.93/1523.08	c #Conflicts:     174000 | #Constraints:     105193
1518.93/1523.08	c #Conflicts:     175000 | #Constraints:     106193
1518.93/1523.08	c #Conflicts:     176000 | #Constraints:     107193
1518.93/1523.08	c #Conflicts:     177000 | #Constraints:     108193
1518.93/1523.08	c #Conflicts:     178000 | #Constraints:     109193
1518.93/1523.08	c #Conflicts:     179000 | #Constraints:     110193
1518.93/1523.08	c #Conflicts:     180000 | #Constraints:     111193
1518.93/1523.08	c #Conflicts:     181000 | #Constraints:     112193
1518.93/1523.08	c #Conflicts:     182000 | #Constraints:     113193
1518.93/1523.08	c #Conflicts:     183000 | #Constraints:     114193
1518.93/1523.08	c #Conflicts:     184000 | #Constraints:     115193
1518.93/1523.08	c #Conflicts:     185000 | #Constraints:     116193
1518.93/1523.08	c #Conflicts:     186000 | #Constraints:     117193
1518.93/1523.08	c #Conflicts:     187000 | #Constraints:     118193
1518.93/1523.08	c #Conflicts:     188000 | #Constraints:     119193
1518.93/1523.08	c #Conflicts:     189000 | #Constraints:     120193
1518.93/1523.08	c #Conflicts:     190000 | #Constraints:     121193
1518.93/1523.08	c cpu time 671.254 s
1518.93/1523.08	c deterministic time 5796198305 5.80e+09
1518.93/1523.08	c optimization time 5.3e-05 s
1518.93/1523.08	c total solve time 669.697 s
1518.93/1523.08	c core-guided solve time 0 s
1518.93/1523.08	c propagation time 335.185 s
1518.93/1523.08	c conflict analysis time 8.70707 s
1518.93/1523.08	c propagations 63353153
1518.93/1523.08	c resolve steps 427748
1518.93/1523.08	c decisions 1338704416
1518.93/1523.08	c conflicts 190488
1518.93/1523.08	c restarts 505
1518.93/1523.08	c inprocessing phases 33
1518.93/1523.08	c garbage collections 32 ,( 96.97 )
1518.93/1523.08	c input clauses 47477 ,( 50.55 )
1518.93/1523.08	c input cardinalities 46442 ,( 49.45 )
1518.93/1523.08	c input general constraints 0 ,( 0.00 )
1518.93/1523.08	c input average constraint length 42.83
1518.93/1523.08	c input average constraint degree 21.27
1518.93/1523.08	c learned clauses 16677 ,( 8.75 )
1518.93/1523.08	c learned cardinalities 173788 ,( 91.23 )
1518.93/1523.08	c learned general constraints 22 ,( 0.01 )
1518.93/1523.08	c learned average constraint length 570.30
1518.93/1523.08	c learned average constraint degree 293.07
1518.93/1523.08	c watched  CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1518.93/1523.08	c counting CF 32, 64, 128, Arb: 21 , 0 , 0 , 0
1518.93/1523.08	c watched   constraints 1 ,( 4.55 ) 
1518.93/1523.08	c counting  constraints 21 ,( 95.45 ) 
1518.93/1523.08	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 33734792 , 33341413 , 302 ,( 55 , 247 )
1518.93/1523.08	c gcd simplifications 2
1518.93/1523.08	c detected cardinalities 1
1518.93/1523.08	c weakened non-implied lits 985
1518.93/1523.08	c weakened non-implying lits 0
1518.93/1523.08	c original variables 1871280
1518.93/1523.08	c clausal propagations 32098385
1518.93/1523.08	c cardinality propagations 29907192
1518.93/1523.08	c watched propagations 0
1518.93/1523.08	c counting propagations 549
1518.93/1523.08	c watch lookups 67117878
1518.93/1523.08	c watch backjump lookups 0
1519.13/1523.29	c watch checks 1362717034
1519.13/1523.29	c propagation checks 1437473257
1519.13/1523.29	c constraint additions 124521563
1519.13/1523.29	c trail pops 1402248003
1519.13/1523.29	c formula constraints 93919
1519.13/1523.29	c learned constraints 190487
1519.13/1523.29	c bound constraints 0
1519.13/1523.29	c core-guided constraints 0
1519.13/1523.29	c encountered formula constraints 366917
1519.13/1523.29	c encountered learned constraints 251319
1519.13/1523.29	c encountered bound constraints 0
1519.13/1523.29	c encountered core-guided constraints 0
1519.13/1523.29	c LP total time 11.8125 s
1519.13/1523.29	c LP solve time 10.78 s
1519.13/1523.29	c LP constraints added 93919
1519.13/1523.29	c LP constraints removed 0
1519.13/1523.29	c LP pivots internal 42000
1519.13/1523.29	c LP pivots root 21000
1519.13/1523.29	c LP calls 6
1519.13/1523.29	c LP optimalities 0
1519.13/1523.29	c LP no pivot count 0
1519.13/1523.29	c LP infeasibilities 0
1519.13/1523.29	c LP valid Farkas constraints 0
1519.13/1523.29	c LP learned Farkas constraints 0
1519.13/1523.29	c LP basis resets 0
1519.13/1523.29	c LP cycling count 0
1519.13/1523.29	c LP singular count 0
1519.13/1523.29	c LP no primal count 0
1519.13/1523.29	c LP no farkas count 0
1519.13/1523.29	c LP other issue count 0
1519.13/1523.29	c LP Gomory cuts 0
1519.13/1523.29	c LP learned cuts 0
1519.13/1523.29	c LP deleted cuts 0
1519.13/1523.29	c LP encountered Gomory constraints 0
1519.13/1523.29	c LP encountered Farkas constraints 0
1519.13/1523.29	c LP encountered learned Farkas constraints 0
1519.13/1523.29	c CG auxiliary variables introduced 0
1519.13/1523.29	c CG solutions found 0
1519.13/1523.29	c CG cores constructed 0
1519.13/1523.29	c CG core cardinality constraints returned 0
1519.13/1523.29	c CG unit cores 0
1519.13/1523.29	c CG single cores 0
1519.13/1523.29	c CG blocks removed during cardinality reduction 0
1519.13/1523.29	c CG first core best 0
1519.13/1523.29	c CG decision core best 0
1519.13/1523.29	c CG core reduction tie 0
1519.13/1523.29	c CG core degree average 0.00
1519.13/1523.29	c CG core slack average 0.00
1519.13/1523.29	c CG core upper bound improvements 0
1519.13/1523.29	c STR number of successful calls 0
1519.13/1523.29	c STR number of unsuccessful calls 0
1519.13/1523.29	c STR number of inconclusive calls 0
1519.13/1523.29	c STR number of successful attempts 0
1519.13/1523.29	c STR number of unsuccessful attempts 0
1519.13/1523.29	c STR number of inconclusive attempts 0
1519.13/1523.29	c STR average degree increase per successful call inf
1519.13/1523.29	c STR average degree increase per successful attempt inf
1519.13/1523.29	c STR total number of conflicts for successful attempts 0
1519.13/1523.29	c STR total number of conflicts for unsuccessful attempts 0
1519.13/1523.29	c STR total number of conflicts for inconclusive attempts 0
1519.13/1523.29	c STR average number of conflicts per successful attempt inf
1519.13/1523.29	c STR average number of conflicts per unsuccessful attempt inf
1519.13/1523.29	c STR average number of conflicts per inconclusive attempt inf
1519.13/1523.29	c AVG.sumWPerc 71.12 
1519.13/1523.29	c bigint constraints 0 
1519.13/1523.29	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 (56593 MiB free)
  memory of node 1: 64465 MiB (56593 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=172218, runsolver pid=172215
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.09 4.11 4.09 5/269 172220
/proc/meminfo: memFree=115682596/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=296252 memory=248640 CPUtime=0.09 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 4859 0 0 0 4 5 0 0 20 0 1 0 237199248 303362048 62160 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 74063 62160 1824 1147 0 61490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 300444 KiB
Current children cumulated memory: 251712 KiB

[startup+0.205809 s]*
/proc/loadavg: 4.09 4.11 4.09 5/269 172220
/proc/meminfo: memFree=115605216/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=366668 memory=321444 CPUtime=0.19 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 7186 0 0 0 13 6 0 0 20 0 1 0 237199248 375468032 80361 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 91667 80361 1856 1147 0 79094 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 324516 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.09 4.11 4.09 5/269 172220
/proc/meminfo: memFree=115580960/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=371960 memory=328848 CPUtime=0.29 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 8530 0 0 0 22 7 0 0 20 0 1 0 237199248 380887040 82212 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 92990 82212 1856 1147 0 80417 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 376152 KiB
Current children cumulated memory: 331920 KiB

[startup+0.700202 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 172220
/proc/meminfo: memFree=115558068/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=400528 memory=354964 CPUtime=0.67 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 14639 0 0 0 57 10 0 0 20 0 1 0 237199248 410140672 88741 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 100132 88741 1856 1147 0 87559 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 404720 KiB
Current children cumulated memory: 358036 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 172220
/proc/meminfo: memFree=114630436/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=834024 memory=761636 CPUtime=1.47 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 32395 0 0 0 124 23 0 0 20 0 1 0 237199248 854040576 190409 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 208506 190409 2144 1147 0 195933 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 838216 KiB
Current children cumulated memory: 764708 KiB

[startup+3.10557 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 172220
/proc/meminfo: memFree=113811076/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1105216 memory=1030676 CPUtime=3.08 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 71221 0 0 0 258 50 0 0 20 0 1 0 237199248 1131741184 257669 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 276304 257669 2208 1147 0 263731 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1109408 KiB
Current children cumulated memory: 1033748 KiB

[startup+6.30015 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 172220
/proc/meminfo: memFree=112681980/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1640320 memory=1508420 CPUtime=6.26 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 88876 0 0 0 466 160 0 0 20 0 1 0 237199248 1679687680 377105 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 410080 377105 2304 1147 0 397507 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1644512 KiB
Current children cumulated memory: 1511492 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.10 5/269 172220
/proc/meminfo: memFree=112657796/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1640320 memory=1522744 CPUtime=12.65 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 90109 0 0 0 789 476 0 0 20 0 1 0 237199248 1679687680 380686 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 410080 380686 2304 1147 0 397507 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1644512 KiB
Current children cumulated memory: 1525816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/269 172266
/proc/meminfo: memFree=110590284/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1655240 memory=1538288 CPUtime=25.42 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 91581 0 0 0 1414 1128 0 0 20 0 1 0 237199248 1694965760 384572 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 413810 384572 2304 1147 0 401237 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1659432 KiB
Current children cumulated memory: 1541360 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 172267
/proc/meminfo: memFree=110390460/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1721360 memory=1605016 CPUtime=50.96 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 106929 0 0 0 2646 2450 0 0 20 0 1 0 237199248 1762672640 401254 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 430340 401254 2304 1147 0 417767 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1725552 KiB
Current children cumulated memory: 1608088 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 172272
/proc/meminfo: memFree=110028288/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1844916 memory=1708024 CPUtime=102.01 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 123130 0 0 0 4922 5279 0 0 20 0 1 0 237199248 1889193984 427006 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 461229 427006 2304 1147 0 448656 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1849108 KiB
Current children cumulated memory: 1711096 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 172274
/proc/meminfo: memFree=109447040/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1940304 memory=1807672 CPUtime=161.85 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 147198 0 0 0 7570 8615 0 0 20 0 1 0 237199248 1986871296 451918 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 485076 451918 2304 1147 0 472503 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1944496 KiB
Current children cumulated memory: 1810744 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 172277
/proc/meminfo: memFree=109346368/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1979084 memory=1837660 CPUtime=221.68 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 153447 0 0 0 10322 11846 0 0 20 0 1 0 237199248 2026582016 459415 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 494771 459415 2304 1147 0 482198 0

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

/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2321964 memory=2195164 CPUtime=1358.66 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 240089 0 0 0 60094 75772 0 0 20 0 1 0 237199248 2377691136 548791 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 580491 548791 2304 1147 0 567918 0
Current children cumulated CPU time: 1358.66 s
Current children cumulated vsize: 2326156 KiB
Current children cumulated memory: 2198236 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 172383
/proc/meminfo: memFree=106303524/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2337532 memory=2211036 CPUtime=1418.5 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 244056 0 0 0 62727 79123 0 0 20 0 1 0 237199248 2393632768 552759 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 584383 552759 2304 1147 0 571810 0
Current children cumulated CPU time: 1418.5 s
Current children cumulated vsize: 2341724 KiB
Current children cumulated memory: 2214108 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 172385
/proc/meminfo: memFree=106164780/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2398044 memory=2254292 CPUtime=1478.34 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 252353 0 0 0 65336 82498 0 0 20 0 1 0 237199248 2455597056 563573 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 599511 563573 2304 1147 0 586938 0
Current children cumulated CPU time: 1478.34 s
Current children cumulated vsize: 2402236 KiB
Current children cumulated memory: 2257364 KiB

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

# cumulated CPU time of all completed processes:  user=671.443 s, system=847.819 s

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

[startup+1484.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 172385
/proc/meminfo: memFree=106156716/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2398044 memory=2254292 CPUtime=1480.83 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 252356 0 0 0 65445 82638 0 0 20 0 1 0 237199248 2455597056 563573 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 599511 563573 2304 1147 0 586938 0
Current children cumulated CPU time: 1480.83 s
Current children cumulated vsize: 2402236 KiB
Current children cumulated memory: 2257364 KiB

[startup+1510.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 172385
/proc/meminfo: memFree=106147476/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2401100 memory=2261516 CPUtime=1506.36 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 253243 0 0 0 66564 84072 0 0 20 0 1 0 237199248 2458726400 565379 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 600275 565379 2304 1147 0 587702 0
Current children cumulated CPU time: 1506.36 s
Current children cumulated vsize: 2405292 KiB
Current children cumulated memory: 2264588 KiB

[startup+1516.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 172385
/proc/meminfo: memFree=106123292/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2402292 memory=2264656 CPUtime=1512.74 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 253538 0 0 0 66847 84427 0 0 20 0 1 0 237199248 2459947008 566164 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 600573 566164 2304 1147 0 588000 0
Current children cumulated CPU time: 1512.74 s
Current children cumulated vsize: 2406484 KiB
Current children cumulated memory: 2267728 KiB

[startup+1520 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 172385
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2408532 memory=2272932 CPUtime=1515.94 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 255096 0 0 0 66989 84605 0 0 20 0 1 0 237199248 2466336768 568233 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 602133 568233 2304 1147 0 589560 0
Current children cumulated CPU time: 1515.94 s
Current children cumulated vsize: 2412724 KiB
Current children cumulated memory: 2276004 KiB

[startup+1521.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 172385
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2409192 memory=2273572 CPUtime=1517.53 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 255243 0 0 0 67059 84694 0 0 20 0 1 0 237199248 2467012608 568393 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 602298 568393 2304 1147 0 589725 0
Current children cumulated CPU time: 1517.53 s
Current children cumulated vsize: 2413384 KiB
Current children cumulated memory: 2276644 KiB

[startup+1522.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 172386
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2409456 memory=2273956 CPUtime=1518.33 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 255335 0 0 0 67095 84738 0 0 20 0 1 0 237199248 2467282944 568489 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 602364 568489 2304 1147 0 589791 0
Current children cumulated CPU time: 1518.33 s
Current children cumulated vsize: 2413648 KiB
Current children cumulated memory: 2277028 KiB

[startup+1522.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 172386
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=2410512 memory=2274980 CPUtime=1518.73 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 255598 0 0 0 67111 84762 0 0 20 0 1 0 237199248 2468364288 568745 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 602628 568745 2304 1147 0 590055 0
Current children cumulated CPU time: 1518.73 s
Current children cumulated vsize: 2414704 KiB
Current children cumulated memory: 2278052 KiB

[startup+1523.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 172386
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
[pid=172220] ppid=172218 vsize=1840232 memory=1725200 CPUtime=1519.13 cores=5,7
/proc/172220/stat : 172220 (roundingsat) R 172218 172218 171541 0 -1 4194304 255728 0 0 0 67136 84777 0 0 20 0 1 0 237199248 1884397568 431300 18446744073709551615 4227072 8923433 140725055371296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24023040 140725055375797 140725055375910 140725055375910 140725055381482 0
/proc/172220/statm: 460058 431300 2304 1147 0 447485 0
Current children cumulated CPU time: 1519.13 s
Current children cumulated vsize: 1844424 KiB
Current children cumulated memory: 1728272 KiB

[startup+1523.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 172386
/proc/meminfo: memFree=106106816/131249996 swapFree=33010160/33010684
[pid=172218] ppid=172215 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172218/stat : 172218 (run-dec.sh) S 172215 172218 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237199248 4292608 768 18446744073709551615 94768571146240 94768572040773 140731410970672 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94768572279824 94768572327568 94768578457600 140731410975083 140731410975206 140731410975206 140731410980810 0
/proc/172218/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 1523.32
CPU time (s): 1519.26
CPU user time (s): 671.443
CPU system time (s): 847.819
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 2414704
Max. memory (cumulated for all children) (KiB): 2278052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 671.443
system time used= 847.819
maximum resident set size= 2275492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256015
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= 145
involuntary context switches= 8725


# summary of solver processes directly reported to runsolver:
#   pid: 172218
#   total CPU time (s): 1519.26
#   total CPU user time (s): 671.443
#   total CPU system time (s): 847.819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.79024 second user time and 6.50864 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-22 22:13:26
IDJOB=4542463
IDBENCH=163928
IDSOLVER=3349
FILE ID=nodeC032/4542463-1753215206
RUNJOBID= nodeC032-1753211592-171554
SLURM_JOB_ID= 9687796
Free space on /tmp= 432428 MiB

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

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

MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=1253367779

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.837
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.869
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		: 3599.842
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		: 3598.785
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.847
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.842
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		: 3623.205
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		: 3563.932
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:        115916244 kB
MemAvailable:   128097420 kB
Buffers:            2728 kB
Cached:         12860784 kB
SwapCached:           20 kB
Active:          2732452 kB
Inactive:       11730112 kB
Active(anon):    1622168 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11726988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            140568 kB
Writeback:            32 kB
AnonPages:       1602308 kB
Mapped:           119872 kB
Shmem:             26240 kB
KReclaimable:     366288 kB
Slab:             465304 kB
SReclaimable:     366288 kB
SUnreclaim:        99016 kB
KernelStack:        4320 kB
PageTables:         6340 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1999908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 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= 432332 MiB
End job on nodeC032 at 2025-07-22 22:38:50