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 (62924 MiB free)
memory of node 1: 64465 MiB (63897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515119-1751139065/watcher-4515119-1751139065 -o /tmp/evaluation-result-4515119-1751139065/solver-4515119-1751139065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751133631-11481 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4515119-1751139065.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12820, runsolver pid=12817
[startup+0.100064 s]*
/proc/loadavg: 4.18 4.13 4.07 5/268 12824
/proc/meminfo: memFree=129839748/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=38876 memory=23968 CPUtime=0.07 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 6059 0 0 0 7 0 0 0 20 0 1 0 29584031 39809024 5992 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 9719 5992 960 2593 0 6612 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45860 KiB
Current children cumulated memory: 28448 KiB
[startup+0.205776 s]*
/proc/loadavg: 4.18 4.13 4.07 5/268 12824
/proc/meminfo: memFree=129823380/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=42328 memory=27268 CPUtime=0.18 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 7039 0 0 0 18 0 0 0 20 0 1 0 29584031 43343872 6817 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 10582 6817 960 2593 0 7475 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 31748 KiB
[startup+0.305732 s]*
/proc/loadavg: 4.18 4.13 4.07 5/268 12824
/proc/meminfo: memFree=129803472/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=42364 memory=27816 CPUtime=0.28 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 7669 0 0 0 28 0 0 0 20 0 1 0 29584031 43380736 6954 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 10591 6954 960 2593 0 7484 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 32296 KiB
[startup+0.70023 s]
/proc/loadavg: 4.18 4.13 4.07 5/268 12824
/proc/meminfo: memFree=129771216/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=42716 memory=28284 CPUtime=0.67 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 9294 0 0 0 66 1 0 0 20 0 1 0 29584031 43741184 7071 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 10679 7071 992 2593 0 7572 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49700 KiB
Current children cumulated memory: 32764 KiB
[startup+1.50018 s]
/proc/loadavg: 4.18 4.13 4.07 5/268 12824
/proc/meminfo: memFree=129674748/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=53508 memory=39168 CPUtime=1.47 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 12436 0 0 0 146 1 0 0 20 0 1 0 29584031 54792192 9792 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 13377 9792 992 2593 0 10270 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60492 KiB
Current children cumulated memory: 43648 KiB
[startup+3.10551 s]
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=129262668/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=53508 memory=39168 CPUtime=3.07 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 12436 0 0 0 306 1 0 0 20 0 1 0 29584031 54792192 9792 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 13377 9792 992 2593 0 10270 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 60492 KiB
Current children cumulated memory: 43648 KiB
[startup+6.30019 s]
/proc/loadavg: 4.16 4.13 4.07 5/273 12896
/proc/meminfo: memFree=127228392/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=53508 memory=39168 CPUtime=6.25 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 12436 0 0 0 624 1 0 0 20 0 1 0 29584031 54792192 9792 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 13377 9792 992 2593 0 10270 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 60492 KiB
Current children cumulated memory: 43648 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.12 4.07 5/273 12896
/proc/meminfo: memFree=126997200/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=53692 memory=39336 CPUtime=12.63 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 13203 0 0 0 1262 1 0 0 20 0 1 0 29584031 54980608 9834 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 13423 9834 992 2593 0 10316 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 60676 KiB
Current children cumulated memory: 43816 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.07 5/274 12898
/proc/meminfo: memFree=124013172/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=54432 memory=40112 CPUtime=25.4 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 14374 0 0 0 2538 2 0 0 20 0 1 0 29584031 55738368 10028 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 13608 10028 992 2593 0 10501 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 61416 KiB
Current children cumulated memory: 44592 KiB
[startup+51.1057 s]
/proc/loadavg: 4.21 4.14 4.08 5/273 12898
/proc/meminfo: memFree=122288732/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=63500 memory=49436 CPUtime=50.93 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 20146 0 0 0 5089 4 0 0 20 0 1 0 29584031 65024000 12359 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 15875 12359 992 2593 0 12768 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 70484 KiB
Current children cumulated memory: 53916 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.21 4.10 5/274 12903
/proc/meminfo: memFree=118408628/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/12824/statm: 18807 15273 992 2593 0 15700 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 82212 KiB
Current children cumulated memory: 65572 KiB
[startup+210.55 s]
# the end of solver process 12820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=209.819 s, system=0.126306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.20 4.19 4.10 5/274 12907
/proc/meminfo: memFree=113727092/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=92200 memory=78136 CPUtime=178.67 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 35072 0 0 0 17857 10 0 0 20 0 1 0 29584031 94412800 19534 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 23050 19534 992 2593 0 19943 0
Current children cumulated CPU time: 178.67 s
Current children cumulated vsize: 99184 KiB
Current children cumulated memory: 82616 KiB
[startup+192 s]*
/proc/loadavg: 4.17 4.18 4.10 5/274 12908
/proc/meminfo: memFree=113179856/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=95012 memory=80932 CPUtime=191.45 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 35954 0 0 0 19134 11 0 0 20 0 1 0 29584031 97292288 20233 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 23753 20233 992 2593 0 20646 0
Current children cumulated CPU time: 191.45 s
Current children cumulated vsize: 101996 KiB
Current children cumulated memory: 85412 KiB
[startup+198.4 s]
/proc/loadavg: 4.16 4.18 4.10 5/274 12908
/proc/meminfo: memFree=113104172/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=112564 memory=98432 CPUtime=197.82 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36254 0 0 0 19771 11 0 0 20 0 1 0 29584031 115265536 24608 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 28141 24608 992 2593 0 25034 0
Current children cumulated CPU time: 197.82 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 102912 KiB
[startup+204.8 s]
/proc/loadavg: 4.13 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112887644/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=95012 memory=80948 CPUtime=204.2 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36254 0 0 0 20409 11 0 0 20 0 1 0 29584031 97292288 20237 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 23753 20237 992 2593 0 20646 0
Current children cumulated CPU time: 204.2 s
Current children cumulated vsize: 101996 KiB
Current children cumulated memory: 85428 KiB
[startup+208 s]*
/proc/loadavg: 4.13 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112709800/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=97516 memory=83380 CPUtime=207.4 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36880 0 0 0 20729 11 0 0 20 0 1 0 29584031 99856384 20845 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 24379 20845 992 2593 0 21272 0
Current children cumulated CPU time: 207.4 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 87860 KiB
[startup+209.6 s]
/proc/loadavg: 4.12 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112496936/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=97516 memory=83380 CPUtime=208.99 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36880 0 0 0 20888 11 0 0 20 0 1 0 29584031 99856384 20845 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 24379 20845 992 2593 0 21272 0
Current children cumulated CPU time: 208.99 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 87860 KiB
[startup+210 s]*
/proc/loadavg: 4.12 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112638764/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=97516 memory=83380 CPUtime=209.39 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36880 0 0 0 20928 11 0 0 20 0 1 0 29584031 99856384 20845 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 24379 20845 992 2593 0 21272 0
Current children cumulated CPU time: 209.39 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 87860 KiB
[startup+210.4 s]
/proc/loadavg: 4.12 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112638764/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=97516 memory=83380 CPUtime=209.78 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36880 0 0 0 20967 11 0 0 20 0 1 0 29584031 99856384 20845 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 24379 20845 992 2593 0 21272 0
Current children cumulated CPU time: 209.78 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 87860 KiB
[startup+210.5 s]
/proc/loadavg: 4.12 4.17 4.09 5/274 12909
/proc/meminfo: memFree=112638764/131250000 swapFree=33010684/33010684
[pid=12820] ppid=12817 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12820/stat : 12820 (Hybrid-CASHWMax) S 12817 12820 11463 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 29584029 4427776 768 18446744073709551615 94086506528768 94086507423301 140734179314592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94086507662352 94086507710096 94086535921664 140734179318103 140734179318257 140734179318257 140734179323859 0
/proc/12820/statm: 1081 768 704 219 0 143 0
[pid=12823] ppid=12820 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12823/stat : 12823 (timeout) S 12820 12823 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29584031 2723840 352 18446744073709551615 93887543447552 93887543464065 140734358115872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93887543478832 93887543480920 93887547236352 140734358120864 140734358120994 140734358120994 140734358126567 0
/proc/12823/statm: 665 352 352 5 0 90 0
[pid=12824] ppid=12823 vsize=97516 memory=83380 CPUtime=209.88 cores=5,7
/proc/12824/stat : 12824 (CASHWMaxSAT-Dis) R 12823 12823 11463 0 -1 4194304 36880 0 0 0 20977 11 0 0 20 0 1 0 29584031 99856384 20845 18446744073709551615 4198400 14817773 140737374839536 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41529344 140737374845350 140737374845467 140737374845467 140737374851040 0
/proc/12824/statm: 24379 20845 992 2593 0 21272 0
Current children cumulated CPU time: 209.88 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 87860 KiB
Child status: 0
Real time (s): 210.55
CPU time (s): 209.945
CPU user time (s): 209.819
CPU system time (s): 0.126306
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 119548
Max. memory (cumulated for all children) (KiB): 102912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.819
system time used= 0.126306
maximum resident set size= 98432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 341
involuntary context switches= 299
# summary of solver processes directly reported to runsolver:
# pid: 12820
# total CPU time (s): 209.945
# total CPU user time (s): 209.819
# total CPU system time (s): 0.126306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.479314 second user time and 0.980041 second system time
The end
Begin job on nodeC019 at 2025-06-28 21:31:05
IDJOB=4515119
IDBENCH=164171
IDSOLVER=3328
FILE ID=nodeC019/4515119-1751139065
RUNJOBID= nodeC019-1751133631-11481
SLURM_JOB_ID= 9587419
Free space on /tmp= 432772 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-cvs16r70-62.0.s.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515119-1751139065/watcher-4515119-1751139065 -o /tmp/evaluation-result-4515119-1751139065/solver-4515119-1751139065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751133631-11481 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4515119-1751139065.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e99b38fa81d8e2d96927a91dd0f6056
RANDOM SEED=1434631096
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.712
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.37
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.674
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.37
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.360
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.37
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 : 3599.983
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.37
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 : 3700.000
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.37
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 : 3600.615
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.37
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 : 3599.695
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.699
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129873624 kB
MemAvailable: 129670504 kB
Buffers: 3280 kB
Cached: 617920 kB
SwapCached: 0 kB
Active: 358324 kB
Inactive: 395856 kB
Active(anon): 151064 kB
Inactive(anon): 0 kB
Active(file): 207260 kB
Inactive(file): 395856 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 233572 kB
Writeback: 28 kB
AnonPages: 135596 kB
Mapped: 111536 kB
Shmem: 18064 kB
KReclaimable: 66004 kB
Slab: 147868 kB
SReclaimable: 66004 kB
SUnreclaim: 81864 kB
KernelStack: 4272 kB
PageTables: 3468 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 478648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 63488 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC019 at 2025-06-28 21:34:36