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 (34248 MiB free)
memory of node 1: 64507 MiB (42487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515694-1751235601/watcher-4515694-1751235601 -o /tmp/evaluation-result-4515694-1751235601/solver-4515694-1751235601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751228868-35570 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4515694-1751235601 --seed=263815052 HOME/instance-4515694-1751235601.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=36986, runsolver pid=36983
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78533556/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=75032 memory=52704 CPUtime=0.09 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9392 0 0 0 8 1 0 0 20 0 1 0 39237907 76832768 13176 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18758 13176 1024 1201 0 17236 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75032 KiB
Current children cumulated memory: 52704 KiB
[startup+0.205765 s]*
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78521396/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=0.2 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 19 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+0.305634 s]*
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78521396/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=0.3 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 29 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+0.700165 s]
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78521396/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=0.68 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 67 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+1.50012 s]
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78521680/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=1.48 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 147 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+3.10553 s]
/proc/loadavg: 4.13 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78481360/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=3.08 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 307 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+6.30013 s]
/proc/loadavg: 4.12 4.14 4.10 5/275 36987
/proc/meminfo: memFree=78393024/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=6.27 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 626 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.13 4.10 5/275 36987
/proc/meminfo: memFree=78225640/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=12.66 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 1265 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 36987
/proc/meminfo: memFree=77877976/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=25.42 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 2541 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.10 5/275 36988
/proc/meminfo: memFree=76930460/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=50.95 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 5094 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/271 36993
/proc/meminfo: memFree=75780376/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=101.99 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 10198 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/270 36995
/proc/meminfo: memFree=74627940/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=161.82 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 16181 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/272 37000
/proc/meminfo: memFree=72931196/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=221.64 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 22163 1 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/271 37002
/proc/meminfo: memFree=71546392/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=281.46 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 28144 2 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 37004
/proc/meminfo: memFree=70767036/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=74924 memory=54828 CPUtime=341.28 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 9583 0 0 0 34126 2 0 0 20 0 1 0 39237907 76722176 13707 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 18731 13707 1024 1201 0 17209 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 54828 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 37009
/proc/meminfo: memFree=69568612/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=155468 memory=138412 CPUtime=401.03 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 30171 0 0 0 40084 19 0 0 20 0 1 0 39237907 159199232 34603 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 38867 34603 1248 1201 0 37345 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 155468 KiB
Current children cumulated memory: 138412 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 37011
/proc/meminfo: memFree=68029368/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=197256 memory=179756 CPUtime=460.74 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 40529 0 0 0 46031 43 0 0 20 0 1 0 39237907 201990144 44939 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 49314 44939 1280 1201 0 47792 0
################
# More data... #
################
/proc/loadavg: 4.06 4.10 4.09 5/265 37350
/proc/meminfo: memFree=120166688/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=731932 memory=699908 CPUtime=1713.24 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 170144 0 0 0 170869 455 0 0 20 0 1 0 39237907 749498368 174977 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 182983 174977 1312 1201 0 181461 0
Current children cumulated CPU time: 1713.24 s
Current children cumulated vsize: 731932 KiB
Current children cumulated memory: 699908 KiB
[startup+1782.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 37353
/proc/meminfo: memFree=119912784/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=745620 memory=713348 CPUtime=1773.07 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 173504 0 0 0 176818 489 0 0 20 0 1 0 39237907 763514880 178337 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 186405 178337 1312 1201 0 184883 0
Current children cumulated CPU time: 1773.07 s
Current children cumulated vsize: 745620 KiB
Current children cumulated memory: 713348 KiB
[startup+1842.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/268 37360
/proc/meminfo: memFree=119551716/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=763420 memory=730884 CPUtime=1832.74 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 177883 0 0 0 182768 506 0 0 20 0 1 0 39237907 781742080 182721 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 190855 182721 1312 1201 0 189333 0
Current children cumulated CPU time: 1832.74 s
Current children cumulated vsize: 763420 KiB
Current children cumulated memory: 730884 KiB
[startup+1902.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/268 37362
/proc/meminfo: memFree=119171444/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=772744 memory=740612 CPUtime=1892.38 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 180205 0 0 0 188717 521 0 0 20 0 1 0 39237907 791289856 185153 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 193186 185153 1312 1201 0 191664 0
Current children cumulated CPU time: 1892.38 s
Current children cumulated vsize: 772744 KiB
Current children cumulated memory: 740612 KiB
[startup+1962.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/268 37368
/proc/meminfo: memFree=118704784/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=792236 memory=761988 CPUtime=1952.07 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 185005 0 0 0 194672 535 0 0 20 0 1 0 39237907 811249664 190497 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 198059 190497 1312 1201 0 196537 0
Current children cumulated CPU time: 1952.07 s
Current children cumulated vsize: 792236 KiB
Current children cumulated memory: 761988 KiB
[startup+2022.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 37461
/proc/meminfo: memFree=118353884/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=808312 memory=778116 CPUtime=2011.76 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 188755 0 0 0 200624 552 0 0 20 0 1 0 39237907 827711488 194529 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 202078 194529 1312 1201 0 200556 0
Current children cumulated CPU time: 2011.76 s
Current children cumulated vsize: 808312 KiB
Current children cumulated memory: 778116 KiB
[startup+2082.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/268 37463
/proc/meminfo: memFree=117985976/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=833020 memory=804100 CPUtime=2071.42 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 194807 0 0 0 206570 572 0 0 20 0 1 0 39237907 853012480 201025 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 208255 201025 1312 1201 0 206733 0
Current children cumulated CPU time: 2071.42 s
Current children cumulated vsize: 833020 KiB
Current children cumulated memory: 804100 KiB
[startup+2139.49 s]
# the end of solver process 36986 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=2122.43 s, system=5.89516 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2099.2 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 37463
/proc/meminfo: memFree=117851816/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=838228 memory=811652 CPUtime=2088.26 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 196115 0 0 0 208250 576 0 0 20 0 1 0 39237907 858345472 202913 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 209557 202913 1312 1201 0 208035 0
Current children cumulated CPU time: 2088.26 s
Current children cumulated vsize: 838228 KiB
Current children cumulated memory: 811652 KiB
[startup+2124.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 37463
/proc/meminfo: memFree=117698336/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=841528 memory=815236 CPUtime=2113.73 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 196946 0 0 0 210789 584 0 0 20 0 1 0 39237907 861724672 203809 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210382 203809 1312 1201 0 208860 0
Current children cumulated CPU time: 2113.73 s
Current children cumulated vsize: 841528 KiB
Current children cumulated memory: 815236 KiB
[startup+2131.2 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 37464
/proc/meminfo: memFree=117669748/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=842008 memory=816004 CPUtime=2120.1 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197079 0 0 0 211425 585 0 0 20 0 1 0 39237907 862216192 204001 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210502 204001 1312 1201 0 208980 0
Current children cumulated CPU time: 2120.1 s
Current children cumulated vsize: 842008 KiB
Current children cumulated memory: 816004 KiB
[startup+2134.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 37464
/proc/meminfo: memFree=117645316/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=842500 memory=816644 CPUtime=2123.29 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197233 0 0 0 211743 586 0 0 20 0 1 0 39237907 862720000 204161 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210625 204161 1312 1201 0 209103 0
Current children cumulated CPU time: 2123.29 s
Current children cumulated vsize: 842500 KiB
Current children cumulated memory: 816644 KiB
[startup+2137.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 37465
/proc/meminfo: memFree=117637504/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=842692 memory=816644 CPUtime=2126.49 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197250 0 0 0 212062 587 0 0 20 0 1 0 39237907 862916608 204161 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210673 204161 1312 1201 0 209151 0
Current children cumulated CPU time: 2126.49 s
Current children cumulated vsize: 842692 KiB
Current children cumulated memory: 816644 KiB
[startup+2138.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 37465
/proc/meminfo: memFree=117629440/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=842692 memory=816644 CPUtime=2127.29 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197250 0 0 0 212142 587 0 0 20 0 1 0 39237907 862916608 204161 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210673 204161 1312 1201 0 209151 0
Current children cumulated CPU time: 2127.29 s
Current children cumulated vsize: 842692 KiB
Current children cumulated memory: 816644 KiB
[startup+2139.2 s]
/proc/loadavg: 4.07 4.11 4.09 6/267 37465
/proc/meminfo: memFree=117602700/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=842692 memory=817028 CPUtime=2128.08 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197250 0 0 0 212221 587 0 0 20 0 1 0 39237907 862916608 204257 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 210673 204257 1312 1201 0 209151 0
Current children cumulated CPU time: 2128.08 s
Current children cumulated vsize: 842692 KiB
Current children cumulated memory: 817028 KiB
[startup+2139.4 s]
/proc/loadavg: 4.07 4.11 4.09 6/267 37465
/proc/meminfo: memFree=117602700/131250000 swapFree=33010684/33010684
[pid=36986] ppid=36983 vsize=806888 memory=789192 CPUtime=2128.28 cores=0,2
/proc/36986/stat : 36986 (Exact_proof) R 36983 36986 35560 0 -1 4194304 197250 0 0 0 212241 587 0 0 20 0 1 0 39237907 826253312 197298 18446744073709551615 4198400 9115581 140729470751200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 33959936 140729470757065 140729470757351 140729470757351 140729470762953 0
/proc/36986/statm: 201722 197298 1312 1201 0 200200 0
Current children cumulated CPU time: 2128.28 s
Current children cumulated vsize: 806888 KiB
Current children cumulated memory: 789192 KiB
Child status: 20
Real time (s): 2139.49
CPU time (s): 2128.32
CPU user time (s): 2122.43
CPU system time (s): 5.89516
CPU usage (%): 99.478
Max. virtual memory (cumulated for all children) (KiB): 842692
Max. memory (cumulated for all children) (KiB): 817028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2122.43
system time used= 5.89516
maximum resident set size= 817028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9110712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1861
involuntary context switches= 13576
# summary of solver processes directly reported to runsolver:
# pid: 36986
# total CPU time (s): 2128.32
# total CPU user time (s): 2122.43
# total CPU system time (s): 5.89516
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87248 second user time and 8.33775 second system time
The end
Begin job on nodeC018 at 2025-06-30 00:20:01
IDJOB=4515694
IDBENCH=165333
IDSOLVER=3325
FILE ID=nodeC018/4515694-1751235601
RUNJOBID= nodeC018-1751228868-35570
SLURM_JOB_ID= 9587692
Free space on /tmp= 433028 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515694-1751235601/watcher-4515694-1751235601 -o /tmp/evaluation-result-4515694-1751235601/solver-4515694-1751235601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751228868-35570 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4515694-1751235601 --seed=263815052 HOME/instance-4515694-1751235601.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9fec036f9114dcaf12f5e6b379091e55
RANDOM SEED=263815052
nodeC018 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.862
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.66
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.834
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.66
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 : 3615.289
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.66
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 : 3539.380
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.66
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.790
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.66
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.66
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 : 3529.640
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.66
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 : 3592.750
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 78577584 kB
MemAvailable: 124259916 kB
Buffers: 3280 kB
Cached: 46439592 kB
SwapCached: 0 kB
Active: 5717780 kB
Inactive: 46182352 kB
Active(anon): 5475408 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 46182352 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 400940 kB
Writeback: 0 kB
AnonPages: 5457772 kB
Mapped: 118600 kB
Shmem: 18076 kB
KReclaimable: 193296 kB
Slab: 294304 kB
SReclaimable: 193296 kB
SUnreclaim: 101008 kB
KernelStack: 4416 kB
PageTables: 13716 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7018596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150760 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4263936 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC018 at 2025-06-30 00:55:40