0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
21.23/21.36 c Converting 9888 PB-constraints to clauses...
526.04/527.47 c Out of memery in converting constraints: std::bad_alloc
526.04/527.47 s UNKNOWN
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 (49972 MiB free)
memory of node 1: 64465 MiB (63726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511964-1751198877/watcher-4511964-1751198877 -o /tmp/evaluation-result-4511964-1751198877/solver-4511964-1751198877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23914 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511964-1751198877.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=25867, runsolver pid=25864
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.14 4.10 5/266 25868
/proc/meminfo: memFree=116407596/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=24704 memory=23300 CPUtime=0.1 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 6139 0 0 0 9 1 0 0 20 0 1 0 35510327 25296896 5825 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 6176 5825 448 484 0 5587 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24704 KiB
Current children cumulated memory: 23300 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.08 4.14 4.10 5/266 25868
/proc/meminfo: memFree=116388192/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=44668 memory=42536 CPUtime=0.2 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 10841 0 0 0 18 2 0 0 20 0 1 0 35510327 45740032 10634 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 11167 10634 448 484 0 10578 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44668 KiB
Current children cumulated memory: 42536 KiB
[startup+0.305483 s]*
/proc/loadavg: 4.08 4.14 4.10 5/266 25868
/proc/meminfo: memFree=116380128/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=55656 memory=50984 CPUtime=0.3 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 12983 0 0 0 28 2 0 0 20 0 1 0 35510327 56991744 12746 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 13914 12746 448 484 0 13325 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55656 KiB
Current children cumulated memory: 50984 KiB
[startup+0.700169 s]
/proc/loadavg: 4.08 4.14 4.10 5/266 25868
/proc/meminfo: memFree=116327772/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=157300 memory=147504 CPUtime=0.69 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 26884 0 0 0 63 6 0 0 20 0 1 0 35510327 161075200 36876 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 39325 36876 448 484 0 38736 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157300 KiB
Current children cumulated memory: 147504 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.14 4.10 5/266 25868
/proc/meminfo: memFree=116237936/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=313348 memory=284048 CPUtime=1.48 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 39077 0 0 0 139 9 0 0 20 0 1 0 35510327 320868352 71012 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 78337 71012 448 484 0 77748 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313348 KiB
Current children cumulated memory: 284048 KiB
[startup+3.10538 s]
/proc/loadavg: 4.15 4.15 4.10 5/266 25868
/proc/meminfo: memFree=115778228/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=632428 memory=589044 CPUtime=3.08 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 64788 0 0 0 290 18 0 0 20 0 1 0 35510327 647606272 147261 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 158107 147261 448 484 0 157518 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 632428 KiB
Current children cumulated memory: 589044 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.15 4.10 5/266 25868
/proc/meminfo: memFree=115130896/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=1229912 memory=1164112 CPUtime=6.27 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 113740 0 0 0 591 36 0 0 20 0 1 0 35510327 1259429888 291028 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 307478 291028 448 484 0 306889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1229912 KiB
Current children cumulated memory: 1164112 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.10 5/266 25869
/proc/meminfo: memFree=114596396/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=1659728 memory=1541036 CPUtime=12.66 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 207606 0 0 0 1215 51 0 0 20 0 1 0 35510327 1699561472 385259 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 414932 385259 448 484 0 414343 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1659728 KiB
Current children cumulated memory: 1541036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 5/266 25869
/proc/meminfo: memFree=113335684/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=2649208 memory=2439344 CPUtime=25.42 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 388952 0 0 0 2455 87 0 0 20 0 1 0 35510327 2712788992 609836 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 662302 609836 480 484 0 661713 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2649208 KiB
Current children cumulated memory: 2439344 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.15 4.10 5/265 25869
/proc/meminfo: memFree=111051132/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=4307960 memory=3968348 CPUtime=50.96 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 501910 0 0 0 4957 139 0 0 20 0 1 0 35510327 4411351040 992087 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 1076990 992087 480 484 0 1076401 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4307960 KiB
Current children cumulated memory: 3968348 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 25871
/proc/meminfo: memFree=106876340/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=6486288 memory=5901956 CPUtime=102.03 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 659219 0 0 0 9992 211 0 0 20 0 1 0 35510327 6641958912 1475489 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 1621572 1475489 480 484 0 1620983 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 6486288 KiB
Current children cumulated memory: 5901956 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 25918
/proc/meminfo: memFree=110639008/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=7824468 memory=7011456 CPUtime=161.88 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 794705 0 0 0 15938 250 0 0 20 0 1 0 35510327 8012255232 1752864 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 1956117 1752864 480 484 0 1955528 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 7824468 KiB
Current children cumulated memory: 7011456 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 25967
/proc/meminfo: memFree=102948984/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=10918404 memory=10518924 CPUtime=221.72 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 895709 0 0 0 21841 331 0 0 20 0 1 0 35510327 11180445696 2629731 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2729601 2629731 480 484 0 2729012 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 10918404 KiB
Current children cumulated memory: 10518924 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 26013
/proc/meminfo: memFree=106404700/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11044980 memory=9743656 CPUtime=281.57 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 968917 0 0 0 27804 353 0 0 20 0 1 0 35510327 11310059520 2435914 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2761245 2435914 480 484 0 2760656 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 11044980 KiB
Current children cumulated memory: 9743656 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 26015
/proc/meminfo: memFree=100123740/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11368216 memory=10393720 CPUtime=341.42 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1043801 0 0 0 33761 381 0 0 20 0 1 0 35510327 11641053184 2598430 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2842054 2598430 480 484 0 2841465 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 11368216 KiB
Current children cumulated memory: 10393720 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 26020
/proc/meminfo: memFree=95061404/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11647524 memory=10984156 CPUtime=401.25 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1115804 0 0 0 39722 403 0 0 20 0 1 0 35510327 11927064576 2746039 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2911881 2746039 480 484 0 2911292 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 11647524 KiB
Current children cumulated memory: 10984156 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 26022
/proc/meminfo: memFree=92788128/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11708868 memory=11106876 CPUtime=461.1 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1134004 0 0 0 45701 409 0 0 20 0 1 0 35510327 11989880832 2776719 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2927217 2776719 480 484 0 2926628 0
Current children cumulated CPU time: 461.1 s
Current children cumulated vsize: 11708868 KiB
Current children cumulated memory: 11106876 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 26030
/proc/meminfo: memFree=89763056/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11714224 memory=11112252 CPUtime=520.95 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1138142 0 0 0 51684 411 0 0 20 0 1 0 35510327 11995365376 2778063 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2928556 2778063 480 484 0 2927967 0
Current children cumulated CPU time: 520.95 s
Current children cumulated vsize: 11714224 KiB
Current children cumulated memory: 11112252 KiB
[startup+527.642 s]
# the end of solver process 25867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=522.01 s, system=4.27787 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 26030
/proc/meminfo: memFree=89702128/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11714796 memory=11112764 CPUtime=523.44 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1138288 0 0 0 51933 411 0 0 20 0 1 0 35510327 11995951104 2778191 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2928699 2778191 480 484 0 2928110 0
Current children cumulated CPU time: 523.44 s
Current children cumulated vsize: 11714796 KiB
Current children cumulated memory: 11112764 KiB
[startup+526.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 26030
/proc/meminfo: memFree=89645168/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11715504 memory=11113532 CPUtime=525.04 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1138543 0 0 0 52093 411 0 0 20 0 1 0 35510327 11996676096 2778383 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2928876 2778383 480 484 0 2928287 0
Current children cumulated CPU time: 525.04 s
Current children cumulated vsize: 11715504 KiB
Current children cumulated memory: 11113532 KiB
[startup+527.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 26030
/proc/meminfo: memFree=89612656/131250000 swapFree=33010684/33010684
[pid=25867] ppid=25864 vsize=11716060 memory=11114172 CPUtime=525.84 cores=5,7
/proc/25867/stat : 25867 (uwrmaxsat) R 25864 25867 23901 0 -1 4194304 1138742 0 0 0 52173 411 0 0 20 0 1 0 35510327 11997245440 2778543 18446744073709551615 4198400 6176925 140725057429936 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18255872 140725057436010 140725057436137 140725057436137 140725057441739 0
/proc/25867/statm: 2929015 2778543 480 484 0 2928426 0
Current children cumulated CPU time: 525.84 s
Current children cumulated vsize: 11716060 KiB
Current children cumulated memory: 11114172 KiB
[startup+527.605 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 26030
/proc/meminfo: memFree=90757044/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 527.642
CPU time (s): 526.288
CPU user time (s): 522.01
CPU system time (s): 4.27787
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 11716060
Max. memory (cumulated for all children) (KiB): 11114172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 522.01
system time used= 4.27787
maximum resident set size= 11114172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1138746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54
involuntary context switches= 686
# summary of solver processes directly reported to runsolver:
# pid: 25867
# total CPU time (s): 526.288
# total CPU user time (s): 522.01
# total CPU system time (s): 4.27787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.951793 second user time and 2.28069 second system time
The end
Begin job on nodeC028 at 2025-06-29 14:07:58
IDJOB=4511964
IDBENCH=160488
IDSOLVER=3372
FILE ID=nodeC028/4511964-1751198877
RUNJOBID= nodeC028-1751194547-23914
SLURM_JOB_ID= 9587599
Free space on /tmp= 432904 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511964-1751198877/watcher-4511964-1751198877 -o /tmp/evaluation-result-4511964-1751198877/solver-4511964-1751198877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23914 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511964-1751198877.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2eef1711f83da3240b93c8bf7cceebfd
RANDOM SEED=564718693
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.080
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3601.869
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3593.682
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.620
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3647.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116427780 kB
MemAvailable: 116263780 kB
Buffers: 3280 kB
Cached: 646312 kB
SwapCached: 0 kB
Active: 13768084 kB
Inactive: 389944 kB
Active(anon): 13526504 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 389944 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 112948 kB
Writeback: 0 kB
AnonPages: 13511172 kB
Mapped: 108856 kB
Shmem: 18068 kB
KReclaimable: 87432 kB
Slab: 170580 kB
SReclaimable: 87432 kB
SUnreclaim: 83148 kB
KernelStack: 4320 kB
PageTables: 29588 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 15661872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8878080 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432556 MiB
End job on nodeC028 at 2025-06-29 14:16:46