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: 63968 MiB (57913 MiB free)
memory of node 1: 64473 MiB (55934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449208-1721359617/watcher-4449208-1721359617 -o /tmp/evaluation-result-4449208-1721359617/solver-4449208-1721359617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721356020-985855 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449208-1721359617.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
solver pid=989316, runsolver pid=989313
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.09 4.23 4.16 5/257 989317
/proc/meminfo: memFree=116540936/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=55892 memory=39992 CPUtime=0.1 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 6663 0 0 0 9 1 0 0 20 0 1 0 188125247 57233408 9998 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 13973 9998 922 2726 0 10721 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55892 KiB
Current children cumulated memory: 39992 KiB
[startup+0.205606 s]*
/proc/loadavg: 4.09 4.23 4.16 5/257 989317
/proc/meminfo: memFree=116516356/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=73048 memory=57040 CPUtime=0.2 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 10401 0 0 0 19 1 0 0 20 0 1 0 188125247 74801152 14260 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 18262 14260 922 2726 0 15010 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73048 KiB
Current children cumulated memory: 57040 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.09 4.23 4.16 5/257 989317
/proc/meminfo: memFree=116498120/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=94292 memory=72992 CPUtime=0.29 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 13357 0 0 0 28 1 0 0 20 0 1 0 188125247 96555008 18248 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 23573 18248 922 2726 0 20321 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 72992 KiB
[startup+0.700232 s]
/proc/loadavg: 4.09 4.23 4.16 5/257 989317
/proc/meminfo: memFree=116474936/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=115428 memory=96528 CPUtime=0.68 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 15191 0 0 0 66 2 0 0 20 0 1 0 188125247 118198272 24132 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 28857 24132 922 2726 0 25605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115428 KiB
Current children cumulated memory: 96528 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.23 4.16 5/257 989317
/proc/meminfo: memFree=116401760/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=343572 memory=306288 CPUtime=1.49 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 26395 0 0 0 139 10 0 0 20 0 1 0 188125247 351817728 76572 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 85893 76572 954 2726 0 82641 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 343572 KiB
Current children cumulated memory: 306288 KiB
[startup+3.10585 s]
/proc/loadavg: 4.09 4.23 4.16 5/253 989352
/proc/meminfo: memFree=116211044/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=343572 memory=306696 CPUtime=3.09 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 26428 0 0 0 299 10 0 0 20 0 1 0 188125247 351817728 76674 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 85893 76674 1002 2726 0 82641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 343572 KiB
Current children cumulated memory: 306696 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.22 4.16 5/257 989363
/proc/meminfo: memFree=115403932/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=526684 memory=480800 CPUtime=6.27 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 67867 0 0 0 610 17 0 0 20 0 1 0 188125247 539324416 120200 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 131671 120200 1034 2726 0 128419 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 526684 KiB
Current children cumulated memory: 480800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.22 4.16 5/257 989365
/proc/meminfo: memFree=114324560/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=1200756 memory=1108748 CPUtime=12.65 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 124189 0 0 0 1229 36 0 0 20 0 1 0 188125247 1229574144 277187 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 300189 277187 1066 2726 0 296937 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1200756 KiB
Current children cumulated memory: 1108748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.24 4.17 5/257 989367
/proc/meminfo: memFree=111612248/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=2877708 memory=1986668 CPUtime=25.42 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 210270 0 0 0 2478 64 0 0 20 0 1 0 188125247 2946772992 496155 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 719427 496155 1066 2726 0 716175 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2877708 KiB
Current children cumulated memory: 1986668 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.24 4.17 5/257 989372
/proc/meminfo: memFree=109694084/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=3270664 memory=3090096 CPUtime=50.94 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 304049 0 0 0 4990 104 0 0 20 0 1 0 188125247 3349159936 772524 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 817666 772524 1066 2726 0 814414 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3270664 KiB
Current children cumulated memory: 3090096 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/259 989550
/proc/meminfo: memFree=102922264/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=4959500 memory=4765256 CPUtime=101.99 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 424753 0 0 0 10034 165 0 0 20 0 1 0 188125247 5078528000 1191314 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 1239875 1191314 1066 2726 0 1236623 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 4959500 KiB
Current children cumulated memory: 4765256 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/258 989560
/proc/meminfo: memFree=97203804/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=6239440 memory=5750504 CPUtime=161.81 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 541979 0 0 0 15983 198 0 0 20 0 1 0 188125247 6389186560 1437626 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 1559860 1437626 1066 2726 0 1556608 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 6239440 KiB
Current children cumulated memory: 5750504 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.16 4.16 5/259 989628
/proc/meminfo: memFree=92424980/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=7881980 memory=7704472 CPUtime=221.63 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 618015 0 0 0 21894 269 0 0 20 0 1 0 188125247 8071147520 1926118 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 1970495 1926118 1066 2726 0 1967243 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 7881980 KiB
Current children cumulated memory: 7704472 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/258 989638
/proc/meminfo: memFree=90176996/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9420620 memory=8408544 CPUtime=281.45 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 707240 0 0 0 27846 299 0 0 20 0 1 0 188125247 9646714880 2102136 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2355155 2102136 1066 2726 0 2351903 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 9420620 KiB
Current children cumulated memory: 8408544 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/258 989694
/proc/meminfo: memFree=94064832/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9729960 memory=9031524 CPUtime=341.26 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 780051 0 0 0 33805 321 0 0 20 0 1 0 188125247 9963479040 2257881 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2432490 2257881 1066 2726 0 2429238 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 9729960 KiB
Current children cumulated memory: 9031524 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/259 989750
/proc/meminfo: memFree=100277304/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9891352 memory=9365268 CPUtime=401.11 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 822997 0 0 0 39777 334 0 0 20 0 1 0 188125247 10128744448 2341317 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2472838 2341317 1338 2726 0 2469586 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 9891352 KiB
Current children cumulated memory: 9365268 KiB
[startup+409.095 s]
# the end of solver process 989316 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=404.429 s, system=3.46649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.09 4.13 4.14 5/259 989750
/proc/meminfo: memFree=100011028/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9891496 memory=9365268 CPUtime=402 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 823017 0 0 0 39866 334 0 0 20 0 1 0 188125247 10128891904 2341317 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2472874 2341317 1338 2726 0 2469622 0
Current children cumulated CPU time: 402 s
Current children cumulated vsize: 9891496 KiB
Current children cumulated memory: 9365268 KiB
[startup+406.4 s]
/proc/loadavg: 4.08 4.13 4.14 5/259 989750
/proc/meminfo: memFree=99648372/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9892040 memory=9365872 CPUtime=405.2 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 823419 0 0 0 40186 334 0 0 20 0 1 0 188125247 10129448960 2341468 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2473010 2341468 1338 2726 0 2469758 0
Current children cumulated CPU time: 405.2 s
Current children cumulated vsize: 9892040 KiB
Current children cumulated memory: 9365872 KiB
[startup+408 s]*
/proc/loadavg: 4.08 4.13 4.14 5/259 989750
/proc/meminfo: memFree=99210392/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9892320 memory=9366144 CPUtime=406.8 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 823632 0 0 0 40346 334 0 0 20 0 1 0 188125247 10129735680 2341536 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2473080 2341536 1338 2726 0 2469828 0
Current children cumulated CPU time: 406.8 s
Current children cumulated vsize: 9892320 KiB
Current children cumulated memory: 9366144 KiB
[startup+408.8 s]
/proc/loadavg: 4.08 4.13 4.14 5/259 989750
/proc/meminfo: memFree=99210392/131524600 swapFree=131071996/131071996
[pid=989316] ppid=989313 vsize=9892728 memory=9366432 CPUtime=407.59 cores=1,3
/proc/989316/stat : 989316 (CASHWMaxSAT-Dis) R 989313 989316 983102 0 -1 4194304 823861 0 0 0 40425 334 0 0 20 0 1 0 188125247 10130153472 2341608 134679101440 4194304 15356333 140722080279008 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49127424 140722080285666 140722080285782 140722080285782 140722080292798 0
/proc/989316/statm: 2473182 2341608 1338 2726 0 2469930 0
Current children cumulated CPU time: 407.59 s
Current children cumulated vsize: 9892728 KiB
Current children cumulated memory: 9366432 KiB
[startup+409 s]*
/proc/loadavg: 4.15 4.14 4.15 5/259 989750
/proc/meminfo: memFree=100380380/131524600 swapFree=131071996/131071996
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): 409.095
CPU time (s): 407.896
CPU user time (s): 404.429
CPU system time (s): 3.46649
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 9892728
Max. memory (cumulated for all children) (KiB): 9366432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 404.429
system time used= 3.46649
maximum resident set size= 9366632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823862
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= 9
involuntary context switches= 528
# summary of solver processes directly reported to runsolver:
# pid: 989316
# total CPU time (s): 407.896
# total CPU user time (s): 404.429
# total CPU system time (s): 3.46649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.797189 second user time and 1.87775 second system time
The end
Begin job on nodeC020 at 2024-07-19 05:27:10
IDJOB=4449208
IDBENCH=160487
IDSOLVER=3074
FILE ID=nodeC020/4449208-1721359617
RUNJOBID= nodeC020-1721356020-985855
SLURM_JOB_ID= 7542758
Free space on /tmp= 889972 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm50p-dec.opb.negationfix.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-4449208-1721359617/watcher-4449208-1721359617 -o /tmp/evaluation-result-4449208-1721359617/solver-4449208-1721359617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721356020-985855 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449208-1721359617.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a83101891c756e818f261b20124136b
RANDOM SEED=1740323146
nodeC020.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 : 0xb00002a
cpu MHz : 3680.991
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3655.934
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
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 : 3600.090
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3679.605
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
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 : 3681.005
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3677.351
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
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 : 3600.264
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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.867
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116580484 kB
MemAvailable: 118725328 kB
Buffers: 521268 kB
Cached: 2441600 kB
SwapCached: 0 kB
Active: 930456 kB
Inactive: 13342920 kB
Active(anon): 1608 kB
Inactive(anon): 11346612 kB
Active(file): 928848 kB
Inactive(file): 1996308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30588 kB
Writeback: 0 kB
AnonPages: 11308664 kB
Mapped: 119232 kB
Shmem: 37720 kB
KReclaimable: 119020 kB
Slab: 233840 kB
SReclaimable: 119020 kB
SUnreclaim: 114820 kB
KernelStack: 4108 kB
PageTables: 31380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 12746492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4610048 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 889696 MiB
End job on nodeC020 at 2024-07-19 05:34:00