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: 63837 MiB (63114 MiB free)
memory of node 1: 64465 MiB (43758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515120-1751225290/watcher-4515120-1751225290 -o /tmp/evaluation-result-4515120-1751225290/solver-4515120-1751225290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751217287-25005 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4515120-1751225290.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27532, runsolver pid=27529
[startup+0.100073 s]*
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109438368/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=27472 memory=9192 CPUtime=0.06 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 1753 0 0 0 6 0 0 0 20 0 1 0 38207791 28131328 2298 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 6868 2298 768 2416 0 3970 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 34456 KiB
Current children cumulated memory: 13672 KiB
[startup+0.214039 s]*
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109422492/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=37948 memory=22304 CPUtime=0.18 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 5054 0 0 0 17 1 0 0 20 0 1 0 38207791 38858752 5576 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 9487 5576 768 2416 0 6589 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44932 KiB
Current children cumulated memory: 26784 KiB
[startup+0.313905 s]*
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109422492/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=35688 memory=21300 CPUtime=0.28 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 5611 0 0 0 27 1 0 0 20 0 1 0 38207791 36544512 5325 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 8922 5325 768 2416 0 6024 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 25780 KiB
[startup+0.700437 s]
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109422492/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=41232 memory=25528 CPUtime=0.65 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 7361 0 0 0 63 2 0 0 20 0 1 0 38207791 42221568 6382 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 10308 6382 800 2416 0 7410 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 48216 KiB
Current children cumulated memory: 30008 KiB
[startup+1.50047 s]
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109422844/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=41232 memory=25656 CPUtime=1.45 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 7418 0 0 0 143 2 0 0 20 0 1 0 38207791 42221568 6414 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 10308 6414 800 2416 0 7410 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 48216 KiB
Current children cumulated memory: 30136 KiB
[startup+3.11329 s]
/proc/loadavg: 4.17 4.13 4.09 5/258 27536
/proc/meminfo: memFree=109417288/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=47300 memory=32604 CPUtime=3.06 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 8640 0 0 0 303 3 0 0 20 0 1 0 38207791 48435200 8151 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 11825 8151 800 2416 0 8927 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 54284 KiB
Current children cumulated memory: 37084 KiB
[startup+6.30044 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 27536
/proc/meminfo: memFree=109403332/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=55256 memory=39540 CPUtime=6.24 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 10612 0 0 0 620 4 0 0 20 0 1 0 38207791 56582144 9885 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 13814 9885 800 2416 0 10916 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 62240 KiB
Current children cumulated memory: 44020 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 27536
/proc/meminfo: memFree=109372984/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=73932 memory=59404 CPUtime=12.62 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 12014 0 0 0 1257 5 0 0 20 0 1 0 38207791 75706368 14851 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 18483 14851 800 2416 0 15585 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 80916 KiB
Current children cumulated memory: 63884 KiB
[startup+25.5005 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 27536
/proc/meminfo: memFree=106662524/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=73932 memory=59404 CPUtime=25.38 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 12028 0 0 0 2533 5 0 0 20 0 1 0 38207791 75706368 14851 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 18483 14851 800 2416 0 15585 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 80916 KiB
Current children cumulated memory: 63884 KiB
[startup+51.1135 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 27537
/proc/meminfo: memFree=107971704/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=73932 memory=59404 CPUtime=50.92 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 12042 0 0 0 5087 5 0 0 20 0 1 0 38207791 75706368 14851 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 18483 14851 800 2416 0 15585 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 80916 KiB
Current children cumulated memory: 63884 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 27538
/proc/meminfo: memFree=107822564/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
[pid=27536] ppid=27535 vsize=147276 memory=127728 CPUtime=939.36 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 23574 0 0 0 93921 15 0 0 20 0 1 0 38207791 150810624 31932 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 36819 31932 800 2416 0 33921 0
Current children cumulated CPU time: 939.36 s
Current children cumulated vsize: 154260 KiB
Current children cumulated memory: 132208 KiB
[startup+1002.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 27587
/proc/meminfo: memFree=122431072/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=147276 memory=131824 CPUtime=999.19 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 23620 0 0 0 99904 15 0 0 20 0 1 0 38207791 150810624 32956 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 36819 32956 800 2416 0 33921 0
Current children cumulated CPU time: 999.19 s
Current children cumulated vsize: 154260 KiB
Current children cumulated memory: 136304 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 27590
/proc/meminfo: memFree=122423124/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=147276 memory=130484 CPUtime=1059.03 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 24593 0 0 0 105886 17 0 0 20 0 1 0 38207791 150810624 32621 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 36819 32621 800 2416 0 33921 0
Current children cumulated CPU time: 1059.03 s
Current children cumulated vsize: 154260 KiB
Current children cumulated memory: 134964 KiB
[startup+1122.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/258 27592
/proc/meminfo: memFree=122388600/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=166244 memory=148208 CPUtime=1118.86 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 25447 0 0 0 111869 17 0 0 20 0 1 0 38207791 170233856 37052 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 41561 37052 800 2416 0 38663 0
Current children cumulated CPU time: 1118.86 s
Current children cumulated vsize: 173228 KiB
Current children cumulated memory: 152688 KiB
[startup+1182.3 s]
/proc/loadavg: 4.74 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122362688/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=166244 memory=148208 CPUtime=1178.7 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 25448 0 0 0 117853 17 0 0 20 0 1 0 38207791 170233856 37052 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 41561 37052 800 2416 0 38663 0
Current children cumulated CPU time: 1178.7 s
Current children cumulated vsize: 173228 KiB
Current children cumulated memory: 152688 KiB
[startup+1199.23 s]
# the end of solver process 27532 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1195.33 s, system=0.243151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.70 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122362964/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=166244 memory=148208 CPUtime=1186.78 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 25448 0 0 0 118661 17 0 0 20 0 1 0 38207791 170233856 37052 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 41561 37052 800 2416 0 38663 0
Current children cumulated CPU time: 1186.78 s
Current children cumulated vsize: 173228 KiB
Current children cumulated memory: 152688 KiB
[startup+1193.6 s]
/proc/loadavg: 4.70 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122363216/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=166244 memory=148208 CPUtime=1189.97 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 25448 0 0 0 118980 17 0 0 20 0 1 0 38207791 170233856 37052 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 41561 37052 800 2416 0 38663 0
Current children cumulated CPU time: 1189.97 s
Current children cumulated vsize: 173228 KiB
Current children cumulated memory: 152688 KiB
[startup+1196.8 s]
/proc/loadavg: 4.64 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122363216/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
[pid=27535] ppid=27532 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/27535/stat : 27535 (timeout) S 27532 27535 24995 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 38207790 2723840 352 18446744073709551615 93897324474368 93897324490881 140728394638480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93897324505648 93897324507736 93897325514752 140728394643872 140728394644002 140728394644002 140728394649575 0
/proc/27535/statm: 665 352 352 5 0 90 0
[pid=27536] ppid=27535 vsize=166244 memory=148208 CPUtime=1193.16 cores=0,2
/proc/27536/stat : 27536 (CASHWMaxSAT-Dis) R 27535 27535 24995 0 -1 4194304 25448 0 0 0 119299 17 0 0 20 0 1 0 38207791 170233856 37052 18446744073709551615 4198400 14093885 140724012626224 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44339200 140724012632486 140724012632603 140724012632603 140724012638176 0
/proc/27536/statm: 41561 37052 800 2416 0 38663 0
Current children cumulated CPU time: 1193.16 s
Current children cumulated vsize: 173228 KiB
Current children cumulated memory: 152688 KiB
[startup+1198.4 s]
/proc/loadavg: 4.64 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122355900/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=1194.39 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 284 25670 0 0 0 0 119422 17 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.8 s]
/proc/loadavg: 4.64 4.30 4.17 5/259 27597
/proc/meminfo: memFree=122355900/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=1194.39 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 284 25670 0 0 0 0 119422 17 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1199.2 s]
/proc/loadavg: 4.67 4.31 4.17 5/259 27599
/proc/meminfo: memFree=122474540/131382120 swapFree=33010684/33010684
[pid=27532] ppid=27529 vsize=4324 memory=3072 CPUtime=1195.54 cores=0,2
/proc/27532/stat : 27532 (Hybrid-CASHWMax) S 27529 27532 24995 0 -1 4194304 302 29704 0 0 0 0 119532 22 20 0 1 0 38207788 4427776 768 18446744073709551615 94083405504512 94083406399045 140736398861440 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94083406638096 94083406685840 94083419598848 140736398866775 140736398866929 140736398866929 140736398872531 0
/proc/27532/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1195.54 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1199.23
CPU time (s): 1195.57
CPU user time (s): 1195.33
CPU system time (s): 0.243151
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 203580
Max. memory (cumulated for all children) (KiB): 161804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.33
system time used= 0.243151
maximum resident set size= 163468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 771
involuntary context switches= 2714
# summary of solver processes directly reported to runsolver:
# pid: 27532
# total CPU time (s): 1195.57
# total CPU user time (s): 1195.33
# total CPU system time (s): 0.243151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04243 second user time and 12.9 second system time
The end
Begin job on nodeC002 at 2025-06-29 21:28:10
IDJOB=4515120
IDBENCH=164171
IDSOLVER=3331
FILE ID=nodeC002/4515120-1751225290
RUNJOBID= nodeC002-1751217287-25005
SLURM_JOB_ID= 9587661
Free space on /tmp= 432576 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-cvs16r70-62.0.s.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515120-1751225290/watcher-4515120-1751225290 -o /tmp/evaluation-result-4515120-1751225290/solver-4515120-1751225290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751217287-25005 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4515120-1751225290.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e99b38fa81d8e2d96927a91dd0f6056
RANDOM SEED=1391926978
nodeC002 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 : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.224
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.396
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.924
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 109438656 kB
MemAvailable: 109686140 kB
Buffers: 3280 kB
Cached: 1058056 kB
SwapCached: 0 kB
Active: 20486664 kB
Inactive: 809424 kB
Active(anon): 20252712 kB
Inactive(anon): 0 kB
Active(file): 233952 kB
Inactive(file): 809424 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16628 kB
Writeback: 0 kB
AnonPages: 20237856 kB
Mapped: 114876 kB
Shmem: 17960 kB
KReclaimable: 87468 kB
Slab: 169692 kB
SReclaimable: 87468 kB
SUnreclaim: 82224 kB
KernelStack: 4128 kB
PageTables: 43288 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 21825272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4648960 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC002 at 2025-06-29 21:48:09