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 (56740 MiB free)
memory of node 1: 64465 MiB (50040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523680-1751590221/watcher-4523680-1751590221 -o /tmp/evaluation-result-4523680-1751590221/solver-4523680-1751590221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82779 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523680-1751590221.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83558, runsolver pid=83555
[startup+0.10007 s]*
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109336000/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=26112 memory=11648 CPUtime=0.08 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 2126 0 0 0 8 0 0 0 20 0 1 0 74696656 26738688 2912 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 6528 2912 864 2593 0 3421 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33096 KiB
Current children cumulated memory: 16000 KiB
[startup+0.205864 s]*
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109323904/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=34748 memory=20096 CPUtime=0.19 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 4237 0 0 0 19 0 0 0 20 0 1 0 74696656 35581952 5024 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 8687 5024 864 2593 0 5580 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41732 KiB
Current children cumulated memory: 24448 KiB
[startup+0.305751 s]*
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109320256/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=43120 memory=28160 CPUtime=0.28 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 6270 0 0 0 28 0 0 0 20 0 1 0 74696656 44154880 7040 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 10780 7040 864 2593 0 7673 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 32512 KiB
[startup+0.700234 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109304128/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=74692 memory=59264 CPUtime=0.67 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 14054 0 0 0 66 1 0 0 20 0 1 0 74696656 76484608 14816 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 18673 14816 864 2593 0 15566 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81676 KiB
Current children cumulated memory: 63616 KiB
[startup+1.50024 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109260408/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=197964 memory=175908 CPUtime=1.46 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 30381 0 0 0 140 6 0 0 20 0 1 0 74696656 202715136 43977 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 49491 43977 896 2593 0 46384 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 204948 KiB
Current children cumulated memory: 180260 KiB
[startup+3.10553 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=109190384/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=325752 memory=293628 CPUtime=3.07 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 40528 0 0 0 297 10 0 0 20 0 1 0 74696656 333570048 73407 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 81438 73407 1152 2593 0 78331 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 332736 KiB
Current children cumulated memory: 297980 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 83562
/proc/meminfo: memFree=108902044/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=613072 memory=589156 CPUtime=6.26 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 63483 0 0 0 606 20 0 0 20 0 1 0 74696656 627785728 147289 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 153268 147289 1152 2593 0 150161 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 620056 KiB
Current children cumulated memory: 593508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 83562
/proc/meminfo: memFree=108877900/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=1159176 memory=1037696 CPUtime=12.64 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 94220 0 0 0 1228 36 0 0 20 0 1 0 74696656 1186996224 259424 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 289794 259424 1152 2593 0 286687 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1166160 KiB
Current children cumulated memory: 1042048 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 83565
/proc/meminfo: memFree=111524864/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4778848 memory=4372776 CPUtime=25.4 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 514379 0 0 0 2381 159 0 0 20 0 1 0 74696656 4893540352 1093194 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1194712 1093194 1216 2593 0 1191605 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4785832 KiB
Current children cumulated memory: 4377128 KiB
[startup+51.1056 s]
/proc/loadavg: 4.44 4.18 4.12 5/272 83566
/proc/meminfo: memFree=110690900/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4853448 memory=4439812 CPUtime=50.94 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 524205 0 0 0 4933 161 0 0 20 0 1 0 74696656 4969930752 1109953 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1213362 1109953 1216 2593 0 1210255 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4860432 KiB
Current children cumulated memory: 4444164 KiB
[startup+79.8671 s]
# the end of solver process 83558 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=77.8179 s, system=1.78731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.44 4.18 4.12 5/272 83566
/proc/meminfo: memFree=110690900/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4853712 memory=4440068 CPUtime=51.03 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 524253 0 0 0 4942 161 0 0 20 0 1 0 74696656 4970201088 1110017 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1213428 1110017 1216 2593 0 1210321 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 4860696 KiB
Current children cumulated memory: 4444420 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.34 4.17 4.11 5/272 83571
/proc/meminfo: memFree=110816448/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4861596 memory=4448132 CPUtime=63.8 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 526300 0 0 0 6218 162 0 0 20 0 1 0 74696656 4978274304 1112033 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1215399 1112033 1216 2593 0 1212292 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 4868580 KiB
Current children cumulated memory: 4452484 KiB
[startup+70.4002 s]
/proc/loadavg: 4.31 4.17 4.11 5/272 83571
/proc/meminfo: memFree=110896032/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4875620 memory=4460120 CPUtime=70.17 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 529820 0 0 0 6849 168 0 0 20 0 1 0 74696656 4992634880 1115030 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1218905 1115030 1216 2593 0 1215798 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 4882604 KiB
Current children cumulated memory: 4464472 KiB
[startup+76.8002 s]
/proc/loadavg: 4.29 4.17 4.11 5/272 83571
/proc/meminfo: memFree=110924924/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4875620 memory=4460504 CPUtime=76.55 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 530006 0 0 0 7487 168 0 0 20 0 1 0 74696656 4992634880 1115126 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1218905 1115126 1216 2593 0 1215798 0
Current children cumulated CPU time: 76.55 s
Current children cumulated vsize: 4882604 KiB
Current children cumulated memory: 4464856 KiB
[startup+78.4002 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83571
/proc/meminfo: memFree=110927572/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4887908 memory=4469504 CPUtime=78.14 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 530756 0 0 0 7646 168 0 0 20 0 1 0 74696656 5005217792 1117376 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1221977 1117376 1216 2593 0 1218870 0
Current children cumulated CPU time: 78.14 s
Current children cumulated vsize: 4894892 KiB
Current children cumulated memory: 4473856 KiB
[startup+79.2002 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83571
/proc/meminfo: memFree=110863312/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4911488 memory=4497132 CPUtime=78.94 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 531044 0 0 0 7725 169 0 0 20 0 1 0 74696656 5029363712 1124283 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1227872 1124283 1216 2593 0 1224765 0
Current children cumulated CPU time: 78.94 s
Current children cumulated vsize: 4918472 KiB
Current children cumulated memory: 4501484 KiB
[startup+79.6002 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83571
/proc/meminfo: memFree=110863312/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
[pid=83562] ppid=83561 vsize=4927872 memory=4512520 CPUtime=79.34 cores=4,6
/proc/83562/stat : 83562 (CASHWMaxSAT-Dis) R 83561 83561 82768 0 -1 4194304 531811 0 0 0 7765 169 0 0 20 0 1 0 74696656 5046140928 1128130 18446744073709551615 4198400 14817773 140729132185456 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 23261184 140729132190108 140729132190235 140729132190235 140729132195808 0
/proc/83562/statm: 1231968 1128130 1216 2593 0 1228861 0
Current children cumulated CPU time: 79.34 s
Current children cumulated vsize: 4934856 KiB
Current children cumulated memory: 4516872 KiB
[startup+79.8002 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83571
/proc/meminfo: memFree=110863312/131249992 swapFree=33009392/33010684
[pid=83558] ppid=83555 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/83558/stat : 83558 (Hybrid-CASHWMax) S 83555 83558 82768 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 74696655 4427776 768 18446744073709551615 94308600897536 94308601792069 140731765495632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94308602031120 94308602078864 94308626964480 140731765500247 140731765500401 140731765500401 140731765506003 0
/proc/83558/statm: 1081 768 704 219 0 143 0
[pid=83561] ppid=83558 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83561/stat : 83561 (timeout) S 83558 83561 82768 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74696656 2723840 320 18446744073709551615 94365035614208 94365035630721 140733599224768 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94365035645488 94365035647576 94365041840128 140733599230358 140733599230498 140733599230498 140733599236071 0
/proc/83561/statm: 665 320 320 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB
Child status: 0
Real time (s): 79.8671
CPU time (s): 79.6052
CPU user time (s): 77.8179
CPU system time (s): 1.78731
CPU usage (%): 99.6721
Max. virtual memory (cumulated for all children) (KiB): 5117904
Max. memory (cumulated for all children) (KiB): 4621036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.8179
system time used= 1.78731
maximum resident set size= 4697104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 120
# summary of solver processes directly reported to runsolver:
# pid: 83558
# total CPU time (s): 79.6052
# total CPU user time (s): 77.8179
# total CPU system time (s): 1.78731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180624 second user time and 0.402104 second system time
The end
Begin job on nodeC035 at 2025-07-04 02:50:21
IDJOB=4523680
IDBENCH=180370
IDSOLVER=3327
FILE ID=nodeC035/4523680-1751590221
RUNJOBID= nodeC035-1751586016-82779
SLURM_JOB_ID= 9598833
Free space on /tmp= 432728 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523680-1751590221/watcher-4523680-1751590221 -o /tmp/evaluation-result-4523680-1751590221/solver-4523680-1751590221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82779 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523680-1751590221.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb
RANDOM SEED=648752441
nodeC035 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.651
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.51
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.758
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.51
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.396
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.51
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 : 3615.676
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
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.51
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 : 3602.084
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 109343876 kB
MemAvailable: 111945364 kB
Buffers: 664 kB
Cached: 3352032 kB
SwapCached: 332 kB
Active: 18110424 kB
Inactive: 3049684 kB
Active(anon): 17804060 kB
Inactive(anon): 21052 kB
Active(file): 306364 kB
Inactive(file): 3028632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29104 kB
Writeback: 0 kB
AnonPages: 17810216 kB
Mapped: 119072 kB
Shmem: 17700 kB
KReclaimable: 211460 kB
Slab: 302680 kB
SReclaimable: 211460 kB
SUnreclaim: 91220 kB
KernelStack: 4352 kB
PageTables: 38192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 19822704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10969088 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432704 MiB
End job on nodeC035 at 2025-07-04 02:51:41