Trace number 4509194

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.39 3609.09

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
MD5SUM77cfb75a57ffdbd7a405571baa0b4678
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark61
Best CPU time to get the best result obtained on this benchmark3585.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables91392
Total number of constraints1684
Number of constraints which are clauses713
Number of constraints which are cardinality constraints (but not clauses)713
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint714
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 264142
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 882426
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.08/0.17	c #variables 91392 #constraints 1684
0.08/0.17	c objective is ce32 
0.08/0.18	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.18	c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
0.08/0.18	c GLOBAL bounds - >= 0 @ 0.139482
0.19/0.27	c GLOBAL bounds - >= 0 @ 0.180342
0.28/0.36	c GLOBAL bounds - >= 0 @ 0.216552
0.39/0.44	c GLOBAL bounds - >= 0 @ 0.241094
0.49/0.53	c GLOBAL bounds - >= 0 @ 0.274283
0.58/0.61	c GLOBAL bounds - >= 0 @ 0.30924
0.68/0.70	c GLOBAL bounds - >= 0 @ 0.341501
0.68/0.70	c GLOBAL bounds - >= 60 @ 0.341867
296.18/296.95	c #Conflicts:       1000 | #Constraints:       2684
296.18/296.95	c #Conflicts:       2000 | #Constraints:       3684
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c #Conflicts:       3000 | #Constraints:       3698
296.18/296.95	c #Conflicts:       4000 | #Constraints:       4699
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c #Conflicts:       5000 | #Constraints:       4119
296.18/296.95	c #Conflicts:       6000 | #Constraints:       5120
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c #Conflicts:       7000 | #Constraints:       4122
296.18/296.95	c #Conflicts:       8000 | #Constraints:       5123
296.18/296.95	c #Conflicts:       9000 | #Constraints:       6123
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c #Conflicts:      10000 | #Constraints:       4812
296.18/296.95	c #Conflicts:      11000 | #Constraints:       5813
296.18/296.95	c #Conflicts:      12000 | #Constraints:       6814
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c #Conflicts:      13000 | #Constraints:       5266
296.18/296.95	c #Conflicts:      14000 | #Constraints:       6266
296.18/296.95	c #Conflicts:      15000 | #Constraints:       7267
296.18/296.95	c INPROCESSING
296.18/296.95	c GARBAGE COLLECT
296.18/296.95	c rational objective 60
345.77/346.64	c #Conflicts:      16000 | #Constraints:       5524
345.77/346.64	c #Conflicts:      17000 | #Constraints:       6524
345.77/346.64	c #Conflicts:      18000 | #Constraints:       7524
345.77/346.64	c INPROCESSING
345.77/346.64	c GARBAGE COLLECT
345.77/346.64	c rational objective 60
681.70/683.30	c #Conflicts:      19000 | #Constraints:       5556
681.70/683.30	c #Conflicts:      20000 | #Constraints:       6565
681.70/683.30	c #Conflicts:      21000 | #Constraints:       7577
681.70/683.30	c INPROCESSING
681.70/683.30	c GARBAGE COLLECT
681.70/683.30	c #Conflicts:      22000 | #Constraints:       5350
681.70/683.30	c #Conflicts:      23000 | #Constraints:       6350
681.70/683.30	c #Conflicts:      24000 | #Constraints:       7350
681.70/683.30	c #Conflicts:      25000 | #Constraints:       8350
681.70/683.30	c INPROCESSING
681.70/683.30	c GARBAGE COLLECT
681.70/683.30	c #Conflicts:      26000 | #Constraints:       5951
681.70/683.30	c #Conflicts:      27000 | #Constraints:       6951
681.70/683.30	c #Conflicts:      28000 | #Constraints:       7951
681.70/683.30	c #Conflicts:      29000 | #Constraints:       8951
681.70/683.30	c INPROCESSING
681.70/683.30	c GARBAGE COLLECT
681.70/683.30	c rational objective 60
963.43/965.78	c #Conflicts:      30000 | #Constraints:       6358
963.43/965.78	c #Conflicts:      31000 | #Constraints:       7361
963.43/965.78	c #Conflicts:      32000 | #Constraints:       8362
963.43/965.78	c #Conflicts:      33000 | #Constraints:       9362
963.43/965.78	c INPROCESSING
963.43/965.78	c GARBAGE COLLECT
963.43/965.78	c rational objective 60
1953.73/1958.33	c #Conflicts:      34000 | #Constraints:       6559
1953.73/1958.33	c #Conflicts:      35000 | #Constraints:       7559
1953.73/1958.33	c #Conflicts:      36000 | #Constraints:       8559
1953.73/1958.33	c #Conflicts:      37000 | #Constraints:       9559
1953.73/1958.33	c INPROCESSING
1953.73/1958.33	c GARBAGE COLLECT
1953.73/1958.33	c #Conflicts:      38000 | #Constraints:       6543
1953.73/1958.33	c #Conflicts:      39000 | #Constraints:       7543
1953.73/1958.33	c #Conflicts:      40000 | #Constraints:       8543
1953.73/1958.33	c #Conflicts:      41000 | #Constraints:       9543
1953.73/1958.33	c INPROCESSING
1953.73/1958.33	c GARBAGE COLLECT
1953.73/1958.33	c #Conflicts:      42000 | #Constraints:       6363
1953.73/1958.33	c #Conflicts:      43000 | #Constraints:       7364
1953.73/1958.33	c #Conflicts:      44000 | #Constraints:       8364
1953.73/1958.33	c #Conflicts:      45000 | #Constraints:       9364
1953.73/1958.33	c #Conflicts:      46000 | #Constraints:      10364
1953.73/1958.33	c INPROCESSING
1953.73/1958.33	c GARBAGE COLLECT
1953.73/1958.33	c #Conflicts:      47000 | #Constraints:       6960
1953.73/1958.33	c #Conflicts:      48000 | #Constraints:       7960
1953.73/1958.33	c #Conflicts:      49000 | #Constraints:       8960
1953.73/1958.33	c #Conflicts:      50000 | #Constraints:       9960
1953.73/1958.33	c #Conflicts:      51000 | #Constraints:      10960
1953.73/1958.33	c INPROCESSING
1953.73/1958.33	c GARBAGE COLLECT
1953.73/1958.33	c #Conflicts:      52000 | #Constraints:       7362
1953.73/1958.33	c #Conflicts:      53000 | #Constraints:       8362
1953.73/1958.33	c #Conflicts:      54000 | #Constraints:       9366
1953.73/1958.33	c #Conflicts:      55000 | #Constraints:      10366
1953.73/1958.33	c #Conflicts:      56000 | #Constraints:      11366
1953.73/1958.33	c INPROCESSING
1953.73/1958.33	c GARBAGE COLLECT
1953.73/1958.33	c rational objective 60
2353.40/2358.97	c #Conflicts:      57000 | #Constraints:       7564
2353.40/2358.97	c #Conflicts:      58000 | #Constraints:       8564
2353.40/2358.97	c #Conflicts:      59000 | #Constraints:       9564
2353.40/2358.97	c #Conflicts:      60000 | #Constraints:      10564
2353.40/2358.97	c #Conflicts:      61000 | #Constraints:      11564
2353.40/2358.97	c INPROCESSING
2353.40/2358.97	c GARBAGE COLLECT
2353.40/2358.97	c #Conflicts:      62000 | #Constraints:       7536
2353.40/2358.97	c #Conflicts:      63000 | #Constraints:       8536
2353.40/2358.97	c #Conflicts:      64000 | #Constraints:       9536
2353.40/2358.97	c #Conflicts:      65000 | #Constraints:      10536
2353.40/2358.97	c #Conflicts:      66000 | #Constraints:      11536
2353.40/2358.97	c INPROCESSING
2353.40/2358.97	c GARBAGE COLLECT
2353.40/2358.97	c rational objective 60
3600.08/3608.80	c #Conflicts:      67000 | #Constraints:       7337
3600.08/3608.80	c #Conflicts:      68000 | #Constraints:       8337
3600.08/3608.80	c #Conflicts:      69000 | #Constraints:       9337
3600.08/3608.80	c #Conflicts:      70000 | #Constraints:      10337
3600.08/3608.80	c #Conflicts:      71000 | #Constraints:      11337
3600.08/3608.80	c #Conflicts:      72000 | #Constraints:      12337
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c GARBAGE COLLECT
3600.08/3608.80	c #Conflicts:      73000 | #Constraints:       7930
3600.08/3608.80	c #Conflicts:      74000 | #Constraints:       8930
3600.08/3608.80	c #Conflicts:      75000 | #Constraints:       9930
3600.08/3608.80	c #Conflicts:      76000 | #Constraints:      10930
3600.08/3608.80	c #Conflicts:      77000 | #Constraints:      11930
3600.08/3608.80	c #Conflicts:      78000 | #Constraints:      12930
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c GARBAGE COLLECT
3600.08/3608.80	c #Conflicts:      79000 | #Constraints:       8328
3600.08/3608.80	c #Conflicts:      80000 | #Constraints:       9328
3600.08/3608.80	c #Conflicts:      81000 | #Constraints:      10328
3600.08/3608.80	c #Conflicts:      82000 | #Constraints:      11328
3600.08/3608.80	c #Conflicts:      83000 | #Constraints:      12328
3600.08/3608.80	c #Conflicts:      84000 | #Constraints:      13328
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c GARBAGE COLLECT
3600.08/3608.80	c #Conflicts:      85000 | #Constraints:       8536
3600.08/3608.80	c #Conflicts:      86000 | #Constraints:       9537
3600.08/3608.80	c #Conflicts:      87000 | #Constraints:      10537
3600.08/3608.80	c #Conflicts:      88000 | #Constraints:      11537
3600.08/3608.80	c #Conflicts:      89000 | #Constraints:      12538
3600.08/3608.80	c #Conflicts:      90000 | #Constraints:      13538
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c GARBAGE COLLECT
3600.08/3608.80	c #Conflicts:      91000 | #Constraints:       8524
3600.08/3608.80	c #Conflicts:      92000 | #Constraints:       9676
3600.08/3608.80	c #Conflicts:      93000 | #Constraints:      11036
3600.08/3608.80	c #Conflicts:      94000 | #Constraints:      12526
3600.08/3608.80	c #Conflicts:      95000 | #Constraints:      14045
3600.08/3608.80	c #Conflicts:      96000 | #Constraints:      15553
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c #Conflicts:      97000 | #Constraints:       9495
3600.08/3608.80	c #Conflicts:      98000 | #Constraints:      10495
3600.08/3608.80	c #Conflicts:      99000 | #Constraints:      11495
3600.08/3608.80	c #Conflicts:     100000 | #Constraints:      12495
3600.08/3608.80	c #Conflicts:     101000 | #Constraints:      13495
3600.08/3608.80	c #Conflicts:     102000 | #Constraints:      14495
3600.08/3608.80	c #Conflicts:     103000 | #Constraints:      15495
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c #Conflicts:     104000 | #Constraints:       9503
3600.08/3608.80	c #Conflicts:     105000 | #Constraints:      10503
3600.08/3608.80	c #Conflicts:     106000 | #Constraints:      11503
3600.08/3608.80	c #Conflicts:     107000 | #Constraints:      12503
3600.08/3608.80	c #Conflicts:     108000 | #Constraints:      13503
3600.08/3608.80	c #Conflicts:     109000 | #Constraints:      14503
3600.08/3608.80	c #Conflicts:     110000 | #Constraints:      15503
3600.08/3608.80	c INPROCESSING
3600.08/3608.80	c GARBAGE COLLECT
3600.08/3608.80	c Disabling crashed LP
3600.08/3608.80	c cpu time 3590.81 s
3600.08/3608.80	c deterministic time 914639101790 9.15e+11
3600.08/3608.80	c optimization time 0.213559 s
3600.08/3608.80	c total solve time 3590.47 s
3600.08/3608.80	c core-guided solve time 0 s
3600.08/3608.80	c propagation time 2662.61 s
3600.08/3608.80	c conflict analysis time 502.805 s
3600.08/3608.80	c propagations 57586382
3600.08/3608.80	c resolve steps 397321
3600.08/3608.80	c decisions 4705914
3600.08/3608.80	c conflicts 110000
3600.08/3608.80	c restarts 285
3600.08/3608.80	c inprocessing phases 25
3600.08/3608.80	c garbage collections 23 ,( 92.00 )
3600.08/3608.80	c input clauses 713 ,( 42.31 )
3600.08/3608.80	c input cardinalities 713 ,( 42.31 )
3600.08/3608.80	c input general constraints 259 ,( 15.37 )
3600.08/3608.80	c input average constraint length 216.66
3600.08/3608.80	c input average constraint degree 46104.10
3600.08/3608.80	c learned clauses 386 ,( 0.34 )
3600.08/3608.80	c learned cardinalities 26 ,( 0.02 )
3600.08/3608.80	c learned general constraints 112106 ,( 99.63 )
3600.08/3608.80	c learned average constraint length 23185.53
3600.08/3608.80	c learned average constraint degree 5272135022.53
3600.08/3608.80	c watched  CF 32, 64, 128, Arb: 87203 , 0 , 0 , 0
3600.08/3608.80	c counting CF 32, 64, 128, Arb: 25163 , 0 , 0 , 0
3600.08/3608.80	c watched   constraints 87203 ,( 77.61 ) 
3600.08/3608.80	c counting  constraints 25162 ,( 22.39 ) 
3600.08/3608.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 825317 , 521653 , 613204857 ,( 539070270 , 74134587 )
3600.08/3608.80	c gcd simplifications 620
3600.08/3608.80	c detected cardinalities 1
3600.08/3608.80	c weakened non-implied lits 91233308
3600.08/3608.80	c weakened non-implying lits 203138
3600.08/3608.80	c original variables 91392
3600.08/3608.80	c clausal propagations 219676
3600.08/3608.80	c cardinality propagations 8367391
3600.08/3608.80	c watched propagations 4040257
3600.08/3608.80	c counting propagations 42438856
3600.08/3608.80	c watch lookups 12777140464
3600.08/3608.80	c watch backjump lookups 0
3600.08/3608.80	c watch checks 158299686555
3600.08/3608.80	c propagation checks 738261929209
3600.08/3608.80	c constraint additions 5175388680
3600.08/3608.80	c trail pops 62401943
3600.08/3608.80	c formula constraints 1684
3600.08/3608.80	c learned constraints 109960
3600.08/3608.80	c bound constraints 0
3600.08/3608.80	c core-guided constraints 0
3600.08/3608.80	c encountered formula constraints 279986
3600.08/3608.80	c encountered learned constraints 201424
3600.08/3608.80	c encountered bound constraints 0
3600.08/3608.80	c encountered core-guided constraints 0
3600.08/3608.80	c LP total time 508.713 s
3600.08/3608.80	c LP solve time 433.12 s
3600.08/3608.80	c LP constraints added 1802
3600.08/3608.80	c LP constraints removed 88
3600.08/3608.80	c LP pivots internal 156316
3600.08/3608.80	c LP pivots root 106326
3600.08/3608.80	c LP calls 3162
3600.08/3608.80	c LP optimalities 751
3600.08/3608.80	c LP no pivot count 439
3600.08/3608.80	c LP infeasibilities 2404
3600.08/3608.80	c LP valid Farkas constraints 2404
3600.08/3608.80	c LP learned Farkas constraints 40
3600.08/3608.80	c LP basis resets 0
3600.08/3608.80	c LP cycling count 0
3600.08/3608.80	c LP singular count 0
3600.08/3608.80	c LP no primal count 0
3600.08/3608.80	c LP no farkas count 0
3600.08/3608.80	c LP other issue count 0
3600.08/3608.80	c LP Gomory cuts 114
3600.08/3608.80	c LP learned cuts 4
3600.08/3608.80	c LP deleted cuts 88
3600.08/3608.80	c LP encountered Gomory constraints 0
3600.08/3608.80	c LP encountered Farkas constraints 19055
3600.08/3608.80	c LP encountered learned Farkas constraints 6816
3600.08/3608.80	c CG auxiliary variables introduced 6
3600.08/3608.80	c CG solutions found 0
3600.08/3608.80	c CG cores constructed 0
3600.08/3608.80	c CG core cardinality constraints returned 0
3600.08/3608.80	c CG unit cores 0
3600.08/3608.80	c CG single cores 0
3600.08/3608.80	c CG blocks removed during cardinality reduction 0
3600.08/3608.80	c CG first core best 0
3600.08/3608.80	c CG decision core best 0
3600.08/3608.80	c CG core reduction tie 0
3600.08/3608.80	c CG core degree average 0.00
3600.08/3608.80	c CG core slack average 0.00
3600.08/3608.80	c CG core upper bound improvements 0
3600.08/3608.80	c STR number of successful calls 0
3600.08/3608.80	c STR number of unsuccessful calls 0
3600.08/3608.80	c STR number of inconclusive calls 0
3600.08/3608.80	c STR number of successful attempts 0
3600.08/3608.80	c STR number of unsuccessful attempts 0
3600.08/3608.80	c STR number of inconclusive attempts 0
3600.08/3608.80	c STR average degree increase per successful call inf
3600.08/3608.80	c STR average degree increase per successful attempt inf
3600.08/3608.80	c STR total number of conflicts for successful attempts 0
3600.08/3608.80	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3608.80	c STR total number of conflicts for inconclusive attempts 0
3600.08/3608.80	c STR average number of conflicts per successful attempt inf
3600.08/3608.80	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3608.80	c STR average number of conflicts per inconclusive attempt inf
3600.08/3608.80	c AVG.sumWPerc 26.52 
3600.08/3608.80	c bigint constraints 0 
3600.08/3608.80	s UNKNOWN
3600.08/3608.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: 63665 MiB (61113 MiB free)
  memory of node 1: 64507 MiB (63329 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509194-1751521570/watcher-4509194-1751521570 -o /tmp/evaluation-result-4509194-1751521570/solver-4509194-1751521570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509194-1751521570.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=73160, runsolver pid=73157

[startup+0.10006 s]*
/proc/loadavg: 4.11 3.66 2.93 5/267 73162
/proc/meminfo: memFree=127413500/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=77964 memory=33072 CPUtime=0.08 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 5026 0 0 0 7 1 0 0 20 0 1 0 67836588 79835136 8268 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 19491 8268 1920 1147 0 6918 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 82156 KiB
Current children cumulated memory: 36144 KiB

[startup+0.205585 s]*
/proc/loadavg: 4.11 3.66 2.93 5/267 73162
/proc/meminfo: memFree=127365364/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=117396 memory=69872 CPUtime=0.19 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 13917 0 0 0 15 4 0 0 20 0 1 0 67836588 120213504 17468 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 29349 17468 2336 1147 0 16776 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 72944 KiB

[startup+0.305488 s]*
/proc/loadavg: 4.11 3.66 2.93 5/267 73162
/proc/meminfo: memFree=127365364/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=125852 memory=76236 CPUtime=0.28 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 14994 0 0 0 19 9 0 0 20 0 1 0 67836588 128872448 19059 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 31463 19059 2336 1147 0 18890 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 130044 KiB
Current children cumulated memory: 79308 KiB

[startup+0.700153 s]
/proc/loadavg: 4.11 3.66 2.93 5/267 73162
/proc/meminfo: memFree=127357300/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=132896 memory=82664 CPUtime=0.68 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 16110 0 0 0 34 34 0 0 20 0 1 0 67836588 136085504 20666 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 33224 20666 2336 1147 0 20651 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137088 KiB
Current children cumulated memory: 85736 KiB

[startup+1.50014 s]
/proc/loadavg: 4.11 3.66 2.93 5/267 73162
/proc/meminfo: memFree=127320932/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=190848 memory=126436 CPUtime=1.48 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 26005 0 0 0 111 37 0 0 20 0 1 0 67836588 195428352 31609 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 47712 31609 2368 1147 0 35139 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195040 KiB
Current children cumulated memory: 129508 KiB

[startup+3.10544 s]
/proc/loadavg: 4.11 3.66 2.93 5/266 73162
/proc/meminfo: memFree=127225196/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=199928 memory=137056 CPUtime=3.08 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 27613 0 0 0 267 41 0 0 20 0 1 0 67836588 204726272 34264 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 49982 34264 2400 1147 0 37409 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204120 KiB
Current children cumulated memory: 140128 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 3.66 2.94 5/266 73162
/proc/meminfo: memFree=127140892/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=286348 memory=201192 CPUtime=6.26 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 33958 0 0 0 572 54 0 0 20 0 1 0 67836588 293220352 50298 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 71587 50298 2400 1147 0 59014 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 290540 KiB
Current children cumulated memory: 204264 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 3.67 2.94 5/266 73162
/proc/meminfo: memFree=127050492/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=358276 memory=289332 CPUtime=12.65 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 51924 0 0 0 1206 59 0 0 20 0 1 0 67836588 366874624 72333 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 89569 72333 2400 1147 0 76996 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 362468 KiB
Current children cumulated memory: 292404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 3.69 2.96 5/266 73163
/proc/meminfo: memFree=126630404/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=724544 memory=576864 CPUtime=25.42 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 78842 0 0 0 2473 69 0 0 20 0 1 0 67836588 741933056 144216 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 181136 144216 2400 1147 0 168563 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 728736 KiB
Current children cumulated memory: 579936 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 3.73 3.00 5/266 73163
/proc/meminfo: memFree=125282592/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=1788804 memory=1565044 CPUtime=50.96 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 256899 0 0 0 4977 119 0 0 20 0 1 0 67836588 1831735296 391261 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 447201 391261 2400 1147 0 434628 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1792996 KiB
Current children cumulated memory: 1568116 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 3.77 3.05 5/266 73165
/proc/meminfo: memFree=124793912/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=2604452 memory=2096244 CPUtime=102.04 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 364670 0 0 0 10051 153 0 0 20 0 1 0 67836588 2666958848 524061 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 651113 524061 2400 1147 0 638540 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2608644 KiB
Current children cumulated memory: 2099316 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.85 3.12 5/267 73170
/proc/meminfo: memFree=124183672/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=3019536 memory=2446068 CPUtime=161.9 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 452143 0 0 0 15998 192 0 0 20 0 1 0 67836588 3092004864 611517 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 754884 611517 2400 1147 0 742311 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 3023728 KiB
Current children cumulated memory: 2449140 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.89 3.19 5/268 73173
/proc/meminfo: memFree=123620280/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=3238228 memory=2744316 CPUtime=221.76 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 505241 0 0 0 21957 219 0 0 20 0 1 0 67836588 3315945472 686079 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 809557 686079 2400 1147 0 796984 0

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

[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9783180 memory=8408456 CPUtime=3095.02 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1409002 0 0 0 308688 814 0 0 20 0 1 0 67836588 10017976320 2102114 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2445795 2102114 2400 1147 0 2433222 0
Current children cumulated CPU time: 3095.02 s
Current children cumulated vsize: 9787372 KiB
Current children cumulated memory: 8411528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.11 4.06 5/270 73426
/proc/meminfo: memFree=112018600/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9783180 memory=8408456 CPUtime=3154.85 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1409569 0 0 0 314666 819 0 0 20 0 1 0 67836588 10017976320 2102114 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2445795 2102114 2400 1147 0 2433222 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 9787372 KiB
Current children cumulated memory: 8411528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/269 73428
/proc/meminfo: memFree=110236060/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9786936 memory=8411272 CPUtime=3214.67 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1410499 0 0 0 320637 830 0 0 20 0 1 0 67836588 10021822464 2102818 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2446734 2102818 2400 1147 0 2434161 0
Current children cumulated CPU time: 3214.67 s
Current children cumulated vsize: 9791128 KiB
Current children cumulated memory: 8414344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/269 73431
/proc/meminfo: memFree=107899236/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9857480 memory=8456328 CPUtime=3274.5 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1421842 0 0 0 326607 843 0 0 20 0 1 0 67836588 10094059520 2114082 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2464370 2114082 2400 1147 0 2451797 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 9861672 KiB
Current children cumulated memory: 8459400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/269 73437
/proc/meminfo: memFree=107022040/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9857620 memory=8456456 CPUtime=3334.34 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1421886 0 0 0 332580 854 0 0 20 0 1 0 67836588 10094202880 2114114 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2464405 2114114 2400 1147 0 2451832 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 9861812 KiB
Current children cumulated memory: 8459528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/269 73439
/proc/meminfo: memFree=106974196/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9857620 memory=8456456 CPUtime=3394.17 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1421900 0 0 0 338555 862 0 0 20 0 1 0 67836588 10094202880 2114114 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2464405 2114114 2400 1147 0 2451832 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 9861812 KiB
Current children cumulated memory: 8459528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/268 73441
/proc/meminfo: memFree=106438040/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9876060 memory=8470920 CPUtime=3454.01 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1425476 0 0 0 344520 881 0 0 20 0 1 0 67836588 10113085440 2117730 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2469015 2117730 2496 1147 0 2456442 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 9880252 KiB
Current children cumulated memory: 8473992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.08 5/267 73488
/proc/meminfo: memFree=111033800/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9979936 memory=8550920 CPUtime=3513.83 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1444352 0 0 0 350480 903 0 0 20 0 1 0 67836588 10219454464 2137730 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2494984 2137730 2496 1147 0 2482411 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 9984128 KiB
Current children cumulated memory: 8553992 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/266 73489
/proc/meminfo: memFree=110032088/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9981680 memory=8563976 CPUtime=3573.66 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1444717 0 0 0 356444 922 0 0 20 0 1 0 67836588 10221240320 2140994 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2495420 2140994 2496 1147 0 2482847 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 9985872 KiB
Current children cumulated memory: 8567048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 73491
/proc/meminfo: memFree=109656136/131249996 swapFree=33010416/33010684
[pid=73160] ppid=73157 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/73160/stat : 73160 (run-opt.sh) S 73157 73160 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67836588 4292608 768 18446744073709551615 94592919158784 94592920053317 140722078176848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94592920292368 94592920340112 94592949174272 140722078185837 140722078185960 140722078185960 140722078191562 0
/proc/73160/statm: 1048 768 704 219 0 110 0
[pid=73162] ppid=73160 vsize=9983472 memory=8567048 CPUtime=3600.08 cores=5,7
/proc/73162/stat : 73162 (roundingsat) R 73160 73160 72970 0 -1 4194304 1445573 0 0 0 359080 928 0 0 20 0 1 0 67836588 10223075328 2141762 18446744073709551615 4227072 8923433 140724759600272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 38313984 140724759607714 140724759607848 140724759607848 140724759613418 0
/proc/73162/statm: 2495868 2141762 2496 1147 0 2483295 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 9987664 KiB
Current children cumulated memory: 8570120 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3590.86 s, system=9.53888 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.01 s]*
/proc/loadavg: 4.11 4.10 4.08 5/265 73491
/proc/meminfo: memFree=116106276/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002093 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3609.09
CPU time (s): 3600.39
CPU user time (s): 3590.86
CPU system time (s): 9.53888
CPU usage (%): 99.7589
Max. virtual memory (cumulated for all children) (KiB): 9987664
Max. memory (cumulated for all children) (KiB): 8570120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.86
system time used= 9.53888
maximum resident set size= 8567304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1445845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 2843


# summary of solver processes directly reported to runsolver:
#   pid: 73160,73162
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3590.86
#   total CPU system time (s): 9.53888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72519 second user time and 15.7054 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 07:46:10
IDJOB=4509194
IDBENCH=158601
IDSOLVER=3350
FILE ID=nodeC030/4509194-1751521570
RUNJOBID= nodeC030-1751521021-72983
SLURM_JOB_ID= 9598643
Free space on /tmp= 432476 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509194-1751521570/watcher-4509194-1751521570 -o /tmp/evaluation-result-4509194-1751521570/solver-4509194-1751521570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760  run-opt.sh HOME/instance-4509194-1751521570.opb

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

MD5SUM BENCH= 77cfb75a57ffdbd7a405571baa0b4678
RANDOM SEED=1635870506

nodeC030 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.297
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.62
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		: 3600.309
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.62
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		: 3165.425
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.62
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.109
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.62
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		: 3600.316
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.62
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		: 3600.545
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.62
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.488
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.62
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		: 3600.323
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127429044 kB
MemAvailable:   128117024 kB
Buffers:            2564 kB
Cached:          1479748 kB
SwapCached:           16 kB
Active:          2122364 kB
Inactive:        1036220 kB
Active(anon):    1689772 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1031672 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11016 kB
Writeback:             0 kB
AnonPages:       1676980 kB
Mapped:           117064 kB
Shmem:             18048 kB
KReclaimable:     125508 kB
Slab:             214304 kB
SReclaimable:     125508 kB
SUnreclaim:        88796 kB
KernelStack:        4304 kB
PageTables:         6604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2360896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    731136 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432460 MiB
End job on nodeC030 at 2025-07-03 08:46:19