runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62947 MiB free)
memory of node 1: 64507 MiB (63032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484520-1751284662/watcher-4484520-1751284662 -o /tmp/evaluation-result-4484520-1751284662/solver-4484520-1751284662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43172 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484520-1751284662.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44340, runsolver pid=44337
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128983588/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=44716 memory=27296 CPUtime=0.07 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 6282 0 0 0 6 1 0 0 20 0 1 0 44144096 45789184 6824 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 11179 6824 768 2416 0 8281 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 51700 KiB
Current children cumulated memory: 31776 KiB
[startup+0.205687 s]*
/proc/loadavg: 4.12 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128982076/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=43324 memory=26308 CPUtime=0.17 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 7881 0 0 0 16 1 0 0 20 0 1 0 44144096 44363776 6577 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 10831 6577 768 2416 0 7933 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 30788 KiB
[startup+0.30564 s]*
/proc/loadavg: 4.12 4.11 4.09 6/272 44344
/proc/meminfo: memFree=128982076/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=43324 memory=26308 CPUtime=0.27 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 7881 0 0 0 26 1 0 0 20 0 1 0 44144096 44363776 6577 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 10831 6577 768 2416 0 7933 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 30788 KiB
[startup+0.700175 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128959832/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=43324 memory=26308 CPUtime=0.66 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 7881 0 0 0 64 2 0 0 20 0 1 0 44144096 44363776 6577 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 10831 6577 768 2416 0 7933 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 30788 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128959832/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=46688 memory=29892 CPUtime=1.46 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 8804 0 0 0 144 2 0 0 20 0 1 0 44144096 47808512 7473 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 11672 7473 768 2416 0 8774 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 34372 KiB
[startup+3.10548 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128951308/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=71908 memory=53368 CPUtime=3.06 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 12590 0 0 0 303 3 0 0 20 0 1 0 44144096 73633792 13342 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 17977 13342 800 2416 0 15079 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 78892 KiB
Current children cumulated memory: 57848 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128904632/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=99536 memory=79816 CPUtime=6.25 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 14828 0 0 0 621 4 0 0 20 0 1 0 44144096 101924864 19954 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 24884 19954 800 2416 0 21986 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 106520 KiB
Current children cumulated memory: 84296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128896008/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=99536 memory=83832 CPUtime=12.63 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 15455 0 0 0 1258 5 0 0 20 0 1 0 44144096 101924864 20958 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 24884 20958 800 2416 0 21986 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 106520 KiB
Current children cumulated memory: 88312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 44344
/proc/meminfo: memFree=128893148/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=119068 memory=91212 CPUtime=25.39 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 15756 0 0 0 2534 5 0 0 20 0 1 0 44144096 121925632 22803 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 29767 22803 800 2416 0 26869 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 126052 KiB
Current children cumulated memory: 95692 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.10 5/272 44345
/proc/meminfo: memFree=128842060/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=119068 memory=93260 CPUtime=50.92 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 15775 0 0 0 5087 5 0 0 20 0 1 0 44144096 121925632 23315 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 29767 23315 800 2416 0 26869 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 126052 KiB
Current children cumulated memory: 97740 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 44347
/proc/meminfo: memFree=128840212/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/44344/statm: 76542 67006 800 2416 0 73644 0
Current children cumulated CPU time: 760.11 s
Current children cumulated vsize: 313152 KiB
Current children cumulated memory: 272504 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 44397
/proc/meminfo: memFree=128588060/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=256848 memory=233732 CPUtime=819.96 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 40213 0 0 0 81973 23 0 0 20 0 1 0 44144096 263012352 58433 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 64212 58433 800 2416 0 61314 0
Current children cumulated CPU time: 819.96 s
Current children cumulated vsize: 263832 KiB
Current children cumulated memory: 238212 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/274 44454
/proc/meminfo: memFree=128431352/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=306168 memory=266144 CPUtime=879.81 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 43098 0 0 0 87951 30 0 0 20 0 1 0 44144096 313516032 66536 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 76542 66536 800 2416 0 73644 0
Current children cumulated CPU time: 879.81 s
Current children cumulated vsize: 313152 KiB
Current children cumulated memory: 270624 KiB
[startup+911.251 s]
# the end of solver process 44340 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=908.282 s, system=0.388267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128511036/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44343] ppid=44340 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44343/stat : 44343 (timeout) S 44340 44343 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44144096 2723840 352 18446744073709551615 94649080557568 94649080574081 140731803864112 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94649080588848 94649080590936 94649103982592 140731803867544 140731803867682 140731803867682 140731803873255 0
/proc/44343/statm: 665 352 352 5 0 90 0
[pid=44344] ppid=44343 vsize=306168 memory=272120 CPUtime=893.48 cores=4,6
/proc/44344/stat : 44344 (CASHWMaxSAT-Dis) R 44343 44343 43154 0 -1 4194304 43500 0 0 0 89317 31 0 0 20 0 1 0 44144096 313516032 68030 18446744073709551615 4198400 14093885 140726517327968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27791360 140726517336477 140726517336603 140726517336603 140726517342176 0
/proc/44344/statm: 76542 68030 800 2416 0 73644 0
Current children cumulated CPU time: 893.48 s
Current children cumulated vsize: 313152 KiB
Current children cumulated memory: 276600 KiB
[startup+902.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 44513
/proc/meminfo: memFree=128735420/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=131512 memory=83168 CPUtime=3.34 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 18709 0 0 0 331 3 0 0 20 0 1 0 44233997 134668288 20792 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 32878 20792 3392 2271 0 27516 0
Current children cumulated CPU time: 899.83 s
Current children cumulated vsize: 138496 KiB
Current children cumulated memory: 87520 KiB
[startup+905.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128688856/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=177208 memory=127100 CPUtime=6.54 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 32709 0 0 0 649 5 0 0 20 0 1 0 44233997 181460992 31775 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 44302 31775 3392 2271 0 38940 0
Current children cumulated CPU time: 903.03 s
Current children cumulated vsize: 184192 KiB
Current children cumulated memory: 131452 KiB
[startup+908.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128678576/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=181924 memory=133116 CPUtime=9.73 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 34215 0 0 0 968 5 0 0 20 0 1 0 44233997 186290176 33279 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 45481 33279 3392 2271 0 40119 0
Current children cumulated CPU time: 906.22 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137468 KiB
[startup+910.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128678828/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=181924 memory=133116 CPUtime=11.32 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 34215 0 0 0 1127 5 0 0 20 0 1 0 44233997 186290176 33279 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 45481 33279 3392 2271 0 40119 0
Current children cumulated CPU time: 907.81 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137468 KiB
[startup+910.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128678828/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=181924 memory=133116 CPUtime=11.72 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 34215 0 0 0 1167 5 0 0 20 0 1 0 44233997 186290176 33279 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 45481 33279 3392 2271 0 40119 0
Current children cumulated CPU time: 908.21 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137468 KiB
[startup+911.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128678828/131249996 swapFree=33010684/33010684
[pid=44340] ppid=44337 vsize=4324 memory=3072 CPUtime=896.49 cores=4,6
/proc/44340/stat : 44340 (Hybrid-CASHWMax) S 44337 44340 43154 0 -1 4194304 284 43729 0 0 0 0 89618 31 20 0 1 0 44144094 4427776 768 18446744073709551615 94225455443968 94225456338501 140727274106288 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225456577552 94225456625296 94225459068928 140727274113365 140727274113520 140727274113520 140727274119122 0
/proc/44340/statm: 1081 768 704 219 0 143 0
[pid=44512] ppid=44340 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44512/stat : 44512 (timeout) S 44340 44512 43154 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 44233997 2723840 320 18446744073709551615 94043697000448 94043697016961 140724976629616 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94043697031728 94043697033816 94043724541952 140724976638341 140724976638498 140724976638498 140724976644071 0
/proc/44512/statm: 665 320 320 5 0 90 0
[pid=44513] ppid=44512 vsize=181924 memory=133116 CPUtime=12.12 cores=4,6
/proc/44513/stat : 44513 (ExactPR-S9) R 44512 44512 43154 0 -1 4194304 34215 0 0 0 1207 5 0 0 20 0 1 0 44233997 186290176 33279 18446744073709551615 94017380139008 94017389439109 140733276233984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94017391225152 94017391264232 94017407160320 140733276236188 140733276236326 140733276236326 140733276241899 0
/proc/44513/statm: 45481 33279 3392 2271 0 40119 0
Current children cumulated CPU time: 908.61 s
Current children cumulated vsize: 188908 KiB
Current children cumulated memory: 137468 KiB
Child status: 0
Real time (s): 911.251
CPU time (s): 908.67
CPU user time (s): 908.282
CPU system time (s): 0.388267
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 362472
Max. memory (cumulated for all children) (KiB): 304916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 908.282
system time used= 0.388267
maximum resident set size= 312724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 834
involuntary context switches= 534
# summary of solver processes directly reported to runsolver:
# pid: 44340
# total CPU time (s): 908.67
# total CPU user time (s): 908.282
# total CPU system time (s): 0.388267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96475 second user time and 4.32429 second system time
The end
Begin job on nodeC024 at 2025-06-30 13:57:42
IDJOB=4484520
IDBENCH=146659
IDSOLVER=3330
FILE ID=nodeC024/4484520-1751284662
RUNJOBID= nodeC024-1751279092-43172
SLURM_JOB_ID= 9594209
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484520-1751284662/watcher-4484520-1751284662 -o /tmp/evaluation-result-4484520-1751284662/solver-4484520-1751284662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43172 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484520-1751284662.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=1053903466
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.607
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.619
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.586
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.445
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.815
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128995744 kB
MemAvailable: 129355544 kB
Buffers: 3280 kB
Cached: 1165920 kB
SwapCached: 0 kB
Active: 739796 kB
Inactive: 910412 kB
Active(anon): 499076 kB
Inactive(anon): 0 kB
Active(file): 240720 kB
Inactive(file): 910412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 42112 kB
Writeback: 4 kB
AnonPages: 484128 kB
Mapped: 112852 kB
Shmem: 18064 kB
KReclaimable: 95412 kB
Slab: 182700 kB
SReclaimable: 95412 kB
SUnreclaim: 87288 kB
KernelStack: 4352 kB
PageTables: 4204 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 849016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC024 at 2025-06-30 14:12:53