Trace number 4545080

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 63f22ad? (TO) 3600.29 3609.08

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
MD5SUM297c2237af667ea8e386e1666cb34677
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark146.963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables625728
Total number of constraints628780
Number of constraints which are clauses6288
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints622436
Minimum length of a constraint1
Maximum length of a constraint2712
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 75
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
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-4545080-1753220790.opb'
0.39/0.50	c 	read 33.88MB  (494.23ms)
0.39/0.50	c	 [cnf: #variables 625728 #clauses 628780 #duplicates 0 #arr 3050867]
0.39/0.51	c 
0.39/0.51	c make graph and approximate orbits
1.58/1.67	c	 [group: #orbits ~= 0] (1165.87ms)
1.58/1.67	c 
1.58/1.67	c detect special group actions
1.58/1.67	c 	 exceeded limit
1.58/1.67	c 	 (0.00ms)
1.58/1.67	c 
1.58/1.67	c detect symmetries on remainder
1.58/1.67	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
1.58/1.67	c 
1.58/1.67	c finalize break order and special generators
1.68/1.70	c 
1.68/1.70	c generation finished
1.68/1.70	c 	[sbp: #constraints 0 #add_vars 0]
1.68/1.72	c 
1.68/1.72	c write result to 'HOME/instance-4545080-1753220790.opb.pre'
1.77/1.80	c 	wrote 34.15MB (71.47ms)
1.77/1.80	c ------------------------------------------------------------------
1.77/1.80	c                1165.87ms 65.15% approx_orbits
1.77/1.80	c                 494.23ms 27.62% parse
1.77/1.80	c                  71.47ms  3.99% output
1.77/1.80	c                  30.44ms  1.70% finalize_order
1.77/1.80	c                  27.53ms  1.54% other
1.77/1.80	c                   0.01ms  0.00% detect_generic
1.77/1.80	c                   0.00ms  0.00% detect_special
1.77/1.80	c         ───────────────────────────────────────────────
1.77/1.80	c                1789.55ms   100% total
1.77/1.80	c ------------------------------------------------------------------
1.98/2.03	c RoundingSat 2
1.98/2.03	c branch pb25
1.98/2.03	c commit 63f22ad
5.35/5.40	c #variables 625728 #constraints 628862
2324.01/2329.95	c #Conflicts:       1000 | #Constraints:     629861
2324.01/2329.95	c #Conflicts:       2000 | #Constraints:     630861
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c #Conflicts:       3000 | #Constraints:     610261
2324.01/2329.95	c #Conflicts:       4000 | #Constraints:     611261
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:       5000 | #Constraints:     610714
2324.01/2329.95	c #Conflicts:       6000 | #Constraints:     611714
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:       7000 | #Constraints:     610705
2324.01/2329.95	c #Conflicts:       8000 | #Constraints:     611705
2324.01/2329.95	c #Conflicts:       9000 | #Constraints:     612705
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      10000 | #Constraints:     610815
2324.01/2329.95	c #Conflicts:      11000 | #Constraints:     611815
2324.01/2329.95	c #Conflicts:      12000 | #Constraints:     612815
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      13000 | #Constraints:     611350
2324.01/2329.95	c #Conflicts:      14000 | #Constraints:     612350
2324.01/2329.95	c #Conflicts:      15000 | #Constraints:     613350
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      16000 | #Constraints:     611647
2324.01/2329.95	c #Conflicts:      17000 | #Constraints:     612647
2324.01/2329.95	c #Conflicts:      18000 | #Constraints:     613647
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      19000 | #Constraints:     611801
2324.01/2329.95	c #Conflicts:      20000 | #Constraints:     612801
2324.01/2329.95	c #Conflicts:      21000 | #Constraints:     613801
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      22000 | #Constraints:     609832
2324.01/2329.95	c #Conflicts:      23000 | #Constraints:     610832
2324.01/2329.95	c #Conflicts:      24000 | #Constraints:     611832
2324.01/2329.95	c #Conflicts:      25000 | #Constraints:     612832
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      26000 | #Constraints:     610477
2324.01/2329.95	c #Conflicts:      27000 | #Constraints:     611477
2324.01/2329.95	c #Conflicts:      28000 | #Constraints:     612477
2324.01/2329.95	c #Conflicts:      29000 | #Constraints:     613477
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      30000 | #Constraints:     609860
2324.01/2329.95	c #Conflicts:      31000 | #Constraints:     610860
2324.01/2329.95	c #Conflicts:      32000 | #Constraints:     611860
2324.01/2329.95	c #Conflicts:      33000 | #Constraints:     612860
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      34000 | #Constraints:     607183
2324.01/2329.95	c #Conflicts:      35000 | #Constraints:     608183
2324.01/2329.95	c #Conflicts:      36000 | #Constraints:     609183
2324.01/2329.95	c #Conflicts:      37000 | #Constraints:     610183
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      38000 | #Constraints:     606533
2324.01/2329.95	c #Conflicts:      39000 | #Constraints:     607533
2324.01/2329.95	c #Conflicts:      40000 | #Constraints:     608533
2324.01/2329.95	c #Conflicts:      41000 | #Constraints:     609533
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      42000 | #Constraints:     606376
2324.01/2329.95	c #Conflicts:      43000 | #Constraints:     607376
2324.01/2329.95	c #Conflicts:      44000 | #Constraints:     608376
2324.01/2329.95	c #Conflicts:      45000 | #Constraints:     609376
2324.01/2329.95	c #Conflicts:      46000 | #Constraints:     610376
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c #Conflicts:      47000 | #Constraints:     605459
2324.01/2329.95	c #Conflicts:      48000 | #Constraints:     606459
2324.01/2329.95	c #Conflicts:      49000 | #Constraints:     607459
2324.01/2329.95	c #Conflicts:      50000 | #Constraints:     608459
2324.01/2329.95	c #Conflicts:      51000 | #Constraints:     609459
2324.01/2329.95	c #Conflicts:      52000 | #Constraints:     610459
2324.01/2329.95	c #Conflicts:      53000 | #Constraints:     611459
2324.01/2329.95	c #Conflicts:      54000 | #Constraints:     612459
2324.01/2329.95	c #Conflicts:      55000 | #Constraints:     613459
2324.01/2329.95	c #Conflicts:      56000 | #Constraints:     614459
2324.01/2329.95	c #Conflicts:      57000 | #Constraints:     615459
2324.01/2329.95	c #Conflicts:      58000 | #Constraints:     616459
2324.01/2329.95	c #Conflicts:      59000 | #Constraints:     617459
2324.01/2329.95	c #Conflicts:      60000 | #Constraints:     618459
2324.01/2329.95	c #Conflicts:      61000 | #Constraints:     619459
2324.01/2329.95	c #Conflicts:      62000 | #Constraints:     620459
2324.01/2329.95	c #Conflicts:      63000 | #Constraints:     621459
2324.01/2329.95	c #Conflicts:      64000 | #Constraints:     622459
2324.01/2329.95	c INPROCESSING
2324.01/2329.95	c GARBAGE COLLECT
2324.01/2329.95	c rational objective 3548.25
3600.09/3608.90	c #Conflicts:      65000 | #Constraints:     601076
3600.09/3608.90	c #Conflicts:      66000 | #Constraints:     602076
3600.09/3608.90	c #Conflicts:      67000 | #Constraints:     603076
3600.09/3608.90	c #Conflicts:      68000 | #Constraints:     604076
3600.09/3608.90	c #Conflicts:      69000 | #Constraints:     605076
3600.09/3608.90	c #Conflicts:      70000 | #Constraints:     606076
3600.09/3608.90	c INPROCESSING
3600.09/3608.90	c GARBAGE COLLECT
3600.09/3608.90	c #Conflicts:      71000 | #Constraints:     595583
3600.09/3608.90	c #Conflicts:      72000 | #Constraints:     596583
3600.09/3608.90	c #Conflicts:      73000 | #Constraints:     597583
3600.09/3608.90	c #Conflicts:      74000 | #Constraints:     598583
3600.09/3608.90	c #Conflicts:      75000 | #Constraints:     599583
3600.09/3608.90	c #Conflicts:      76000 | #Constraints:     600583
3600.09/3608.90	c INPROCESSING
3600.09/3608.90	c GARBAGE COLLECT
3600.09/3608.90	c #Conflicts:      77000 | #Constraints:     594257
3600.09/3608.90	c #Conflicts:      78000 | #Constraints:     595257
3600.09/3608.90	c #Conflicts:      79000 | #Constraints:     596257
3600.09/3608.90	c #Conflicts:      80000 | #Constraints:     597257
3600.09/3608.90	c #Conflicts:      81000 | #Constraints:     598257
3600.09/3608.90	c #Conflicts:      82000 | #Constraints:     599257
3600.09/3608.90	c #Conflicts:      83000 | #Constraints:     600257
3600.09/3608.90	c #Conflicts:      84000 | #Constraints:     601257
3600.09/3608.90	c #Conflicts:      85000 | #Constraints:     602257
3600.09/3608.90	c #Conflicts:      86000 | #Constraints:     603257
3600.09/3608.90	c #Conflicts:      87000 | #Constraints:     604257
3600.09/3608.90	c #Conflicts:      88000 | #Constraints:     605257
3600.09/3608.90	c cpu time 3594.62 s
3600.09/3608.90	c deterministic time 26425856716 2.64e+10
3600.09/3608.90	c optimization time 786.042 s
3600.09/3608.90	c total solve time 2805.98 s
3600.09/3608.90	c core-guided solve time 0 s
3600.09/3608.90	c propagation time 277.382 s
3600.09/3608.90	c conflict analysis time 2258.31 s
3600.09/3608.90	c propagations 943471759
3600.09/3608.90	c resolve steps 34995603
3600.09/3608.90	c decisions 1734565
3600.09/3608.90	c conflicts 88794
3600.09/3608.90	c restarts 253
3600.09/3608.90	c inprocessing phases 17
3600.09/3608.90	c garbage collections 16 ,( 94.12 )
3600.09/3608.90	c input clauses 6382 ,( 1.01 )
3600.09/3608.90	c input cardinalities 82 ,( 0.01 )
3600.09/3608.90	c input general constraints 622398 ,( 98.97 )
3600.09/3608.90	c input average constraint length 4.77
3600.09/3608.90	c input average constraint degree 2.97
3600.09/3608.90	c learned clauses 52211 ,( 58.79 )
3600.09/3608.90	c learned cardinalities 15586 ,( 17.55 )
3600.09/3608.90	c learned general constraints 21006 ,( 23.65 )
3600.09/3608.90	c learned average constraint length 4965.05
3600.09/3608.90	c learned average constraint degree 76715089.51
3600.09/3608.90	c watched  CF 32, 64, 128, Arb: 15482 , 0 , 0 , 0
3600.09/3608.90	c counting CF 32, 64, 128, Arb: 627922 , 0 , 0 , 0
3600.09/3608.90	c watched   constraints 15482 ,( 2.41 ) 
3600.09/3608.90	c counting  constraints 627922 ,( 97.59 ) 
3600.09/3608.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 39313424 , 21843086 , 1824788359 ,( 18160669 , 1806627690 )
3600.09/3608.90	c gcd simplifications 3883
3600.09/3608.90	c detected cardinalities 873
3600.09/3608.90	c weakened non-implied lits 4783446
3600.09/3608.90	c weakened non-implying lits 428028
3600.09/3608.90	c original variables 625728
3600.09/3608.90	c clausal propagations 2458598
3600.09/3608.90	c cardinality propagations 3058479
3600.09/3608.90	c watched propagations 816606
3600.09/3608.90	c counting propagations 936681870
3600.09/3608.90	c watch lookups 4705081284
3600.09/3608.90	c watch backjump lookups 0
3600.09/3608.90	c watch checks 15331603233
3600.09/3608.90	c propagation checks 3715577116
3600.09/3608.90	c constraint additions 783521387
3600.09/3608.90	c trail pops 944849702
3600.09/3608.90	c formula constraints 628862
3600.09/3608.90	c learned constraints 88793
3600.09/3608.90	c bound constraints 0
3600.09/3608.90	c core-guided constraints 0
3600.09/3608.90	c encountered formula constraints 34748913
3600.09/3608.90	c encountered learned constraints 335481
3600.09/3608.90	c encountered bound constraints 0
3600.09/3608.90	c encountered core-guided constraints 0
3600.09/3608.90	c LP total time 35.4436 s
3600.09/3608.90	c LP solve time 30.25 s
3600.09/3608.90	c LP constraints added 628862
3600.09/3608.90	c LP constraints removed 0
3600.09/3608.90	c LP pivots internal 9476
3600.09/3608.90	c LP pivots root 8193
3600.09/3608.90	c LP calls 5
3600.09/3608.90	c LP optimalities 2
3600.09/3608.90	c LP no pivot count 0
3600.09/3608.90	c LP infeasibilities 0
3600.09/3608.90	c LP valid Farkas constraints 0
3600.09/3608.90	c LP learned Farkas constraints 0
3600.09/3608.90	c LP basis resets 0
3600.09/3608.90	c LP cycling count 0
3600.09/3608.90	c LP singular count 0
3600.09/3608.90	c LP no primal count 0
3600.09/3608.90	c LP no farkas count 0
3600.09/3608.90	c LP other issue count 0
3600.09/3608.90	c LP Gomory cuts 10
3600.09/3608.90	c LP learned cuts 131
3600.09/3608.90	c LP deleted cuts 0
3600.09/3608.90	c LP encountered Gomory constraints 3
3600.09/3608.90	c LP encountered Farkas constraints 0
3600.09/3608.90	c LP encountered learned Farkas constraints 0
3600.09/3608.90	c CG auxiliary variables introduced 0
3600.09/3608.90	c CG solutions found 0
3600.09/3608.90	c CG cores constructed 0
3600.09/3608.90	c CG core cardinality constraints returned 0
3600.09/3608.90	c CG unit cores 0
3600.09/3608.90	c CG single cores 0
3600.09/3608.90	c CG blocks removed during cardinality reduction 0
3600.09/3608.90	c CG first core best 0
3600.09/3608.90	c CG decision core best 0
3600.09/3608.90	c CG core reduction tie 0
3600.09/3608.90	c CG core degree average 0.00
3600.09/3608.90	c CG core slack average 0.00
3600.09/3608.90	c CG core upper bound improvements 0
3600.09/3608.90	c STR number of successful calls 0
3600.09/3608.90	c STR number of unsuccessful calls 0
3600.09/3608.90	c STR number of inconclusive calls 0
3600.09/3608.90	c STR number of successful attempts 0
3600.09/3608.90	c STR number of unsuccessful attempts 0
3600.09/3608.90	c STR number of inconclusive attempts 0
3600.09/3608.90	c STR average degree increase per successful call inf
3600.09/3608.90	c STR average degree increase per successful attempt inf
3600.09/3608.90	c STR total number of conflicts for successful attempts 0
3600.09/3608.90	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3608.90	c STR total number of conflicts for inconclusive attempts 0
3600.09/3608.90	c STR average number of conflicts per successful attempt inf
3600.09/3608.90	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3608.90	c STR average number of conflicts per inconclusive attempt inf
3600.09/3608.90	c AVG.sumWPerc 97.58 
3600.09/3608.90	c bigint constraints 0 
3600.09/3608.90	s UNKNOWN
3600.09/3608.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545080-1753220790/watcher-4545080-1753220790 -o /tmp/evaluation-result-4545080-1753220790/solver-4545080-1753220790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4545080-1753220790.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=179597, runsolver pid=179594

[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 179599
/proc/meminfo: memFree=125883576/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179599] ppid=179597 vsize=185212 memory=168084 CPUtime=0.08 cores=1,3
/proc/179599/stat : 179599 (pbsuma) R 179597 179597 175467 0 -1 4194304 5291 0 0 0 5 3 0 0 20 0 1 0 237758445 189657088 42021 18446744073709551615 4210688 4653049 140733477671232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14733312 140733477677409 140733477677616 140733477677616 140733477683183 0
/proc/179599/statm: 46303 42021 960 108 0 43711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 189404 KiB
Current children cumulated memory: 171156 KiB

[startup+0.205627 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 179599
/proc/meminfo: memFree=125847600/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179599] ppid=179597 vsize=207148 memory=195100 CPUtime=0.19 cores=1,3
/proc/179599/stat : 179599 (pbsuma) R 179597 179597 175467 0 -1 4194304 10330 0 0 0 14 5 0 0 20 0 1 0 237758445 212119552 48775 18446744073709551615 4210688 4653049 140733477671232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14733312 140733477677409 140733477677616 140733477677616 140733477683183 0
/proc/179599/statm: 51787 48775 960 108 0 49195 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 211340 KiB
Current children cumulated memory: 198172 KiB

[startup+0.305577 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 179599
/proc/meminfo: memFree=125831724/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179599] ppid=179597 vsize=222568 memory=213880 CPUtime=0.29 cores=1,3
/proc/179599/stat : 179599 (pbsuma) R 179597 179597 175467 0 -1 4194304 14515 0 0 0 23 6 0 0 20 0 1 0 237758445 227909632 53470 18446744073709551615 4210688 4653049 140733477671232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14733312 140733477677409 140733477677616 140733477677616 140733477683183 0
/proc/179599/statm: 55642 53470 960 108 0 53050 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 216952 KiB

[startup+0.700212 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 179599
/proc/meminfo: memFree=125791764/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179599] ppid=179597 vsize=553188 memory=482332 CPUtime=0.68 cores=1,3
/proc/179599/stat : 179599 (pbsuma) R 179597 179597 175467 0 -1 4194304 32640 0 0 0 54 14 0 0 20 0 1 0 237758445 566464512 120583 18446744073709551615 4210688 4653049 140733477671232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14733312 140733477677409 140733477677616 140733477677616 140733477683183 0
/proc/179599/statm: 138297 120583 992 108 0 135705 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 557380 KiB
Current children cumulated memory: 485404 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 179599
/proc/meminfo: memFree=125389612/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179599] ppid=179597 vsize=861024 memory=664088 CPUtime=1.48 cores=1,3
/proc/179599/stat : 179599 (pbsuma) R 179597 179597 175467 0 -1 4194304 37191 0 0 0 130 18 0 0 20 0 1 0 237758445 881688576 166022 18446744073709551615 4210688 4653049 140733477671232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14733312 140733477677409 140733477677616 140733477677616 140733477683183 0
/proc/179599/statm: 215256 166022 992 108 0 212664 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 865216 KiB
Current children cumulated memory: 667160 KiB

[startup+3.10543 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 179600
/proc/meminfo: memFree=125681256/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=367844 memory=308252 CPUtime=1.06 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 39841 0 0 0 78 28 0 0 20 0 1 0 237758647 376672256 77063 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 91961 77063 2016 1147 0 79388 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 372036 KiB
Current children cumulated memory: 311324 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 179600
/proc/meminfo: memFree=124663308/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1784920 memory=1424120 CPUtime=4.24 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 131848 0 0 0 333 91 0 0 20 0 1 0 237758647 1827758080 356030 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 446230 356030 2272 1147 0 433657 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1789112 KiB
Current children cumulated memory: 1427192 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 179600
/proc/meminfo: memFree=124529600/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1856656 memory=1486792 CPUtime=10.63 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 139197 0 0 0 970 93 0 0 20 0 1 0 237758647 1901215744 371698 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 464164 371698 2272 1147 0 451591 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1860848 KiB
Current children cumulated memory: 1489864 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 179600
/proc/meminfo: memFree=124528620/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1856656 memory=1486792 CPUtime=23.4 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 139197 0 0 0 2247 93 0 0 20 0 1 0 237758647 1901215744 371698 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 464164 371698 2272 1147 0 451591 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1860848 KiB
Current children cumulated memory: 1489864 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 179601
/proc/meminfo: memFree=124463028/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1856656 memory=1486792 CPUtime=48.94 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 139227 0 0 0 4800 94 0 0 20 0 1 0 237758647 1901215744 371698 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 464164 371698 2272 1147 0 451591 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1860848 KiB
Current children cumulated memory: 1489864 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 179603
/proc/meminfo: memFree=124209608/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1939356 memory=1545872 CPUtime=100.01 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 143457 0 0 0 9900 101 0 0 20 0 1 0 237758647 1985900544 386468 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 484839 386468 2368 1147 0 472266 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1943548 KiB
Current children cumulated memory: 1548944 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 179612
/proc/meminfo: memFree=123986900/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1970608 memory=1610576 CPUtime=159.85 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 149518 0 0 0 15880 105 0 0 20 0 1 0 237758647 2017902592 402644 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 492652 402644 2368 1147 0 480079 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1974800 KiB
Current children cumulated memory: 1613648 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 179614
/proc/meminfo: memFree=123909040/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=1970608 memory=1613008 CPUtime=219.72 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 150163 0 0 0 21863 109 0 0 20 0 1 0 237758647 2017902592 403252 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 492652 403252 2368 1147 0 480079 0
Current children cumulated CPU time: 221.72 s

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

[pid=179600] ppid=179597 vsize=2724288 memory=2339396 CPUtime=3092.54 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 219018 0 0 0 308920 334 0 0 20 0 1 0 237758647 2789670912 584849 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 681072 584849 2368 1147 0 668499 0
Current children cumulated CPU time: 3094.54 s
Current children cumulated vsize: 2728480 KiB
Current children cumulated memory: 2342468 KiB

[startup+3162.3 s]
/proc/loadavg: 3.11 3.24 3.61 4/262 179815
/proc/meminfo: memFree=124643032/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2727764 memory=2342852 CPUtime=3152.41 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 220215 0 0 0 314905 336 0 0 20 0 1 0 237758647 2793230336 585713 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 681941 585713 2368 1147 0 669368 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 2731956 KiB
Current children cumulated memory: 2345924 KiB

[startup+3222.3 s]
/proc/loadavg: 2.86 3.16 3.56 3/255 179847
/proc/meminfo: memFree=124867160/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2731836 memory=2346948 CPUtime=3212.27 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 221251 0 0 0 320890 337 0 0 20 0 1 0 237758647 2797400064 586737 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 682959 586737 2368 1147 0 670386 0
Current children cumulated CPU time: 3214.27 s
Current children cumulated vsize: 2736028 KiB
Current children cumulated memory: 2350020 KiB

[startup+3282.3 s]
/proc/loadavg: 2.42 2.98 3.47 3/255 179850
/proc/meminfo: memFree=124834720/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2732836 memory=2347972 CPUtime=3272.15 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 221500 0 0 0 326877 338 0 0 20 0 1 0 237758647 2798424064 586993 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 683209 586993 2368 1147 0 670636 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 2737028 KiB
Current children cumulated memory: 2351044 KiB

[startup+3342.3 s]
/proc/loadavg: 2.21 2.81 3.38 3/255 179852
/proc/meminfo: memFree=124835096/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2736188 memory=2351300 CPUtime=3332.03 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 222662 0 0 0 332862 341 0 0 20 0 1 0 237758647 2801856512 587825 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 684047 587825 2368 1147 0 671474 0
Current children cumulated CPU time: 3334.03 s
Current children cumulated vsize: 2740380 KiB
Current children cumulated memory: 2354372 KiB

[startup+3402.3 s]
/proc/loadavg: 1.91 2.63 3.28 2/249 179885
/proc/meminfo: memFree=125746176/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2743832 memory=2358852 CPUtime=3391.9 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 224684 0 0 0 338847 343 0 0 20 0 1 0 237758647 2809683968 589713 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 685958 589713 2368 1147 0 673385 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 2748024 KiB
Current children cumulated memory: 2361924 KiB

[startup+3462.3 s]
/proc/loadavg: 1.39 2.34 3.14 2/249 179887
/proc/meminfo: memFree=125740572/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2751984 memory=2367044 CPUtime=3451.78 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 226743 0 0 0 344833 345 0 0 20 0 1 0 237758647 2818031616 591761 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 687996 591761 2368 1147 0 675423 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 2756176 KiB
Current children cumulated memory: 2370116 KiB

[startup+3522.3 s]
/proc/loadavg: 1.19 2.11 3.01 2/248 179890
/proc/meminfo: memFree=125733404/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2757340 memory=2372420 CPUtime=3511.67 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 228194 0 0 0 350821 346 0 0 20 0 1 0 237758647 2823516160 593105 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 689335 593105 2368 1147 0 676762 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 2761532 KiB
Current children cumulated memory: 2375492 KiB

[startup+3582.3 s]
/proc/loadavg: 1.17 1.94 2.89 2/248 179893
/proc/meminfo: memFree=125730664/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2766148 memory=2381252 CPUtime=3571.55 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 230792 0 0 0 356808 347 0 0 20 0 1 0 237758647 2832535552 595313 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 691537 595313 2368 1147 0 678964 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 2770340 KiB
Current children cumulated memory: 2384324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 1.11 1.86 2.84 2/248 179894
/proc/meminfo: memFree=125730664/131250000 swapFree=33009904/33010684
[pid=179597] ppid=179594 vsize=4192 memory=3072 CPUtime=2 cores=1,3
/proc/179597/stat : 179597 (run-dec-break.s) S 179594 179597 175467 0 -1 4194304 234 49529 0 0 0 0 175 25 20 0 1 0 237758444 4292608 768 18446744073709551615 93968676048896 93968676943429 140722798836560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968677182480 93968677230224 93968706293760 140722798844255 140722798844384 140722798844384 140722798849988 0
/proc/179597/statm: 1048 768 704 219 0 110 0
[pid=179600] ppid=179597 vsize=2769444 memory=2386584 CPUtime=3598.09 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179597 179597 175467 0 -1 4194304 231617 0 0 0 359462 347 0 0 20 0 1 0 237758647 2835910656 596646 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 692361 596646 2368 1147 0 679788 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2773636 KiB
Current children cumulated memory: 2389656 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3596.55 s, system=3.74429 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+3609 s]*
/proc/loadavg: 1.11 1.86 2.84 2/247 179894
/proc/meminfo: memFree=126273752/131250000 swapFree=33009904/33010684
[pid=179600] ppid=179594 vsize=1981996 memory=1828468 CPUtime=3598.2 cores=1,3
/proc/179600/stat : 179600 (roundingsat) R 179594 179597 175467 0 -1 4194304 231744 0 0 0 359472 348 0 0 20 0 1 0 237758647 2029563904 457117 18446744073709551615 4227072 8923433 140732730907712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12181504 140732730911042 140732730911270 140732730911270 140732730916842 0
/proc/179600/statm: 495499 457117 2496 1147 0 482926 0
Current cumulated CPU time of completed processes: 2.01364 s
Current children cumulated CPU time: 3598.2 s
Current children cumulated vsize: 1981996 KiB
Current children cumulated memory: 1828468 KiB

Child status: 2

Real time (s): 3609.08
CPU time (s): 3600.29
CPU user time (s): 3596.55
CPU system time (s): 3.74429
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 2773636
Max. memory (cumulated for all children) (KiB): 2389656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.55
system time used= 3.74429
maximum resident set size= 2387096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270
involuntary context switches= 3083


# summary of solver processes directly reported to runsolver:
#   pid: 179597,179600
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3596.55
#   total CPU system time (s): 3.74429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8933 second user time and 15.8573 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-22 23:46:30
IDJOB=4545080
IDBENCH=180703
IDSOLVER=3357
FILE ID=nodeC033/4545080-1753220790
RUNJOBID= nodeC033-1753211687-175479
SLURM_JOB_ID= 9687798
Free space on /tmp= 432528 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545080-1753220790/watcher-4545080-1753220790 -o /tmp/evaluation-result-4545080-1753220790/solver-4545080-1753220790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760  run-dec-break.sh HOME/instance-4545080-1753220790.opb

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

MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=553370377

nodeC033 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		: 3600.073
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.789
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	: 7000.13
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		: 3624.914
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	: 7000.13
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		: 3600.063
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	: 7000.13
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.790
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	: 7000.13
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.691
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.859
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	: 7000.13
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.943
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126034572 kB
MemAvailable:   127551160 kB
Buffers:            2128 kB
Cached:          2239544 kB
SwapCached:           64 kB
Active:          3341732 kB
Inactive:        1012404 kB
Active(anon):    2133416 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file):  1007120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40228 kB
Writeback:            12 kB
AnonPages:       2115840 kB
Mapped:           122912 kB
Shmem:             26228 kB
KReclaimable:     280784 kB
Slab:             378736 kB
SReclaimable:     280784 kB
SUnreclaim:        97952 kB
KernelStack:        4320 kB
PageTables:         7996 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2843316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    589824 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432520 MiB
End job on nodeC033 at 2025-07-23 00:46:40