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 (62288 MiB free)
memory of node 1: 64510 MiB (61035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452798-1721448408/watcher-4452798-1721448408 -o /tmp/evaluation-result-4452798-1721448408/solver-4452798-1721448408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721444801-1050030 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4452798-1721448408.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=1052376, runsolver pid=1052373
[startup+0.100104 s]*
/proc/loadavg: 4.10 4.24 4.19 5/243 1052377
/proc/meminfo: memFree=126271104/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=31564 memory=15812 CPUtime=0.1 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 3669 0 0 0 10 0 0 0 20 0 1 0 196997477 32321536 3953 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 7891 3953 922 2726 0 4639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31564 KiB
Current children cumulated memory: 15812 KiB
[startup+0.212848 s]*
/proc/loadavg: 4.10 4.24 4.19 5/243 1052377
/proc/meminfo: memFree=126243452/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=61352 memory=43116 CPUtime=0.22 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 8904 0 0 0 20 2 0 0 20 0 1 0 196997477 62824448 10779 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 15338 10779 954 2726 0 12086 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 61352 KiB
Current children cumulated memory: 43116 KiB
[startup+0.312913 s]*
/proc/loadavg: 4.10 4.24 4.19 5/243 1052377
/proc/meminfo: memFree=126236956/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=68772 memory=50808 CPUtime=0.32 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 10777 0 0 0 30 2 0 0 20 0 1 0 196997477 70422528 12702 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 17193 12702 1034 2726 0 13941 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 50808 KiB
[startup+0.700338 s]
/proc/loadavg: 4.10 4.24 4.19 6/243 1052377
/proc/meminfo: memFree=126221360/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=109924 memory=90468 CPUtime=0.68 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 19093 0 0 0 65 3 0 0 20 0 1 0 196997477 112562176 22617 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 27481 22617 1066 2726 0 24229 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109924 KiB
Current children cumulated memory: 90468 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.24 4.19 5/243 1052377
/proc/meminfo: memFree=126150792/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=291520 memory=264784 CPUtime=1.49 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 39269 0 0 0 140 9 0 0 20 0 1 0 196997477 298516480 66196 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 72880 66196 1066 2726 0 69628 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 291520 KiB
Current children cumulated memory: 264784 KiB
[startup+3.11248 s]
/proc/loadavg: 4.10 4.24 4.19 5/243 1052423
/proc/meminfo: memFree=125953164/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=405968 memory=378016 CPUtime=3.09 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 53654 0 0 0 295 14 0 0 20 0 1 0 196997477 415711232 94504 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 101492 94504 1146 2726 0 98240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 405968 KiB
Current children cumulated memory: 378016 KiB
[startup+6.30031 s]
/proc/loadavg: 4.09 4.24 4.19 5/243 1052424
/proc/meminfo: memFree=125868120/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=424540 memory=396244 CPUtime=6.27 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 55880 0 0 0 612 15 0 0 20 0 1 0 196997477 434728960 99061 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 106135 99061 1146 2726 0 102883 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 424540 KiB
Current children cumulated memory: 396244 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.23 4.19 4/237 1052455
/proc/meminfo: memFree=126018708/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=432484 memory=397360 CPUtime=12.65 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 57074 0 0 0 1248 17 0 0 20 0 1 0 196997477 442863616 99340 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 108121 99340 1146 2726 0 104869 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 432484 KiB
Current children cumulated memory: 397360 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.27 4.20 5/243 1052520
/proc/meminfo: memFree=125602392/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=395672 memory=362816 CPUtime=25.42 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 57160 0 0 0 2525 17 0 0 20 0 1 0 196997477 405168128 90704 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 98918 90704 1146 2726 0 95666 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 395672 KiB
Current children cumulated memory: 362816 KiB
[startup+51.1126 s]
/proc/loadavg: 4.19 4.25 4.20 5/243 1052523
/proc/meminfo: memFree=125673740/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=395672 memory=362820 CPUtime=50.96 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 58161 0 0 0 5078 18 0 0 20 0 1 0 196997477 405168128 90705 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 98918 90705 1146 2726 0 95666 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 395672 KiB
Current children cumulated memory: 362820 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/243 1052622
/proc/meminfo: memFree=125890908/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=395672 memory=367032 CPUtime=102.01 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 61890 0 0 0 10178 23 0 0 20 0 1 0 196997477 405168128 91758 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 98918 91758 1146 2726 0 95666 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 395672 KiB
Current children cumulated memory: 367032 KiB
[startup+145.256 s]
# the end of solver process 1052376 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=144.607 s, system=0.257647 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.13 4.22 4.19 5/243 1052622
/proc/meminfo: memFree=125890908/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=395672 memory=367032 CPUtime=102.11 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 61890 0 0 0 10188 23 0 0 20 0 1 0 196997477 405168128 91758 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 98918 91758 1146 2726 0 95666 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 395672 KiB
Current children cumulated memory: 367032 KiB
[startup+128 s]*
/proc/loadavg: 4.15 4.22 4.18 5/243 1052627
/proc/meminfo: memFree=125909608/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379124 CPUtime=127.66 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63905 0 0 0 12742 24 0 0 20 0 1 0 196997477 420569088 94781 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94781 1146 2726 0 99426 0
Current children cumulated CPU time: 127.66 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379124 KiB
[startup+134.4 s]
/proc/loadavg: 4.14 4.22 4.18 5/243 1052629
/proc/meminfo: memFree=125867508/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=134.03 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63928 0 0 0 13379 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 134.03 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
[startup+140.8 s]
/proc/loadavg: 4.12 4.21 4.18 6/243 1052630
/proc/meminfo: memFree=125867552/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=140.41 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63930 0 0 0 14017 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 140.41 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
[startup+142.4 s]
/proc/loadavg: 4.12 4.21 4.18 5/243 1052630
/proc/meminfo: memFree=125866448/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=142.01 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63930 0 0 0 14177 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 142.01 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
[startup+144 s]*
/proc/loadavg: 4.12 4.21 4.18 5/243 1052630
/proc/meminfo: memFree=125908440/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=143.61 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63930 0 0 0 14337 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 143.61 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
[startup+144.8 s]
/proc/loadavg: 4.12 4.21 4.18 5/243 1052630
/proc/meminfo: memFree=125908440/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=144.4 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63930 0 0 0 14416 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 144.4 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
[startup+145.2 s]
/proc/loadavg: 4.11 4.20 4.18 5/243 1052632
/proc/meminfo: memFree=125908448/131655788 swapFree=131071996/131071996
[pid=1052376] ppid=1052373 vsize=410712 memory=379308 CPUtime=144.8 cores=1,3
/proc/1052376/stat : 1052376 (CASHWMaxSAT-Dis) R 1052373 1052376 1050018 0 -1 4194304 63930 0 0 0 14456 24 0 0 20 0 1 0 196997477 420569088 94827 134679101440 4194304 15356333 140737345175792 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 24293376 140737345180641 140737345180757 140737345180757 140737345187774 0
/proc/1052376/statm: 102678 94827 1146 2726 0 99426 0
Current children cumulated CPU time: 144.8 s
Current children cumulated vsize: 410712 KiB
Current children cumulated memory: 379308 KiB
Child status: 20
Real time (s): 145.256
CPU time (s): 144.865
CPU user time (s): 144.607
CPU system time (s): 0.257647
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 464256
Max. memory (cumulated for all children) (KiB): 435844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.607
system time used= 0.257647
maximum resident set size= 435844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63930
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= 1
involuntary context switches= 99
# summary of solver processes directly reported to runsolver:
# pid: 1052376
# total CPU time (s): 144.865
# total CPU user time (s): 144.607
# total CPU system time (s): 0.257647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.746061 second user time and 1.39941 second system time
The end
Begin job on nodeC007 at 2024-07-20 06:07:01
IDJOB=4452798
IDBENCH=165317
IDSOLVER=3074
FILE ID=nodeC007/4452798-1721448408
RUNJOBID= nodeC007-1721444801-1050030
SLURM_JOB_ID= 7545656
Free space on /tmp= 723736 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452798-1721448408/watcher-4452798-1721448408 -o /tmp/evaluation-result-4452798-1721448408/solver-4452798-1721448408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721444801-1050030 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4452798-1721448408.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=1048555801
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 : 3519.361
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 : 3491.659
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.149
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.130
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 : 3638.920
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 : 3503.118
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.329
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.210
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: 126283488 kB
MemAvailable: 129239256 kB
Buffers: 541524 kB
Cached: 3250456 kB
SwapCached: 0 kB
Active: 1107172 kB
Inactive: 3690584 kB
Active(anon): 1460 kB
Inactive(anon): 1050216 kB
Active(file): 1105712 kB
Inactive(file): 2640368 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 46724 kB
Writeback: 0 kB
AnonPages: 1000944 kB
Mapped: 121796 kB
Shmem: 45896 kB
KReclaimable: 99440 kB
Slab: 202492 kB
SReclaimable: 99440 kB
SUnreclaim: 103052 kB
KernelStack: 3872 kB
PageTables: 11340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1408656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 514048 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= 723720 MiB
End job on nodeC007 at 2024-07-20 06:09:26