Trace number 4542156

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+pbsuma-log 63f22ad? (TO) 3600.42 3610.19

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
MD5SUMc26c89c819410142827dd0be6bce850a
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 benchmark2155.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3121404
Total number of constraints136276
Number of constraints which are clauses68801
Number of constraints which are cardinality constraints (but not clauses)62324
Number of constraints which are nor clauses,nor cardinality constraints5151
Minimum length of a constraint48
Maximum length of a constraint53
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 56
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4542156-1753211739.opb'
0.87/0.94	c 	read 78.48MB  (927.43ms)
0.87/0.94	c	 [cnf: #variables 3121404 #clauses 136276 #duplicates 0 #arr 6649731]
0.87/0.94	c output proof to '/tmp/proof-4542156-1753211739'
0.87/0.96	c 
0.87/0.96	c make graph and approximate orbits
2.98/3.04	c	 [group: #orbits ~= 6708] (2085.70ms)
2.98/3.04	c 
2.98/3.04	c detect special group actions
2.98/3.04	c 	 exceeded limit
2.98/3.04	c 	 (0.00ms)
2.98/3.04	c 
2.98/3.04	c detect symmetries on remainder
2.98/3.04	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
2.98/3.04	c 
2.98/3.04	c finalize break order and special generators
3.17/3.25	c 
3.17/3.25	c generation finished
3.17/3.25	c 	[sbp: #constraints 0 #add_vars 0]
3.17/3.27	c 
3.17/3.27	c write result to 'HOME/instance-4542156-1753211739.opb.pre'
3.37/3.44	c 	wrote 78.54MB (174.13ms)
3.37/3.44	c ------------------------------------------------------------------
3.37/3.44	c                2085.70ms 60.77% approx_orbits
3.37/3.44	c                 927.43ms 27.02% parse
3.37/3.44	c                 181.10ms  5.28% finalize_order
3.37/3.44	c                 174.13ms  5.07% output
3.37/3.44	c                  63.48ms  1.85% other
3.37/3.44	c                   0.01ms  0.00% detect_generic
3.37/3.44	c                   0.00ms  0.00% detect_special
3.37/3.44	c         ───────────────────────────────────────────────
3.37/3.44	c                3431.85ms   100% total
3.37/3.44	c ------------------------------------------------------------------
3.47/3.57	c RoundingSat 2
3.47/3.57	c branch pb25
3.47/3.57	c commit 63f22ad
7.96/8.10	c #variables 3121404 #constraints 136276
3600.00/3609.80	c #Conflicts:       1000 | #Constraints:     137275
3600.00/3609.80	c #Conflicts:       2000 | #Constraints:     138275
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c #Conflicts:       3000 | #Constraints:     138292
3600.00/3609.80	c #Conflicts:       4000 | #Constraints:     139292
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:       5000 | #Constraints:     138696
3600.00/3609.80	c #Conflicts:       6000 | #Constraints:     139696
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c #Conflicts:       7000 | #Constraints:     138702
3600.00/3609.80	c #Conflicts:       8000 | #Constraints:     139702
3600.00/3609.80	c #Conflicts:       9000 | #Constraints:     140702
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      10000 | #Constraints:     139406
3600.00/3609.80	c #Conflicts:      11000 | #Constraints:     140406
3600.00/3609.80	c #Conflicts:      12000 | #Constraints:     141406
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      13000 | #Constraints:     139868
3600.00/3609.80	c #Conflicts:      14000 | #Constraints:     140868
3600.00/3609.80	c #Conflicts:      15000 | #Constraints:     141868
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      16000 | #Constraints:     140085
3600.00/3609.80	c #Conflicts:      17000 | #Constraints:     141085
3600.00/3609.80	c #Conflicts:      18000 | #Constraints:     142085
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      19000 | #Constraints:     140100
3600.00/3609.80	c #Conflicts:      20000 | #Constraints:     141100
3600.00/3609.80	c #Conflicts:      21000 | #Constraints:     142100
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      22000 | #Constraints:     139912
3600.00/3609.80	c #Conflicts:      23000 | #Constraints:     140912
3600.00/3609.80	c #Conflicts:      24000 | #Constraints:     141912
3600.00/3609.80	c #Conflicts:      25000 | #Constraints:     142912
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      26000 | #Constraints:     140525
3600.00/3609.80	c #Conflicts:      27000 | #Constraints:     141525
3600.00/3609.80	c #Conflicts:      28000 | #Constraints:     142525
3600.00/3609.80	c #Conflicts:      29000 | #Constraints:     143525
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      30000 | #Constraints:     140912
3600.00/3609.80	c #Conflicts:      31000 | #Constraints:     141912
3600.00/3609.80	c #Conflicts:      32000 | #Constraints:     142912
3600.00/3609.80	c #Conflicts:      33000 | #Constraints:     143912
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      34000 | #Constraints:     141107
3600.00/3609.80	c #Conflicts:      35000 | #Constraints:     142107
3600.00/3609.80	c #Conflicts:      36000 | #Constraints:     143107
3600.00/3609.80	c #Conflicts:      37000 | #Constraints:     144107
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      38000 | #Constraints:     141116
3600.00/3609.80	c #Conflicts:      39000 | #Constraints:     142116
3600.00/3609.80	c #Conflicts:      40000 | #Constraints:     143116
3600.00/3609.80	c #Conflicts:      41000 | #Constraints:     144116
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      42000 | #Constraints:     140929
3600.00/3609.80	c #Conflicts:      43000 | #Constraints:     141929
3600.00/3609.80	c #Conflicts:      44000 | #Constraints:     142929
3600.00/3609.80	c #Conflicts:      45000 | #Constraints:     143929
3600.00/3609.80	c #Conflicts:      46000 | #Constraints:     144929
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      47000 | #Constraints:     141546
3600.00/3609.80	c #Conflicts:      48000 | #Constraints:     142546
3600.00/3609.80	c #Conflicts:      49000 | #Constraints:     143546
3600.00/3609.80	c #Conflicts:      50000 | #Constraints:     144546
3600.00/3609.80	c #Conflicts:      51000 | #Constraints:     145546
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      52000 | #Constraints:     141926
3600.00/3609.80	c #Conflicts:      53000 | #Constraints:     142926
3600.00/3609.80	c #Conflicts:      54000 | #Constraints:     143926
3600.00/3609.80	c #Conflicts:      55000 | #Constraints:     144926
3600.00/3609.80	c #Conflicts:      56000 | #Constraints:     145926
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      57000 | #Constraints:     142117
3600.00/3609.80	c #Conflicts:      58000 | #Constraints:     143117
3600.00/3609.80	c #Conflicts:      59000 | #Constraints:     144117
3600.00/3609.80	c #Conflicts:      60000 | #Constraints:     145117
3600.00/3609.80	c #Conflicts:      61000 | #Constraints:     146117
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c #Conflicts:      62000 | #Constraints:     142121
3600.00/3609.80	c #Conflicts:      63000 | #Constraints:     143121
3600.00/3609.80	c #Conflicts:      64000 | #Constraints:     144121
3600.00/3609.80	c #Conflicts:      65000 | #Constraints:     145121
3600.00/3609.80	c #Conflicts:      66000 | #Constraints:     146121
3600.00/3609.80	c INPROCESSING
3600.00/3609.80	c GARBAGE COLLECT
3600.00/3609.80	c cpu time 3400.05 s
3600.00/3609.80	c deterministic time 1389002439 1.39e+09
3600.00/3609.80	c optimization time 7.79968 s
3600.00/3609.80	c total solve time 3388.57 s
3600.00/3609.80	c core-guided solve time 0 s
3600.00/3609.80	c propagation time 66.3094 s
3600.00/3609.80	c conflict analysis time 2.69681 s
3600.00/3609.80	c propagations 14971201
3600.00/3609.80	c resolve steps 133298
3600.00/3609.80	c decisions 310580510
3600.00/3609.80	c conflicts 66625
3600.00/3609.80	c restarts 188
3600.00/3609.80	c inprocessing phases 18
3600.00/3609.80	c garbage collections 16 ,( 88.89 )
3600.00/3609.80	c input clauses 68801 ,( 50.49 )
3600.00/3609.80	c input cardinalities 67475 ,( 49.51 )
3600.00/3609.80	c input general constraints 0 ,( 0.00 )
3600.00/3609.80	c input average constraint length 48.80
3600.00/3609.80	c input average constraint degree 24.27
3600.00/3609.80	c learned clauses 1389 ,( 2.08 )
3600.00/3609.80	c learned cardinalities 65236 ,( 97.92 )
3600.00/3609.80	c learned general constraints 0 ,( 0.00 )
3600.00/3609.80	c learned average constraint length 794.10
3600.00/3609.80	c learned average constraint degree 407.35
3600.00/3609.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3609.80	c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3609.80	c watched   constraints 0 ,( -nan ) 
3600.00/3609.80	c counting  constraints 0 ,( -nan ) 
3600.00/3609.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7650779 , 6700641 , 0 ,( 0 , 0 )
3600.00/3609.80	c gcd simplifications 0
3600.00/3609.80	c detected cardinalities 0
3600.00/3609.80	c weakened non-implied lits 0
3600.00/3609.80	c weakened non-implying lits 0
3600.00/3609.80	c original variables 3121404
3600.00/3609.80	c clausal propagations 6602796
3600.00/3609.80	c cardinality propagations 6800406
3600.00/3609.80	c watched propagations 0
3600.00/3609.80	c counting propagations 0
3600.00/3609.80	c watch lookups 14351420
3600.00/3609.80	c watch backjump lookups 0
3600.00/3609.80	c watch checks 339719867
3600.00/3609.80	c propagation checks 324288452
3600.00/3609.80	c constraint additions 59441653
3600.00/3609.80	c trail pops 325618335
3600.00/3609.80	c formula constraints 136276
3600.00/3609.80	c learned constraints 66625
3600.00/3609.80	c bound constraints 0
3600.00/3609.80	c core-guided constraints 0
3600.00/3609.80	c encountered formula constraints 134636
3600.00/3609.80	c encountered learned constraints 65287
3600.00/3609.80	c encountered bound constraints 0
3600.00/3609.80	c encountered core-guided constraints 0
3600.00/3609.80	c LP total time 9.91039 s
3600.00/3609.80	c LP solve time 8.17 s
3600.00/3609.80	c LP constraints added 136276
3600.00/3609.80	c LP constraints removed 0
3600.00/3609.80	c LP pivots internal 10000
3600.00/3609.80	c LP pivots root 21000
3600.00/3609.80	c LP calls 5
3600.00/3609.80	c LP optimalities 0
3600.00/3609.80	c LP no pivot count 0
3600.00/3609.80	c LP infeasibilities 0
3600.00/3609.80	c LP valid Farkas constraints 0
3600.00/3609.80	c LP learned Farkas constraints 0
3600.00/3609.80	c LP basis resets 0
3600.00/3609.80	c LP cycling count 0
3600.00/3609.80	c LP singular count 0
3600.00/3609.80	c LP no primal count 0
3600.00/3609.80	c LP no farkas count 0
3600.00/3609.80	c LP other issue count 0
3600.00/3609.80	c LP Gomory cuts 0
3600.00/3609.80	c LP learned cuts 0
3600.00/3609.80	c LP deleted cuts 0
3600.00/3609.80	c LP encountered Gomory constraints 0
3600.00/3609.80	c LP encountered Farkas constraints 0
3600.00/3609.80	c LP encountered learned Farkas constraints 0
3600.00/3609.80	c CG auxiliary variables introduced 0
3600.00/3609.80	c CG solutions found 0
3600.00/3609.80	c CG cores constructed 0
3600.00/3609.80	c CG core cardinality constraints returned 0
3600.00/3609.80	c CG unit cores 0
3600.00/3609.80	c CG single cores 0
3600.00/3609.80	c CG blocks removed during cardinality reduction 0
3600.00/3609.80	c CG first core best 0
3600.00/3609.80	c CG decision core best 0
3600.00/3609.80	c CG core reduction tie 0
3600.00/3609.80	c CG core degree average 0.00
3600.00/3609.80	c CG core slack average 0.00
3600.00/3609.80	c CG core upper bound improvements 0
3600.00/3609.80	c STR number of successful calls 0
3600.00/3609.80	c STR number of unsuccessful calls 0
3600.00/3609.80	c STR number of inconclusive calls 0
3600.00/3609.80	c STR number of successful attempts 0
3600.00/3609.80	c STR number of unsuccessful attempts 0
3600.00/3609.80	c STR number of inconclusive attempts 0
3600.00/3609.80	c STR average degree increase per successful call inf
3600.00/3609.80	c STR average degree increase per successful attempt inf
3600.00/3609.80	c STR total number of conflicts for successful attempts 0
3600.00/3609.80	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.80	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.80	c STR average number of conflicts per successful attempt inf
3600.00/3609.80	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.80	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.80	c AVG.sumWPerc -nan 
3600.00/3609.80	c bigint constraints 0 
3600.00/3609.80	s UNKNOWN
3600.00/3609.80	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: 63837 MiB (54060 MiB free)
  memory of node 1: 64465 MiB (53078 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542156-1753211739/watcher-4542156-1753211739 -o /tmp/evaluation-result-4542156-1753211739/solver-4542156-1753211739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542156-1753211739.opb /tmp/proof-4542156-1753211739 

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 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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=157653, runsolver pid=157650

[startup+0.100107 s]*
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109564112/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=153868 memory=145624 CPUtime=0.09 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 5770 0 0 0 5 4 0 0 20 0 1 0 236852723 157560832 36406 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 38467 36406 960 108 0 35875 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 158060 KiB
Current children cumulated memory: 148568 KiB

[startup+0.213676 s]*
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109537208/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=179648 memory=167992 CPUtime=0.2 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 11128 0 0 0 15 5 0 0 20 0 1 0 236852723 183959552 41998 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 44912 41998 960 108 0 42320 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 183840 KiB
Current children cumulated memory: 170936 KiB

[startup+0.313466 s]*
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109509928/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=207400 memory=191460 CPUtime=0.3 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 16016 0 0 0 23 7 0 0 20 0 1 0 236852723 212377600 47865 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 51850 47865 960 108 0 49258 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 211592 KiB
Current children cumulated memory: 194404 KiB

[startup+0.700357 s]
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109449380/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=303716 memory=285732 CPUtime=0.68 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 35071 0 0 0 56 12 0 0 20 0 1 0 236852723 311005184 71433 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 75929 71433 960 108 0 73337 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 307908 KiB
Current children cumulated memory: 288676 KiB

[startup+1.50042 s]
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109214252/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=1035320 memory=805508 CPUtime=1.47 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 55890 0 0 0 117 30 0 0 20 0 1 0 236852723 1060167680 201377 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 258830 201377 992 108 0 256238 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1039512 KiB
Current children cumulated memory: 808452 KiB

[startup+3.11343 s]
/proc/loadavg: 1.87 1.45 1.47 5/257 157655
/proc/meminfo: memFree=107279080/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157655] ppid=157653 vsize=2607080 memory=1755224 CPUtime=3.08 cores=5,7
/proc/157655/stat : 157655 (pbsuma) R 157653 157653 157528 0 -1 4194304 80520 0 0 0 236 72 0 0 20 0 1 0 236852723 2669649920 438806 18446744073709551615 4210688 4653049 140727394445072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16998400 140727394453767 140727394454064 140727394454064 140727394459631 0
/proc/157655/statm: 651770 438806 992 108 0 649178 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2611272 KiB
Current children cumulated memory: 1758168 KiB

[startup+6.30037 s]
/proc/loadavg: 1.87 1.45 1.47 5/257 157656
/proc/meminfo: memFree=108505952/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=1105532 memory=1009412 CPUtime=2.71 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 68615 0 0 0 230 41 0 0 20 0 1 0 236853079 1132064768 252353 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 276383 252353 2048 1147 0 263810 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1109724 KiB
Current children cumulated memory: 1012356 KiB

[startup+12.7004 s]
/proc/loadavg: 2.20 1.54 1.50 5/257 157657
/proc/meminfo: memFree=106440832/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3165428 memory=2884028 CPUtime=9.1 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 183109 0 0 0 781 129 0 0 20 0 1 0 236853079 3241398272 721007 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 791357 721007 2336 1147 0 778784 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3169620 KiB
Current children cumulated memory: 2886972 KiB

[startup+25.5004 s]
/proc/loadavg: 2.48 1.62 1.53 5/255 157657
/proc/meminfo: memFree=106271232/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3165428 memory=2884028 CPUtime=21.86 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 183229 0 0 0 2057 129 0 0 20 0 1 0 236853079 3241398272 721007 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 791357 721007 2336 1147 0 778784 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3169620 KiB
Current children cumulated memory: 2886972 KiB

[startup+51.1132 s]
/proc/loadavg: 3.13 1.85 1.61 5/255 157657
/proc/meminfo: memFree=105986832/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3165428 memory=2884028 CPUtime=47.38 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 183367 0 0 0 4609 129 0 0 20 0 1 0 236853079 3241398272 721007 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 791357 721007 2336 1147 0 778784 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3169620 KiB
Current children cumulated memory: 2886972 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 2.24 1.76 5/255 157666
/proc/meminfo: memFree=105505548/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3165428 memory=2884028 CPUtime=98.41 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 183625 0 0 0 9711 130 0 0 20 0 1 0 236853079 3241398272 721007 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 791357 721007 2336 1147 0 778784 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 3169620 KiB
Current children cumulated memory: 2886972 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.59 1.91 5/255 157668
/proc/meminfo: memFree=104947384/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3165428 memory=2884028 CPUtime=158.22 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 183754 0 0 0 15691 131 0 0 20 0 1 0 236853079 3241398272 721007 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 791357 721007 2336 1147 0 778784 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 3169620 KiB
Current children cumulated memory: 2886972 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.90 2.06 5/255 157670
/proc/meminfo: memFree=104268220/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3277600 memory=3001800 CPUtime=218.02 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 187066 0 0 0 21633 169 0 0 20 0 1 0 236853079 3356262400 750450 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 819400 750450 2400 1147 0 806827 0

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

/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3865300 memory=3614232 CPUtime=3150.32 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 288531 0 0 0 302091 12941 0 0 20 0 1 0 236853079 3958067200 903558 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 966325 903558 2400 1147 0 953752 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 3869492 KiB
Current children cumulated memory: 3617176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.19 4.11 5/254 157820
/proc/meminfo: memFree=82800876/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3865300 memory=3614232 CPUtime=3210.13 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 288740 0 0 0 308072 12941 0 0 20 0 1 0 236853079 3958067200 903558 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 966325 903558 2400 1147 0 953752 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 3869492 KiB
Current children cumulated memory: 3617176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.20 4.11 5/254 157822
/proc/meminfo: memFree=82508868/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3865300 memory=3614232 CPUtime=3269.95 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 288841 0 0 0 314054 12941 0 0 20 0 1 0 236853079 3958067200 903558 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 966325 903558 2400 1147 0 953752 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 3869492 KiB
Current children cumulated memory: 3617176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.11 5/254 157824
/proc/meminfo: memFree=82209736/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3905484 memory=3655064 CPUtime=3329.77 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 299346 0 0 0 317734 15243 0 0 20 0 1 0 236853079 3999215616 913766 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 976371 913766 2400 1147 0 963798 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 3909676 KiB
Current children cumulated memory: 3658008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.11 5/253 157826
/proc/meminfo: memFree=81914472/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3916076 memory=3667108 CPUtime=3389.59 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 302078 0 0 0 323199 15760 0 0 20 0 1 0 236853079 4010061824 916777 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 979019 916777 2400 1147 0 966446 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 3920268 KiB
Current children cumulated memory: 3670052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.11 5/253 157828
/proc/meminfo: memFree=81639032/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3916076 memory=3667108 CPUtime=3449.4 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 302165 0 0 0 329180 15760 0 0 20 0 1 0 236853079 4010061824 916777 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 979019 916777 2400 1147 0 966446 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 3920268 KiB
Current children cumulated memory: 3670052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/254 157831
/proc/meminfo: memFree=81335376/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3916076 memory=3667108 CPUtime=3509.23 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 302165 0 0 0 335163 15760 0 0 20 0 1 0 236853079 4010061824 916777 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 979019 916777 2400 1147 0 966446 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 3920268 KiB
Current children cumulated memory: 3670052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/254 157833
/proc/meminfo: memFree=81028208/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3941236 memory=3694932 CPUtime=3569.06 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 309386 0 0 0 338317 18589 0 0 20 0 1 0 236853079 4035825664 923733 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 985309 923733 2400 1147 0 972736 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 3945428 KiB
Current children cumulated memory: 3697876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.18 4.17 4.11 5/254 157974
/proc/meminfo: memFree=104150960/131382120 swapFree=33010160/33010684
[pid=157653] ppid=157650 vsize=4192 memory=2944 CPUtime=3.53 cores=5,7
/proc/157653/stat : 157653 (run-dec-break-l) S 157650 157653 157528 0 -1 4194304 239 81182 0 0 0 0 276 77 20 0 1 0 236852723 4292608 736 18446744073709551615 94616405098496 94616405993029 140734588109648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94616406232080 94616406279824 94616436539392 140734588111161 140734588111324 140734588111324 140734588116928 0
/proc/157653/statm: 1048 736 672 219 0 110 0
[pid=157656] ppid=157653 vsize=3955360 memory=3708500 CPUtime=3596.47 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157653 157653 157528 0 -1 4194304 312951 0 0 0 340004 19643 0 0 20 0 1 0 236853079 4050288640 927125 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 988840 927125 2400 1147 0 976267 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3959552 KiB
Current children cumulated memory: 3711444 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3403.19 s, system=197.229 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+3610.01 s]*
/proc/loadavg: 4.18 4.17 4.11 5/253 157974
/proc/meminfo: memFree=105238588/131382120 swapFree=33010160/33010684
[pid=157656] ppid=157650 vsize=2746364 memory=2594548 CPUtime=3596.69 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157650 157653 157528 0 -1 4194304 313012 0 0 0 340026 19643 0 0 20 0 1 0 236853079 2812276736 648637 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 686591 648637 2464 1147 0 674018 0
Current cumulated CPU time of completed processes: 3.54413 s
Current children cumulated CPU time: 3596.69 s
Current children cumulated vsize: 2746364 KiB
Current children cumulated memory: 2594548 KiB

[startup+3610.11 s]
/proc/loadavg: 4.18 4.17 4.11 5/253 157974
/proc/meminfo: memFree=105238588/131382120 swapFree=33010160/33010684
[pid=157656] ppid=157650 vsize=2746364 memory=2594548 CPUtime=3596.78 cores=5,7
/proc/157656/stat : 157656 (roundingsat) R 157650 157653 157528 0 -1 4194304 313012 0 0 0 340035 19643 0 0 20 0 1 0 236853079 2812276736 648637 18446744073709551615 4227072 8923433 140725895677968 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39645184 140725895686424 140725895686694 140725895686694 140725895692266 0
/proc/157656/statm: 686591 648637 2464 1147 0 674018 0
Current cumulated CPU time of completed processes: 3.54413 s
Current children cumulated CPU time: 3596.78 s
Current children cumulated vsize: 2746364 KiB
Current children cumulated memory: 2594548 KiB

Child status: 2

Real time (s): 3610.19
CPU time (s): 3600.42
CPU user time (s): 3403.19
CPU system time (s): 197.229
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 3959552
Max. memory (cumulated for all children) (KiB): 3711444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3403.19
system time used= 197.229
maximum resident set size= 3708756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 321896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 1361


# summary of solver processes directly reported to runsolver:
#   pid: 157653,157656
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3403.19
#   total CPU system time (s): 197.229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2432 second user time and 36.2793 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-22 21:15:40
IDJOB=4542156
IDBENCH=163903
IDSOLVER=3358
FILE ID=nodeC003/4542156-1753211739
RUNJOBID= nodeC003-1753211729-157541
SLURM_JOB_ID= 9687799
Free space on /tmp= 431976 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542156-1753211739/watcher-4542156-1753211739 -o /tmp/evaluation-result-4542156-1753211739/solver-4542156-1753211739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542156-1753211739.opb /tmp/proof-4542156-1753211739

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

MD5SUM BENCH= c26c89c819410142827dd0be6bce850a
RANDOM SEED=1473273300

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        109701768 kB
MemAvailable:   129706804 kB
Buffers:            2736 kB
Cached:         20773604 kB
SwapCached:           36 kB
Active:          1357552 kB
Inactive:       19668204 kB
Active(anon):     268008 kB
Inactive(anon):     7604 kB
Active(file):    1089544 kB
Inactive(file): 19660600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89376 kB
Writeback:             0 kB
AnonPages:        252588 kB
Mapped:           121668 kB
Shmem:             26116 kB
KReclaimable:     189036 kB
Slab:             279424 kB
SReclaimable:     189036 kB
SUnreclaim:        90388 kB
KernelStack:        4128 kB
PageTables:         3704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     611232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431836 MiB
End job on nodeC003 at 2025-07-22 22:15:51