0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4545081-1753233654.opb'
0.48/0.53 c read 33.88MB (517.93ms)
0.48/0.53 c [cnf: #variables 625728 #clauses 628780 #duplicates 0 #arr 3050867]
0.48/0.53 c output proof to '/tmp/proof-4545081-1753233654'
0.48/0.53 c
0.48/0.53 c make graph and approximate orbits
1.56/1.67 c [group: #orbits ~= 0] (1134.69ms)
1.56/1.67 c
1.56/1.67 c detect special group actions
1.56/1.67 c exceeded limit
1.56/1.67 c (0.00ms)
1.56/1.67 c
1.56/1.67 c detect symmetries on remainder
1.56/1.67 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
1.56/1.67 c
1.56/1.67 c finalize break order and special generators
1.66/1.70 c
1.66/1.70 c generation finished
1.66/1.70 c [sbp: #constraints 0 #add_vars 0]
1.66/1.73 c
1.66/1.73 c write result to 'HOME/instance-4545081-1753233654.opb.pre'
1.77/1.80 c wrote 34.15MB (71.61ms)
1.77/1.80 c ------------------------------------------------------------------
1.77/1.80 c 1134.69ms 63.42% approx_orbits
1.77/1.80 c 517.93ms 28.95% parse
1.77/1.80 c 71.61ms 4.00% output
1.77/1.80 c 34.97ms 1.95% other
1.77/1.80 c 29.91ms 1.67% finalize_order
1.77/1.80 c 0.01ms 0.00% detect_generic
1.77/1.80 c 0.00ms 0.00% detect_special
1.77/1.80 c ───────────────────────────────────────────────
1.77/1.80 c 1789.13ms 100% total
1.77/1.80 c ------------------------------------------------------------------
1.97/2.02 c RoundingSat 2
1.97/2.02 c branch pb25
1.97/2.02 c commit 63f22ad
6.43/6.59 c #variables 625728 #constraints 628862
2415.00/2421.72 c #Conflicts: 1000 | #Constraints: 629861
2415.00/2421.72 c #Conflicts: 2000 | #Constraints: 630861
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c #Conflicts: 3000 | #Constraints: 610261
2415.00/2421.72 c #Conflicts: 4000 | #Constraints: 611261
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 5000 | #Constraints: 610714
2415.00/2421.72 c #Conflicts: 6000 | #Constraints: 611714
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 7000 | #Constraints: 610705
2415.00/2421.72 c #Conflicts: 8000 | #Constraints: 611705
2415.00/2421.72 c #Conflicts: 9000 | #Constraints: 612705
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 10000 | #Constraints: 610815
2415.00/2421.72 c #Conflicts: 11000 | #Constraints: 611815
2415.00/2421.72 c #Conflicts: 12000 | #Constraints: 612815
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 13000 | #Constraints: 611350
2415.00/2421.72 c #Conflicts: 14000 | #Constraints: 612350
2415.00/2421.72 c #Conflicts: 15000 | #Constraints: 613350
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 16000 | #Constraints: 611647
2415.00/2421.72 c #Conflicts: 17000 | #Constraints: 612647
2415.00/2421.72 c #Conflicts: 18000 | #Constraints: 613647
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 19000 | #Constraints: 611801
2415.00/2421.72 c #Conflicts: 20000 | #Constraints: 612801
2415.00/2421.72 c #Conflicts: 21000 | #Constraints: 613801
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 22000 | #Constraints: 609832
2415.00/2421.72 c #Conflicts: 23000 | #Constraints: 610832
2415.00/2421.72 c #Conflicts: 24000 | #Constraints: 611832
2415.00/2421.72 c #Conflicts: 25000 | #Constraints: 612832
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 26000 | #Constraints: 610477
2415.00/2421.72 c #Conflicts: 27000 | #Constraints: 611477
2415.00/2421.72 c #Conflicts: 28000 | #Constraints: 612477
2415.00/2421.72 c #Conflicts: 29000 | #Constraints: 613477
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 30000 | #Constraints: 609860
2415.00/2421.72 c #Conflicts: 31000 | #Constraints: 610860
2415.00/2421.72 c #Conflicts: 32000 | #Constraints: 611860
2415.00/2421.72 c #Conflicts: 33000 | #Constraints: 612860
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 34000 | #Constraints: 607183
2415.00/2421.72 c #Conflicts: 35000 | #Constraints: 608183
2415.00/2421.72 c #Conflicts: 36000 | #Constraints: 609183
2415.00/2421.72 c #Conflicts: 37000 | #Constraints: 610183
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 38000 | #Constraints: 606533
2415.00/2421.72 c #Conflicts: 39000 | #Constraints: 607533
2415.00/2421.72 c #Conflicts: 40000 | #Constraints: 608533
2415.00/2421.72 c #Conflicts: 41000 | #Constraints: 609533
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 42000 | #Constraints: 606376
2415.00/2421.72 c #Conflicts: 43000 | #Constraints: 607376
2415.00/2421.72 c #Conflicts: 44000 | #Constraints: 608376
2415.00/2421.72 c #Conflicts: 45000 | #Constraints: 609376
2415.00/2421.72 c #Conflicts: 46000 | #Constraints: 610376
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c #Conflicts: 47000 | #Constraints: 605459
2415.00/2421.72 c #Conflicts: 48000 | #Constraints: 606459
2415.00/2421.72 c #Conflicts: 49000 | #Constraints: 607459
2415.00/2421.72 c #Conflicts: 50000 | #Constraints: 608459
2415.00/2421.72 c #Conflicts: 51000 | #Constraints: 609459
2415.00/2421.72 c #Conflicts: 52000 | #Constraints: 610459
2415.00/2421.72 c #Conflicts: 53000 | #Constraints: 611459
2415.00/2421.72 c #Conflicts: 54000 | #Constraints: 612459
2415.00/2421.72 c #Conflicts: 55000 | #Constraints: 613459
2415.00/2421.72 c #Conflicts: 56000 | #Constraints: 614459
2415.00/2421.72 c #Conflicts: 57000 | #Constraints: 615459
2415.00/2421.72 c #Conflicts: 58000 | #Constraints: 616459
2415.00/2421.72 c #Conflicts: 59000 | #Constraints: 617459
2415.00/2421.72 c #Conflicts: 60000 | #Constraints: 618459
2415.00/2421.72 c #Conflicts: 61000 | #Constraints: 619459
2415.00/2421.72 c #Conflicts: 62000 | #Constraints: 620459
2415.00/2421.72 c #Conflicts: 63000 | #Constraints: 621459
2415.00/2421.72 c #Conflicts: 64000 | #Constraints: 622459
2415.00/2421.72 c INPROCESSING
2415.00/2421.72 c GARBAGE COLLECT
2415.00/2421.72 c rational objective 3548.25
3600.07/3610.20 c #Conflicts: 65000 | #Constraints: 601076
3600.07/3610.20 c #Conflicts: 66000 | #Constraints: 602076
3600.07/3610.20 c #Conflicts: 67000 | #Constraints: 603076
3600.07/3610.20 c #Conflicts: 68000 | #Constraints: 604076
3600.07/3610.20 c #Conflicts: 69000 | #Constraints: 605076
3600.07/3610.20 c #Conflicts: 70000 | #Constraints: 606076
3600.07/3610.20 c INPROCESSING
3600.07/3610.20 c GARBAGE COLLECT
3600.07/3610.20 c #Conflicts: 71000 | #Constraints: 595583
3600.07/3610.20 c #Conflicts: 72000 | #Constraints: 596583
3600.07/3610.20 c #Conflicts: 73000 | #Constraints: 597583
3600.07/3610.20 c #Conflicts: 74000 | #Constraints: 598583
3600.07/3610.20 c #Conflicts: 75000 | #Constraints: 599583
3600.07/3610.20 c #Conflicts: 76000 | #Constraints: 600583
3600.07/3610.20 c INPROCESSING
3600.07/3610.20 c GARBAGE COLLECT
3600.07/3610.20 c #Conflicts: 77000 | #Constraints: 594257
3600.07/3610.20 c #Conflicts: 78000 | #Constraints: 595257
3600.07/3610.20 c #Conflicts: 79000 | #Constraints: 596257
3600.07/3610.20 c #Conflicts: 80000 | #Constraints: 597257
3600.07/3610.20 c #Conflicts: 81000 | #Constraints: 598257
3600.07/3610.20 c #Conflicts: 82000 | #Constraints: 599257
3600.07/3610.20 c #Conflicts: 83000 | #Constraints: 600257
3600.07/3610.20 c #Conflicts: 84000 | #Constraints: 601257
3600.07/3610.20 c #Conflicts: 85000 | #Constraints: 602257
3600.07/3610.20 c #Conflicts: 86000 | #Constraints: 603257
3600.07/3610.20 c #Conflicts: 87000 | #Constraints: 604257
3600.07/3610.20 c cpu time 3591.54 s
3600.07/3610.20 c deterministic time 25495204233 2.55e+10
3600.07/3610.20 c optimization time 675.042 s
3600.07/3610.20 c total solve time 2912.79 s
3600.07/3610.20 c core-guided solve time 0 s
3600.07/3610.20 c propagation time 275.384 s
3600.07/3610.20 c conflict analysis time 2295.01 s
3600.07/3610.20 c propagations 929206511
3600.07/3610.20 c resolve steps 33777430
3600.07/3610.20 c decisions 1723970
3600.07/3610.20 c conflicts 87622
3600.07/3610.20 c restarts 253
3600.07/3610.20 c inprocessing phases 17
3600.07/3610.20 c garbage collections 16 ,( 94.12 )
3600.07/3610.20 c input clauses 6382 ,( 1.01 )
3600.07/3610.20 c input cardinalities 82 ,( 0.01 )
3600.07/3610.20 c input general constraints 622398 ,( 98.97 )
3600.07/3610.20 c input average constraint length 4.77
3600.07/3610.20 c input average constraint degree 2.97
3600.07/3610.20 c learned clauses 51480 ,( 58.75 )
3600.07/3610.20 c learned cardinalities 15465 ,( 17.65 )
3600.07/3610.20 c learned general constraints 20686 ,( 23.61 )
3600.07/3610.20 c learned average constraint length 4866.40
3600.07/3610.20 c learned average constraint degree 73300819.14
3600.07/3610.20 c watched CF 32, 64, 128, Arb: 15271 , 0 , 0 , 0
3600.07/3610.20 c counting CF 32, 64, 128, Arb: 627813 , 0 , 0 , 0
3600.07/3610.20 c watched constraints 15271 ,( 2.37 )
3600.07/3610.20 c counting constraints 627813 ,( 97.63 )
3600.07/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 38179963 , 21249909 , 1792340023 ,( 17497128 , 1774842895 )
3600.07/3610.20 c gcd simplifications 3838
3600.07/3610.20 c detected cardinalities 870
3600.07/3610.20 c weakened non-implied lits 4708765
3600.07/3610.20 c weakened non-implying lits 413994
3600.07/3610.20 c original variables 625728
3600.07/3610.20 c clausal propagations 2419330
3600.07/3610.20 c cardinality propagations 3022193
3600.07/3610.20 c watched propagations 794746
3600.07/3610.20 c counting propagations 922517637
3600.07/3610.20 c watch lookups 4430736120
3600.07/3610.20 c watch backjump lookups 0
3600.07/3610.20 c watch checks 14817194201
3600.07/3610.20 c propagation checks 3630349628
3600.07/3610.20 c constraint additions 755352362
3600.07/3610.20 c trail pops 930623771
3600.07/3610.20 c formula constraints 628862
3600.07/3610.20 c learned constraints 87621
3600.07/3610.20 c bound constraints 0
3600.07/3610.20 c core-guided constraints 0
3600.07/3610.20 c encountered formula constraints 33540438
3600.07/3610.20 c encountered learned constraints 324611
3600.07/3610.20 c encountered bound constraints 0
3600.07/3610.20 c encountered core-guided constraints 0
3600.07/3610.20 c LP total time 34.2482 s
3600.07/3610.20 c LP solve time 29.03 s
3600.07/3610.20 c LP constraints added 628862
3600.07/3610.20 c LP constraints removed 0
3600.07/3610.20 c LP pivots internal 9476
3600.07/3610.20 c LP pivots root 8193
3600.07/3610.20 c LP calls 5
3600.07/3610.20 c LP optimalities 2
3600.07/3610.20 c LP no pivot count 0
3600.07/3610.20 c LP infeasibilities 0
3600.07/3610.20 c LP valid Farkas constraints 0
3600.07/3610.20 c LP learned Farkas constraints 0
3600.07/3610.20 c LP basis resets 0
3600.07/3610.20 c LP cycling count 0
3600.07/3610.20 c LP singular count 0
3600.07/3610.20 c LP no primal count 0
3600.07/3610.20 c LP no farkas count 0
3600.07/3610.20 c LP other issue count 0
3600.07/3610.20 c LP Gomory cuts 10
3600.07/3610.20 c LP learned cuts 131
3600.07/3610.20 c LP deleted cuts 0
3600.07/3610.20 c LP encountered Gomory constraints 3
3600.07/3610.20 c LP encountered Farkas constraints 0
3600.07/3610.20 c LP encountered learned Farkas constraints 0
3600.07/3610.20 c CG auxiliary variables introduced 0
3600.07/3610.20 c CG solutions found 0
3600.07/3610.20 c CG cores constructed 0
3600.07/3610.20 c CG core cardinality constraints returned 0
3600.07/3610.20 c CG unit cores 0
3600.07/3610.20 c CG single cores 0
3600.07/3610.20 c CG blocks removed during cardinality reduction 0
3600.07/3610.20 c CG first core best 0
3600.07/3610.20 c CG decision core best 0
3600.07/3610.20 c CG core reduction tie 0
3600.07/3610.20 c CG core degree average 0.00
3600.07/3610.20 c CG core slack average 0.00
3600.07/3610.20 c CG core upper bound improvements 0
3600.07/3610.20 c STR number of successful calls 0
3600.07/3610.20 c STR number of unsuccessful calls 0
3600.07/3610.20 c STR number of inconclusive calls 0
3600.07/3610.20 c STR number of successful attempts 0
3600.07/3610.20 c STR number of unsuccessful attempts 0
3600.07/3610.20 c STR number of inconclusive attempts 0
3600.07/3610.20 c STR average degree increase per successful call inf
3600.07/3610.20 c STR average degree increase per successful attempt inf
3600.07/3610.20 c STR total number of conflicts for successful attempts 0
3600.07/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.20 c STR average number of conflicts per successful attempt inf
3600.07/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.20 c AVG.sumWPerc 97.62
3600.07/3610.20 c bigint constraints 0
3600.07/3610.20 s UNKNOWN
3600.07/3610.20 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 (62280 MiB free)
memory of node 1: 64465 MiB (63273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545081-1753233654/watcher-4545081-1753233654 -o /tmp/evaluation-result-4545081-1753233654/solver-4545081-1753233654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197627 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545081-1753233654.opb /tmp/proof-4545081-1753233654
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=197687, runsolver pid=197684
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.11 1.12 1.70 5/269 197690
/proc/meminfo: memFree=128363048/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197689] ppid=197687 vsize=184156 memory=166676 CPUtime=0.08 cores=5,7
/proc/197689/stat : 197689 (pbsuma) R 197687 197687 197614 0 -1 4194304 4931 0 0 0 5 3 0 0 20 0 1 0 239042989 188575744 41669 18446744073709551615 4210688 4653049 140727909724224 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 7299072 140727909730567 140727909730864 140727909730864 140727909736431 0
/proc/197689/statm: 46039 41669 992 108 0 43447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 188348 KiB
Current children cumulated memory: 169620 KiB
[startup+0.205662 s]*
/proc/loadavg: 1.11 1.12 1.70 5/269 197690
/proc/meminfo: memFree=128278116/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197689] ppid=197687 vsize=205300 memory=190484 CPUtime=0.17 cores=5,7
/proc/197689/stat : 197689 (pbsuma) R 197687 197687 197614 0 -1 4194304 10167 0 0 0 13 4 0 0 20 0 1 0 239042989 210227200 47621 18446744073709551615 4210688 4653049 140727909724224 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 7299072 140727909730567 140727909730864 140727909730864 140727909736431 0
/proc/197689/statm: 51325 47621 992 108 0 48733 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 209492 KiB
Current children cumulated memory: 193428 KiB
[startup+0.305601 s]*
/proc/loadavg: 1.11 1.12 1.70 5/269 197690
/proc/meminfo: memFree=128085112/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197689] ppid=197687 vsize=220060 memory=208688 CPUtime=0.28 cores=5,7
/proc/197689/stat : 197689 (pbsuma) R 197687 197687 197614 0 -1 4194304 13704 0 0 0 23 5 0 0 20 0 1 0 239042989 225341440 52172 18446744073709551615 4210688 4653049 140727909724224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7299072 140727909730567 140727909730864 140727909730864 140727909736431 0
/proc/197689/statm: 55015 52172 992 108 0 52423 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 224252 KiB
Current children cumulated memory: 211632 KiB
[startup+0.700206 s]
/proc/loadavg: 1.11 1.12 1.70 5/269 197690
/proc/meminfo: memFree=127972712/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197689] ppid=197687 vsize=553188 memory=457016 CPUtime=0.66 cores=5,7
/proc/197689/stat : 197689 (pbsuma) R 197687 197687 197614 0 -1 4194304 33427 0 0 0 53 13 0 0 20 0 1 0 239042989 566464512 114254 18446744073709551615 4210688 4653049 140727909724224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7299072 140727909730567 140727909730864 140727909730864 140727909736431 0
/proc/197689/statm: 138297 114254 1024 108 0 135705 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 557380 KiB
Current children cumulated memory: 459960 KiB
[startup+1.50021 s]
/proc/loadavg: 1.11 1.12 1.70 5/266 197695
/proc/meminfo: memFree=127619304/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197689] ppid=197687 vsize=861024 memory=674260 CPUtime=1.46 cores=5,7
/proc/197689/stat : 197689 (pbsuma) R 197687 197687 197614 0 -1 4194304 38192 0 0 0 129 17 0 0 20 0 1 0 239042989 881688576 168565 18446744073709551615 4210688 4653049 140727909724224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7299072 140727909730567 140727909730864 140727909730864 140727909736431 0
/proc/197689/statm: 215256 168565 1024 108 0 212664 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 865216 KiB
Current children cumulated memory: 677204 KiB
[startup+3.10565 s]
/proc/loadavg: 1.11 1.12 1.70 4/266 197753
/proc/meminfo: memFree=127626868/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=333896 memory=280260 CPUtime=1.08 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 34943 0 0 0 85 23 0 0 20 0 1 0 239043189 341909504 70065 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 83474 70065 2048 1147 0 70901 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 338088 KiB
Current children cumulated memory: 283204 KiB
[startup+6.30019 s]
/proc/loadavg: 1.42 1.18 1.72 5/269 197789
/proc/meminfo: memFree=126637076/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=1562288 memory=1041968 CPUtime=4.26 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 99625 0 0 0 346 80 0 0 20 0 1 0 239043189 1599782912 259954 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 390605 260492 2272 1147 0 378032 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1566480 KiB
Current children cumulated memory: 1044912 KiB
[startup+12.7002 s]
/proc/loadavg: 1.63 1.23 1.73 5/269 197789
/proc/meminfo: memFree=126041396/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=1883496 memory=1515748 CPUtime=10.64 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 146532 0 0 0 962 102 0 0 20 0 1 0 239043189 1928699904 378937 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 470874 378937 2304 1147 0 458301 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1887688 KiB
Current children cumulated memory: 1518692 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.77 5/269 197790
/proc/meminfo: memFree=126066580/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=1883496 memory=1515748 CPUtime=23.4 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 146533 0 0 0 2238 102 0 0 20 0 1 0 239043189 1928699904 378937 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 470874 378937 2304 1147 0 458301 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1887688 KiB
Current children cumulated memory: 1518692 KiB
[startup+51.1056 s]
/proc/loadavg: 2.91 1.61 1.84 5/269 197790
/proc/meminfo: memFree=125937052/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=1883496 memory=1515748 CPUtime=48.93 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 146553 0 0 0 4791 102 0 0 20 0 1 0 239043189 1928699904 378937 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 470874 378937 2304 1147 0 458301 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1887688 KiB
Current children cumulated memory: 1518692 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.96 5/269 197792
/proc/meminfo: memFree=125734308/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=1978692 memory=1585600 CPUtime=99.97 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 152964 0 0 0 9887 110 0 0 20 0 1 0 239043189 2026180608 396400 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 494673 396400 2336 1147 0 482100 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1982884 KiB
Current children cumulated memory: 1588544 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.41 2.11 5/270 197798
/proc/meminfo: memFree=125466472/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2011140 memory=1652968 CPUtime=159.79 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 160192 0 0 0 15861 118 0 0 20 0 1 0 239043189 2059407360 413242 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 502785 413242 2336 1147 0 490212 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2015332 KiB
Current children cumulated memory: 1655912 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.73 2.24 5/270 197851
/proc/meminfo: memFree=125813072/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2011140 memory=1655400 CPUtime=219.6 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 160830 0 0 0 21837 123 0 0 20 0 1 0 239043189 2059407360 413850 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 502785 413850 2336 1147 0 490212 0
################
# More data... #
################
[pid=197700] ppid=197687 vsize=2815904 memory=2445280 CPUtime=3091.66 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 238856 0 0 0 308575 591 0 0 20 0 1 0 239043189 2883485696 611320 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 703976 611320 2368 1147 0 691403 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 2820096 KiB
Current children cumulated memory: 2448224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/269 198011
/proc/meminfo: memFree=118778784/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2815904 memory=2445280 CPUtime=3151.49 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 238858 0 0 0 314548 601 0 0 20 0 1 0 239043189 2883485696 611320 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 703976 611320 2368 1147 0 691403 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 2820096 KiB
Current children cumulated memory: 2448224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/268 198017
/proc/meminfo: memFree=118703076/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2815904 memory=2445280 CPUtime=3211.32 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 238994 0 0 0 320520 612 0 0 20 0 1 0 239043189 2883485696 611320 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 703976 611320 2368 1147 0 691403 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 2820096 KiB
Current children cumulated memory: 2448224 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/268 198019
/proc/meminfo: memFree=118618072/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2818648 memory=2447712 CPUtime=3271.14 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 239776 0 0 0 326494 620 0 0 20 0 1 0 239043189 2886295552 611928 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 704662 611928 2368 1147 0 692089 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 2822840 KiB
Current children cumulated memory: 2450656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/269 198022
/proc/meminfo: memFree=118476508/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2825856 memory=2454624 CPUtime=3330.97 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 241506 0 0 0 332469 628 0 0 20 0 1 0 239043189 2893676544 613656 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 706464 613656 2368 1147 0 693891 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 2830048 KiB
Current children cumulated memory: 2457568 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/269 198024
/proc/meminfo: memFree=118387440/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2826692 memory=2455648 CPUtime=3390.8 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 242037 0 0 0 338445 635 0 0 20 0 1 0 239043189 2894532608 613912 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 706673 613912 2368 1147 0 694100 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 2830884 KiB
Current children cumulated memory: 2458592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/269 198026
/proc/meminfo: memFree=118225368/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2828924 memory=2457696 CPUtime=3450.62 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 242541 0 0 0 344420 642 0 0 20 0 1 0 239043189 2896818176 614424 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 707231 614424 2368 1147 0 694658 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 2833116 KiB
Current children cumulated memory: 2460640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/269 198028
/proc/meminfo: memFree=118112368/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2833332 memory=2462048 CPUtime=3510.45 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 243659 0 0 0 350394 651 0 0 20 0 1 0 239043189 2901331968 615512 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 708333 615512 2368 1147 0 695760 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 2837524 KiB
Current children cumulated memory: 2464992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.10 5/269 198030
/proc/meminfo: memFree=118015744/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2842400 memory=2471264 CPUtime=3570.29 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 246296 0 0 0 356373 656 0 0 20 0 1 0 239043189 2910617600 617816 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 710600 617816 2368 1147 0 698027 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 2846592 KiB
Current children cumulated memory: 2474208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.11 4.16 4.10 5/263 198048
/proc/meminfo: memFree=119360644/131250000 swapFree=33010160/33010684
[pid=197687] ppid=197684 vsize=4192 memory=2944 CPUtime=1.97 cores=5,7
/proc/197687/stat : 197687 (run-dec-break-l) S 197684 197687 197614 0 -1 4194304 239 50511 0 0 0 0 173 24 20 0 1 0 239042988 4292608 736 18446744073709551615 94526780649472 94526781544005 140734968835936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526781783056 94526781830800 94526810587136 140734968838457 140734968838620 140734968838620 140734968844224 0
/proc/197687/statm: 1048 736 672 219 0 110 0
[pid=197700] ppid=197687 vsize=2843344 memory=2472416 CPUtime=3598.1 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197687 197687 197614 0 -1 4194304 246571 0 0 0 359153 657 0 0 20 0 1 0 239043189 2911584256 618104 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 710836 618104 2368 1147 0 698263 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2847536 KiB
Current children cumulated memory: 2475360 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 197687 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.73407 s, system=0.25002 s
Sleeping 2 seconds
[startup+3610.47 s]
# the end of solver process 197700 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.52 s, system=6.84329 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.41 s]
/proc/loadavg: 4.11 4.16 4.10 3/258 198070
/proc/meminfo: memFree=121691744/131250000 swapFree=33010160/33010684
[pid=197700] ppid=197684 vsize=1393292 memory=1313492 CPUtime=3598.31 cores=5,7
/proc/197700/stat : 197700 (roundingsat) R 197684 197687 197614 0 -1 4194304 246736 0 0 0 359173 658 0 0 20 0 1 0 239043189 1426731008 328373 18446744073709551615 4227072 8923433 140726786831712 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34705408 140726786840856 140726786841126 140726786841126 140726786846698 0
/proc/197700/statm: 348323 328373 2464 1147 0 335750 0
Current cumulated CPU time of completed processes: 1.98409 s
Current children cumulated CPU time: 3598.31 s
Current children cumulated vsize: 1393292 KiB
Current children cumulated memory: 1313492 KiB
Child status: 2
Real time (s): 3610.47
CPU time (s): 3600.37
CPU user time (s): 3593.52
CPU system time (s): 6.84329
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 2847536
Max. memory (cumulated for all children) (KiB): 2475360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.52
system time used= 6.84329
maximum resident set size= 2472800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4361576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324
involuntary context switches= 3905
# summary of solver processes directly reported to runsolver:
# pid: 197687,197700
# total CPU time (s): 3600.37
# total CPU user time (s): 3593.52
# total CPU system time (s): 6.84329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.82977 second user time and 14.8837 second system time
The end
Begin job on nodeC016 at 2025-07-23 03:20:54
IDJOB=4545081
IDBENCH=180703
IDSOLVER=3358
FILE ID=nodeC016/4545081-1753233654
RUNJOBID= nodeC016-1753233654-197627
SLURM_JOB_ID= 9687851
Free space on /tmp= 432940 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545081-1753233654/watcher-4545081-1753233654 -o /tmp/evaluation-result-4545081-1753233654/solver-4545081-1753233654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197627 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545081-1753233654.opb /tmp/proof-4545081-1753233654
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=1508811894
nodeC016 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.758
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.48
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 : 3601.029
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.48
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 : 3489.379
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
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.48
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.736
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.48
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 : 3596.205
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.48
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.599
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.349
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128588624 kB
MemAvailable: 129509776 kB
Buffers: 2144 kB
Cached: 1636324 kB
SwapCached: 24 kB
Active: 1401400 kB
Inactive: 399428 kB
Active(anon): 186492 kB
Inactive(anon): 2108 kB
Active(file): 1214908 kB
Inactive(file): 397320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 96308 kB
Writeback: 0 kB
AnonPages: 165500 kB
Mapped: 114148 kB
Shmem: 26240 kB
KReclaimable: 296324 kB
Slab: 395976 kB
SReclaimable: 296324 kB
SUnreclaim: 99652 kB
KernelStack: 4336 kB
PageTables: 3508 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 521756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428072 MiB
End job on nodeC016 at 2025-07-23 04:21:05