runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62263 MiB free)
memory of node 1: 64507 MiB (63248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545101-1753238044/watcher-4545101-1753238044 -o /tmp/evaluation-result-4545101-1753238044/solver-4545101-1753238044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202420 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545101-1753238044.opb -total-t=3600 -no-par -v0
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=202472, runsolver pid=202460
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.12 1.10 1.11 4/261 202477
/proc/meminfo: memFree=128464900/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=30540 memory=14592 CPUtime=0.09 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 2976 0 0 0 9 0 0 0 20 0 1 0 239484676 31272960 3648 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 7635 3648 864 2593 0 4528 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30540 KiB
Current children cumulated memory: 14592 KiB
[startup+0.205463 s]*
/proc/loadavg: 1.12 1.10 1.11 5/259 202485
/proc/meminfo: memFree=128447368/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=41172 memory=23808 CPUtime=0.19 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 5276 0 0 0 19 0 0 0 20 0 1 0 239484676 42160128 5952 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 10293 5952 864 2593 0 7186 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 23808 KiB
[startup+0.305626 s]*
/proc/loadavg: 1.12 1.10 1.11 4/259 202485
/proc/meminfo: memFree=128409064/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=52560 memory=33652 CPUtime=0.3 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 7871 0 0 0 29 1 0 0 20 0 1 0 239484676 53821440 8413 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 13140 8413 864 2593 0 10033 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52560 KiB
Current children cumulated memory: 33652 KiB
[startup+0.700155 s]
/proc/loadavg: 1.12 1.10 1.11 4/259 202485
/proc/meminfo: memFree=128353120/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=91912 memory=67572 CPUtime=0.69 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 16354 0 0 0 66 3 0 0 20 0 1 0 239484676 94117888 16893 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 22978 16893 864 2593 0 19871 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91912 KiB
Current children cumulated memory: 67572 KiB
[startup+1.50018 s]
/proc/loadavg: 1.12 1.10 1.11 4/259 202485
/proc/meminfo: memFree=128245012/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=175232 memory=139796 CPUtime=1.48 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 34665 0 0 0 142 6 0 0 20 0 1 0 239484676 179437568 34949 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 43808 34949 864 2593 0 40701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175232 KiB
Current children cumulated memory: 139796 KiB
[startup+3.10533 s]
/proc/loadavg: 1.35 1.15 1.12 5/263 202522
/proc/meminfo: memFree=127905236/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=342284 memory=284752 CPUtime=3.09 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 71402 0 0 0 294 15 0 0 20 0 1 0 239484676 350498816 71188 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 85571 71188 864 2593 0 82464 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 342284 KiB
Current children cumulated memory: 284752 KiB
[startup+6.30016 s]
/proc/loadavg: 1.35 1.15 1.12 5/263 202522
/proc/meminfo: memFree=127339440/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=674488 memory=572952 CPUtime=6.27 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 143454 0 0 0 598 29 0 0 20 0 1 0 239484676 690675712 143238 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 168622 143238 864 2593 0 165515 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 674488 KiB
Current children cumulated memory: 572952 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 1.19 1.14 5/263 202522
/proc/meminfo: memFree=125584704/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=1205344 memory=1102112 CPUtime=12.66 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 185422 0 0 0 1221 45 0 0 20 0 1 0 239484676 1234272256 275528 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 301336 275528 896 2593 0 298229 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1205344 KiB
Current children cumulated memory: 1102112 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.33 1.18 5/263 202522
/proc/meminfo: memFree=123982976/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=1886112 memory=1732176 CPUtime=25.43 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 252657 0 0 0 2474 69 0 0 20 0 1 0 239484676 1931378688 433044 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 471528 433044 896 2593 0 468421 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1886112 KiB
Current children cumulated memory: 1732176 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 1.56 1.26 5/263 202568
/proc/meminfo: memFree=122900820/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=3248952 memory=2963008 CPUtime=50.97 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 359899 0 0 0 4985 112 0 0 20 0 1 0 239484676 3326926848 740752 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 812238 740752 896 2593 0 809131 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3248952 KiB
Current children cumulated memory: 2963008 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.42 5/264 202569
/proc/meminfo: memFree=120499336/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=5085828 memory=4945396 CPUtime=102.01 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 516798 0 0 0 10020 181 0 0 20 0 1 0 239484676 5207887872 1236349 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 1271457 1236349 896 2593 0 1268350 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 5085828 KiB
Current children cumulated memory: 4945396 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.36 1.59 5/265 202572
/proc/meminfo: memFree=119145512/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9223728 memory=7028580 CPUtime=161.84 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 672485 0 0 0 15939 245 0 0 20 0 1 0 239484676 9445097472 1757145 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2305932 1757145 896 2593 0 2302825 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 9223728 KiB
Current children cumulated memory: 7028580 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.68 1.75 5/266 202577
/proc/meminfo: memFree=116995944/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9469604 memory=8419288 CPUtime=221.67 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 766846 0 0 0 21851 316 0 0 20 0 1 0 239484676 9696874496 2104822 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2367401 2104822 896 2593 0 2364294 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 9469604 KiB
Current children cumulated memory: 8419288 KiB
[startup+246.432 s]
# the end of solver process 202472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=242.006 s, system=3.72437 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.03 2.72 1.77 5/266 202577
/proc/meminfo: memFree=116713308/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9613304 memory=8714556 CPUtime=229.73 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 803364 0 0 0 22647 326 0 0 20 0 1 0 239484676 9844023296 2178639 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2403326 2178639 896 2593 0 2400219 0
Current children cumulated CPU time: 229.73 s
Current children cumulated vsize: 9613304 KiB
Current children cumulated memory: 8714556 KiB
[startup+236.8 s]
/proc/loadavg: 4.03 2.74 1.79 5/266 202579
/proc/meminfo: memFree=116409580/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9766360 memory=9029468 CPUtime=236.11 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 842103 0 0 0 23274 337 0 0 20 0 1 0 239484676 10000752640 2257367 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2441590 2257367 896 2593 0 2438483 0
Current children cumulated CPU time: 236.11 s
Current children cumulated vsize: 9766360 KiB
Current children cumulated memory: 9029468 KiB
[startup+243.2 s]
/proc/loadavg: 4.10 2.80 1.82 5/266 202579
/proc/meminfo: memFree=116069740/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9914676 memory=9327920 CPUtime=242.5 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 878672 0 0 0 23900 350 0 0 20 0 1 0 239484676 10152628224 2331980 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2478669 2331980 896 2593 0 2475562 0
Current children cumulated CPU time: 242.5 s
Current children cumulated vsize: 9914676 KiB
Current children cumulated memory: 9327920 KiB
[startup+244.8 s]
/proc/loadavg: 4.10 2.80 1.82 5/266 202579
/proc/meminfo: memFree=116000808/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9945892 memory=9392828 CPUtime=244.09 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 886496 0 0 0 24056 353 0 0 20 0 1 0 239484676 10184593408 2348207 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2486473 2348207 1152 2593 0 2483366 0
Current children cumulated CPU time: 244.09 s
Current children cumulated vsize: 9945892 KiB
Current children cumulated memory: 9392828 KiB
[startup+245.6 s]
/proc/loadavg: 4.10 2.80 1.82 5/266 202579
/proc/meminfo: memFree=115980960/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9945892 memory=9392956 CPUtime=244.89 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 886514 0 0 0 24136 353 0 0 20 0 1 0 239484676 10184593408 2348239 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2486473 2348239 1152 2593 0 2483366 0
Current children cumulated CPU time: 244.89 s
Current children cumulated vsize: 9945892 KiB
Current children cumulated memory: 9392956 KiB
[startup+246 s]*
/proc/loadavg: 4.10 2.80 1.82 5/266 202579
/proc/meminfo: memFree=116001496/131250000 swapFree=33008868/33010684
[pid=202472] ppid=202460 vsize=9945892 memory=9392956 CPUtime=245.29 cores=5,7
/proc/202472/stat : 202472 (CASHWMaxSAT-Dis) R 202460 202472 201822 0 -1 4194304 886516 0 0 0 24176 353 0 0 20 0 1 0 239484676 10184593408 2348239 18446744073709551615 4198400 14817773 140725015801120 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33624064 140725015808360 140725015808475 140725015808475 140725015814079 0
/proc/202472/statm: 2486473 2348239 1152 2593 0 2483366 0
Current children cumulated CPU time: 245.29 s
Current children cumulated vsize: 9945892 KiB
Current children cumulated memory: 9392956 KiB
[startup+246.405 s]
/proc/loadavg: 4.10 2.80 1.82 5/266 202579
/proc/meminfo: memFree=116799580/131250000 swapFree=33008868/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): 246.432
CPU time (s): 245.73
CPU user time (s): 242.006
CPU system time (s): 3.72437
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 9945892
Max. memory (cumulated for all children) (KiB): 9392956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.006
system time used= 3.72437
maximum resident set size= 9392956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886516
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= 12
involuntary context switches= 375
# summary of solver processes directly reported to runsolver:
# pid: 202472
# total CPU time (s): 245.73
# total CPU user time (s): 242.006
# total CPU system time (s): 3.72437
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.431957 second user time and 1.18921 second system time
The end
Begin job on nodeC013 at 2025-07-23 04:34:04
IDJOB=4545101
IDBENCH=180714
IDSOLVER=3322
FILE ID=nodeC013/4545101-1753238044
RUNJOBID= nodeC013-1753238044-202420
SLURM_JOB_ID= 9687859
Free space on /tmp= 433008 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545101-1753238044/watcher-4545101-1753238044 -o /tmp/evaluation-result-4545101-1753238044/solver-4545101-1753238044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202420 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545101-1753238044.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=2126712546
nodeC013 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 : 3601.137
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
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.67
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.394
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.67
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 : 3416.798
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.67
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.830
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.817
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.67
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 : 3602.985
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128528924 kB
MemAvailable: 129685300 kB
Buffers: 1668 kB
Cached: 1896752 kB
SwapCached: 52 kB
Active: 927912 kB
Inactive: 1038692 kB
Active(anon): 84844 kB
Inactive(anon): 4872 kB
Active(file): 843068 kB
Inactive(file): 1033820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88964 kB
Writeback: 48 kB
AnonPages: 71312 kB
Mapped: 104196 kB
Shmem: 21424 kB
KReclaimable: 237056 kB
Slab: 333844 kB
SReclaimable: 237056 kB
SUnreclaim: 96788 kB
KernelStack: 4020 kB
PageTables: 2624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 327724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC013 at 2025-07-23 04:38:11