0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
2.87/2.91 c #variables 2436672 #constraints 113788
2777.81/2785.83 c #Conflicts: 1000 | #Constraints: 114787
2777.81/2785.83 c #Conflicts: 2000 | #Constraints: 115787
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c #Conflicts: 3000 | #Constraints: 115798
2777.81/2785.83 c #Conflicts: 4000 | #Constraints: 116798
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 5000 | #Constraints: 116201
2777.81/2785.83 c #Conflicts: 6000 | #Constraints: 117201
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c #Conflicts: 7000 | #Constraints: 116213
2777.81/2785.83 c #Conflicts: 8000 | #Constraints: 117213
2777.81/2785.83 c #Conflicts: 9000 | #Constraints: 118213
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 10000 | #Constraints: 116910
2777.81/2785.83 c #Conflicts: 11000 | #Constraints: 117910
2777.81/2785.83 c #Conflicts: 12000 | #Constraints: 118910
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 13000 | #Constraints: 117369
2777.81/2785.83 c #Conflicts: 14000 | #Constraints: 118369
2777.81/2785.83 c #Conflicts: 15000 | #Constraints: 119369
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 16000 | #Constraints: 117589
2777.81/2785.83 c #Conflicts: 17000 | #Constraints: 118589
2777.81/2785.83 c #Conflicts: 18000 | #Constraints: 119589
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 19000 | #Constraints: 117606
2777.81/2785.83 c #Conflicts: 20000 | #Constraints: 118606
2777.81/2785.83 c #Conflicts: 21000 | #Constraints: 119606
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 22000 | #Constraints: 117420
2777.81/2785.83 c #Conflicts: 23000 | #Constraints: 118420
2777.81/2785.83 c #Conflicts: 24000 | #Constraints: 119420
2777.81/2785.83 c #Conflicts: 25000 | #Constraints: 120420
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 26000 | #Constraints: 118027
2777.81/2785.83 c #Conflicts: 27000 | #Constraints: 119027
2777.81/2785.83 c #Conflicts: 28000 | #Constraints: 120027
2777.81/2785.83 c #Conflicts: 29000 | #Constraints: 121027
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 30000 | #Constraints: 118429
2777.81/2785.83 c #Conflicts: 31000 | #Constraints: 119429
2777.81/2785.83 c #Conflicts: 32000 | #Constraints: 120429
2777.81/2785.83 c #Conflicts: 33000 | #Constraints: 121429
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 34000 | #Constraints: 118623
2777.81/2785.83 c #Conflicts: 35000 | #Constraints: 119623
2777.81/2785.83 c #Conflicts: 36000 | #Constraints: 120623
2777.81/2785.83 c #Conflicts: 37000 | #Constraints: 121623
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 38000 | #Constraints: 118625
2777.81/2785.83 c #Conflicts: 39000 | #Constraints: 119625
2777.81/2785.83 c #Conflicts: 40000 | #Constraints: 120625
2777.81/2785.83 c #Conflicts: 41000 | #Constraints: 121625
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 42000 | #Constraints: 118452
2777.81/2785.83 c #Conflicts: 43000 | #Constraints: 119452
2777.81/2785.83 c #Conflicts: 44000 | #Constraints: 120452
2777.81/2785.83 c #Conflicts: 45000 | #Constraints: 121452
2777.81/2785.83 c #Conflicts: 46000 | #Constraints: 122452
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 47000 | #Constraints: 119085
2777.81/2785.83 c #Conflicts: 48000 | #Constraints: 120085
2777.81/2785.83 c #Conflicts: 49000 | #Constraints: 121085
2777.81/2785.83 c #Conflicts: 50000 | #Constraints: 122085
2777.81/2785.83 c #Conflicts: 51000 | #Constraints: 123085
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 52000 | #Constraints: 119445
2777.81/2785.83 c #Conflicts: 53000 | #Constraints: 120445
2777.81/2785.83 c #Conflicts: 54000 | #Constraints: 121445
2777.81/2785.83 c #Conflicts: 55000 | #Constraints: 122445
2777.81/2785.83 c #Conflicts: 56000 | #Constraints: 123445
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 57000 | #Constraints: 119641
2777.81/2785.83 c #Conflicts: 58000 | #Constraints: 120641
2777.81/2785.83 c #Conflicts: 59000 | #Constraints: 121641
2777.81/2785.83 c #Conflicts: 60000 | #Constraints: 122641
2777.81/2785.83 c #Conflicts: 61000 | #Constraints: 123641
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 62000 | #Constraints: 119640
2777.81/2785.83 c #Conflicts: 63000 | #Constraints: 120640
2777.81/2785.83 c #Conflicts: 64000 | #Constraints: 121640
2777.81/2785.83 c #Conflicts: 65000 | #Constraints: 122640
2777.81/2785.83 c #Conflicts: 66000 | #Constraints: 123640
2777.81/2785.83 c INPROCESSING
2777.81/2785.83 c GARBAGE COLLECT
2777.81/2785.83 c #Conflicts: 67000 | #Constraints: 119451
2777.81/2785.83 c #Conflicts: 68000 | #Constraints: 120451
2777.81/2785.83 c #Conflicts: 69000 | #Constraints: 121451
3600.01/3609.90 c #Conflicts: 70000 | #Constraints: 122451
3600.01/3609.90 c #Conflicts: 71000 | #Constraints: 123451
3600.01/3609.90 c #Conflicts: 72000 | #Constraints: 124451
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 73000 | #Constraints: 120060
3600.01/3609.90 c #Conflicts: 74000 | #Constraints: 121060
3600.01/3609.90 c #Conflicts: 75000 | #Constraints: 122060
3600.01/3609.90 c #Conflicts: 76000 | #Constraints: 123060
3600.01/3609.90 c #Conflicts: 77000 | #Constraints: 124060
3600.01/3609.90 c #Conflicts: 78000 | #Constraints: 125060
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 79000 | #Constraints: 120459
3600.01/3609.90 c #Conflicts: 80000 | #Constraints: 121459
3600.01/3609.90 c #Conflicts: 81000 | #Constraints: 122459
3600.01/3609.90 c #Conflicts: 82000 | #Constraints: 123459
3600.01/3609.90 c #Conflicts: 83000 | #Constraints: 124459
3600.01/3609.90 c #Conflicts: 84000 | #Constraints: 125459
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 85000 | #Constraints: 120684
3600.01/3609.90 c #Conflicts: 86000 | #Constraints: 121684
3600.01/3609.90 c #Conflicts: 87000 | #Constraints: 122684
3600.01/3609.90 c #Conflicts: 88000 | #Constraints: 123684
3600.01/3609.90 c #Conflicts: 89000 | #Constraints: 124684
3600.01/3609.90 c #Conflicts: 90000 | #Constraints: 125684
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 91000 | #Constraints: 120691
3600.01/3609.90 c #Conflicts: 92000 | #Constraints: 121691
3600.01/3609.90 c #Conflicts: 93000 | #Constraints: 122691
3600.01/3609.90 c #Conflicts: 94000 | #Constraints: 123691
3600.01/3609.90 c #Conflicts: 95000 | #Constraints: 124691
3600.01/3609.90 c #Conflicts: 96000 | #Constraints: 125691
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c cpu time 3189.17 s
3600.01/3609.90 c deterministic time 2799974933 2.80e+09
3600.01/3609.90 c optimization time 25.5926 s
3600.01/3609.90 c total solve time 3161.27 s
3600.01/3609.90 c core-guided solve time 0 s
3600.01/3609.90 c propagation time 160.146 s
3600.01/3609.90 c conflict analysis time 3.38951 s
3600.01/3609.90 c propagations 28570307
3600.01/3609.90 c resolve steps 195114
3600.01/3609.90 c decisions 643909099
3600.01/3609.90 c conflicts 96623
3600.01/3609.90 c restarts 254
3600.01/3609.90 c inprocessing phases 23
3600.01/3609.90 c garbage collections 21 ,( 91.30 )
3600.01/3609.90 c input clauses 57482 ,( 50.52 )
3600.01/3609.90 c input cardinalities 56306 ,( 49.48 )
3600.01/3609.90 c input general constraints 0 ,( 0.00 )
3600.01/3609.90 c input average constraint length 45.81
3600.01/3609.90 c input average constraint degree 22.77
3600.01/3609.90 c learned clauses 2508 ,( 2.60 )
3600.01/3609.90 c learned cardinalities 94115 ,( 97.40 )
3600.01/3609.90 c learned general constraints 0 ,( 0.00 )
3600.01/3609.90 c learned average constraint length 696.75
3600.01/3609.90 c learned average constraint degree 357.85
3600.01/3609.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.90 c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.90 c watched constraints 0 ,( -nan )
3600.01/3609.90 c counting constraints 0 ,( -nan )
3600.01/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 15728993 , 14752717 , 0 ,( 0 , 0 )
3600.01/3609.90 c gcd simplifications 0
3600.01/3609.90 c detected cardinalities 0
3600.01/3609.90 c weakened non-implied lits 0
3600.01/3609.90 c weakened non-implying lits 0
3600.01/3609.90 c original variables 2436672
3600.01/3609.90 c clausal propagations 14414988
3600.01/3609.90 c cardinality propagations 12812500
3600.01/3609.90 c watched propagations 0
3600.01/3609.90 c counting propagations 0
3600.01/3609.90 c watch lookups 30481710
3600.01/3609.90 c watch backjump lookups 0
3600.01/3609.90 c watch checks 667880089
3600.01/3609.90 c propagation checks 680303731
3600.01/3609.90 c constraint additions 76222968
3600.01/3609.90 c trail pops 672576028
3600.01/3609.90 c formula constraints 113788
3600.01/3609.90 c learned constraints 96623
3600.01/3609.90 c bound constraints 0
3600.01/3609.90 c core-guided constraints 0
3600.01/3609.90 c encountered formula constraints 195295
3600.01/3609.90 c encountered learned constraints 96442
3600.01/3609.90 c encountered bound constraints 0
3600.01/3609.90 c encountered core-guided constraints 0
3600.01/3609.90 c LP total time 8.25202 s
3600.01/3609.90 c LP solve time 6.95 s
3600.01/3609.90 c LP constraints added 113788
3600.01/3609.90 c LP constraints removed 0
3600.01/3609.90 c LP pivots internal 10000
3600.01/3609.90 c LP pivots root 21000
3600.01/3609.90 c LP calls 5
3600.01/3609.90 c LP optimalities 0
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 0
3600.01/3609.90 c LP valid Farkas constraints 0
3600.01/3609.90 c LP learned Farkas constraints 0
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 0
3600.01/3609.90 c LP learned cuts 0
3600.01/3609.90 c LP deleted cuts 0
3600.01/3609.90 c LP encountered Gomory constraints 0
3600.01/3609.90 c LP encountered Farkas constraints 0
3600.01/3609.90 c LP encountered learned Farkas constraints 0
3600.01/3609.90 c CG auxiliary variables introduced 0
3600.01/3609.90 c CG solutions found 0
3600.01/3609.90 c CG cores constructed 0
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 0
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 0
3600.01/3609.90 c CG core degree average 0.00
3600.01/3609.90 c CG core slack average 0.00
3600.01/3609.90 c CG core upper bound improvements 0
3600.01/3609.90 c STR number of successful calls 0
3600.01/3609.90 c STR number of unsuccessful calls 0
3600.01/3609.90 c STR number of inconclusive calls 0
3600.01/3609.90 c STR number of successful attempts 0
3600.01/3609.90 c STR number of unsuccessful attempts 0
3600.01/3609.90 c STR number of inconclusive attempts 0
3600.01/3609.90 c STR average degree increase per successful call inf
3600.01/3609.90 c STR average degree increase per successful attempt inf
3600.01/3609.90 c STR total number of conflicts for successful attempts 0
3600.01/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.90 c STR average number of conflicts per successful attempt inf
3600.01/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.90 c AVG.sumWPerc -nan
3600.01/3609.90 c bigint constraints 0
3600.01/3609.90 s UNKNOWN
3600.01/3609.90 c Program interrupted by user.
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 (58480 MiB free)
memory of node 1: 64465 MiB (60006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542505-1753206210/watcher-4542505-1753206210 -o /tmp/evaluation-result-4542505-1753206210/solver-4542505-1753206210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183310 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542505-1753206210.opb /tmp/proof-4542505-1753206210
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=184156, runsolver pid=184153
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=121097456/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=294184 memory=245220 CPUtime=0.08 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 1882 0 0 0 4 4 0 0 20 0 1 0 236299508 301244416 61305 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 73546 61305 1888 1147 0 60973 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 298376 KiB
Current children cumulated memory: 248292 KiB
[startup+0.205904 s]*
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=120795116/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=622352 memory=552624 CPUtime=0.19 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 8139 0 0 0 8 11 0 0 20 0 1 0 236299508 637288448 138156 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 155588 138156 1952 1147 0 143015 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 626544 KiB
Current children cumulated memory: 555696 KiB
[startup+0.30577 s]*
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=120648424/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=745500 memory=662900 CPUtime=0.29 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 12675 0 0 0 15 14 0 0 20 0 1 0 236299508 763392000 165725 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 186375 165725 2016 1147 0 173802 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 749692 KiB
Current children cumulated memory: 665972 KiB
[startup+0.700179 s]
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=120247908/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=795796 memory=714216 CPUtime=0.67 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 25167 0 0 0 49 18 0 0 20 0 1 0 236299508 814895104 178554 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 198949 178554 2016 1147 0 186376 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 799988 KiB
Current children cumulated memory: 717288 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=119917156/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=905692 memory=822500 CPUtime=1.47 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 50903 0 0 0 119 28 0 0 20 0 1 0 236299508 927428608 205625 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 226423 205625 2016 1147 0 213850 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 909884 KiB
Current children cumulated memory: 825572 KiB
[startup+3.10561 s]
/proc/loadavg: 4.12 4.15 4.17 5/266 184158
/proc/meminfo: memFree=118493008/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=1638720 memory=1543220 CPUtime=3.08 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 112290 0 0 0 240 68 0 0 20 0 1 0 236299508 1678049280 385805 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 409680 385805 2240 1147 0 397107 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1642912 KiB
Current children cumulated memory: 1546292 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.15 4.17 5/266 184158
/proc/meminfo: memFree=117774324/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2515560 memory=2348612 CPUtime=6.26 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 141883 0 0 0 528 98 0 0 20 0 1 0 236299508 2575933440 587153 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 628890 587153 2272 1147 0 616317 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2519752 KiB
Current children cumulated memory: 2351684 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.17 5/265 184159
/proc/meminfo: memFree=118876156/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2515560 memory=2348612 CPUtime=12.64 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 141883 0 0 0 1166 98 0 0 20 0 1 0 236299508 2575933440 587153 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 628890 587153 2272 1147 0 616317 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2519752 KiB
Current children cumulated memory: 2351684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119357556/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2515560 memory=2348612 CPUtime=25.4 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 141979 0 0 0 2442 98 0 0 20 0 1 0 236299508 2575933440 587153 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 628890 587153 2272 1147 0 616317 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2519752 KiB
Current children cumulated memory: 2351684 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119324536/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2515560 memory=2348612 CPUtime=50.93 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 142062 0 0 0 4995 98 0 0 20 0 1 0 236299508 2575933440 587153 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 628890 587153 2272 1147 0 616317 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2519752 KiB
Current children cumulated memory: 2351684 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/267 184214
/proc/meminfo: memFree=119264424/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2515560 memory=2348612 CPUtime=101.98 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 142171 0 0 0 10100 98 0 0 20 0 1 0 236299508 2575933440 587153 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 628890 587153 2272 1147 0 616317 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2519752 KiB
Current children cumulated memory: 2351684 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 184216
/proc/meminfo: memFree=119103124/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2622100 memory=2450380 CPUtime=161.79 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 145450 0 0 0 16040 139 0 0 20 0 1 0 236299508 2685030400 612595 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 655525 612595 2336 1147 0 642952 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2626292 KiB
Current children cumulated memory: 2453452 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/267 184218
/proc/meminfo: memFree=119027608/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=2622100 memory=2450380 CPUtime=221.61 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 145546 0 0 0 22021 140 0 0 20 0 1 0 236299508 2685030400 612595 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 655525 612595 2336 1147 0 642952 0
################
# More data... #
################
/proc/loadavg: 4.11 4.13 4.10 5/267 184713
/proc/meminfo: memFree=116633548/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3221268 memory=3080948 CPUtime=3153.44 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 254586 0 0 0 284232 31112 0 0 20 0 1 0 236299508 3298578432 770237 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 805317 770237 2336 1147 0 792744 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 3225460 KiB
Current children cumulated memory: 3084020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/267 184715
/proc/meminfo: memFree=116589004/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3250404 memory=3111700 CPUtime=3213.32 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 262345 0 0 0 287133 34199 0 0 20 0 1 0 236299508 3328413696 777925 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 812601 777925 2336 1147 0 800028 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 3254596 KiB
Current children cumulated memory: 3114772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 184718
/proc/meminfo: memFree=116561032/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3250404 memory=3111700 CPUtime=3273.17 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 262358 0 0 0 293118 34199 0 0 20 0 1 0 236299508 3328413696 777925 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 812601 777925 2336 1147 0 800028 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 3254596 KiB
Current children cumulated memory: 3114772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/268 184720
/proc/meminfo: memFree=116523992/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3250404 memory=3111700 CPUtime=3333.02 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 262466 0 0 0 298923 34379 0 0 20 0 1 0 236299508 3328413696 777925 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 812601 777925 2336 1147 0 800028 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 3254596 KiB
Current children cumulated memory: 3114772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 184722
/proc/meminfo: memFree=116457504/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3271532 memory=3133332 CPUtime=3392.9 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 268236 0 0 0 301541 37749 0 0 20 0 1 0 236299508 3350048768 783333 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 817883 783333 2336 1147 0 805310 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 3275724 KiB
Current children cumulated memory: 3136404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 184724
/proc/meminfo: memFree=116410764/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3276944 memory=3138196 CPUtime=3452.75 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 269795 0 0 0 306511 38764 0 0 20 0 1 0 236299508 3355590656 784549 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 819236 784549 2336 1147 0 806663 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 3281136 KiB
Current children cumulated memory: 3141268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 184727
/proc/meminfo: memFree=116388600/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3276944 memory=3138196 CPUtime=3512.61 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 269795 0 0 0 312497 38764 0 0 20 0 1 0 236299508 3355590656 784549 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 819236 784549 2336 1147 0 806663 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 3281136 KiB
Current children cumulated memory: 3141268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 184729
/proc/meminfo: memFree=116330536/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3291824 memory=3153556 CPUtime=3572.48 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 274095 0 0 0 316248 41000 0 0 20 0 1 0 236299508 3370827776 788389 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 822956 788389 2336 1147 0 810383 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 3296016 KiB
Current children cumulated memory: 3156628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.21 4.14 4.10 4/262 184737
/proc/meminfo: memFree=118829168/131249996 swapFree=33010160/33010684
[pid=184156] ppid=184153 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/184156/stat : 184156 (run-dec-ls-log.) S 184153 184156 183292 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 236299508 4292608 768 18446744073709551615 93948288708608 93948289603141 140731172038448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948289842192 93948289889936 93948315176960 140731172043071 140731172043231 140731172043231 140731172048835 0
/proc/184156/statm: 1048 768 704 219 0 110 0
[pid=184158] ppid=184156 vsize=3302272 memory=3163540 CPUtime=3600.01 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184156 184156 183292 0 -1 4194304 276818 0 0 0 318917 41084 0 0 20 0 1 0 236299508 3381526528 790885 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 825568 790885 2336 1147 0 812995 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3306464 KiB
Current children cumulated memory: 3166612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 184156 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002152 s
[startup+3610.21 s]
# the end of solver process 184158 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3189.47 s, system=410.865 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.21 4.14 4.10 4/261 184737
/proc/meminfo: memFree=119705520/131249996 swapFree=33010160/33010684
[pid=184158] ppid=184153 vsize=2376516 memory=2275624 CPUtime=3600.12 cores=4,6
/proc/184158/stat : 184158 (roundingsat) R 184153 184156 183292 0 -1 4194304 276882 0 0 0 318927 41085 0 0 20 0 1 0 236299508 2433552384 568906 18446744073709551615 4227072 8923433 140733160912304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42459136 140733160921460 140733160921638 140733160921638 140733160927210 0
/proc/184158/statm: 594129 568906 2400 1147 0 581556 0
Current cumulated CPU time of completed processes: 0.002152 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2376516 KiB
Current children cumulated memory: 2275624 KiB
[startup+3610.2 s]*
/proc/loadavg: 4.21 4.14 4.10 4/261 184737
/proc/meminfo: memFree=120266636/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002152 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): 3610.21
CPU time (s): 3600.33
CPU user time (s): 3189.47
CPU system time (s): 410.865
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 3306464
Max. memory (cumulated for all children) (KiB): 3166612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3189.47
system time used= 410.865
maximum resident set size= 3163796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 3331
# summary of solver processes directly reported to runsolver:
# pid: 184156,184158
# total CPU time (s): 3600.33
# total CPU user time (s): 3189.47
# total CPU system time (s): 410.865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72222 second user time and 15.4044 second system time
The end
Begin job on nodeC029 at 2025-07-22 19:43:31
IDJOB=4542505
IDBENCH=163930
IDSOLVER=3354
FILE ID=nodeC029/4542505-1753206210
RUNJOBID= nodeC029-1753198973-183310
SLURM_JOB_ID= 9687762
Free space on /tmp= 432800 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542505-1753206210/watcher-4542505-1753206210 -o /tmp/evaluation-result-4542505-1753206210/solver-4542505-1753206210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183310 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542505-1753206210.opb /tmp/proof-4542505-1753206210
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=1773479743
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.727
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.684
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.978
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.728
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3571.386
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121338736 kB
MemAvailable: 124583880 kB
Buffers: 2128 kB
Cached: 4006212 kB
SwapCached: 36 kB
Active: 6395908 kB
Inactive: 2766396 kB
Active(anon): 5175492 kB
Inactive(anon): 4716 kB
Active(file): 1220416 kB
Inactive(file): 2761680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 147184 kB
Writeback: 0 kB
AnonPages: 5154780 kB
Mapped: 121972 kB
Shmem: 26216 kB
KReclaimable: 204576 kB
Slab: 301748 kB
SReclaimable: 204576 kB
SUnreclaim: 97172 kB
KernelStack: 4288 kB
PageTables: 13452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5783976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4251648 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431720 MiB
End job on nodeC029 at 2025-07-22 20:43:41