0.98/1.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.98/1.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
442.20/443.59 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
442.29/443.65 c Starting SCIP solver (with time-limit = 1800s) ...
2237.31/2243.67 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.08/3609.80 s UNKNOWN
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 (61959 MiB free)
memory of node 1: 64465 MiB (63657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490586-1751377107/watcher-4490586-1751377107 -o /tmp/evaluation-result-4490586-1751377107/solver-4490586-1751377107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53845 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490586-1751377107.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54542, runsolver pid=54539
[startup+0.100016 s]*
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611160/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=37676 memory=22464 CPUtime=0.09 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 5267 0 0 0 9 0 0 0 20 0 1 0 53388216 38580224 5616 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 9419 5616 768 2416 0 6521 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37676 KiB
Current children cumulated memory: 22464 KiB
[startup+0.205562 s]*
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611160/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=36000 memory=20796 CPUtime=0.19 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 5768 0 0 0 19 0 0 0 20 0 1 0 53388216 36864000 5199 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 9000 5199 800 2416 0 6102 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 20796 KiB
[startup+0.305376 s]*
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611160/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=36000 memory=21052 CPUtime=0.29 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 5830 0 0 0 29 0 0 0 20 0 1 0 53388216 36864000 5263 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 9000 5263 800 2416 0 6102 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 21052 KiB
[startup+0.700174 s]
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611160/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=37676 memory=22076 CPUtime=0.68 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 6076 0 0 0 68 0 0 0 20 0 1 0 53388216 38580224 5519 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 9419 5519 800 2416 0 6521 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37676 KiB
Current children cumulated memory: 22076 KiB
[startup+1.50012 s]
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611320/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=37768 memory=22848 CPUtime=1.48 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 6799 0 0 0 147 1 0 0 20 0 1 0 53388216 38674432 5712 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 9442 5712 800 2416 0 6544 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37768 KiB
Current children cumulated memory: 22848 KiB
[startup+3.1053 s]
/proc/loadavg: 4.29 4.18 4.12 4/261 54543
/proc/meminfo: memFree=129245136/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=44840 memory=26720 CPUtime=3.08 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 7648 0 0 0 307 1 0 0 20 0 1 0 53388216 45916160 6680 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 11210 6680 800 2416 0 8312 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44840 KiB
Current children cumulated memory: 26720 KiB
[startup+6.30013 s]
/proc/loadavg: 4.26 4.18 4.12 5/263 54588
/proc/meminfo: memFree=128998236/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=52400 memory=35140 CPUtime=6.27 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 8206 0 0 0 626 1 0 0 20 0 1 0 53388216 53657600 8785 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 13100 8785 800 2416 0 10202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52400 KiB
Current children cumulated memory: 35140 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.17 4.12 5/263 54588
/proc/meminfo: memFree=128983392/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=66612 memory=42888 CPUtime=12.66 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 10427 0 0 0 1263 3 0 0 20 0 1 0 53388216 68210688 10722 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 16653 10722 800 2416 0 13755 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 66612 KiB
Current children cumulated memory: 42888 KiB
[startup+25.5001 s]
/proc/loadavg: 4.19 4.17 4.12 5/264 54589
/proc/meminfo: memFree=128977532/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=66612 memory=49476 CPUtime=25.42 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 10538 0 0 0 2539 3 0 0 20 0 1 0 53388216 68210688 12369 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 16653 12369 800 2416 0 13755 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 66612 KiB
Current children cumulated memory: 49476 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.17 4.12 5/264 54590
/proc/meminfo: memFree=128966468/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=66612 memory=49476 CPUtime=50.96 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 10548 0 0 0 5093 3 0 0 20 0 1 0 53388216 68210688 12369 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 16653 12369 800 2416 0 13755 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 66612 KiB
Current children cumulated memory: 49476 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 54598
/proc/meminfo: memFree=128916188/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=66984 memory=52552 CPUtime=102.03 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 10839 0 0 0 10200 3 0 0 20 0 1 0 53388216 68591616 13138 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 16746 13138 800 2416 0 13848 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 66984 KiB
Current children cumulated memory: 52552 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 54602
/proc/meminfo: memFree=128884924/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=74228 memory=59748 CPUtime=161.87 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 12919 0 0 0 16183 4 0 0 20 0 1 0 53388216 76009472 14937 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 18557 14937 800 2416 0 15659 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 74228 KiB
Current children cumulated memory: 59748 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/266 54604
/proc/meminfo: memFree=128866536/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=74228 memory=59748 CPUtime=221.72 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 12933 0 0 0 22168 4 0 0 20 0 1 0 53388216 76009472 14937 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 18557 14937 800 2416 0 15659 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 74228 KiB
Current children cumulated memory: 59748 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/266 54605
/proc/meminfo: memFree=128853288/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=85724 memory=67908 CPUtime=281.56 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 13429 0 0 0 28152 4 0 0 20 0 1 0 53388216 87781376 16977 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 21431 16977 800 2416 0 18533 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 85724 KiB
Current children cumulated memory: 67908 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 54607
/proc/meminfo: memFree=128849004/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=85724 memory=67908 CPUtime=341.37 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 13431 0 0 0 34133 4 0 0 20 0 1 0 53388216 87781376 16977 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 21431 16977 800 2416 0 18533 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 85724 KiB
Current children cumulated memory: 67908 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 54612
/proc/meminfo: memFree=128832256/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=93580 memory=74052 CPUtime=401.15 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 14401 0 0 0 40110 5 0 0 20 0 1 0 53388216 95825920 18513 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 23395 18513 800 2416 0 20497 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 93580 KiB
Current children cumulated memory: 74052 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 54614
/proc/meminfo: memFree=128448112/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=471468 memory=444712 CPUtime=460.92 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 90855 0 0 0 46074 18 0 0 20 0 1 0 53388216 482783232 111178 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 117867 111178 2496 2416 0 114969 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 742552 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 54746
/proc/meminfo: memFree=127399500/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=742552 CPUtime=2854.48 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166644 0 0 0 285416 32 0 0 20 0 1 0 53388216 847192064 185638 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 185638 2528 2416 0 203936 0
Current children cumulated CPU time: 2854.48 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 742552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/265 54749
/proc/meminfo: memFree=127398868/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=742552 CPUtime=2914.33 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166719 0 0 0 291401 32 0 0 20 0 1 0 53388216 847192064 185638 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 185638 2528 2416 0 203936 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 742552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 54751
/proc/meminfo: memFree=127398760/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=742552 CPUtime=2974.19 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166720 0 0 0 297387 32 0 0 20 0 1 0 53388216 847192064 185638 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 185638 2528 2416 0 203936 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 742552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/265 54754
/proc/meminfo: memFree=127398816/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=742552 CPUtime=3034.04 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166789 0 0 0 303372 32 0 0 20 0 1 0 53388216 847192064 185638 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 185638 2528 2416 0 203936 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 742552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/266 54806
/proc/meminfo: memFree=127421928/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3093.89 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166827 0 0 0 309357 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/266 54808
/proc/meminfo: memFree=127418424/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3153.73 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166827 0 0 0 315341 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.19 4.13 5/265 54810
/proc/meminfo: memFree=127418052/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3213.58 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166892 0 0 0 321326 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/267 54815
/proc/meminfo: memFree=127419080/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3273.43 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166930 0 0 0 327311 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/266 54817
/proc/meminfo: memFree=127421300/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3333.27 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166930 0 0 0 333295 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/265 54821
/proc/meminfo: memFree=127421116/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3393.12 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 166996 0 0 0 339280 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 54824
/proc/meminfo: memFree=127441380/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3452.96 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 167033 0 0 0 345264 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/266 54827
/proc/meminfo: memFree=127433252/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3512.81 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 167069 0 0 0 351249 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 54829
/proc/meminfo: memFree=127373760/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3572.66 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 167138 0 0 0 357234 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 54875
/proc/meminfo: memFree=127874824/131249996 swapFree=33006296/33010684
[pid=54542] ppid=54539 vsize=827336 memory=748696 CPUtime=3600.08 cores=5,7
/proc/54542/stat : 54542 (CASHWMaxSAT-Dis) R 54539 54542 53832 0 -1 4194304 167142 0 0 0 359976 32 0 0 20 0 1 0 53388216 847192064 187174 18446744073709551615 4198400 14093885 140725824549264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40239104 140725824551274 140725824551389 140725824551389 140725824556991 0
/proc/54542/statm: 206834 187174 2528 2416 0 203936 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 827336 KiB
Current children cumulated memory: 748696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 54542 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.77 s, system=0.324895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.09
CPU user time (s): 3599.77
CPU system time (s): 0.324895
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 893924
Max. memory (cumulated for all children) (KiB): 792828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.324895
maximum resident set size= 792828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 1245
# summary of solver processes directly reported to runsolver:
# pid: 54542
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.77
# total CPU system time (s): 0.324895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69831 second user time and 15.4696 second system time
The end
Begin job on nodeC015 at 2025-07-01 15:38:27
IDJOB=4490586
IDBENCH=147597
IDSOLVER=3323
FILE ID=nodeC015/4490586-1751377107
RUNJOBID= nodeC015-1751371686-53845
SLURM_JOB_ID= 9598198
Free space on /tmp= 432980 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490586-1751377107/watcher-4490586-1751377107 -o /tmp/evaluation-result-4490586-1751377107/solver-4490586-1751377107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53845 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490586-1751377107.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=1813498610
nodeC015 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 : 3600.072
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 : 7000.14
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 : 3600.063
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 : 7000.14
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 : 3598.540
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 : 7000.14
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 : 3733.338
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 : 7000.14
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.865
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 : 7000.14
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 : 3600.063
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 : 7000.14
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 : 3578.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 : 7000.14
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 : 3745.045
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128632772 kB
MemAvailable: 128314648 kB
Buffers: 1508 kB
Cached: 467424 kB
SwapCached: 3880 kB
Active: 1698908 kB
Inactive: 232044 kB
Active(anon): 1427100 kB
Inactive(anon): 49076 kB
Active(file): 271808 kB
Inactive(file): 182968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25564 kB
Writeback: 0 kB
AnonPages: 1459480 kB
Mapped: 130392 kB
Shmem: 14152 kB
KReclaimable: 132680 kB
Slab: 221408 kB
SReclaimable: 132680 kB
SUnreclaim: 88728 kB
KernelStack: 4240 kB
PageTables: 5884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1939436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1062912 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC015 at 2025-07-01 16:38:37