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: 63708 MiB (62870 MiB free)
memory of node 1: 64465 MiB (58122 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494226-1751156304/watcher-4494226-1751156304 -o /tmp/evaluation-result-4494226-1751156304/solver-4494226-1751156304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22066 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4494226-1751156304.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=23043, runsolver pid=23040
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.05 2.95 2.57 5/276 23047
/proc/meminfo: memFree=123896700/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=37508 memory=18944 CPUtime=0.08 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 4111 0 0 0 8 0 0 0 20 0 1 0 31307957 38408192 4736 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 9377 4736 736 2416 0 6479 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44492 KiB
Current children cumulated memory: 23168 KiB
[startup+0.205862 s]*
/proc/loadavg: 4.05 2.95 2.57 5/276 23047
/proc/meminfo: memFree=123805648/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=55844 memory=37248 CPUtime=0.19 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 8666 0 0 0 18 1 0 0 20 0 1 0 31307957 57184256 9312 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 13961 9312 736 2416 0 11063 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 41472 KiB
[startup+0.305767 s]*
/proc/loadavg: 4.05 2.95 2.57 5/276 23047
/proc/meminfo: memFree=123716560/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=73364 memory=54528 CPUtime=0.28 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 12994 0 0 0 27 1 0 0 20 0 1 0 31307957 75124736 13632 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 18341 13632 736 2416 0 15443 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80348 KiB
Current children cumulated memory: 58752 KiB
[startup+0.700235 s]
/proc/loadavg: 4.05 2.95 2.57 5/276 23047
/proc/meminfo: memFree=123549964/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=140808 memory=121856 CPUtime=0.67 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 29819 0 0 0 63 4 0 0 20 0 1 0 31307957 144187392 30464 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 35202 30464 736 2416 0 32304 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 147792 KiB
Current children cumulated memory: 126080 KiB
[startup+1.50024 s]
/proc/loadavg: 4.05 2.95 2.57 5/276 23047
/proc/meminfo: memFree=123599904/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=279924 memory=260352 CPUtime=1.46 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 64455 0 0 0 137 9 0 0 20 0 1 0 31307957 286642176 65088 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 69981 65088 736 2416 0 67083 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 286908 KiB
Current children cumulated memory: 264576 KiB
[startup+3.10562 s]
/proc/loadavg: 4.05 2.95 2.57 5/273 23063
/proc/meminfo: memFree=126428304/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=556156 memory=537344 CPUtime=3.07 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 133711 0 0 0 286 21 0 0 20 0 1 0 31307957 569503744 134336 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 139039 134336 736 2416 0 136141 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 563140 KiB
Current children cumulated memory: 541568 KiB
[startup+6.30022 s]
/proc/loadavg: 4.05 2.96 2.58 5/273 23063
/proc/meminfo: memFree=125412328/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=1108972 memory=1089052 CPUtime=6.26 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 271114 0 0 0 584 42 0 0 20 0 1 0 31307957 1135587328 272263 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 277243 272263 736 2416 0 274345 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1115956 KiB
Current children cumulated memory: 1093276 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 3.00 2.59 5/271 23066
/proc/meminfo: memFree=123839720/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=2136276 memory=2105540 CPUtime=12.65 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 532137 0 0 0 1182 83 0 0 20 0 1 0 31307957 2187546624 526385 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 534069 526385 768 2416 0 531171 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2143260 KiB
Current children cumulated memory: 2109764 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 3.05 2.61 5/274 23098
/proc/meminfo: memFree=121639728/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3657648 memory=3521912 CPUtime=25.41 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 662470 0 0 0 2407 134 0 0 20 0 1 0 31307957 3745431552 880478 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 914412 880478 1024 2416 0 911514 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3664632 KiB
Current children cumulated memory: 3526136 KiB
[startup+51.1057 s]
/proc/loadavg: 4.35 3.19 2.67 5/274 23148
/proc/meminfo: memFree=121918412/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3789908 memory=3579276 CPUtime=50.94 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 663273 0 0 0 4959 135 0 0 20 0 1 0 31307957 3880865792 894819 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 947477 894819 1024 2416 0 944579 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3796892 KiB
Current children cumulated memory: 3583500 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 3.36 2.76 5/271 23218
/proc/meminfo: memFree=122361888/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3789908 memory=3585428 CPUtime=101.99 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 663764 0 0 0 10063 136 0 0 20 0 1 0 31307957 3880865792 896357 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 947477 896357 1024 2416 0 944579 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3796892 KiB
Current children cumulated memory: 3589652 KiB
[startup+109.585 s]
# the end of solver process 23043 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=107.712 s, system=1.53531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.30 3.36 2.76 5/271 23218
/proc/meminfo: memFree=122361888/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3789908 memory=3585428 CPUtime=102.09 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 663764 0 0 0 10073 136 0 0 20 0 1 0 31307957 3880865792 896357 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 947477 896357 1024 2416 0 944579 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 3796892 KiB
Current children cumulated memory: 3589652 KiB
[startup+105.6 s]
/proc/loadavg: 4.27 3.37 2.77 5/271 23218
/proc/meminfo: memFree=122386812/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3789908 memory=3585428 CPUtime=105.27 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 663764 0 0 0 10391 136 0 0 20 0 1 0 31307957 3880865792 896357 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 947477 896357 1024 2416 0 944579 0
Current children cumulated CPU time: 105.27 s
Current children cumulated vsize: 3796892 KiB
Current children cumulated memory: 3589652 KiB
[startup+107.2 s]
/proc/loadavg: 4.27 3.37 2.77 5/274 23252
/proc/meminfo: memFree=122342720/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3789908 memory=3585428 CPUtime=106.87 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 663764 0 0 0 10550 137 0 0 20 0 1 0 31307957 3880865792 896357 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 947477 896357 1024 2416 0 944579 0
Current children cumulated CPU time: 106.87 s
Current children cumulated vsize: 3796892 KiB
Current children cumulated memory: 3589652 KiB
[startup+108.8 s]
/proc/loadavg: 4.27 3.37 2.77 5/274 23252
/proc/meminfo: memFree=122118452/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3822548 memory=3584800 CPUtime=108.46 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 664429 0 0 0 10704 142 0 0 20 0 1 0 31307957 3914289152 896200 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 955637 896200 1024 2416 0 952739 0
Current children cumulated CPU time: 108.46 s
Current children cumulated vsize: 3829532 KiB
Current children cumulated memory: 3589024 KiB
[startup+109.2 s]
/proc/loadavg: 4.33 3.40 2.78 5/274 23252
/proc/meminfo: memFree=122141800/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3610932 memory=3453160 CPUtime=108.85 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 664460 0 0 0 10742 143 0 0 20 0 1 0 31307957 3697594368 863290 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 902733 863290 1056 2416 0 899835 0
Current children cumulated CPU time: 108.85 s
Current children cumulated vsize: 3617916 KiB
Current children cumulated memory: 3457384 KiB
[startup+109.4 s]
/proc/loadavg: 4.33 3.40 2.78 5/274 23252
/proc/meminfo: memFree=122141800/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
[pid=23047] ppid=23046 vsize=3610932 memory=3453160 CPUtime=109.05 cores=0,2
/proc/23047/stat : 23047 (CASHWMaxSAT-Dis) R 23046 23046 22056 0 -1 4194304 664460 0 0 0 10762 143 0 0 20 0 1 0 31307957 3697594368 863290 18446744073709551615 4198400 14093885 140729401465344 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35569664 140729401469350 140729401469467 140729401469467 140729401475040 0
/proc/23047/statm: 902733 863290 1056 2416 0 899835 0
Current children cumulated CPU time: 109.05 s
Current children cumulated vsize: 3617916 KiB
Current children cumulated memory: 3457384 KiB
[startup+109.5 s]
/proc/loadavg: 4.33 3.40 2.78 5/274 23252
/proc/meminfo: memFree=122141800/131250000 swapFree=33010684/33010684
[pid=23043] ppid=23040 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/23043/stat : 23043 (Hybrid-CASHWMax) S 23040 23043 22056 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 31307956 4427776 736 18446744073709551615 94157941792768 94157942687301 140733411642192 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94157942926352 94157942974096 94157957365760 140733411649879 140733411650033 140733411650033 140733411655635 0
/proc/23043/statm: 1081 736 672 219 0 143 0
[pid=23046] ppid=23043 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/23046/stat : 23046 (timeout) S 23043 23046 22056 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 31307957 2723840 320 18446744073709551615 93964377415680 93964377432193 140736644258784 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93964377446960 93964377449048 93964402671616 140736644262304 140736644262434 140736644262434 140736644268007 0
/proc/23046/statm: 665 320 320 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4224 KiB
Child status: 0
Real time (s): 109.586
CPU time (s): 109.247
CPU user time (s): 107.712
CPU system time (s): 1.53531
CPU usage (%): 99.691
Max. virtual memory (cumulated for all children) (KiB): 4008508
Max. memory (cumulated for all children) (KiB): 3863412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.712
system time used= 1.53531
maximum resident set size= 3879884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 23043
# total CPU time (s): 109.247
# total CPU user time (s): 107.712
# total CPU system time (s): 1.53531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270654 second user time and 0.535154 second system time
The end
Begin job on nodeC016 at 2025-06-29 02:18:24
IDJOB=4494226
IDBENCH=147885
IDSOLVER=3331
FILE ID=nodeC016/4494226-1751156304
RUNJOBID= nodeC016-1751156026-22066
SLURM_JOB_ID= 9587475
Free space on /tmp= 432756 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494226-1751156304/watcher-4494226-1751156304 -o /tmp/evaluation-result-4494226-1751156304/solver-4494226-1751156304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22066 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4494226-1751156304.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=1615445723
nodeC016 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 : 3643.569
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.48
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.732
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.48
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 : 3599.732
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.48
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 : 3581.378
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.48
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.731
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.48
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 : 3599.297
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.48
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 : 3598.895
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.48
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 : 3589.591
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123896700 kB
MemAvailable: 123862828 kB
Buffers: 3280 kB
Cached: 776636 kB
SwapCached: 0 kB
Active: 6147872 kB
Inactive: 555084 kB
Active(anon): 5941112 kB
Inactive(anon): 0 kB
Active(file): 206760 kB
Inactive(file): 555084 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 210432 kB
Writeback: 4 kB
AnonPages: 5924888 kB
Mapped: 113180 kB
Shmem: 18072 kB
KReclaimable: 87048 kB
Slab: 169844 kB
SReclaimable: 87048 kB
SUnreclaim: 82796 kB
KernelStack: 4416 kB
PageTables: 14796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6483052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 811008 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432792 MiB
End job on nodeC016 at 2025-06-29 02:20:14