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 (62583 MiB free)
memory of node 1: 64465 MiB (63268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523222-1751643641/watcher-4523222-1751643641 -o /tmp/evaluation-result-4523222-1751643641/solver-4523222-1751643641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751643641-95240 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523222-1751643641.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=95308, runsolver pid=95305
[startup+0.10006 s]*
/proc/loadavg: 0.04 0.07 0.09 5/272 95312
/proc/meminfo: memFree=128821052/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=26908 memory=8064 CPUtime=0.03 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 1367 0 0 0 3 0 0 0 20 0 1 0 80041868 27553792 2016 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 6727 2016 736 2416 0 3829 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 12416 KiB
[startup+0.205619 s]*
/proc/loadavg: 0.04 0.07 0.09 5/272 95312
/proc/meminfo: memFree=128777204/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=35824 memory=19936 CPUtime=0.13 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 4400 0 0 0 13 0 0 0 20 0 1 0 80041868 36683776 4984 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 8956 4984 768 2416 0 6058 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 42808 KiB
Current children cumulated memory: 24288 KiB
[startup+0.305633 s]*
/proc/loadavg: 0.04 0.07 0.09 5/272 95312
/proc/meminfo: memFree=128745452/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=43872 memory=28000 CPUtime=0.22 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 6419 0 0 0 22 0 0 0 20 0 1 0 80041868 44924928 7000 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 10968 7000 768 2416 0 8070 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50856 KiB
Current children cumulated memory: 32352 KiB
[startup+0.700188 s]
/proc/loadavg: 0.04 0.07 0.09 5/272 95312
/proc/meminfo: memFree=128665252/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=81160 memory=64864 CPUtime=0.61 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 15655 0 0 0 59 2 0 0 20 0 1 0 80041868 83107840 16216 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 20290 16216 768 2416 0 17392 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 88144 KiB
Current children cumulated memory: 69216 KiB
[startup+1.50024 s]
/proc/loadavg: 0.04 0.07 0.09 5/272 95312
/proc/meminfo: memFree=128498680/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=102572 memory=85856 CPUtime=1.41 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 20880 0 0 0 138 3 0 0 20 0 1 0 80041868 105033728 21464 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 25643 21464 768 2416 0 22745 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 109556 KiB
Current children cumulated memory: 90208 KiB
[startup+3.1059 s]
/proc/loadavg: 0.36 0.14 0.11 5/272 95312
/proc/meminfo: memFree=128025240/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=100116 memory=84180 CPUtime=3.01 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 21217 0 0 0 298 3 0 0 20 0 1 0 80041868 102518784 21045 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 25029 21045 768 2416 0 22131 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 107100 KiB
Current children cumulated memory: 88532 KiB
[startup+6.30023 s]
/proc/loadavg: 0.36 0.14 0.11 5/272 95312
/proc/meminfo: memFree=127676272/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=100368 memory=84564 CPUtime=6.2 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 21291 0 0 0 616 4 0 0 20 0 1 0 80041868 102776832 21141 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 25092 21141 768 2416 0 22194 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 107352 KiB
Current children cumulated memory: 88916 KiB
[startup+12.7002 s]
/proc/loadavg: 1.15 0.32 0.16 5/272 95312
/proc/meminfo: memFree=127314512/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=103924 memory=88276 CPUtime=12.58 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 22212 0 0 0 1253 5 0 0 20 0 1 0 80041868 106418176 22069 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 25981 22069 768 2416 0 23083 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 110908 KiB
Current children cumulated memory: 92628 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.44 0.21 5/272 95312
/proc/meminfo: memFree=126747516/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=731740 memory=716244 CPUtime=25.34 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 179211 0 0 0 2504 30 0 0 20 0 1 0 80041868 749301760 179061 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 182935 179061 768 2416 0 180037 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 738724 KiB
Current children cumulated memory: 720596 KiB
[startup+51.1055 s]
/proc/loadavg: 2.41 0.73 0.31 5/272 95313
/proc/meminfo: memFree=125814356/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=1601188 memory=1584212 CPUtime=50.87 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 396295 0 0 0 5018 69 0 0 20 0 1 0 80041868 1639616512 396053 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 400297 396053 768 2416 0 397399 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1608172 KiB
Current children cumulated memory: 1588564 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.31 0.53 5/272 95314
/proc/meminfo: memFree=124515508/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+762.3 s]
/proc/loadavg: 4.11 3.83 2.38 5/271 95347
/proc/meminfo: memFree=116283520/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=11002188 memory=10984080 CPUtime=759.87 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 2745828 0 0 0 75443 544 0 0 20 0 1 0 80041868 11266240512 2746020 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 2750547 2746020 800 2416 0 2747649 0
Current children cumulated CPU time: 759.87 s
Current children cumulated vsize: 11009172 KiB
Current children cumulated memory: 10988432 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 3.88 2.49 5/271 95349
/proc/meminfo: memFree=115592648/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=11498712 memory=11481488 CPUtime=819.68 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 2870182 0 0 0 81394 574 0 0 20 0 1 0 80041868 11774681088 2870372 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 2874678 2870372 800 2416 0 2871780 0
Current children cumulated CPU time: 819.68 s
Current children cumulated vsize: 11505696 KiB
Current children cumulated memory: 11485840 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 3.93 2.60 5/271 95353
/proc/meminfo: memFree=115316668/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=11984128 memory=11966992 CPUtime=879.5 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 2991588 0 0 0 87350 600 0 0 20 0 1 0 80041868 12271747072 2991748 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 2996032 2991748 800 2416 0 2993134 0
Current children cumulated CPU time: 879.5 s
Current children cumulated vsize: 11991112 KiB
Current children cumulated memory: 11971344 KiB
[startup+900.053 s]
# the end of solver process 95308 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=890.574 s, system=6.57455 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.13 3.93 2.60 5/271 95353
/proc/meminfo: memFree=115308604/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=11992060 memory=11974928 CPUtime=880.39 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 2993569 0 0 0 87438 601 0 0 20 0 1 0 80041868 12279869440 2993732 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 2998015 2993732 800 2416 0 2995117 0
Current children cumulated CPU time: 880.39 s
Current children cumulated vsize: 11999044 KiB
Current children cumulated memory: 11979280 KiB
[startup+889.6 s]
/proc/loadavg: 4.12 3.94 2.61 5/271 95353
/proc/meminfo: memFree=115256504/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=12042048 memory=12024976 CPUtime=886.77 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 3006086 0 0 0 88073 604 0 0 20 0 1 0 80041868 12331057152 3006244 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 3010512 3006244 800 2416 0 3007614 0
Current children cumulated CPU time: 886.77 s
Current children cumulated vsize: 12049032 KiB
Current children cumulated memory: 12029328 KiB
[startup+896 s]*
/proc/loadavg: 4.11 3.94 2.62 5/271 95353
/proc/meminfo: memFree=115218360/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=12088584 memory=12071696 CPUtime=893.16 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 3017766 0 0 0 88709 607 0 0 20 0 1 0 80041868 12378710016 3017924 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 3022146 3017924 800 2416 0 3019248 0
Current children cumulated CPU time: 893.16 s
Current children cumulated vsize: 12095568 KiB
Current children cumulated memory: 12076048 KiB
[startup+897.6 s]
/proc/loadavg: 4.10 3.94 2.62 5/271 95353
/proc/meminfo: memFree=115202104/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
[pid=95312] ppid=95311 vsize=12099688 memory=12082832 CPUtime=894.75 cores=0,2
/proc/95312/stat : 95312 (CASHWMaxSAT-Dis) R 95311 95311 95225 0 -1 4194304 3020559 0 0 0 88867 608 0 0 20 0 1 0 80041868 12390080512 3020708 18446744073709551615 4198400 14093885 140727588624272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 44785664 140727588628892 140727588629018 140727588629018 140727588634592 0
/proc/95312/statm: 3024922 3020708 800 2416 0 3022024 0
Current children cumulated CPU time: 894.75 s
Current children cumulated vsize: 12106672 KiB
Current children cumulated memory: 12087184 KiB
[startup+899.2 s]
/proc/loadavg: 4.10 3.94 2.62 4/267 95365
/proc/meminfo: memFree=116506312/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95311] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95311/stat : 95311 (timeout) S 95308 95311 95225 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 80041866 2723840 352 18446744073709551615 94095160479744 94095160496257 140720414639904 0 0 0 0 3293184 73735 1 0 0 17 2 0 0 0 0 0 94095160511024 94095160513112 94095193632768 140720414648727 140720414648865 140720414648865 140720414654439 0
/proc/95311/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
[startup+899.6 s]
/proc/loadavg: 4.10 3.94 2.62 4/267 95365
/proc/meminfo: memFree=116506312/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=896.63 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 282 3023219 0 0 0 0 89014 649 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 896.63 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+900 s]*
/proc/loadavg: 4.10 3.94 2.62 4/265 95376
/proc/meminfo: memFree=128196992/131249988 swapFree=33010160/33010684
[pid=95308] ppid=95305 vsize=4324 memory=2944 CPUtime=896.63 cores=0,2
/proc/95308/stat : 95308 (Hybrid-CASHWMax) S 95305 95308 95225 0 -1 4194304 282 3023219 0 0 0 0 89014 649 20 0 1 0 80041861 4427776 736 18446744073709551615 94248509833216 94248510727749 140736437510656 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248510966800 94248511014544 94248512012288 140736437512532 140736437512687 140736437512687 140736437518290 0
/proc/95308/statm: 1081 736 672 219 0 143 0
[pid=95374] ppid=95308 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/95374/stat : 95374 (timeout) S 95308 95374 95225 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 80131809 2723840 352 18446744073709551615 94366164762624 94366164779137 140730527368048 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94366164793904 94366164795992 94366167343104 140730527373700 140730527373857 140730527373857 140730527379431 0
/proc/95374/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 896.63 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
Child status: 0
Real time (s): 900.053
CPU time (s): 897.149
CPU user time (s): 890.574
CPU system time (s): 6.57455
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 12115552
Max. memory (cumulated for all children) (KiB): 12096016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 890.574
system time used= 6.57455
maximum resident set size= 12092560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3067794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 800
involuntary context switches= 1246
# summary of solver processes directly reported to runsolver:
# pid: 95308
# total CPU time (s): 897.149
# total CPU user time (s): 890.574
# total CPU system time (s): 6.57455
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85211 second user time and 4.39062 second system time
The end
Begin job on nodeC020 at 2025-07-04 17:40:42
IDJOB=4523222
IDBENCH=179855
IDSOLVER=3330
FILE ID=nodeC020/4523222-1751643641
RUNJOBID= nodeC020-1751643641-95240
SLURM_JOB_ID= 9672325
Free space on /tmp= 431416 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523222-1751643641/watcher-4523222-1751643641 -o /tmp/evaluation-result-4523222-1751643641/solver-4523222-1751643641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751643641-95240 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523222-1751643641.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=1727698098
nodeC020 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.888
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.79
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 : 1199.715
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.79
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 : 3728.772
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.79
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 : 2342.123
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.79
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.437
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.79
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 : 2918.217
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.79
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 : 3617.536
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.79
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 : 2644.329
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128945052 kB
MemAvailable: 129742700 kB
Buffers: 2128 kB
Cached: 1587848 kB
SwapCached: 8 kB
Active: 650964 kB
Inactive: 1020236 kB
Active(anon): 74700 kB
Inactive(anon): 24568 kB
Active(file): 576264 kB
Inactive(file): 995668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 120896 kB
Writeback: 0 kB
AnonPages: 84372 kB
Mapped: 105272 kB
Shmem: 18044 kB
KReclaimable: 129912 kB
Slab: 222728 kB
SReclaimable: 129912 kB
SUnreclaim: 92816 kB
KernelStack: 4224 kB
PageTables: 3128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 377148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431388 MiB
End job on nodeC020 at 2025-07-04 17:55:43