Trace number 4542466

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-ls-log 63f22ad? (TO) 3600.29 3608.57

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
2.17/2.22	c #variables 1871280 #constraints 93919
1995.91/2000.54	c #Conflicts:       1000 | #Constraints:      94918
1995.91/2000.54	c #Conflicts:       2000 | #Constraints:      95918
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c #Conflicts:       3000 | #Constraints:      95932
1995.91/2000.54	c #Conflicts:       4000 | #Constraints:      96932
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:       5000 | #Constraints:      96347
1995.91/2000.54	c #Conflicts:       6000 | #Constraints:      97347
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:       7000 | #Constraints:      96342
1995.91/2000.54	c #Conflicts:       8000 | #Constraints:      97342
1995.91/2000.54	c #Conflicts:       9000 | #Constraints:      98342
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      10000 | #Constraints:      97032
1995.91/2000.54	c #Conflicts:      11000 | #Constraints:      98032
1995.91/2000.54	c #Conflicts:      12000 | #Constraints:      99032
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      13000 | #Constraints:      97499
1995.91/2000.54	c #Conflicts:      14000 | #Constraints:      98499
1995.91/2000.54	c #Conflicts:      15000 | #Constraints:      99499
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      16000 | #Constraints:      97714
1995.91/2000.54	c #Conflicts:      17000 | #Constraints:      98714
1995.91/2000.54	c #Conflicts:      18000 | #Constraints:      99714
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      19000 | #Constraints:      97734
1995.91/2000.54	c #Conflicts:      20000 | #Constraints:      98734
1995.91/2000.54	c #Conflicts:      21000 | #Constraints:      99734
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      22000 | #Constraints:      97534
1995.91/2000.54	c #Conflicts:      23000 | #Constraints:      98534
1995.91/2000.54	c #Conflicts:      24000 | #Constraints:      99534
1995.91/2000.54	c #Conflicts:      25000 | #Constraints:     100534
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      26000 | #Constraints:      98150
1995.91/2000.54	c #Conflicts:      27000 | #Constraints:      99150
1995.91/2000.54	c #Conflicts:      28000 | #Constraints:     100150
1995.91/2000.54	c #Conflicts:      29000 | #Constraints:     101150
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      30000 | #Constraints:      98561
1995.91/2000.54	c #Conflicts:      31000 | #Constraints:      99561
1995.91/2000.54	c #Conflicts:      32000 | #Constraints:     100561
1995.91/2000.54	c #Conflicts:      33000 | #Constraints:     101561
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      34000 | #Constraints:      98755
1995.91/2000.54	c #Conflicts:      35000 | #Constraints:      99755
1995.91/2000.54	c #Conflicts:      36000 | #Constraints:     100755
1995.91/2000.54	c #Conflicts:      37000 | #Constraints:     101755
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      38000 | #Constraints:      98763
1995.91/2000.54	c #Conflicts:      39000 | #Constraints:      99763
1995.91/2000.54	c #Conflicts:      40000 | #Constraints:     100763
1995.91/2000.54	c #Conflicts:      41000 | #Constraints:     101763
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      42000 | #Constraints:      98556
1995.91/2000.54	c #Conflicts:      43000 | #Constraints:      99556
1995.91/2000.54	c #Conflicts:      44000 | #Constraints:     100556
1995.91/2000.54	c #Conflicts:      45000 | #Constraints:     101556
1995.91/2000.54	c #Conflicts:      46000 | #Constraints:     102556
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      47000 | #Constraints:      99176
1995.91/2000.54	c #Conflicts:      48000 | #Constraints:     100176
1995.91/2000.54	c #Conflicts:      49000 | #Constraints:     101176
1995.91/2000.54	c #Conflicts:      50000 | #Constraints:     102176
1995.91/2000.54	c #Conflicts:      51000 | #Constraints:     103176
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      52000 | #Constraints:      99573
1995.91/2000.54	c #Conflicts:      53000 | #Constraints:     100573
1995.91/2000.54	c #Conflicts:      54000 | #Constraints:     101573
1995.91/2000.54	c #Conflicts:      55000 | #Constraints:     102573
1995.91/2000.54	c #Conflicts:      56000 | #Constraints:     103573
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      57000 | #Constraints:      99776
1995.91/2000.54	c #Conflicts:      58000 | #Constraints:     100776
1995.91/2000.54	c #Conflicts:      59000 | #Constraints:     101776
1995.91/2000.54	c #Conflicts:      60000 | #Constraints:     102776
1995.91/2000.54	c #Conflicts:      61000 | #Constraints:     103776
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      62000 | #Constraints:      99789
1995.91/2000.54	c #Conflicts:      63000 | #Constraints:     100789
1995.91/2000.54	c #Conflicts:      64000 | #Constraints:     101789
1995.91/2000.54	c #Conflicts:      65000 | #Constraints:     102789
1995.91/2000.54	c #Conflicts:      66000 | #Constraints:     103789
1995.91/2000.54	c INPROCESSING
1995.91/2000.54	c GARBAGE COLLECT
1995.91/2000.54	c #Conflicts:      67000 | #Constraints:      99594
1995.91/2000.54	c #Conflicts:      68000 | #Constraints:     100594
3593.73/3602.01	c #Conflicts:      69000 | #Constraints:     101594
3593.73/3602.01	c #Conflicts:      70000 | #Constraints:     102594
3593.73/3602.01	c #Conflicts:      71000 | #Constraints:     103594
3593.73/3602.01	c #Conflicts:      72000 | #Constraints:     104594
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:      73000 | #Constraints:     100196
3593.73/3602.01	c #Conflicts:      74000 | #Constraints:     101196
3593.73/3602.01	c #Conflicts:      75000 | #Constraints:     102196
3593.73/3602.01	c #Conflicts:      76000 | #Constraints:     103196
3593.73/3602.01	c #Conflicts:      77000 | #Constraints:     104196
3593.73/3602.01	c #Conflicts:      78000 | #Constraints:     105196
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:      79000 | #Constraints:     100611
3593.73/3602.01	c #Conflicts:      80000 | #Constraints:     101611
3593.73/3602.01	c #Conflicts:      81000 | #Constraints:     102611
3593.73/3602.01	c #Conflicts:      82000 | #Constraints:     103611
3593.73/3602.01	c #Conflicts:      83000 | #Constraints:     104611
3593.73/3602.01	c #Conflicts:      84000 | #Constraints:     105611
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:      85000 | #Constraints:     100829
3593.73/3602.01	c #Conflicts:      86000 | #Constraints:     101829
3593.73/3602.01	c #Conflicts:      87000 | #Constraints:     102829
3593.73/3602.01	c #Conflicts:      88000 | #Constraints:     103829
3593.73/3602.01	c #Conflicts:      89000 | #Constraints:     104829
3593.73/3602.01	c #Conflicts:      90000 | #Constraints:     105829
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:      91000 | #Constraints:     100832
3593.73/3602.01	c #Conflicts:      92000 | #Constraints:     101832
3593.73/3602.01	c #Conflicts:      93000 | #Constraints:     102832
3593.73/3602.01	c #Conflicts:      94000 | #Constraints:     103832
3593.73/3602.01	c #Conflicts:      95000 | #Constraints:     104832
3593.73/3602.01	c #Conflicts:      96000 | #Constraints:     105832
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:      97000 | #Constraints:     100648
3593.73/3602.01	c #Conflicts:      98000 | #Constraints:     101648
3593.73/3602.01	c #Conflicts:      99000 | #Constraints:     102648
3593.73/3602.01	c #Conflicts:     100000 | #Constraints:     103648
3593.73/3602.01	c #Conflicts:     101000 | #Constraints:     104648
3593.73/3602.01	c #Conflicts:     102000 | #Constraints:     105648
3593.73/3602.01	c #Conflicts:     103000 | #Constraints:     106648
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     104000 | #Constraints:     101299
3593.73/3602.01	c #Conflicts:     105000 | #Constraints:     102299
3593.73/3602.01	c #Conflicts:     106000 | #Constraints:     103299
3593.73/3602.01	c #Conflicts:     107000 | #Constraints:     104299
3593.73/3602.01	c #Conflicts:     108000 | #Constraints:     105299
3593.73/3602.01	c #Conflicts:     109000 | #Constraints:     106299
3593.73/3602.01	c #Conflicts:     110000 | #Constraints:     107299
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     111000 | #Constraints:     101737
3593.73/3602.01	c #Conflicts:     112000 | #Constraints:     102737
3593.73/3602.01	c #Conflicts:     113000 | #Constraints:     103737
3593.73/3602.01	c #Conflicts:     114000 | #Constraints:     104737
3593.73/3602.01	c #Conflicts:     115000 | #Constraints:     105737
3593.73/3602.01	c #Conflicts:     116000 | #Constraints:     106737
3593.73/3602.01	c #Conflicts:     117000 | #Constraints:     107737
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     118000 | #Constraints:     101955
3593.73/3602.01	c #Conflicts:     119000 | #Constraints:     102955
3593.73/3602.01	c #Conflicts:     120000 | #Constraints:     103955
3593.73/3602.01	c #Conflicts:     121000 | #Constraints:     104955
3593.73/3602.01	c #Conflicts:     122000 | #Constraints:     105955
3593.73/3602.01	c #Conflicts:     123000 | #Constraints:     106955
3593.73/3602.01	c #Conflicts:     124000 | #Constraints:     107955
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     125000 | #Constraints:     101981
3593.73/3602.01	c #Conflicts:     126000 | #Constraints:     102981
3593.73/3602.01	c #Conflicts:     127000 | #Constraints:     103981
3593.73/3602.01	c #Conflicts:     128000 | #Constraints:     104981
3593.73/3602.01	c #Conflicts:     129000 | #Constraints:     105981
3593.73/3602.01	c #Conflicts:     130000 | #Constraints:     106981
3593.73/3602.01	c #Conflicts:     131000 | #Constraints:     107981
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     132000 | #Constraints:     101818
3593.73/3602.01	c #Conflicts:     133000 | #Constraints:     102818
3593.73/3602.01	c #Conflicts:     134000 | #Constraints:     103818
3593.73/3602.01	c #Conflicts:     135000 | #Constraints:     104818
3593.73/3602.01	c #Conflicts:     136000 | #Constraints:     105818
3593.73/3602.01	c #Conflicts:     137000 | #Constraints:     106818
3593.73/3602.01	c #Conflicts:     138000 | #Constraints:     107818
3593.73/3602.01	c #Conflicts:     139000 | #Constraints:     108818
3593.73/3602.01	c INPROCESSING
3593.73/3602.01	c GARBAGE COLLECT
3593.73/3602.01	c #Conflicts:     140000 | #Constraints:     102446
3600.01/3608.30	c cpu time 3041.53 s
3600.01/3608.30	c deterministic time 3813848732 3.81e+09
3600.01/3608.30	c optimization time 102.874 s
3600.01/3608.30	c total solve time 2936.87 s
3600.01/3608.30	c core-guided solve time 0 s
3600.01/3608.30	c propagation time 226.82 s
3600.01/3608.30	c conflict analysis time 4.65774 s
3600.01/3608.30	c propagations 41713199
3600.01/3608.30	c resolve steps 297279
3600.01/3608.30	c decisions 878566201
3600.01/3608.30	c conflicts 140876
3600.01/3608.30	c restarts 367
3600.01/3608.30	c inprocessing phases 29
3600.01/3608.30	c garbage collections 28 ,( 96.55 )
3600.01/3608.30	c input clauses 47477 ,( 50.55 )
3600.01/3608.30	c input cardinalities 46442 ,( 49.45 )
3600.01/3608.30	c input general constraints 0 ,( 0.00 )
3600.01/3608.30	c input average constraint length 42.83
3600.01/3608.30	c input average constraint degree 21.27
3600.01/3608.30	c learned clauses 7237 ,( 5.14 )
3600.01/3608.30	c learned cardinalities 133639 ,( 94.86 )
3600.01/3608.30	c learned general constraints 0 ,( 0.00 )
3600.01/3608.30	c learned average constraint length 593.71
3600.01/3608.30	c learned average constraint degree 305.27
3600.01/3608.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3608.30	c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3608.30	c watched   constraints 0 ,( -nan ) 
3600.01/3608.30	c counting  constraints 0 ,( -nan ) 
3600.01/3608.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 22352185 , 21561301 , 0 ,( 0 , 0 )
3600.01/3608.30	c gcd simplifications 0
3600.01/3608.30	c detected cardinalities 0
3600.01/3608.30	c weakened non-implied lits 0
3600.01/3608.30	c weakened non-implying lits 0
3600.01/3608.30	c original variables 1871280
3600.01/3608.30	c clausal propagations 21196388
3600.01/3608.30	c cardinality propagations 19306466
3600.01/3608.30	c watched propagations 0
3600.01/3608.30	c counting propagations 0
3600.01/3608.30	c watch lookups 43913486
3600.01/3608.30	c watch backjump lookups 0
3600.01/3608.30	c watch checks 897426958
3600.01/3608.30	c propagation checks 936188221
3600.01/3608.30	c constraint additions 95622933
3600.01/3608.30	c trail pops 920354733
3600.01/3608.30	c formula constraints 93919
3600.01/3608.30	c learned constraints 140876
3600.01/3608.30	c bound constraints 0
3600.01/3608.30	c core-guided constraints 0
3600.01/3608.30	c encountered formula constraints 279427
3600.01/3608.30	c encountered learned constraints 158728
3600.01/3608.30	c encountered bound constraints 0
3600.01/3608.30	c encountered core-guided constraints 0
3600.01/3608.30	c LP total time 11.9094 s
3600.01/3608.30	c LP solve time 10.87 s
3600.01/3608.30	c LP constraints added 93919
3600.01/3608.30	c LP constraints removed 0
3600.01/3608.30	c LP pivots internal 42000
3600.01/3608.30	c LP pivots root 21000
3600.01/3608.30	c LP calls 6
3600.01/3608.30	c LP optimalities 0
3600.01/3608.30	c LP no pivot count 0
3600.01/3608.30	c LP infeasibilities 0
3600.01/3608.30	c LP valid Farkas constraints 0
3600.01/3608.30	c LP learned Farkas constraints 0
3600.01/3608.30	c LP basis resets 0
3600.01/3608.30	c LP cycling count 0
3600.01/3608.30	c LP singular count 0
3600.01/3608.30	c LP no primal count 0
3600.01/3608.30	c LP no farkas count 0
3600.01/3608.30	c LP other issue count 0
3600.01/3608.30	c LP Gomory cuts 0
3600.01/3608.30	c LP learned cuts 0
3600.01/3608.30	c LP deleted cuts 0
3600.01/3608.30	c LP encountered Gomory constraints 0
3600.01/3608.30	c LP encountered Farkas constraints 0
3600.01/3608.30	c LP encountered learned Farkas constraints 0
3600.01/3608.30	c CG auxiliary variables introduced 0
3600.01/3608.30	c CG solutions found 0
3600.01/3608.30	c CG cores constructed 0
3600.01/3608.30	c CG core cardinality constraints returned 0
3600.01/3608.30	c CG unit cores 0
3600.01/3608.30	c CG single cores 0
3600.01/3608.30	c CG blocks removed during cardinality reduction 0
3600.01/3608.30	c CG first core best 0
3600.01/3608.30	c CG decision core best 0
3600.01/3608.30	c CG core reduction tie 0
3600.01/3608.30	c CG core degree average 0.00
3600.01/3608.30	c CG core slack average 0.00
3600.01/3608.30	c CG core upper bound improvements 0
3600.01/3608.30	c STR number of successful calls 0
3600.01/3608.30	c STR number of unsuccessful calls 0
3600.01/3608.30	c STR number of inconclusive calls 0
3600.01/3608.30	c STR number of successful attempts 0
3600.01/3608.30	c STR number of unsuccessful attempts 0
3600.01/3608.30	c STR number of inconclusive attempts 0
3600.01/3608.30	c STR average degree increase per successful call inf
3600.01/3608.30	c STR average degree increase per successful attempt inf
3600.01/3608.30	c STR total number of conflicts for successful attempts 0
3600.01/3608.30	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3608.30	c STR total number of conflicts for inconclusive attempts 0
3600.01/3608.30	c STR average number of conflicts per successful attempt inf
3600.01/3608.30	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3608.30	c STR average number of conflicts per inconclusive attempt inf
3600.01/3608.30	c AVG.sumWPerc -nan 
3600.01/3608.30	c bigint constraints 0 
3600.01/3608.30	s UNKNOWN
3600.01/3608.30	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542466-1753206209/watcher-4542466-1753206209 -o /tmp/evaluation-result-4542466-1753206209/solver-4542466-1753206209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183311 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542466-1753206209.opb /tmp/proof-4542466-1753206209 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=184107, runsolver pid=184104
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.13 4.15 4.17 5/266 184109
/proc/meminfo: memFree=121979852/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=279632 memory=232484 CPUtime=0.08 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 4269 0 0 0 4 4 0 0 20 0 1 0 236299379 286343168 58121 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 69908 58121 1920 1147 0 57335 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 283824 KiB
Current children cumulated memory: 235556 KiB

[startup+0.206094 s]*
/proc/loadavg: 4.13 4.15 4.17 4/261 184114
/proc/meminfo: memFree=121755336/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=513204 memory=439468 CPUtime=0.19 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 10465 0 0 0 11 8 0 0 20 0 1 0 236299379 525520896 109867 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 128301 109867 2016 1147 0 115728 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 517396 KiB
Current children cumulated memory: 442540 KiB

[startup+0.30591 s]*
/proc/loadavg: 4.13 4.15 4.17 4/263 184123
/proc/meminfo: memFree=121735112/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=525676 memory=451884 CPUtime=0.29 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 13549 0 0 0 19 10 0 0 20 0 1 0 236299379 538292224 112971 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 131419 112971 2016 1147 0 118846 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 529868 KiB
Current children cumulated memory: 454956 KiB

[startup+0.700195 s]
/proc/loadavg: 4.13 4.15 4.17 4/263 184135
/proc/meminfo: memFree=121575200/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=581964 memory=505192 CPUtime=0.67 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 26726 0 0 0 53 14 0 0 20 0 1 0 236299379 595931136 126298 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 145491 126298 2016 1147 0 132918 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 586156 KiB
Current children cumulated memory: 508264 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.15 4.17 5/262 184147
/proc/meminfo: memFree=121398524/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=689264 memory=615828 CPUtime=1.47 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 53561 0 0 0 125 22 0 0 20 0 1 0 236299379 705806336 153957 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 172316 153957 2016 1147 0 159743 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 693456 KiB
Current children cumulated memory: 618900 KiB

[startup+3.10583 s]
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=119810788/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1411984 memory=1312128 CPUtime=3.08 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 102611 0 0 0 254 54 0 0 20 0 1 0 236299379 1445871616 328032 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 352996 328032 2240 1147 0 340423 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1416176 KiB
Current children cumulated memory: 1315200 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.15 4.17 5/266 184158
/proc/meminfo: memFree=117974392/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1890624 memory=1728872 CPUtime=6.26 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 123837 0 0 0 560 66 0 0 20 0 1 0 236299379 1935998976 432218 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 472656 432218 2272 1147 0 460083 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1894816 KiB
Current children cumulated memory: 1731944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.17 5/266 184159
/proc/meminfo: memFree=117774332/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1890624 memory=1728872 CPUtime=12.65 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 123909 0 0 0 1198 67 0 0 20 0 1 0 236299379 1935998976 432218 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 472656 432218 2272 1147 0 460083 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1894816 KiB
Current children cumulated memory: 1731944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119351636/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1890624 memory=1728872 CPUtime=25.41 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 123949 0 0 0 2474 67 0 0 20 0 1 0 236299379 1935998976 432218 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 472656 432218 2272 1147 0 460083 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1894816 KiB
Current children cumulated memory: 1731944 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119324536/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1890624 memory=1728872 CPUtime=50.96 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 124045 0 0 0 5029 67 0 0 20 0 1 0 236299379 1935998976 432218 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 472656 432218 2272 1147 0 460083 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1894816 KiB
Current children cumulated memory: 1731944 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/267 184214
/proc/meminfo: memFree=119264164/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1949100 memory=1791864 CPUtime=102.03 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 126195 0 0 0 10095 108 0 0 20 0 1 0 236299379 1995878400 447966 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 487275 447966 2368 1147 0 474702 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1953292 KiB
Current children cumulated memory: 1794936 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 184216
/proc/meminfo: memFree=119103124/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1949100 memory=1791864 CPUtime=161.88 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 126279 0 0 0 16080 108 0 0 20 0 1 0 236299379 1995878400 447966 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 487275 447966 2368 1147 0 474702 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1953292 KiB
Current children cumulated memory: 1794936 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/267 184218
/proc/meminfo: memFree=119027356/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=1949100 memory=1804216 CPUtime=221.73 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 126973 0 0 0 21984 189 0 0 20 0 1 0 236299379 1995878400 451054 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0

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

/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2574112 memory=2452120 CPUtime=3155.06 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 263270 0 0 0 269514 45992 0 0 20 0 1 0 236299379 2635890688 613030 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 643528 613030 2368 1147 0 630955 0
Current children cumulated CPU time: 3155.06 s
Current children cumulated vsize: 2578304 KiB
Current children cumulated memory: 2455192 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/267 184715
/proc/meminfo: memFree=116589004/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2597896 memory=2475544 CPUtime=3214.91 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 269245 0 0 0 274696 46795 0 0 20 0 1 0 236299379 2660245504 618886 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 649474 618886 2368 1147 0 636901 0
Current children cumulated CPU time: 3214.91 s
Current children cumulated vsize: 2602088 KiB
Current children cumulated memory: 2478616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 184718
/proc/meminfo: memFree=116561032/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2597896 memory=2475544 CPUtime=3274.77 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 269247 0 0 0 279835 47642 0 0 20 0 1 0 236299379 2660245504 618886 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 649474 618886 2368 1147 0 636901 0
Current children cumulated CPU time: 3274.77 s
Current children cumulated vsize: 2602088 KiB
Current children cumulated memory: 2478616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/268 184720
/proc/meminfo: memFree=116523488/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2616860 memory=2494872 CPUtime=3334.64 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 274378 0 0 0 282432 51032 0 0 20 0 1 0 236299379 2679664640 623718 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 654215 623718 2368 1147 0 641642 0
Current children cumulated CPU time: 3334.64 s
Current children cumulated vsize: 2621052 KiB
Current children cumulated memory: 2497944 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 184722
/proc/meminfo: memFree=116457252/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2623720 memory=2501400 CPUtime=3394.5 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 276235 0 0 0 287172 52278 0 0 20 0 1 0 236299379 2686689280 625350 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 655930 625350 2368 1147 0 643357 0
Current children cumulated CPU time: 3394.5 s
Current children cumulated vsize: 2627912 KiB
Current children cumulated memory: 2504472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 184724
/proc/meminfo: memFree=116410512/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2629676 memory=2507672 CPUtime=3454.35 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 277816 0 0 0 292728 52707 0 0 20 0 1 0 236299379 2692788224 626918 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 657419 626918 2368 1147 0 644846 0
Current children cumulated CPU time: 3454.35 s
Current children cumulated vsize: 2633868 KiB
Current children cumulated memory: 2510744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 184727
/proc/meminfo: memFree=116388332/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2649160 memory=2526872 CPUtime=3514.21 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 282734 0 0 0 297283 54138 0 0 20 0 1 0 236299379 2712739840 631718 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 662290 631718 2368 1147 0 649717 0
Current children cumulated CPU time: 3514.21 s
Current children cumulated vsize: 2653352 KiB
Current children cumulated memory: 2529944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 184729
/proc/meminfo: memFree=116330536/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2649160 memory=2526872 CPUtime=3574.06 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 283084 0 0 0 303018 54388 0 0 20 0 1 0 236299379 2712739840 631718 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 662290 631718 2368 1147 0 649717 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 2653352 KiB
Current children cumulated memory: 2529944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/267 184729
/proc/meminfo: memFree=116306988/131249996 swapFree=33010160/33010684
[pid=184107] ppid=184104 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/184107/stat : 184107 (run-dec-ls-log.) S 184104 184107 183292 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 236299379 4292608 768 18446744073709551615 94909352300544 94909353195077 140733325096688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94909353434128 94909353481872 94909380022272 140733325101375 140733325101535 140733325101535 140733325107139 0
/proc/184107/statm: 1048 768 704 219 0 110 0
[pid=184109] ppid=184107 vsize=2649160 memory=2527128 CPUtime=3600.01 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184107 184107 183292 0 -1 4194304 283189 0 0 0 304153 55848 0 0 20 0 1 0 236299379 2712739840 631782 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 662290 631782 2368 1147 0 649717 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2653352 KiB
Current children cumulated memory: 2530200 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001861 s, system=0.00093 s

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

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

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

[startup+3608.4 s]*
/proc/loadavg: 4.23 4.14 4.10 5/266 184729
/proc/meminfo: memFree=116941952/131249996 swapFree=33010160/33010684
[pid=184109] ppid=184104 vsize=1966404 memory=1877276 CPUtime=3600.11 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184104 184107 183292 0 -1 4194304 283246 0 0 0 304163 55848 0 0 20 0 1 0 236299379 2013597696 469319 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 491601 469319 2432 1147 0 479028 0
Current cumulated CPU time of completed processes: 0.002791 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1966404 KiB
Current children cumulated memory: 1877276 KiB

[startup+3608.51 s]
/proc/loadavg: 4.23 4.14 4.10 5/266 184729
/proc/meminfo: memFree=116941952/131249996 swapFree=33010160/33010684
[pid=184109] ppid=184104 vsize=1966404 memory=1877276 CPUtime=3600.21 cores=1,3
/proc/184109/stat : 184109 (roundingsat) R 184104 184107 183292 0 -1 4194304 283261 0 0 0 304173 55848 0 0 20 0 1 0 236299379 2013597696 469319 18446744073709551615 4227072 8923433 140736285870944 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12316672 140736285878644 140736285878822 140736285878822 140736285884394 0
/proc/184109/statm: 491601 469319 2432 1147 0 479028 0
Current cumulated CPU time of completed processes: 0.002791 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 1966404 KiB
Current children cumulated memory: 1877276 KiB

Child status: 2

Real time (s): 3608.57
CPU time (s): 3600.29
CPU user time (s): 3041.78
CPU system time (s): 558.508
CPU usage (%): 99.7705
Max. virtual memory (cumulated for all children) (KiB): 2653352
Max. memory (cumulated for all children) (KiB): 2530200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3041.78
system time used= 558.508
maximum resident set size= 2527384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163
involuntary context switches= 2639


# summary of solver processes directly reported to runsolver:
#   pid: 184107,184109
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3041.78
#   total CPU system time (s): 558.508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36136 second user time and 16.4155 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-22 19:43:29
IDJOB=4542466
IDBENCH=163928
IDSOLVER=3354
FILE ID=nodeC029/4542466-1753206209
RUNJOBID= nodeC029-1753198973-183311
SLURM_JOB_ID= 9687762
Free space on /tmp= 432856 MiB

SOLVER NAME= roundingsat-ls-log 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-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542466-1753206209/watcher-4542466-1753206209 -o /tmp/evaluation-result-4542466-1753206209/solver-4542466-1753206209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183311 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542466-1753206209.opb /tmp/proof-4542466-1753206209

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

MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=2091113130

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122185908 kB
MemAvailable:   125369692 kB
Buffers:            2128 kB
Cached:          3944828 kB
SwapCached:           36 kB
Active:          5553096 kB
Inactive:        2705040 kB
Active(anon):    4332680 kB
Inactive(anon):     4716 kB
Active(file):    1220416 kB
Inactive(file):  2700324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             87600 kB
Writeback:             0 kB
AnonPages:       4312224 kB
Mapped:           122192 kB
Shmem:             26216 kB
KReclaimable:     204564 kB
Slab:             301668 kB
SReclaimable:     204564 kB
SUnreclaim:        97104 kB
KernelStack:        4224 kB
PageTables:        11604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4906428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3653632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431720 MiB
End job on nodeC029 at 2025-07-22 20:43:38