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 (58162 MiB free)
memory of node 1: 64510 MiB (56867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444016-1721315922/watcher-4444016-1721315922 -o /tmp/evaluation-result-4444016-1721315922/solver-4444016-1721315922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4444016-1721315922.opb 3600 HOME 31000
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=962992, runsolver pid=962989
[startup+0.100535 s]*
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117776028/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=27452 memory=11896 CPUtime=0.09 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 2616 0 0 0 9 0 0 0 20 0 1 0 183750943 28110848 2974 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 6863 2974 922 2726 0 3611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46044 KiB
Current children cumulated memory: 15716 KiB
[startup+0.214147 s]*
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117770404/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=39740 memory=20096 CPUtime=0.2 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 3652 0 0 0 19 1 0 0 20 0 1 0 183750943 40693760 5024 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 9935 5024 922 2726 0 6683 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58332 KiB
Current children cumulated memory: 23916 KiB
[startup+0.314063 s]*
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117717992/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=90140 memory=70428 CPUtime=0.31 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 10436 0 0 0 28 3 0 0 20 0 1 0 183750943 92303360 17607 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 22535 17607 954 2726 0 19283 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 108732 KiB
Current children cumulated memory: 74248 KiB
[startup+0.700506 s]
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117715808/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=125124 memory=105576 CPUtime=0.68 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 19150 0 0 0 64 4 0 0 20 0 1 0 183750943 128126976 26394 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 31281 26394 1034 2726 0 28029 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143716 KiB
Current children cumulated memory: 109396 KiB
[startup+1.50053 s]
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117985084/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=171548 memory=151532 CPUtime=1.47 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 29518 0 0 0 142 5 0 0 20 0 1 0 183750943 175665152 37883 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 42887 37883 1146 2726 0 39635 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 190140 KiB
Current children cumulated memory: 155352 KiB
[startup+3.11404 s]
/proc/loadavg: 4.09 2.88 3.30 5/252 962996
/proc/meminfo: memFree=117951316/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=173456 memory=153728 CPUtime=3.08 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 30403 0 0 0 303 5 0 0 20 0 1 0 183750943 177618944 38432 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 43364 38432 1146 2726 0 40112 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192048 KiB
Current children cumulated memory: 157548 KiB
[startup+6.30048 s]
/proc/loadavg: 4.09 2.90 3.31 5/248 963013
/proc/meminfo: memFree=122467448/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=177320 memory=157808 CPUtime=6.27 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 30900 0 0 0 621 6 0 0 20 0 1 0 183750943 181575680 39452 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 44330 39452 1146 2726 0 41078 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195912 KiB
Current children cumulated memory: 161628 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 2.92 3.31 5/248 963013
/proc/meminfo: memFree=122472380/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=168192 memory=148908 CPUtime=12.65 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 32542 0 0 0 1259 6 0 0 20 0 1 0 183750943 172228608 37227 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 42048 37227 1146 2726 0 38796 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 186784 KiB
Current children cumulated memory: 152728 KiB
[startup+25.5005 s]
/proc/loadavg: 4.35 3.04 3.34 5/252 963051
/proc/meminfo: memFree=122302788/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=184408 memory=164952 CPUtime=25.4 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 35887 0 0 0 2533 7 0 0 20 0 1 0 183750943 188833792 41238 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 46102 41238 1146 2726 0 42850 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 168772 KiB
[startup+51.1138 s]
/proc/loadavg: 4.86 3.26 3.41 5/252 963157
/proc/meminfo: memFree=122525036/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=186828 memory=167424 CPUtime=50.95 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 40538 0 0 0 5086 9 0 0 20 0 1 0 183750943 191311872 41856 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 46707 41856 1146 2726 0 43455 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 205420 KiB
Current children cumulated memory: 171244 KiB
[startup+102.301 s]
/proc/loadavg: 5.38 3.66 3.54 5/252 964440
/proc/meminfo: memFree=122526216/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
################
# More data... #
################
/proc/962996/statm: 45519 40825 1146 2726 0 42267 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 200668 KiB
Current children cumulated memory: 167120 KiB
[startup+209.32 s]
# the end of solver process 962992 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=208.434 s, system=0.235528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.201 s]
/proc/loadavg: 4.40 3.76 3.59 6/251 964813
/proc/meminfo: memFree=123212296/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=223960 memory=204988 CPUtime=178.61 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 53968 0 0 0 17841 20 0 0 20 0 1 0 183750943 229335040 51247 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 55990 51247 1146 2726 0 52738 0
Current children cumulated CPU time: 178.61 s
Current children cumulated vsize: 242552 KiB
Current children cumulated memory: 208808 KiB
[startup+192 s]*
/proc/loadavg: 4.41 3.79 3.60 5/251 964867
/proc/meminfo: memFree=123287476/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=184780 memory=166128 CPUtime=191.39 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 54656 0 0 0 19118 21 0 0 20 0 1 0 183750943 189214720 41532 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 46195 41532 1146 2726 0 42943 0
Current children cumulated CPU time: 191.39 s
Current children cumulated vsize: 203372 KiB
Current children cumulated memory: 169948 KiB
[startup+198.4 s]
/proc/loadavg: 4.38 3.79 3.60 5/245 964924
/proc/meminfo: memFree=123290628/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=206340 memory=187516 CPUtime=197.76 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55420 0 0 0 19754 22 0 0 20 0 1 0 183750943 211292160 46879 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 51585 46879 1146 2726 0 48333 0
Current children cumulated CPU time: 197.76 s
Current children cumulated vsize: 224932 KiB
Current children cumulated memory: 191336 KiB
[startup+204.8 s]
/proc/loadavg: 4.32 3.80 3.61 5/251 964970
/proc/meminfo: memFree=123235760/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=206340 memory=187516 CPUtime=204.14 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55420 0 0 0 20392 22 0 0 20 0 1 0 183750943 211292160 46879 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 51585 46879 1146 2726 0 48333 0
Current children cumulated CPU time: 204.14 s
Current children cumulated vsize: 224932 KiB
Current children cumulated memory: 191336 KiB
[startup+206.4 s]
/proc/loadavg: 4.32 3.80 3.61 5/251 964972
/proc/meminfo: memFree=123264704/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=206340 memory=187516 CPUtime=205.74 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55420 0 0 0 20552 22 0 0 20 0 1 0 183750943 211292160 46879 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 51585 46879 1146 2726 0 48333 0
Current children cumulated CPU time: 205.74 s
Current children cumulated vsize: 224932 KiB
Current children cumulated memory: 191336 KiB
[startup+208 s]*
/proc/loadavg: 4.32 3.80 3.61 5/251 964972
/proc/meminfo: memFree=123233884/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=232340 memory=213356 CPUtime=207.35 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55788 0 0 0 20713 22 0 0 20 0 1 0 183750943 237916160 53339 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 58085 53339 1146 2726 0 54833 0
Current children cumulated CPU time: 207.35 s
Current children cumulated vsize: 250932 KiB
Current children cumulated memory: 217176 KiB
[startup+208.8 s]
/proc/loadavg: 4.32 3.80 3.61 5/251 964972
/proc/meminfo: memFree=123233884/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=232340 memory=213356 CPUtime=208.13 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55788 0 0 0 20791 22 0 0 20 0 1 0 183750943 237916160 53339 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 58085 53339 1146 2726 0 54833 0
Current children cumulated CPU time: 208.13 s
Current children cumulated vsize: 250932 KiB
Current children cumulated memory: 217176 KiB
[startup+209.2 s]
/proc/loadavg: 4.30 3.80 3.61 5/251 964972
/proc/meminfo: memFree=123233760/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=232340 memory=213356 CPUtime=208.53 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55788 0 0 0 20831 22 0 0 20 0 1 0 183750943 237916160 53339 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 58085 53339 1146 2726 0 54833 0
Current children cumulated CPU time: 208.53 s
Current children cumulated vsize: 250932 KiB
Current children cumulated memory: 217176 KiB
[startup+209.3 s]
/proc/loadavg: 4.30 3.80 3.61 5/251 964972
/proc/meminfo: memFree=123233760/131655788 swapFree=131071996/131071996
[pid=962992] ppid=962989 vsize=9932 memory=2908 CPUtime=0 cores=1,3
/proc/962992/stat : 962992 (Hybrid-CASHWMax) S 962989 962992 961560 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 183750942 10170368 727 134679101440 94476067176448 94476068255768 140721045641856 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94476070354224 94476070401412 94476083679232 140721045644237 140721045644396 140721045644396 140721045651412 0
/proc/962992/statm: 2483 727 635 264 0 134 0
[pid=962995] ppid=962992 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/962995/stat : 962995 (timeout) S 962992 962995 961560 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183750943 8867840 228 134679101440 94790296506368 94790296541384 140727158102416 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94790298638800 94790298640932 94790313418752 140727158109181 140727158109340 140727158109340 140727158116327 0
/proc/962995/statm: 2165 228 204 9 0 87 0
[pid=962996] ppid=962995 vsize=232340 memory=213356 CPUtime=208.63 cores=1,3
/proc/962996/stat : 962996 (CASHWMaxSAT-Dis) R 962995 962995 961560 0 -1 4194304 55788 0 0 0 20841 22 0 0 20 0 1 0 183750943 237916160 53339 134679101440 4194304 15356333 140730376231696 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 53850112 140730376233986 140730376234132 140730376234132 140730376241119 0
/proc/962996/statm: 58085 53339 1146 2726 0 54833 0
Current children cumulated CPU time: 208.63 s
Current children cumulated vsize: 250932 KiB
Current children cumulated memory: 217176 KiB
Child status: 0
Real time (s): 209.32
CPU time (s): 208.669
CPU user time (s): 208.434
CPU system time (s): 0.235528
CPU usage (%): 99.6891
Max. virtual memory (cumulated for all children) (KiB): 250932
Max. memory (cumulated for all children) (KiB): 217176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.434
system time used= 0.235528
maximum resident set size= 230392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 230
# summary of solver processes directly reported to runsolver:
# pid: 962992
# total CPU time (s): 208.669
# total CPU user time (s): 208.434
# total CPU system time (s): 0.235528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19221 second user time and 2.39104 second system time
The end
Begin job on nodeC006 at 2024-07-18 17:18:54
IDJOB=4444016
IDBENCH=147893
IDSOLVER=3072
FILE ID=nodeC006/4444016-1721315922
RUNJOBID= nodeC006-1721315784-961572
SLURM_JOB_ID= 7542651
Free space on /tmp= 723608 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444016-1721315922/watcher-4444016-1721315922 -o /tmp/evaluation-result-4444016-1721315922/solver-4444016-1721315922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721315784-961572 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4444016-1721315922.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1603020042
nodeC006.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 : 3611.792
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.94
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 : 3638.793
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.26
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.414
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.94
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.248
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.26
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 : 3668.876
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.94
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 : 3636.460
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.26
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.403
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.94
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.258
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117793040 kB
MemAvailable: 124146300 kB
Buffers: 496932 kB
Cached: 6617308 kB
SwapCached: 0 kB
Active: 1069980 kB
Inactive: 12059676 kB
Active(anon): 1524 kB
Inactive(anon): 6051588 kB
Active(file): 1068456 kB
Inactive(file): 6008088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 82340 kB
Writeback: 360 kB
AnonPages: 6015028 kB
Mapped: 119996 kB
Shmem: 37704 kB
KReclaimable: 233496 kB
Slab: 351752 kB
SReclaimable: 233496 kB
SUnreclaim: 118256 kB
KernelStack: 4032 kB
PageTables: 21028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6503852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2295808 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC006 at 2024-07-18 17:22:24