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 (61878 MiB free)
memory of node 1: 64465 MiB (60949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484105-1751282706/watcher-4484105-1751282706 -o /tmp/evaluation-result-4484105-1751282706/solver-4484105-1751282706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44983 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484105-1751282706.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45520, runsolver pid=45517
[startup+0.100061 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125764684/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=33740 memory=18524 CPUtime=0.07 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 5453 0 0 0 6 1 0 0 20 0 1 0 43948143 34549760 4631 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 8435 4631 768 2416 0 5537 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40724 KiB
Current children cumulated memory: 22876 KiB
[startup+0.205723 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125764684/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=33740 memory=18908 CPUtime=0.18 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 5521 0 0 0 17 1 0 0 20 0 1 0 43948143 34549760 4727 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 8435 4727 800 2416 0 5537 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40724 KiB
Current children cumulated memory: 23260 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125764684/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=36748 memory=22080 CPUtime=0.28 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 5811 0 0 0 27 1 0 0 20 0 1 0 43948143 37629952 5520 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 9187 5520 800 2416 0 6289 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43732 KiB
Current children cumulated memory: 26432 KiB
[startup+0.700223 s]
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125765172/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=36748 memory=22080 CPUtime=0.67 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 5814 0 0 0 66 1 0 0 20 0 1 0 43948143 37629952 5520 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 9187 5520 800 2416 0 6289 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43732 KiB
Current children cumulated memory: 26432 KiB
[startup+1.50024 s]
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125765172/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=41100 memory=26364 CPUtime=1.46 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 5867 0 0 0 145 1 0 0 20 0 1 0 43948143 42086400 6591 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 10275 6591 800 2416 0 7377 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 48084 KiB
Current children cumulated memory: 30716 KiB
[startup+3.10585 s]
/proc/loadavg: 4.23 4.17 4.11 5/273 45524
/proc/meminfo: memFree=125764164/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=45496 memory=30548 CPUtime=3.06 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 6408 0 0 0 305 1 0 0 20 0 1 0 43948143 46587904 7637 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 11374 7637 800 2416 0 8476 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 52480 KiB
Current children cumulated memory: 34900 KiB
[startup+6.30023 s]
/proc/loadavg: 4.23 4.17 4.11 5/274 45526
/proc/meminfo: memFree=125752452/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=50280 memory=34596 CPUtime=6.25 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 8252 0 0 0 623 2 0 0 20 0 1 0 43948143 51486720 8649 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 12570 8649 800 2416 0 9672 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 57264 KiB
Current children cumulated memory: 38948 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.11 5/274 45526
/proc/meminfo: memFree=125748340/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=53000 memory=36388 CPUtime=12.64 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 8695 0 0 0 1262 2 0 0 20 0 1 0 43948143 54272000 9097 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 13250 9097 800 2416 0 10352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59984 KiB
Current children cumulated memory: 40740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/274 45526
/proc/meminfo: memFree=125729388/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=57420 memory=42740 CPUtime=25.39 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 9260 0 0 0 2537 2 0 0 20 0 1 0 43948143 58798080 10685 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 14355 10685 800 2416 0 11457 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 64404 KiB
Current children cumulated memory: 47092 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.15 4.11 5/275 45653
/proc/meminfo: memFree=127133976/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=61864 memory=46708 CPUtime=50.93 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 9925 0 0 0 5090 3 0 0 20 0 1 0 43948143 63348736 11677 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 15466 11677 800 2416 0 12568 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 51060 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/275 45655
/proc/meminfo: memFree=127037844/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1059.37 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19756 0 0 0 105921 16 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1059.37 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1122.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/272 45701
/proc/meminfo: memFree=126468080/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1119.18 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19800 0 0 0 111902 16 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1119.18 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1182.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45704
/proc/meminfo: memFree=126605588/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1178.99 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 117882 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1178.99 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1198.15 s]
# the end of solver process 45520 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.58 s, system=0.194553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45761
/proc/meminfo: memFree=126726492/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1187.07 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 118690 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1187.07 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1193.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 45761
/proc/meminfo: memFree=126743564/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1190.26 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 119009 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1190.26 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1195.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 45761
/proc/meminfo: memFree=126740524/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1191.85 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 119168 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1191.85 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1196.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 45761
/proc/meminfo: memFree=126744852/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1193.45 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 119328 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1193.45 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1197.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 45761
/proc/meminfo: memFree=126756416/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1194.24 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 119407 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1194.24 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1198 s]*
/proc/loadavg: 4.14 4.11 4.09 5/272 45761
/proc/meminfo: memFree=126756624/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
[pid=45523] ppid=45520 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/45523/stat : 45523 (timeout) S 45520 45523 44972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 43948143 2723840 320 18446744073709551615 94669922381824 94669922398337 140729487776464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94669922413104 94669922415192 94669953089536 140729487780246 140729487780386 140729487780386 140729487785959 0
/proc/45523/statm: 665 320 320 5 0 90 0
[pid=45524] ppid=45523 vsize=179908 memory=163200 CPUtime=1194.65 cores=4,6
/proc/45524/stat : 45524 (CASHWMaxSAT-Dis) R 45523 45523 44972 0 -1 4194304 19802 0 0 0 119448 17 0 0 20 0 1 0 43948143 184225792 40800 18446744073709551615 4198400 14093885 140733760499072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 51286016 140733760506268 140733760506395 140733760506395 140733760511968 0
/proc/45524/statm: 44977 40800 800 2416 0 42079 0
Current children cumulated CPU time: 1194.65 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 167552 KiB
[startup+1198.11 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 45761
/proc/meminfo: memFree=126756624/131250000 swapFree=33010684/33010684
[pid=45520] ppid=45517 vsize=4324 memory=3072 CPUtime=1194.66 cores=4,6
/proc/45520/stat : 45520 (Hybrid-CASHWMax) S 45517 45520 44972 0 -1 4194304 282 20025 0 0 0 0 119449 17 20 0 1 0 43948141 4427776 768 18446744073709551615 93829458575360 93829459469893 140722398117872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93829459708944 93829459756688 93829468946432 140722398124375 140722398124529 140722398124529 140722398130131 0
/proc/45520/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1198.15
CPU time (s): 1194.78
CPU user time (s): 1194.58
CPU system time (s): 0.194553
CPU usage (%): 99.7186
Max. virtual memory (cumulated for all children) (KiB): 186896
Max. memory (cumulated for all children) (KiB): 167552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.58
system time used= 0.194553
maximum resident set size= 175292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 757
involuntary context switches= 893
# summary of solver processes directly reported to runsolver:
# pid: 45520
# total CPU time (s): 1194.78
# total CPU user time (s): 1194.58
# total CPU system time (s): 0.194553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49905 second user time and 5.77586 second system time
The end
Begin job on nodeC016 at 2025-06-30 13:25:06
IDJOB=4484105
IDBENCH=146650
IDSOLVER=3329
FILE ID=nodeC016/4484105-1751282706
RUNJOBID= nodeC016-1751279092-44983
SLURM_JOB_ID= 9594205
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484105-1751282706/watcher-4484105-1751282706 -o /tmp/evaluation-result-4484105-1751282706/solver-4484105-1751282706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44983 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484105-1751282706.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=563484823
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.439
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.606
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.730
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.795
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3441.984
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125792660 kB
MemAvailable: 126641608 kB
Buffers: 3280 kB
Cached: 1652700 kB
SwapCached: 0 kB
Active: 3420780 kB
Inactive: 1395332 kB
Active(anon): 3178212 kB
Inactive(anon): 0 kB
Active(file): 242568 kB
Inactive(file): 1395332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50208 kB
Writeback: 0 kB
AnonPages: 3162800 kB
Mapped: 114308 kB
Shmem: 18072 kB
KReclaimable: 100576 kB
Slab: 187864 kB
SReclaimable: 100576 kB
SUnreclaim: 87288 kB
KernelStack: 4320 kB
PageTables: 9564 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3757588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1269760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC016 at 2025-06-30 13:45:04