runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58481 MiB free)
memory of node 1: 64507 MiB (62031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519211-1751549830/watcher-4519211-1751549830 -o /tmp/evaluation-result-4519211-1751549830/solver-4519211-1751549830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78595 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=46733941 --ls=360 --inp-dombreaklim=0 HOME/instance-4519211-1751549830.opb
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
solver pid=78779, runsolver pid=78776
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123402428/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=0.1 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 10 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+0.204846 s]*
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123402428/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=0.2 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 20 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+0.304672 s]*
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123402428/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=0.3 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 30 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+0.700124 s]
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123402428/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=0.69 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 69 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+1.50012 s]
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123398396/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=1.49 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 149 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+3.10514 s]
/proc/loadavg: 4.10 3.30 2.83 5/266 78780
/proc/meminfo: memFree=123386552/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=3.09 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 309 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+6.30011 s]
/proc/loadavg: 4.10 3.31 2.84 5/266 78780
/proc/meminfo: memFree=123370548/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=6.28 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 628 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 3.32 2.84 5/266 78780
/proc/meminfo: memFree=123333812/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=12.67 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 1267 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 3.37 2.87 5/266 78780
/proc/meminfo: memFree=123309492/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=25.44 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 2544 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 3.43 2.90 5/266 78783
/proc/meminfo: memFree=123269644/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=50.99 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 5099 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.53 2.97 5/266 78785
/proc/meminfo: memFree=123187540/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=102.08 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1266 0 0 0 10208 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 3.67 3.05 5/266 78787
/proc/meminfo: memFree=123157704/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=161.96 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1271 0 0 0 16196 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.74 3.12 5/266 78789
/proc/meminfo: memFree=123127068/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=221.83 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1273 0 0 0 22183 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.81 3.18 5/265 78791
/proc/meminfo: memFree=123045328/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=281.71 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1274 0 0 0 28171 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.88 3.24 5/264 78794
/proc/meminfo: memFree=123008604/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=31860 memory=8448 CPUtime=341.58 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 1275 0 0 0 34158 0 0 0 20 0 1 0 70660725 32624640 2112 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 7965 2112 1056 1200 0 6445 0
Current children cumulated CPU time: 341.58 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 8448 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.92 3.30 5/263 78797
/proc/meminfo: memFree=122998620/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=56292 memory=48704 CPUtime=401.44 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 7873 0 0 0 40128 16 0 0 20 0 1 0 70660725 57643008 12176 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 14073 12176 1280 1200 0 12553 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 56292 KiB
Current children cumulated memory: 48704 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.96 3.36 5/263 78799
/proc/meminfo: memFree=122945320/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=63268 memory=55784 CPUtime=461.29 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 12890 0 0 0 46086 43 0 0 20 0 1 0 70660725 64786432 13946 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 15817 13946 1312 1200 0 14297 0
Current children cumulated CPU time: 461.29 s
################
# More data... #
################
/proc/loadavg: 4.11 4.07 3.62 5/265 78818
/proc/meminfo: memFree=122836596/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=97460 memory=86532 CPUtime=820.41 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 26023 0 0 0 81861 180 0 0 20 0 1 0 70660725 99799040 21633 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 24365 21633 1312 1200 0 22845 0
Current children cumulated CPU time: 820.41 s
Current children cumulated vsize: 97460 KiB
Current children cumulated memory: 86532 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.07 3.65 5/265 78820
/proc/meminfo: memFree=122799728/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=98108 memory=87044 CPUtime=880.27 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 26191 0 0 0 87826 201 0 0 20 0 1 0 70660725 100462592 21761 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 24527 21761 1312 1200 0 23007 0
Current children cumulated CPU time: 880.27 s
Current children cumulated vsize: 98108 KiB
Current children cumulated memory: 87044 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.09 3.68 5/264 78824
/proc/meminfo: memFree=122798112/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=99356 memory=88324 CPUtime=940.12 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 26507 0 0 0 93790 222 0 0 20 0 1 0 70660725 101740544 22081 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 24839 22081 1312 1200 0 23319 0
Current children cumulated CPU time: 940.12 s
Current children cumulated vsize: 99356 KiB
Current children cumulated memory: 88324 KiB
[startup+1002.3 s]
/proc/loadavg: 4.10 4.09 3.71 5/264 78826
/proc/meminfo: memFree=122785936/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=100884 memory=89988 CPUtime=999.98 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 26912 0 0 0 99754 244 0 0 20 0 1 0 70660725 103305216 22497 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25221 22497 1312 1200 0 23701 0
Current children cumulated CPU time: 999.98 s
Current children cumulated vsize: 100884 KiB
Current children cumulated memory: 89988 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.10 3.74 5/263 78829
/proc/meminfo: memFree=122769664/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=101352 memory=90372 CPUtime=1059.83 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27022 0 0 0 105717 266 0 0 20 0 1 0 70660725 103784448 22593 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25338 22593 1312 1200 0 23818 0
Current children cumulated CPU time: 1059.83 s
Current children cumulated vsize: 101352 KiB
Current children cumulated memory: 90372 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.09 3.77 5/263 78831
/proc/meminfo: memFree=122776496/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=101352 memory=90372 CPUtime=1119.69 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27033 0 0 0 111677 292 0 0 20 0 1 0 70660725 103784448 22593 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25338 22593 1312 1200 0 23818 0
Current children cumulated CPU time: 1119.69 s
Current children cumulated vsize: 101352 KiB
Current children cumulated memory: 90372 KiB
[startup+1182.3 s]
/proc/loadavg: 4.13 4.10 3.79 5/263 78833
/proc/meminfo: memFree=122754428/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=101496 memory=91396 CPUtime=1179.54 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27102 0 0 0 117644 310 0 0 20 0 1 0 70660725 103931904 22849 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25374 22849 1312 1200 0 23854 0
Current children cumulated CPU time: 1179.54 s
Current children cumulated vsize: 101496 KiB
Current children cumulated memory: 91396 KiB
[startup+1242.3 s]
/proc/loadavg: 4.08 4.10 3.82 5/265 78841
/proc/meminfo: memFree=122750052/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=103368 memory=93188 CPUtime=1239.4 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27569 0 0 0 123607 333 0 0 20 0 1 0 70660725 105848832 23297 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25842 23297 1312 1200 0 24322 0
Current children cumulated CPU time: 1239.4 s
Current children cumulated vsize: 103368 KiB
Current children cumulated memory: 93188 KiB
[startup+1267.43 s]
# the end of solver process 78779 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1260.99 s, system=3.48876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.07 4.09 3.82 5/265 78841
/proc/meminfo: memFree=122750060/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=103812 memory=93700 CPUtime=1251.47 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27676 0 0 0 124809 338 0 0 20 0 1 0 70660725 106303488 23425 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25953 23425 1312 1200 0 24433 0
Current children cumulated CPU time: 1251.47 s
Current children cumulated vsize: 103812 KiB
Current children cumulated memory: 93700 KiB
[startup+1260.8 s]
/proc/loadavg: 4.06 4.09 3.82 5/265 78841
/proc/meminfo: memFree=122750060/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=103812 memory=93700 CPUtime=1257.85 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27693 0 0 0 125442 343 0 0 20 0 1 0 70660725 106303488 23425 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 25953 23425 1312 1200 0 24433 0
Current children cumulated CPU time: 1257.85 s
Current children cumulated vsize: 103812 KiB
Current children cumulated memory: 93700 KiB
[startup+1264 s]*
/proc/loadavg: 4.06 4.09 3.82 5/265 78842
/proc/meminfo: memFree=122751400/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=104116 memory=93956 CPUtime=1261.05 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27738 0 0 0 125760 345 0 0 20 0 1 0 70660725 106614784 23489 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 26029 23489 1312 1200 0 24509 0
Current children cumulated CPU time: 1261.05 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 93956 KiB
[startup+1265.6 s]
/proc/loadavg: 4.05 4.09 3.82 5/265 78843
/proc/meminfo: memFree=122751400/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=104116 memory=93956 CPUtime=1262.64 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27742 0 0 0 125918 346 0 0 20 0 1 0 70660725 106614784 23489 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 26029 23489 1312 1200 0 24509 0
Current children cumulated CPU time: 1262.64 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 93956 KiB
[startup+1266.4 s]
/proc/loadavg: 4.05 4.09 3.82 5/265 78843
/proc/meminfo: memFree=122751464/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=104116 memory=93956 CPUtime=1263.44 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27742 0 0 0 125998 346 0 0 20 0 1 0 70660725 106614784 23489 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 26029 23489 1312 1200 0 24509 0
Current children cumulated CPU time: 1263.44 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 93956 KiB
[startup+1267.2 s]
/proc/loadavg: 4.05 4.09 3.82 5/265 78843
/proc/meminfo: memFree=122751464/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=104116 memory=93956 CPUtime=1264.23 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27742 0 0 0 126076 347 0 0 20 0 1 0 70660725 106614784 23489 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 26029 23489 1312 1200 0 24509 0
Current children cumulated CPU time: 1264.23 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 93956 KiB
[startup+1267.4 s]
/proc/loadavg: 4.05 4.09 3.82 5/265 78843
/proc/meminfo: memFree=122751464/131249996 swapFree=33003468/33010684
[pid=78779] ppid=78776 vsize=104116 memory=93956 CPUtime=1264.43 cores=4,6
/proc/78779/stat : 78779 (Exact) R 78776 78779 78584 0 -1 4194304 27742 0 0 0 126095 348 0 0 20 0 1 0 70660725 106614784 23489 18446744073709551615 4198400 9112445 140733333959568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 45064192 140733333965096 140733333965293 140733333965293 140733333970895 0
/proc/78779/statm: 26029 23489 1312 1200 0 24509 0
Current children cumulated CPU time: 1264.43 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 93956 KiB
Child status: 30
Real time (s): 1267.43
CPU time (s): 1264.47
CPU user time (s): 1260.99
CPU system time (s): 3.48876
CPU usage (%): 99.7667
Max. virtual memory (cumulated for all children) (KiB): 104116
Max. memory (cumulated for all children) (KiB): 93956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.99
system time used= 3.48876
maximum resident set size= 93956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27743
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= 28
involuntary context switches= 959
# summary of solver processes directly reported to runsolver:
# pid: 78779
# total CPU time (s): 1264.47
# total CPU user time (s): 1260.99
# total CPU system time (s): 3.48876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57892 second user time and 4.97122 second system time
The end
Begin job on nodeC021 at 2025-07-03 15:37:10
IDJOB=4519211
IDBENCH=177196
IDSOLVER=3319
FILE ID=nodeC021/4519211-1751549830
RUNJOBID= nodeC021-1751549468-78595
SLURM_JOB_ID= 9598726
Free space on /tmp= 430936 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519211-1751549830/watcher-4519211-1751549830 -o /tmp/evaluation-result-4519211-1751549830/solver-4519211-1751549830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78595 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=46733941 --ls=360 --inp-dombreaklim=0 HOME/instance-4519211-1751549830.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa2358c675fac141ded392b1a236afa
RANDOM SEED=46733941
nodeC021 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.775
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.56
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.802
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.56
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.081
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.56
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 : 3600.097
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.56
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.782
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.56
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.769
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.56
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.014
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.56
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 : 3603.808
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123404948 kB
MemAvailable: 129606796 kB
Buffers: 1056 kB
Cached: 6935900 kB
SwapCached: 32 kB
Active: 677752 kB
Inactive: 6473548 kB
Active(anon): 186868 kB
Inactive(anon): 40936 kB
Active(file): 490884 kB
Inactive(file): 6432612 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7148 kB
Writeback: 24 kB
AnonPages: 217512 kB
Mapped: 114836 kB
Shmem: 13452 kB
KReclaimable: 234784 kB
Slab: 326768 kB
SReclaimable: 234784 kB
SUnreclaim: 91984 kB
KernelStack: 4320 kB
PageTables: 3380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 611132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 100352 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= 430932 MiB
End job on nodeC021 at 2025-07-03 15:58:18