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 (58858 MiB free)
memory of node 1: 64465 MiB (63009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517978-1751528665/watcher-4517978-1751528665 -o /tmp/evaluation-result-4517978-1751528665/solver-4517978-1751528665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82962 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4517978-1751528665.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84513, runsolver pid=84510
[startup+0.100066 s]*
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124793008/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=23408 memory=5120 CPUtime=0.08 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 602 0 0 0 8 0 0 0 20 0 1 0 68545252 23969792 1280 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9600 KiB
[startup+0.206141 s]*
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124793008/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=23408 memory=5120 CPUtime=0.19 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 602 0 0 0 19 0 0 0 20 0 1 0 68545252 23969792 1280 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9600 KiB
[startup+0.306063 s]*
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124793260/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=23408 memory=5120 CPUtime=0.28 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 602 0 0 0 28 0 0 0 20 0 1 0 68545252 23969792 1280 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 5852 1280 768 2416 0 2954 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 9600 KiB
[startup+0.700239 s]
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124757536/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=135680 memory=111980 CPUtime=0.67 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 25019 0 0 0 62 5 0 0 20 0 1 0 68545252 138936320 27995 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 33920 27995 768 2416 0 31022 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 142664 KiB
Current children cumulated memory: 116460 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124671476/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=170468 memory=141020 CPUtime=1.47 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 31936 0 0 0 140 7 0 0 20 0 1 0 68545252 174559232 35255 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 42617 35255 768 2416 0 39719 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 177452 KiB
Current children cumulated memory: 145500 KiB
[startup+3.106 s]
/proc/loadavg: 4.13 4.13 4.09 5/272 84517
/proc/meminfo: memFree=124635340/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=191020 memory=159344 CPUtime=3.07 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 34418 0 0 0 299 8 0 0 20 0 1 0 68545252 195604480 39836 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 47755 39836 768 2416 0 44857 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 198004 KiB
Current children cumulated memory: 163824 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.13 4.09 5/273 84518
/proc/meminfo: memFree=124607904/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=191020 memory=159344 CPUtime=6.25 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 34427 0 0 0 617 8 0 0 20 0 1 0 68545252 195604480 39836 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 47755 39836 768 2416 0 44857 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 198004 KiB
Current children cumulated memory: 163824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 84518
/proc/meminfo: memFree=124606816/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=191020 memory=159344 CPUtime=12.63 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 34436 0 0 0 1255 8 0 0 20 0 1 0 68545252 195604480 39836 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 47755 39836 768 2416 0 44857 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 198004 KiB
Current children cumulated memory: 163824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.12 4.09 5/273 84518
/proc/meminfo: memFree=124606600/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=191020 memory=159344 CPUtime=25.4 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 34476 0 0 0 2531 9 0 0 20 0 1 0 68545252 195604480 39836 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 47755 39836 768 2416 0 44857 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 198004 KiB
Current children cumulated memory: 163824 KiB
[startup+51.106 s]
/proc/loadavg: 4.12 4.12 4.09 5/275 84523
/proc/meminfo: memFree=124589648/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=191020 memory=159472 CPUtime=50.92 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 34502 0 0 0 5082 10 0 0 20 0 1 0 68545252 195604480 39868 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 47755 39868 768 2416 0 44857 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 198004 KiB
Current children cumulated memory: 163952 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/275 84524
/proc/meminfo: memFree=124729376/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=239204 memory=212424 CPUtime=759.93 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 41478 0 0 0 75963 30 0 0 20 0 1 0 68545252 244944896 53106 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 59801 53106 800 2416 0 56903 0
Current children cumulated CPU time: 759.93 s
Current children cumulated vsize: 246188 KiB
Current children cumulated memory: 216904 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 84614
/proc/meminfo: memFree=127205664/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=239904 memory=212564 CPUtime=819.72 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 42624 0 0 0 81939 33 0 0 20 0 1 0 68545252 245661696 53141 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 59976 53141 800 2416 0 57078 0
Current children cumulated CPU time: 819.72 s
Current children cumulated vsize: 246888 KiB
Current children cumulated memory: 217044 KiB
[startup+882.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 84616
/proc/meminfo: memFree=127216620/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=214476 CPUtime=879.54 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 43763 0 0 0 87916 38 0 0 20 0 1 0 68545252 246546432 53619 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 53619 800 2416 0 57294 0
Current children cumulated CPU time: 879.54 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 218956 KiB
[startup+899.265 s]
# the end of solver process 84513 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=896.026 s, system=0.419338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 84616
/proc/meminfo: memFree=127216628/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=216524 CPUtime=880.44 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 43764 0 0 0 88006 38 0 0 20 0 1 0 68545252 246546432 54131 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 54131 800 2416 0 57294 0
Current children cumulated CPU time: 880.44 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 221004 KiB
[startup+889.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 84616
/proc/meminfo: memFree=127202056/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=220620 CPUtime=886.82 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 43766 0 0 0 88644 38 0 0 20 0 1 0 68545252 246546432 55155 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 55155 800 2416 0 57294 0
Current children cumulated CPU time: 886.82 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 225100 KiB
[startup+896 s]*
/proc/loadavg: 4.15 4.11 4.09 5/272 84616
/proc/meminfo: memFree=127213840/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=214644 CPUtime=893.21 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 44019 0 0 0 89282 39 0 0 20 0 1 0 68545252 246546432 53661 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 53661 800 2416 0 57294 0
Current children cumulated CPU time: 893.21 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 219124 KiB
[startup+897.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 84616
/proc/meminfo: memFree=127213840/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=216692 CPUtime=894.8 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 44020 0 0 0 89441 39 0 0 20 0 1 0 68545252 246546432 54173 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 54173 800 2416 0 57294 0
Current children cumulated CPU time: 894.8 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 221172 KiB
[startup+898.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 84616
/proc/meminfo: memFree=127213840/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=216692 CPUtime=895.6 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 44020 0 0 0 89521 39 0 0 20 0 1 0 68545252 246546432 54173 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 54173 800 2416 0 57294 0
Current children cumulated CPU time: 895.6 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 221172 KiB
[startup+898.8 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 84616
/proc/meminfo: memFree=127213840/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
[pid=84516] ppid=84513 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/84516/stat : 84516 (timeout) S 84513 84516 82945 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68545252 2723840 352 18446744073709551615 94259050946560 94259050963073 140730602782400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94259050977840 94259050979928 94259065520128 140730602789272 140730602789410 140730602789410 140730602794983 0
/proc/84516/statm: 665 352 352 5 0 90 0
[pid=84517] ppid=84516 vsize=240768 memory=218740 CPUtime=896 cores=5,7
/proc/84517/stat : 84517 (CASHWMaxSAT-Dis) R 84516 84516 82945 0 -1 4194304 44021 0 0 0 89561 39 0 0 20 0 1 0 68545252 246546432 54685 18446744073709551615 4198400 14093885 140733420514736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46841856 140733420521885 140733420522011 140733420522011 140733420527584 0
/proc/84517/statm: 60192 54685 800 2416 0 57294 0
Current children cumulated CPU time: 896 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 223220 KiB
[startup+899.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 84616
/proc/meminfo: memFree=127202964/131249992 swapFree=33010160/33010684
[pid=84513] ppid=84510 vsize=4324 memory=3072 CPUtime=896.22 cores=5,7
/proc/84513/stat : 84513 (Hybrid-CASHWMax) S 84510 84513 82945 0 -1 4194304 285 44243 0 0 0 0 89583 39 20 0 1 0 68545250 4427776 768 18446744073709551615 94029030637568 94029031532101 140735886687952 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029031771152 94029031818896 94029052534784 140735886694741 140735886694896 140735886694896 140735886700498 0
/proc/84513/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 896.22 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 899.265
CPU time (s): 896.446
CPU user time (s): 896.026
CPU system time (s): 0.419338
CPU usage (%): 99.6865
Max. virtual memory (cumulated for all children) (KiB): 296472
Max. memory (cumulated for all children) (KiB): 249716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 896.026
system time used= 0.419338
maximum resident set size= 273384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 854
involuntary context switches= 809
# summary of solver processes directly reported to runsolver:
# pid: 84513
# total CPU time (s): 896.446
# total CPU user time (s): 896.026
# total CPU system time (s): 0.419338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09755 second user time and 4.37902 second system time
The end
Begin job on nodeC025 at 2025-07-03 09:44:25
IDJOB=4517978
IDBENCH=176273
IDSOLVER=3330
FILE ID=nodeC025/4517978-1751528665
RUNJOBID= nodeC025-1751523362-82962
SLURM_JOB_ID= 9598650
Free space on /tmp= 432904 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517978-1751528665/watcher-4517978-1751528665 -o /tmp/evaluation-result-4517978-1751528665/solver-4517978-1751528665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82962 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4517978-1751528665.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=1291785147
nodeC025 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.830
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.67
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.822
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.67
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.060
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.67
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 : 3603.321
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.67
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.774
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.67
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 : 3700.000
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.67
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124792880 kB
MemAvailable: 125365632 kB
Buffers: 2128 kB
Cached: 1364428 kB
SwapCached: 200 kB
Active: 4634132 kB
Inactive: 1117788 kB
Active(anon): 4381604 kB
Inactive(anon): 21616 kB
Active(file): 252528 kB
Inactive(file): 1096172 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25020 kB
Writeback: 12 kB
AnonPages: 4386916 kB
Mapped: 119208 kB
Shmem: 17856 kB
KReclaimable: 126580 kB
Slab: 215912 kB
SReclaimable: 126580 kB
SUnreclaim: 89332 kB
KernelStack: 4316 kB
PageTables: 12128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5340072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2336768 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432880 MiB
End job on nodeC025 at 2025-07-03 09:59:24