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: 63665 MiB (61138 MiB free)
memory of node 1: 64507 MiB (63364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484290-1751283595/watcher-4484290-1751283595 -o /tmp/evaluation-result-4484290-1751283595/solver-4484290-1751283595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43174 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484290-1751283595.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44001, runsolver pid=43998
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.11 4.09 5/273 44005
/proc/meminfo: memFree=127465736/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=43156 memory=24180 CPUtime=0.07 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 5986 0 0 0 6 1 0 0 20 0 1 0 44037379 44191744 6045 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 10789 6045 768 2416 0 7891 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 50140 KiB
Current children cumulated memory: 28532 KiB
[startup+0.205786 s]*
/proc/loadavg: 4.10 4.11 4.09 5/273 44005
/proc/meminfo: memFree=127465736/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=41692 memory=25600 CPUtime=0.17 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 7513 0 0 0 16 1 0 0 20 0 1 0 44037379 42692608 6400 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 10423 6400 768 2416 0 7525 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 48676 KiB
Current children cumulated memory: 29952 KiB
[startup+0.305678 s]*
/proc/loadavg: 4.10 4.11 4.09 5/273 44005
/proc/meminfo: memFree=127465988/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=41692 memory=25600 CPUtime=0.27 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 7513 0 0 0 26 1 0 0 20 0 1 0 44037379 42692608 6400 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 10423 6400 768 2416 0 7525 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 48676 KiB
Current children cumulated memory: 29952 KiB
[startup+0.700169 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 44005
/proc/meminfo: memFree=127465988/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=41692 memory=25600 CPUtime=0.66 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 7513 0 0 0 64 2 0 0 20 0 1 0 44037379 42692608 6400 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 10423 6400 768 2416 0 7525 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 48676 KiB
Current children cumulated memory: 29952 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 44005
/proc/meminfo: memFree=127461892/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=41692 memory=25856 CPUtime=1.46 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 7571 0 0 0 144 2 0 0 20 0 1 0 44037379 42692608 6464 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 10423 6464 800 2416 0 7525 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 48676 KiB
Current children cumulated memory: 30208 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 44005
/proc/meminfo: memFree=127440452/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=69636 memory=50528 CPUtime=3.06 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 11177 0 0 0 303 3 0 0 20 0 1 0 44037379 71307264 12632 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 17409 12632 800 2416 0 14511 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 76620 KiB
Current children cumulated memory: 54880 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 44005
/proc/meminfo: memFree=127433812/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=105148 memory=84164 CPUtime=6.24 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 14943 0 0 0 620 4 0 0 20 0 1 0 44037379 107671552 21041 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 26287 21041 800 2416 0 23389 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 112132 KiB
Current children cumulated memory: 88516 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 44005
/proc/meminfo: memFree=127434476/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=112328 memory=93352 CPUtime=12.63 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 15194 0 0 0 1258 5 0 0 20 0 1 0 44037379 115023872 23338 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 28082 23338 800 2416 0 25184 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 119312 KiB
Current children cumulated memory: 97704 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 44005
/proc/meminfo: memFree=127443188/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=112328 memory=93352 CPUtime=25.4 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 15244 0 0 0 2535 5 0 0 20 0 1 0 44037379 115023872 23338 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 28082 23338 800 2416 0 25184 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 119312 KiB
Current children cumulated memory: 97704 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 44007
/proc/meminfo: memFree=127428528/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=112328 memory=93352 CPUtime=50.94 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 15266 0 0 0 5089 5 0 0 20 0 1 0 44037379 115023872 23338 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 28082 23338 800 2416 0 25184 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 119312 KiB
Current children cumulated memory: 97704 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 44063
/proc/meminfo: memFree=127608320/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=269888 memory=234116 CPUtime=760.31 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 33194 0 0 0 76014 17 0 0 20 0 1 0 44037379 276365312 58529 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 67472 58529 800 2416 0 64574 0
Current children cumulated CPU time: 760.31 s
Current children cumulated vsize: 276872 KiB
Current children cumulated memory: 238468 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 44102
/proc/meminfo: memFree=126847524/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=274340 memory=236540 CPUtime=820.15 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 36137 0 0 0 81993 22 0 0 20 0 1 0 44037379 280924160 59135 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 68585 59135 800 2416 0 65687 0
Current children cumulated CPU time: 820.15 s
Current children cumulated vsize: 281324 KiB
Current children cumulated memory: 240892 KiB
[startup+882.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 44104
/proc/meminfo: memFree=126859972/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=281240 memory=246908 CPUtime=879.99 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 40127 0 0 0 87973 26 0 0 20 0 1 0 44037379 287989760 61727 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 70310 61727 800 2416 0 67412 0
Current children cumulated CPU time: 879.99 s
Current children cumulated vsize: 288224 KiB
Current children cumulated memory: 251260 KiB
[startup+911.433 s]
# the end of solver process 44001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=908.646 s, system=0.378207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.12 4.11 4.09 5/273 44104
/proc/meminfo: memFree=126859728/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44004] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44004/stat : 44004 (timeout) S 44001 44004 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44037379 2723840 352 18446744073709551615 94386179985408 94386180001921 140724514900032 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94386180016688 94386180018776 94386195390464 140724514904472 140724514904610 140724514904610 140724514910183 0
/proc/44004/statm: 665 352 352 5 0 90 0
[pid=44005] ppid=44004 vsize=281920 memory=250120 CPUtime=893.66 cores=5,7
/proc/44005/stat : 44005 (CASHWMaxSAT-Dis) R 44004 44004 43154 0 -1 4194304 40880 0 0 0 89339 27 0 0 20 0 1 0 44037379 288686080 62530 18446744073709551615 4198400 14093885 140728132712560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28151808 140728132716957 140728132717083 140728132717083 140728132722656 0
/proc/44005/statm: 70480 62530 800 2416 0 67582 0
Current children cumulated CPU time: 893.66 s
Current children cumulated vsize: 288904 KiB
Current children cumulated memory: 254472 KiB
[startup+902.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 44162
/proc/meminfo: memFree=127105816/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
[pid=44150] ppid=44149 vsize=134180 memory=85588 CPUtime=3.34 cores=5,7
/proc/44150/stat : 44150 (ExactPR-S9) R 44149 44149 43154 0 -1 4194304 19347 0 0 0 330 4 0 0 20 0 1 0 44127281 137400320 21397 18446744073709551615 94749579481088 94749588781189 140721893806672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94749590567232 94749590606312 94749601513472 140721893808540 140721893808678 140721893808678 140721893814251 0
/proc/44150/statm: 33545 21397 3360 2271 0 28183 0
Current children cumulated CPU time: 900.01 s
Current children cumulated vsize: 141164 KiB
Current children cumulated memory: 89940 KiB
[startup+905.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 44162
/proc/meminfo: memFree=127050268/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
[pid=44150] ppid=44149 vsize=182668 memory=132000 CPUtime=6.53 cores=5,7
/proc/44150/stat : 44150 (ExactPR-S9) R 44149 44149 43154 0 -1 4194304 34130 0 0 0 646 7 0 0 20 0 1 0 44127281 187052032 33000 18446744073709551615 94749579481088 94749588781189 140721893806672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94749590567232 94749590606312 94749601513472 140721893808540 140721893808678 140721893808678 140721893814251 0
/proc/44150/statm: 45667 33000 3360 2271 0 40305 0
Current children cumulated CPU time: 903.2 s
Current children cumulated vsize: 189652 KiB
Current children cumulated memory: 136352 KiB
[startup+908.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 44162
/proc/meminfo: memFree=127044376/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
[pid=44150] ppid=44149 vsize=193524 memory=143008 CPUtime=9.72 cores=5,7
/proc/44150/stat : 44150 (ExactPR-S9) R 44149 44149 43154 0 -1 4194304 36894 0 0 0 965 7 0 0 20 0 1 0 44127281 198168576 35752 18446744073709551615 94749579481088 94749588781189 140721893806672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94749590567232 94749590606312 94749601513472 140721893808540 140721893808678 140721893808678 140721893814251 0
/proc/44150/statm: 48381 35752 3360 2271 0 43019 0
Current children cumulated CPU time: 906.39 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147360 KiB
[startup+910.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 44163
/proc/meminfo: memFree=127036564/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
[pid=44150] ppid=44149 vsize=193524 memory=143008 CPUtime=11.31 cores=5,7
/proc/44150/stat : 44150 (ExactPR-S9) R 44149 44149 43154 0 -1 4194304 36895 0 0 0 1124 7 0 0 20 0 1 0 44127281 198168576 35752 18446744073709551615 94749579481088 94749588781189 140721893806672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94749590567232 94749590606312 94749601513472 140721893808540 140721893808678 140721893808678 140721893814251 0
/proc/44150/statm: 48381 35752 3360 2271 0 43019 0
Current children cumulated CPU time: 907.98 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147360 KiB
[startup+911.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 44163
/proc/meminfo: memFree=127036928/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
[pid=44150] ppid=44149 vsize=193524 memory=143008 CPUtime=12.11 cores=5,7
/proc/44150/stat : 44150 (ExactPR-S9) R 44149 44149 43154 0 -1 4194304 36895 0 0 0 1204 7 0 0 20 0 1 0 44127281 198168576 35752 18446744073709551615 94749579481088 94749588781189 140721893806672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94749590567232 94749590606312 94749601513472 140721893808540 140721893808678 140721893808678 140721893814251 0
/proc/44150/statm: 48381 35752 3360 2271 0 43019 0
Current children cumulated CPU time: 908.78 s
Current children cumulated vsize: 200508 KiB
Current children cumulated memory: 147360 KiB
[startup+911.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 44163
/proc/meminfo: memFree=127036928/131249996 swapFree=33010684/33010684
[pid=44001] ppid=43998 vsize=4324 memory=2944 CPUtime=896.67 cores=5,7
/proc/44001/stat : 44001 (Hybrid-CASHWMax) S 43998 44001 43154 0 -1 4194304 283 41177 0 0 0 0 89639 28 20 0 1 0 44037377 4427776 736 18446744073709551615 94625660104704 94625660999237 140735462591008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94625661238288 94625661286032 94625670983680 140735462598997 140735462599152 140735462599152 140735462604754 0
/proc/44001/statm: 1081 736 672 219 0 143 0
[pid=44149] ppid=44001 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44149/stat : 44149 (timeout) S 44001 44149 43154 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44127280 2723840 352 18446744073709551615 94506216304640 94506216321153 140737367512240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94506216335920 94506216338008 94506225180672 140737367517573 140737367517730 140737367517730 140737367523303 0
/proc/44149/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 896.67 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
Child status: 0
Real time (s): 911.434
CPU time (s): 909.024
CPU user time (s): 908.646
CPU system time (s): 0.378207
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 331484
Max. memory (cumulated for all children) (KiB): 283520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 908.646
system time used= 0.378207
maximum resident set size= 297992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79232
page faults= 1
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 862
involuntary context switches= 577
# summary of solver processes directly reported to runsolver:
# pid: 44001
# total CPU time (s): 909.024
# total CPU user time (s): 908.646
# total CPU system time (s): 0.378207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84368 second user time and 4.45707 second system time
The end
Begin job on nodeC024 at 2025-06-30 13:39:55
IDJOB=4484290
IDBENCH=146654
IDSOLVER=3330
FILE ID=nodeC024/4484290-1751283595
RUNJOBID= nodeC024-1751279092-43174
SLURM_JOB_ID= 9594209
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484290-1751283595/watcher-4484290-1751283595 -o /tmp/evaluation-result-4484290-1751283595/solver-4484290-1751283595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43174 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484290-1751283595.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996
RANDOM SEED=607678995
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.678
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.669
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3487.338
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3564.752
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.657
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3608.161
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.901
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127491156 kB
MemAvailable: 127851956 kB
Buffers: 3280 kB
Cached: 1166936 kB
SwapCached: 0 kB
Active: 2209588 kB
Inactive: 911432 kB
Active(anon): 1968868 kB
Inactive(anon): 0 kB
Active(file): 240720 kB
Inactive(file): 911432 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50340 kB
Writeback: 0 kB
AnonPages: 1953396 kB
Mapped: 113388 kB
Shmem: 18064 kB
KReclaimable: 95372 kB
Slab: 182652 kB
SReclaimable: 95372 kB
SUnreclaim: 87280 kB
KernelStack: 4368 kB
PageTables: 7076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2407664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1728512 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC024 at 2025-06-30 13:55:06