0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
3.67/3.75 c #variables 625728 #constraints 628862
1538.73/1542.90 c #Conflicts: 1000 | #Constraints: 629861
1538.73/1542.90 c #Conflicts: 2000 | #Constraints: 630861
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 3000 | #Constraints: 609561
1538.73/1542.90 c #Conflicts: 4000 | #Constraints: 610561
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 5000 | #Constraints: 610018
1538.73/1542.90 c #Conflicts: 6000 | #Constraints: 611018
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 7000 | #Constraints: 609703
1538.73/1542.90 c #Conflicts: 8000 | #Constraints: 610703
1538.73/1542.90 c #Conflicts: 9000 | #Constraints: 611703
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 10000 | #Constraints: 610453
1538.73/1542.90 c #Conflicts: 11000 | #Constraints: 611453
1538.73/1542.90 c #Conflicts: 12000 | #Constraints: 612453
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 13000 | #Constraints: 609485
1538.73/1542.90 c #Conflicts: 14000 | #Constraints: 610485
1538.73/1542.90 c #Conflicts: 15000 | #Constraints: 611485
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 16000 | #Constraints: 609161
1538.73/1542.90 c #Conflicts: 17000 | #Constraints: 610161
1538.73/1542.90 c #Conflicts: 18000 | #Constraints: 611161
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 19000 | #Constraints: 609269
1538.73/1542.90 c #Conflicts: 20000 | #Constraints: 610269
1538.73/1542.90 c #Conflicts: 21000 | #Constraints: 611269
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 22000 | #Constraints: 608743
1538.73/1542.90 c #Conflicts: 23000 | #Constraints: 609743
1538.73/1542.90 c #Conflicts: 24000 | #Constraints: 610743
1538.73/1542.90 c #Conflicts: 25000 | #Constraints: 611743
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 26000 | #Constraints: 601343
1538.73/1542.90 c #Conflicts: 27000 | #Constraints: 602343
1538.73/1542.90 c #Conflicts: 28000 | #Constraints: 603343
1538.73/1542.90 c #Conflicts: 29000 | #Constraints: 604343
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 30000 | #Constraints: 601477
1538.73/1542.90 c #Conflicts: 31000 | #Constraints: 602477
1538.73/1542.90 c #Conflicts: 32000 | #Constraints: 603477
1538.73/1542.90 c #Conflicts: 33000 | #Constraints: 604477
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 34000 | #Constraints: 600936
1538.73/1542.90 c #Conflicts: 35000 | #Constraints: 601936
1538.73/1542.90 c #Conflicts: 36000 | #Constraints: 602936
1538.73/1542.90 c #Conflicts: 37000 | #Constraints: 603936
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 38000 | #Constraints: 599003
1538.73/1542.90 c #Conflicts: 39000 | #Constraints: 600003
1538.73/1542.90 c #Conflicts: 40000 | #Constraints: 601003
1538.73/1542.90 c #Conflicts: 41000 | #Constraints: 602003
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c #Conflicts: 42000 | #Constraints: 597891
1538.73/1542.90 c #Conflicts: 43000 | #Constraints: 598891
1538.73/1542.90 c #Conflicts: 44000 | #Constraints: 599891
1538.73/1542.90 c #Conflicts: 45000 | #Constraints: 600891
1538.73/1542.90 c #Conflicts: 46000 | #Constraints: 601891
1538.73/1542.90 c #Conflicts: 47000 | #Constraints: 602891
1538.73/1542.90 c #Conflicts: 48000 | #Constraints: 603891
1538.73/1542.90 c #Conflicts: 49000 | #Constraints: 604891
1538.73/1542.90 c #Conflicts: 50000 | #Constraints: 605891
1538.73/1542.90 c #Conflicts: 51000 | #Constraints: 606891
1538.73/1542.90 c #Conflicts: 52000 | #Constraints: 607891
1538.73/1542.90 c #Conflicts: 53000 | #Constraints: 608891
1538.73/1542.90 c #Conflicts: 54000 | #Constraints: 609891
1538.73/1542.90 c #Conflicts: 55000 | #Constraints: 610891
1538.73/1542.90 c #Conflicts: 56000 | #Constraints: 611891
1538.73/1542.90 c #Conflicts: 57000 | #Constraints: 612891
1538.73/1542.90 c #Conflicts: 58000 | #Constraints: 613891
1538.73/1542.90 c INPROCESSING
1538.73/1542.90 c GARBAGE COLLECT
1538.73/1542.90 c rational objective 3548.23
3600.07/3609.30 c #Conflicts: 59000 | #Constraints: 592613
3600.07/3609.30 c #Conflicts: 60000 | #Constraints: 593613
3600.07/3609.30 c #Conflicts: 61000 | #Constraints: 594613
3600.07/3609.30 c #Conflicts: 62000 | #Constraints: 595613
3600.07/3609.30 c #Conflicts: 63000 | #Constraints: 596613
3600.07/3609.30 c #Conflicts: 64000 | #Constraints: 597613
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 65000 | #Constraints: 589213
3600.07/3609.30 c #Conflicts: 66000 | #Constraints: 590213
3600.07/3609.30 c #Conflicts: 67000 | #Constraints: 591213
3600.07/3609.30 c #Conflicts: 68000 | #Constraints: 592213
3600.07/3609.30 c #Conflicts: 69000 | #Constraints: 593213
3600.07/3609.30 c #Conflicts: 70000 | #Constraints: 594213
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 71000 | #Constraints: 582648
3600.07/3609.30 c #Conflicts: 72000 | #Constraints: 583648
3600.07/3609.30 c #Conflicts: 73000 | #Constraints: 584648
3600.07/3609.30 c #Conflicts: 74000 | #Constraints: 585648
3600.07/3609.30 c #Conflicts: 75000 | #Constraints: 586648
3600.07/3609.30 c #Conflicts: 76000 | #Constraints: 587648
3600.07/3609.30 c #Conflicts: 77000 | #Constraints: 588648
3600.07/3609.30 c #Conflicts: 78000 | #Constraints: 589648
3600.07/3609.30 c #Conflicts: 79000 | #Constraints: 590648
3600.07/3609.30 c #Conflicts: 80000 | #Constraints: 591648
3600.07/3609.30 c #Conflicts: 81000 | #Constraints: 592648
3600.07/3609.30 c #Conflicts: 82000 | #Constraints: 593648
3600.07/3609.30 c #Conflicts: 83000 | #Constraints: 594648
3600.07/3609.30 c #Conflicts: 84000 | #Constraints: 595648
3600.07/3609.30 c #Conflicts: 85000 | #Constraints: 596648
3600.07/3609.30 c #Conflicts: 86000 | #Constraints: 597648
3600.07/3609.30 c #Conflicts: 87000 | #Constraints: 598648
3600.07/3609.30 c #Conflicts: 88000 | #Constraints: 599648
3600.07/3609.30 c #Conflicts: 89000 | #Constraints: 600648
3600.07/3609.30 c #Conflicts: 90000 | #Constraints: 601648
3600.07/3609.30 c #Conflicts: 91000 | #Constraints: 602648
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 92000 | #Constraints: 578673
3600.07/3609.30 c #Conflicts: 93000 | #Constraints: 579673
3600.07/3609.30 c #Conflicts: 94000 | #Constraints: 580673
3600.07/3609.30 c #Conflicts: 95000 | #Constraints: 581673
3600.07/3609.30 c cpu time 3592.09 s
3600.07/3609.30 c deterministic time 35364902731 3.54e+10
3600.07/3609.30 c optimization time 289.95 s
3600.07/3609.30 c total solve time 3299.14 s
3600.07/3609.30 c core-guided solve time 0 s
3600.07/3609.30 c propagation time 360.824 s
3600.07/3609.30 c conflict analysis time 3142.79 s
3600.07/3609.30 c propagations 1018589093
3600.07/3609.30 c resolve steps 41753049
3600.07/3609.30 c decisions 1801118
3600.07/3609.30 c conflicts 95715
3600.07/3609.30 c restarts 254
3600.07/3609.30 c inprocessing phases 17
3600.07/3609.30 c garbage collections 17 ,( 100.00 )
3600.07/3609.30 c input clauses 6382 ,( 1.01 )
3600.07/3609.30 c input cardinalities 82 ,( 0.01 )
3600.07/3609.30 c input general constraints 622398 ,( 98.97 )
3600.07/3609.30 c input average constraint length 4.77
3600.07/3609.30 c input average constraint degree 2.97
3600.07/3609.30 c learned clauses 56506 ,( 59.03 )
3600.07/3609.30 c learned cardinalities 16180 ,( 16.90 )
3600.07/3609.30 c learned general constraints 23031 ,( 24.06 )
3600.07/3609.30 c learned average constraint length 5366.01
3600.07/3609.30 c learned average constraint degree 101673472.07
3600.07/3609.30 c watched CF 32, 64, 128, Arb: 16084 , 0 , 0 , 0
3600.07/3609.30 c counting CF 32, 64, 128, Arb: 629345 , 0 , 0 , 0
3600.07/3609.30 c watched constraints 16084 ,( 2.49 )
3600.07/3609.30 c counting constraints 629345 ,( 97.51 )
3600.07/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 49971594 , 28017007 , 2042257749 ,( 24443970 , 2017813779 )
3600.07/3609.30 c gcd simplifications 3921
3600.07/3609.30 c detected cardinalities 1025
3600.07/3609.30 c weakened non-implied lits 5241074
3600.07/3609.30 c weakened non-implying lits 412840
3600.07/3609.30 c original variables 625728
3600.07/3609.30 c clausal propagations 2805073
3600.07/3609.30 c cardinality propagations 3241305
3600.07/3609.30 c watched propagations 924574
3600.07/3609.30 c counting propagations 1011152291
3600.07/3609.30 c watch lookups 7549986686
3600.07/3609.30 c watch backjump lookups 0
3600.07/3609.30 c watch checks 20278678312
3600.07/3609.30 c propagation checks 4570235711
3600.07/3609.30 c constraint additions 925617710
3600.07/3609.30 c trail pops 1019965993
3600.07/3609.30 c formula constraints 628862
3600.07/3609.30 c learned constraints 95714
3600.07/3609.30 c bound constraints 0
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 41441661
3600.07/3609.30 c encountered learned constraints 407103
3600.07/3609.30 c encountered bound constraints 0
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 62.3731 s
3600.07/3609.30 c LP solve time 57.41 s
3600.07/3609.30 c LP constraints added 628862
3600.07/3609.30 c LP constraints removed 0
3600.07/3609.30 c LP pivots internal 10000
3600.07/3609.30 c LP pivots root 18107
3600.07/3609.30 c LP calls 5
3600.07/3609.30 c LP optimalities 1
3600.07/3609.30 c LP no pivot count 0
3600.07/3609.30 c LP infeasibilities 0
3600.07/3609.30 c LP valid Farkas constraints 0
3600.07/3609.30 c LP learned Farkas constraints 0
3600.07/3609.30 c LP basis resets 0
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 0
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 3
3600.07/3609.30 c LP learned cuts 184
3600.07/3609.30 c LP deleted cuts 0
3600.07/3609.30 c LP encountered Gomory constraints 0
3600.07/3609.30 c LP encountered Farkas constraints 0
3600.07/3609.30 c LP encountered learned Farkas constraints 0
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 0
3600.07/3609.30 c CG core cardinality constraints returned 0
3600.07/3609.30 c CG unit cores 0
3600.07/3609.30 c CG single cores 0
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 0.00
3600.07/3609.30 c CG core slack average 0.00
3600.07/3609.30 c CG core upper bound improvements 0
3600.07/3609.30 c STR number of successful calls 0
3600.07/3609.30 c STR number of unsuccessful calls 0
3600.07/3609.30 c STR number of inconclusive calls 0
3600.07/3609.30 c STR number of successful attempts 0
3600.07/3609.30 c STR number of unsuccessful attempts 0
3600.07/3609.30 c STR number of inconclusive attempts 0
3600.07/3609.30 c STR average degree increase per successful call inf
3600.07/3609.30 c STR average degree increase per successful attempt inf
3600.07/3609.30 c STR total number of conflicts for successful attempts 0
3600.07/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30 c STR average number of conflicts per successful attempt inf
3600.07/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30 c AVG.sumWPerc 97.44
3600.07/3609.30 c bigint constraints 0
3600.07/3609.30 s UNKNOWN
3600.07/3609.30 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 (57324 MiB free)
memory of node 1: 64465 MiB (58929 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545077-1753208377/watcher-4545077-1753208377 -o /tmp/evaluation-result-4545077-1753208377/solver-4545077-1753208377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149648 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545077-1753208377.opb /tmp/proof-4545077-1753208377
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=151066, runsolver pid=151063
[startup+0.100061 s]*
/proc/loadavg: 4.09 4.15 4.17 5/268 151068
/proc/meminfo: memFree=118921200/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=186516 memory=141720 CPUtime=0.08 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 6822 0 0 0 5 3 0 0 20 0 1 0 236516368 190992384 35430 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 46629 35430 1952 1147 0 34056 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 190708 KiB
Current children cumulated memory: 144664 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.09 4.15 4.17 5/268 151068
/proc/meminfo: memFree=118919320/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=191420 memory=148684 CPUtime=0.19 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 8961 0 0 0 13 6 0 0 20 0 1 0 236516368 196014080 37171 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 47855 37171 1952 1147 0 35282 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 195612 KiB
Current children cumulated memory: 151628 KiB
[startup+0.305541 s]*
/proc/loadavg: 4.09 4.15 4.17 5/268 151068
/proc/meminfo: memFree=118913272/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=199028 memory=154492 CPUtime=0.29 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 11331 0 0 0 21 8 0 0 20 0 1 0 236516368 203804672 38623 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 49757 38623 1952 1147 0 37184 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 203220 KiB
Current children cumulated memory: 157436 KiB
[startup+0.700155 s]
/proc/loadavg: 4.09 4.15 4.17 5/268 151068
/proc/meminfo: memFree=118898340/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=225888 memory=180688 CPUtime=0.68 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 17130 0 0 0 52 16 0 0 20 0 1 0 236516368 231309312 45172 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 56472 45172 1952 1147 0 43899 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 230080 KiB
Current children cumulated memory: 183632 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.15 4.17 5/268 151068
/proc/meminfo: memFree=118854364/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=289192 memory=232288 CPUtime=1.48 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 26119 0 0 0 117 31 0 0 20 0 1 0 236516368 296132608 58072 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 72298 58072 1952 1147 0 59725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 293384 KiB
Current children cumulated memory: 235232 KiB
[startup+3.10548 s]
/proc/loadavg: 4.09 4.15 4.17 5/267 151068
/proc/meminfo: memFree=118374296/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=778964 memory=598092 CPUtime=3.07 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 56430 0 0 0 246 61 0 0 20 0 1 0 236516368 797659136 149011 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 194741 149523 2240 1147 0 182168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 783156 KiB
Current children cumulated memory: 601036 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.15 4.17 5/267 151068
/proc/meminfo: memFree=117724064/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1652304 memory=1283228 CPUtime=6.27 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 112197 0 0 0 535 92 0 0 20 0 1 0 236516368 1691959296 320807 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 413076 320807 2272 1147 0 400503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1656496 KiB
Current children cumulated memory: 1286172 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 151068
/proc/meminfo: memFree=117675188/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1678264 memory=1318232 CPUtime=12.64 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 117903 0 0 0 1170 94 0 0 20 0 1 0 236516368 1718542336 329558 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 419566 329558 2304 1147 0 406993 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1682456 KiB
Current children cumulated memory: 1321176 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.17 5/267 151068
/proc/meminfo: memFree=117579520/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1742516 memory=1352928 CPUtime=25.42 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 121525 0 0 0 2443 99 0 0 20 0 1 0 236516368 1784336384 338232 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 435629 338232 2304 1147 0 423056 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1746708 KiB
Current children cumulated memory: 1355872 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.15 4.17 5/267 151069
/proc/meminfo: memFree=117437760/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1762396 memory=1385072 CPUtime=50.96 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 124960 0 0 0 4990 106 0 0 20 0 1 0 236516368 1804693504 346268 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 440599 346268 2304 1147 0 428026 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1766588 KiB
Current children cumulated memory: 1388016 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/267 151071
/proc/meminfo: memFree=117246932/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1779172 memory=1422216 CPUtime=102.02 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 127177 0 0 0 10082 120 0 0 20 0 1 0 236516368 1821872128 355554 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 444793 355554 2304 1147 0 432220 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1783364 KiB
Current children cumulated memory: 1425160 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/267 151072
/proc/meminfo: memFree=116952964/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1827424 memory=1480624 CPUtime=161.88 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 133312 0 0 0 16043 145 0 0 20 0 1 0 236516368 1871282176 370156 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 456856 370156 2304 1147 0 444283 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1831616 KiB
Current children cumulated memory: 1483568 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/266 151074
/proc/meminfo: memFree=116703216/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=1908812 memory=1494276 CPUtime=221.74 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 134239 0 0 0 22019 155 0 0 20 0 1 0 236516368 1954623488 373569 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 477203 373569 2304 1147 0 464630 0
################
# More data... #
################
[pid=151068] ppid=151066 vsize=3045556 memory=2488052 CPUtime=3094.17 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 241424 0 0 0 308666 751 0 0 20 0 1 0 236516368 3118649344 622013 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 761389 622013 2336 1147 0 748816 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 3049748 KiB
Current children cumulated memory: 2490996 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.10 3.15 4/260 151304
/proc/meminfo: memFree=114973592/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3057384 memory=2522200 CPUtime=3154.01 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 244738 0 0 0 314644 757 0 0 20 0 1 0 236516368 3130761216 630550 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 764346 630550 2336 1147 0 751773 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 3061576 KiB
Current children cumulated memory: 2525144 KiB
[startup+3222.3 s]
/proc/loadavg: 2.57 2.96 3.10 3/253 151337
/proc/meminfo: memFree=117294828/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3070680 memory=2556096 CPUtime=3213.88 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 248259 0 0 0 320624 764 0 0 20 0 1 0 236516368 3144376320 639024 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 767670 639024 2336 1147 0 755097 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 3074872 KiB
Current children cumulated memory: 2559040 KiB
[startup+3282.3 s]
/proc/loadavg: 2.33 2.81 3.04 3/253 151339
/proc/meminfo: memFree=117194944/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3080280 memory=2593752 CPUtime=3273.76 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 250534 0 0 0 326606 770 0 0 20 0 1 0 236516368 3154206720 648438 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 770070 648438 2336 1147 0 757497 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 3084472 KiB
Current children cumulated memory: 2596696 KiB
[startup+3342.3 s]
/proc/loadavg: 2.52 2.76 3.00 3/253 151341
/proc/meminfo: memFree=117041324/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3333.63 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257595 0 0 0 332586 777 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
[startup+3402.3 s]
/proc/loadavg: 2.24 2.64 2.94 3/254 151350
/proc/meminfo: memFree=116969412/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3393.5 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257598 0 0 0 338568 782 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 2.55 2.89 3/253 151352
/proc/meminfo: memFree=116937364/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3453.38 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257598 0 0 0 344550 788 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.46 2.84 3/253 151354
/proc/meminfo: memFree=116912964/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3513.25 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257890 0 0 0 350532 793 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.39 2.79 3/253 151356
/proc/meminfo: memFree=116872452/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3573.12 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257896 0 0 0 356514 798 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 2.11 2.37 2.77 3/253 151358
/proc/meminfo: memFree=116872824/131250000 swapFree=33010672/33010684
[pid=151066] ppid=151063 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/151066/stat : 151066 (run-dec-log.sh) S 151063 151066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236516367 4292608 736 18446744073709551615 94165064916992 94165065811525 140734792747328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94165066050576 94165066098320 94165084598272 140734792751429 140734792751586 140734792751586 140734792757190 0
/proc/151066/statm: 1048 736 672 219 0 110 0
[pid=151068] ppid=151066 vsize=3111720 memory=2652804 CPUtime=3600.07 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151066 151066 149629 0 -1 4194304 257896 0 0 0 359208 799 0 0 20 0 1 0 236516368 3186401280 663201 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 777930 663201 2336 1147 0 765357 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3115912 KiB
Current children cumulated memory: 2655748 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 151066 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00047 s, system=0.001883 s
Sleeping 2 seconds
[startup+3609.46 s]
# the end of solver process 151068 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.23 s, system=8.01242 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.4 s]*
/proc/loadavg: 2.11 2.37 2.77 3/252 151358
/proc/meminfo: memFree=118303064/131250000 swapFree=33010672/33010684
[pid=151068] ppid=151063 vsize=1269604 memory=1188076 CPUtime=3600.19 cores=1,3
/proc/151068/stat : 151068 (roundingsat) R 151063 151066 149629 0 -1 4194304 258010 0 0 0 359219 800 0 0 20 0 1 0 236516368 1300074496 297019 18446744073709551615 4227072 8923433 140722340405088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24190976 140722340407691 140722340407846 140722340407846 140722340413418 0
/proc/151068/statm: 317401 297019 2432 1147 0 304828 0
Current cumulated CPU time of completed processes: 0.002353 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 1269604 KiB
Current children cumulated memory: 1188076 KiB
Child status: 2
Real time (s): 3609.46
CPU time (s): 3600.25
CPU user time (s): 3592.23
CPU system time (s): 8.01242
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 3115912
Max. memory (cumulated for all children) (KiB): 2655748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.23
system time used= 8.01242
maximum resident set size= 2653188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4807552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184
involuntary context switches= 4837
# summary of solver processes directly reported to runsolver:
# pid: 151066,151068
# total CPU time (s): 3600.25
# total CPU user time (s): 3592.23
# total CPU system time (s): 8.01242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51073 second user time and 15.2061 second system time
The end
Begin job on nodeC026 at 2025-07-22 20:19:37
IDJOB=4545077
IDBENCH=180703
IDSOLVER=3352
FILE ID=nodeC026/4545077-1753208377
RUNJOBID= nodeC026-1753198973-149648
SLURM_JOB_ID= 9687759
Free space on /tmp= 430572 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545077-1753208377/watcher-4545077-1753208377 -o /tmp/evaluation-result-4545077-1753208377/solver-4545077-1753208377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149648 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545077-1753208377.opb /tmp/proof-4545077-1753208377
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=1773479743
nodeC026 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.547
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.59
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 : 3598.970
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.59
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 : 3640.792
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.59
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.793
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.59
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.832
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.59
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.789
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.59
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 : 3556.363
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.59
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 : 3511.111
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119043668 kB
MemAvailable: 124914112 kB
Buffers: 2128 kB
Cached: 6496200 kB
SwapCached: 4 kB
Active: 5824956 kB
Inactive: 5353988 kB
Active(anon): 4701616 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 5348644 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68752 kB
Writeback: 60 kB
AnonPages: 4682548 kB
Mapped: 122728 kB
Shmem: 26268 kB
KReclaimable: 459260 kB
Slab: 563972 kB
SReclaimable: 459260 kB
SUnreclaim: 104712 kB
KernelStack: 4320 kB
PageTables: 12432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5387316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3297280 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 428556 MiB
End job on nodeC026 at 2025-07-22 21:19:47