VeriPB
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
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 (57359 MiB free)
memory of node 1: 64510 MiB (29553 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452684-1721839307/watcher-4452684-1721839307 -o /tmp/evaluation-result-4452684-1721839307/solver-4452684-1721839307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238466 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452684-1721839307 --seed=426455912 HOME/instance-4452684-1721839307.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=243001, runsolver pid=242998
[startup+0.100093 s]*
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88966212/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=59420 memory=38116 CPUtime=0.1 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 7893 0 0 0 9 1 0 0 20 0 1 0 19920067 60846080 9529 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 14919 9529 1059 1006 0 13680 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59420 KiB
Current children cumulated memory: 38116 KiB
[startup+0.213032 s]*
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88947760/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=72520 memory=51072 CPUtime=0.22 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 11803 0 0 0 19 3 0 0 20 0 1 0 19920067 74260480 12768 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 18130 12768 1107 1006 0 16891 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 72520 KiB
Current children cumulated memory: 51072 KiB
[startup+0.312837 s]*
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88942016/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=72776 memory=51660 CPUtime=0.31 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 11940 0 0 0 28 3 0 0 20 0 1 0 19920067 74522624 12915 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 18194 12915 1123 1006 0 16955 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 72776 KiB
Current children cumulated memory: 51660 KiB
[startup+0.700314 s]
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88933640/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=74548 memory=55612 CPUtime=0.68 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 12439 0 0 0 65 3 0 0 20 0 1 0 19920067 76337152 13903 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 18637 13903 1139 1006 0 17398 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74548 KiB
Current children cumulated memory: 55612 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88874560/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=76372 memory=59504 CPUtime=1.48 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 12887 0 0 0 145 3 0 0 20 0 1 0 19920067 78204928 14876 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 19093 14876 1139 1006 0 17854 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76372 KiB
Current children cumulated memory: 59504 KiB
[startup+3.11257 s]
/proc/loadavg: 4.15 4.17 4.17 5/245 243002
/proc/meminfo: memFree=88814664/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=79168 memory=62132 CPUtime=3.09 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 13560 0 0 0 305 4 0 0 20 0 1 0 19920067 81068032 15533 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 19792 15533 1139 1006 0 18553 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79168 KiB
Current children cumulated memory: 62132 KiB
[startup+6.30026 s]
/proc/loadavg: 4.22 4.18 4.18 5/245 243004
/proc/meminfo: memFree=88746252/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=83104 memory=66080 CPUtime=6.26 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 14514 0 0 0 622 4 0 0 20 0 1 0 19920067 85098496 16520 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 20776 16520 1139 1006 0 19537 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83104 KiB
Current children cumulated memory: 66080 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.18 4.18 5/245 243004
/proc/meminfo: memFree=88611708/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=87948 memory=71128 CPUtime=12.64 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 15760 0 0 0 1257 7 0 0 20 0 1 0 19920067 90058752 17782 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 21987 17782 1155 1006 0 20748 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 87948 KiB
Current children cumulated memory: 71128 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.18 4.18 4/245 243005
/proc/meminfo: memFree=88310004/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=96224 memory=79024 CPUtime=25.4 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 17741 0 0 0 2528 12 0 0 20 0 1 0 19920067 98533376 19756 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 24056 19756 1155 1006 0 22817 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 96224 KiB
Current children cumulated memory: 79024 KiB
[startup+51.1126 s]
/proc/loadavg: 4.15 4.17 4.18 5/245 243011
/proc/meminfo: memFree=87714000/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=108436 memory=91396 CPUtime=50.73 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 20847 0 0 0 5052 21 0 0 20 0 1 0 19920067 111038464 22849 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 27109 22849 1155 1006 0 25870 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 108436 KiB
Current children cumulated memory: 91396 KiB
[startup+99.9342 s]
# the end of solver process 243001 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=98.8296 s, system=0.43145 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.15 4.17 4.18 5/245 243011
/proc/meminfo: memFree=87714000/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=108780 memory=91660 CPUtime=50.82 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 20932 0 0 0 5061 21 0 0 20 0 1 0 19920067 111390720 22915 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 27195 22915 1155 1006 0 25956 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 108780 KiB
Current children cumulated memory: 91660 KiB
[startup+76.8003 s]
/proc/loadavg: 4.10 4.15 4.17 5/245 243016
/proc/meminfo: memFree=87145412/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=119800 memory=101944 CPUtime=76.31 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 23496 0 0 0 7597 34 0 0 20 0 1 0 19920067 122675200 25486 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 29950 25486 1155 1006 0 28711 0
Current children cumulated CPU time: 76.31 s
Current children cumulated vsize: 119800 KiB
Current children cumulated memory: 101944 KiB
[startup+89.6003 s]
/proc/loadavg: 4.08 4.15 4.17 5/246 243019
/proc/meminfo: memFree=86780636/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=128880 memory=110908 CPUtime=89.06 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 25776 0 0 0 8867 39 0 0 20 0 1 0 19920067 131973120 27727 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32220 27727 1155 1006 0 30981 0
Current children cumulated CPU time: 89.06 s
Current children cumulated vsize: 128880 KiB
Current children cumulated memory: 110908 KiB
[startup+96.0003 s]*
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86658252/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=130156 memory=112228 CPUtime=95.37 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26095 0 0 0 9496 41 0 0 20 0 1 0 19920067 133279744 28057 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32539 28057 1155 1006 0 31300 0
Current children cumulated CPU time: 95.37 s
Current children cumulated vsize: 130156 KiB
Current children cumulated memory: 112228 KiB
[startup+97.6003 s]
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86644776/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=130544 memory=112756 CPUtime=96.94 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26192 0 0 0 9653 41 0 0 20 0 1 0 19920067 133677056 28189 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32636 28189 1155 1006 0 31397 0
Current children cumulated CPU time: 96.94 s
Current children cumulated vsize: 130544 KiB
Current children cumulated memory: 112756 KiB
[startup+99.2002 s]
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86617848/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=131076 memory=113020 CPUtime=98.53 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26309 0 0 0 9812 41 0 0 20 0 1 0 19920067 134221824 28255 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32769 28255 1155 1006 0 31530 0
Current children cumulated CPU time: 98.53 s
Current children cumulated vsize: 131076 KiB
Current children cumulated memory: 113020 KiB
[startup+99.6003 s]
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86617848/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=131076 memory=113020 CPUtime=98.93 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26309 0 0 0 9852 41 0 0 20 0 1 0 19920067 134221824 28255 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32769 28255 1155 1006 0 31530 0
Current children cumulated CPU time: 98.93 s
Current children cumulated vsize: 131076 KiB
Current children cumulated memory: 113020 KiB
[startup+99.8002 s]
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86617848/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=131076 memory=113284 CPUtime=99.13 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26325 0 0 0 9872 41 0 0 20 0 1 0 19920067 134221824 28321 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 32769 28321 1155 1006 0 31530 0
Current children cumulated CPU time: 99.13 s
Current children cumulated vsize: 131076 KiB
Current children cumulated memory: 113284 KiB
[startup+99.9003 s]
/proc/loadavg: 4.15 4.16 4.17 5/246 243021
/proc/meminfo: memFree=86617848/131655788 swapFree=131061124/131071996
[pid=243001] ppid=242998 vsize=105872 memory=100028 CPUtime=99.24 cores=0,2
/proc/243001/stat : 243001 (Exact_veripb2) R 242998 243001 238456 0 -1 4194304 26341 0 0 0 9882 42 0 0 20 0 1 0 19920067 108412928 25007 134679101440 4194304 8311665 140734418418048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 27 0 0 9173656 9252184 29753344 140734418424653 140734418424932 140734418424932 140734418431943 0
/proc/243001/statm: 26468 25007 1155 1006 0 25229 0
Current children cumulated CPU time: 99.24 s
Current children cumulated vsize: 105872 KiB
Current children cumulated memory: 100028 KiB
Child status: 20
Real time (s): 99.9342
CPU time (s): 99.261
CPU user time (s): 98.8296
CPU system time (s): 0.43145
CPU usage (%): 99.3264
Max. virtual memory (cumulated for all children) (KiB): 131076
Max. memory (cumulated for all children) (KiB): 113284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.8296
system time used= 0.43145
maximum resident set size= 113284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 566080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 679
involuntary context switches= 681
# summary of solver processes directly reported to runsolver:
# pid: 243001
# total CPU time (s): 99.261
# total CPU user time (s): 98.8296
# total CPU system time (s): 0.43145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.587481 second user time and 0.881672 second system time
The end
Begin job on nodeC005 at 2024-07-24 18:41:47
IDJOB=4452684
IDBENCH=165278
IDSOLVER=3081
FILE ID=nodeC005/4452684-1721839307
RUNJOBID= nodeC005-1721831914-238466
SLURM_JOB_ID= 7891526
Free space on /tmp= 723760 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-3.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452684-1721839307/watcher-4452684-1721839307 -o /tmp/evaluation-result-4452684-1721839307/solver-4452684-1721839307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238466 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452684-1721839307 --seed=426455912 HOME/instance-4452684-1721839307.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7bfcdc46f967c8c85bd034be31c75732
RANDOM SEED=426455912
nodeC005.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 : 2992.726
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.14
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 : 3595.739
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.31
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.112
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.14
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.134
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.31
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 : 3659.978
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.14
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 : 3648.203
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.31
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.358
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.14
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.166
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 88999800 kB
MemAvailable: 129533936 kB
Buffers: 264908 kB
Cached: 41016880 kB
SwapCached: 612 kB
Active: 2513504 kB
Inactive: 39416280 kB
Active(anon): 1600 kB
Inactive(anon): 699480 kB
Active(file): 2511904 kB
Inactive(file): 38716800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061124 kB
Dirty: 397480 kB
Writeback: 12 kB
AnonPages: 647324 kB
Mapped: 131712 kB
Shmem: 53264 kB
KReclaimable: 290924 kB
Slab: 414444 kB
SReclaimable: 290924 kB
SUnreclaim: 123520 kB
KernelStack: 3920 kB
PageTables: 10728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1248072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 406344 kB
DirectMap2M: 45635584 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-24 18:43:27