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: 64059 MiB (62957 MiB free)
memory of node 1: 64510 MiB (61144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454142-1721491067/watcher-4454142-1721491067 -o /tmp/evaluation-result-4454142-1721491067/solver-4454142-1721491067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721489379-1078116 --watchdog 3760 pb_picat HOME/instance-4454142-1721491067.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1079247, runsolver pid=1079244
[startup+0.100065 s]*
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127067428/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2033608 memory=18860 CPUtime=0.1 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 822 0 0 0 10 0 0 0 20 0 1 0 201263291 2082414592 4715 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 508402 4715 1523 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 18860 KiB
[startup+0.21291 s]*
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127066940/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2033608 memory=18860 CPUtime=0.21 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 822 0 0 0 21 0 0 0 20 0 1 0 201263291 2082414592 4715 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 508402 4715 1523 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 18860 KiB
[startup+0.312227 s]*
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127066800/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2033608 memory=18860 CPUtime=0.31 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 822 0 0 0 31 0 0 0 20 0 1 0 201263291 2082414592 4715 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 508402 4715 1523 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 18860 KiB
[startup+0.700319 s]
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127062228/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2033608 memory=18860 CPUtime=0.69 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 822 0 0 0 69 0 0 0 20 0 1 0 201263291 2082414592 4715 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 508402 4715 1523 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 18860 KiB
[startup+1.50026 s]
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127067404/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2036460 memory=21976 CPUtime=1.48 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 1374 0 0 0 148 0 0 0 20 0 1 0 201263291 2085335040 5494 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 509115 5494 1761 439 0 504544 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036460 KiB
Current children cumulated memory: 21976 KiB
[startup+3.1124 s]
/proc/loadavg: 4.36 4.15 4.11 5/244 1079248
/proc/meminfo: memFree=127062232/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2036676 memory=22492 CPUtime=3.09 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 3221 0 0 0 308 1 0 0 20 0 1 0 201263291 2085556224 5623 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 509169 5623 1761 439 0 504598 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036676 KiB
Current children cumulated memory: 22492 KiB
[startup+6.30025 s]
/proc/loadavg: 4.41 4.17 4.12 5/244 1079250
/proc/meminfo: memFree=127064808/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2037892 memory=23040 CPUtime=6.27 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 7417 0 0 0 625 2 0 0 20 0 1 0 201263291 2086801408 5760 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 509473 5760 1761 439 0 504902 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2037892 KiB
Current children cumulated memory: 23040 KiB
[startup+12.7003 s]
/proc/loadavg: 4.46 4.18 4.12 5/244 1079250
/proc/meminfo: memFree=127071340/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2038916 memory=24068 CPUtime=12.65 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 14253 0 0 0 1261 4 0 0 20 0 1 0 201263291 2087849984 6017 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 509729 6017 1761 439 0 505158 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2038916 KiB
Current children cumulated memory: 24068 KiB
[startup+25.5003 s]
/proc/loadavg: 4.72 4.25 4.15 5/246 1079421
/proc/meminfo: memFree=127058436/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2038336 memory=23656 CPUtime=25.41 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 28632 0 0 0 2534 7 0 0 20 0 1 0 201263291 2087256064 5914 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 509584 5914 1761 439 0 505013 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2038336 KiB
Current children cumulated memory: 23656 KiB
[startup+51.1127 s]
/proc/loadavg: 4.66 4.28 4.16 5/246 1079426
/proc/meminfo: memFree=127067808/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2041620 memory=27544 CPUtime=50.94 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 52276 0 0 0 5084 10 0 0 20 0 1 0 201263291 2090618880 6886 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510405 6886 1761 439 0 505834 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2041620 KiB
Current children cumulated memory: 27544 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.27 4.16 5/245 1079435
/proc/meminfo: memFree=127043108/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2041752 memory=26440 CPUtime=101.97 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 93969 0 0 0 10177 20 0 0 20 0 1 0 201263291 2090754048 6610 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510438 6610 1761 439 0 505867 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2041752 KiB
Current children cumulated memory: 26440 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.23 4.16 5/247 1079449
/proc/meminfo: memFree=127051912/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2041940 memory=25984 CPUtime=161.79 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 132359 0 0 0 16151 28 0 0 20 0 1 0 201263291 2090946560 6496 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510485 6496 1761 439 0 505914 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2041940 KiB
Current children cumulated memory: 25984 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/247 1079470
/proc/meminfo: memFree=127058680/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2043988 memory=29212 CPUtime=221.6 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 181662 0 0 0 22123 37 0 0 20 0 1 0 201263291 2093043712 7303 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510997 7303 1761 439 0 506426 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2043988 KiB
Current children cumulated memory: 29212 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.21 4.16 5/246 1079482
/proc/meminfo: memFree=127047276/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2042384 memory=26800 CPUtime=281.41 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 220272 0 0 0 28094 47 0 0 20 0 1 0 201263291 2091401216 6700 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510596 6700 1761 439 0 506025 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2042384 KiB
Current children cumulated memory: 26800 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/246 1079492
/proc/meminfo: memFree=127039124/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2048528 memory=33260 CPUtime=341.22 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 244993 0 0 0 34069 53 0 0 20 0 1 0 201263291 2097692672 8315 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 512132 8315 1761 439 0 507561 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 2048528 KiB
Current children cumulated memory: 33260 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/245 1079503
/proc/meminfo: memFree=127038664/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2048528 memory=32468 CPUtime=401.03 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 264474 0 0 0 40045 58 0 0 20 0 1 0 201263291 2097692672 8117 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 512132 8117 1761 439 0 507561 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 2048528 KiB
Current children cumulated memory: 32468 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/243 1079514
/proc/meminfo: memFree=127031652/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2048684 memory=29284 CPUtime=460.84 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 283195 0 0 0 46022 62 0 0 20 0 1 0 201263291 2097852416 7321 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 512171 7321 1761 439 0 507600 0
Current children cumulated CPU time: 460.84 s
Current children cumulated vsize: 2048684 KiB
Current children cumulated memory: 29284 KiB
[startup+465.811 s]
# the end of solver process 1079247 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=463.719 s, system=0.633982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+464 s]*
/proc/loadavg: 4.13 4.16 4.14 5/243 1079514
/proc/meminfo: memFree=127044356/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2042540 memory=27756 CPUtime=462.54 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 284162 0 0 0 46192 62 0 0 20 0 1 0 201263291 2091560960 6939 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510635 6939 1761 439 0 506064 0
Current children cumulated CPU time: 462.54 s
Current children cumulated vsize: 2042540 KiB
Current children cumulated memory: 27756 KiB
[startup+464.8 s]
/proc/loadavg: 4.13 4.16 4.14 5/243 1079514
/proc/meminfo: memFree=127044356/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2044588 memory=28984 CPUtime=463.34 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 284498 0 0 0 46271 63 0 0 20 0 1 0 201263291 2093658112 7246 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 511147 7246 1761 439 0 506576 0
Current children cumulated CPU time: 463.34 s
Current children cumulated vsize: 2044588 KiB
Current children cumulated memory: 28984 KiB
[startup+465.6 s]
/proc/loadavg: 4.12 4.16 4.14 5/243 1079514
/proc/meminfo: memFree=127040376/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2048684 memory=29980 CPUtime=464.13 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 284802 0 0 0 46350 63 0 0 20 0 1 0 201263291 2097852416 7495 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 512171 7495 1761 439 0 507600 0
Current children cumulated CPU time: 464.13 s
Current children cumulated vsize: 2048684 KiB
Current children cumulated memory: 29980 KiB
[startup+465.8 s]
/proc/loadavg: 4.12 4.16 4.14 5/243 1079514
/proc/meminfo: memFree=127040376/131655788 swapFree=131071996/131071996
[pid=1079247] ppid=1079244 vsize=2040492 memory=25780 CPUtime=464.33 cores=0,2
/proc/1079247/stat : 1079247 (pb_picat) R 1079244 1079247 1078106 0 -1 4194304 285027 0 0 0 46370 63 0 0 20 0 1 0 201263291 2089463808 6445 134679101440 4194304 5989780 140737350794304 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 19099648 140737350800407 140737350800483 140737350800483 140737350807500 0
/proc/1079247/statm: 510123 6445 1761 439 0 505552 0
Current children cumulated CPU time: 464.33 s
Current children cumulated vsize: 2040492 KiB
Current children cumulated memory: 25780 KiB
Child status: 0
Real time (s): 465.811
CPU time (s): 464.353
CPU user time (s): 463.719
CPU system time (s): 0.633982
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 2052624
Max. memory (cumulated for all children) (KiB): 36956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 463.719
system time used= 0.633982
maximum resident set size= 36956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285046
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= 4
involuntary context switches= 3288
# summary of solver processes directly reported to runsolver:
# pid: 1079247
# total CPU time (s): 464.353
# total CPU user time (s): 463.719
# total CPU system time (s): 0.633982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.40045 second user time and 4.23136 second system time
The end
Begin job on nodeC007 at 2024-07-20 17:57:59
IDJOB=4454142
IDBENCH=176067
IDSOLVER=3068
FILE ID=nodeC007/4454142-1721491067
RUNJOBID= nodeC007-1721489379-1078116
SLURM_JOB_ID= 7545784
Free space on /tmp= 723772 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_less.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454142-1721491067/watcher-4454142-1721491067 -o /tmp/evaluation-result-4454142-1721491067/solver-4454142-1721491067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721489379-1078116 --watchdog 3760 pb_picat HOME/instance-4454142-1721491067.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 835882185b05cb50ca6c38d629f5e937
RANDOM SEED=1314243836
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 3491.645
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 0xb00001f
cpu MHz : 3646.281
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 1197.133
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 0xb00001f
cpu MHz : 1197.344
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 3654.097
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 0xb00001f
cpu MHz : 3646.544
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 1197.327
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 0xb00001f
cpu MHz : 1197.184
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127081076 kB
MemAvailable: 129707716 kB
Buffers: 565364 kB
Cached: 2900780 kB
SwapCached: 0 kB
Active: 1166572 kB
Inactive: 2840980 kB
Active(anon): 1460 kB
Inactive(anon): 585512 kB
Active(file): 1165112 kB
Inactive(file): 2255468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3736 kB
Writeback: 0 kB
AnonPages: 540268 kB
Mapped: 117932 kB
Shmem: 45896 kB
KReclaimable: 92180 kB
Slab: 195184 kB
SReclaimable: 92180 kB
SUnreclaim: 103004 kB
KernelStack: 3904 kB
PageTables: 10332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6931108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62688 kB
HardwareCorrupted: 0 kB
AnonHugePages: 346112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC007 at 2024-07-20 18:05:45