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 (58411 MiB free)
memory of node 1: 64507 MiB (62062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520637-1751559259/watcher-4520637-1751559259 -o /tmp/evaluation-result-4520637-1751559259/solver-4520637-1751559259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78597 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=200435412 --ls=360 --inp-dombreaklim=0 HOME/instance-4520637-1751559259.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80671, runsolver pid=80668
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123355420/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=0.09 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 9 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+0.205444 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123355420/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=0.19 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 19 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+0.305168 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123355420/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=0.29 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 29 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+0.700144 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123355800/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=0.68 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 68 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+1.50012 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123355800/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=1.48 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 148 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+3.10496 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123356052/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=3.08 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 308 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+6.30012 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 80672
/proc/meminfo: memFree=123356304/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=6.26 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 626 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 80673
/proc/meminfo: memFree=123356992/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=12.63 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 1263 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 80673
/proc/meminfo: memFree=123357748/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=25.39 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 2539 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+51.1049 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 80673
/proc/meminfo: memFree=123358780/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=20392 CPUtime=50.9 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4719 0 0 0 5090 0 0 0 20 0 1 0 71603550 44552192 5098 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5098 1024 1200 0 9357 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 20392 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 80677
/proc/meminfo: memFree=123348392/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=21928 CPUtime=101.9 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4723 0 0 0 10190 0 0 0 20 0 1 0 71603550 44552192 5482 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5482 1024 1200 0 9357 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 21928 KiB
[startup+162.3 s]
/proc/loadavg: 3.51 3.92 4.03 4/258 80709
/proc/meminfo: memFree=123344596/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=21928 CPUtime=161.74 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4739 0 0 0 16174 0 0 0 20 0 1 0 71603550 44552192 5482 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5482 1024 1200 0 9357 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 21928 KiB
[startup+222.3 s]
/proc/loadavg: 3.24 3.77 3.97 4/258 80711
/proc/meminfo: memFree=121457496/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=21928 CPUtime=221.59 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4743 0 0 0 22159 0 0 0 20 0 1 0 71603550 44552192 5482 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5482 1024 1200 0 9357 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 21928 KiB
[startup+282.3 s]
/proc/loadavg: 3.13 3.64 3.91 4/258 80714
/proc/meminfo: memFree=121423616/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=21928 CPUtime=281.44 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4747 0 0 0 28144 0 0 0 20 0 1 0 71603550 44552192 5482 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5482 1024 1200 0 9357 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 21928 KiB
[startup+342.3 s]
/proc/loadavg: 3.10 3.54 3.86 4/257 80716
/proc/meminfo: memFree=121385816/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=43508 memory=21928 CPUtime=341.29 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 4751 0 0 0 34129 0 0 0 20 0 1 0 71603550 44552192 5482 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 10877 5482 1024 1200 0 9357 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 43508 KiB
Current children cumulated memory: 21928 KiB
[startup+402.3 s]
/proc/loadavg: 3.08 3.45 3.81 4/257 80718
/proc/meminfo: memFree=120596144/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=807948 memory=671204 CPUtime=401.12 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 118104 0 0 0 40071 41 0 0 20 0 1 0 71603550 827338752 167801 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 201987 167801 1248 1200 0 200467 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 807948 KiB
Current children cumulated memory: 671204 KiB
[startup+462.3 s]
/proc/loadavg: 3.14 3.40 3.76 4/258 80725
/proc/meminfo: memFree=120382140/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=870596 memory=732900 CPUtime=460.96 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 133582 0 0 0 46037 59 0 0 20 0 1 0 71603550 891490304 183225 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 217649 183225 1248 1200 0 216129 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.10 3.11 3.15 4/258 80866
/proc/meminfo: memFree=118484212/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1543968 memory=1336596 CPUtime=3093.89 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 270650 0 0 0 308867 522 0 0 20 0 1 0 71603550 1581023232 334149 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 385992 334149 1248 1200 0 384472 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 1543968 KiB
Current children cumulated memory: 1336596 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.10 3.14 4/259 80871
/proc/meminfo: memFree=118485252/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1544244 memory=1336852 CPUtime=3153.74 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 270966 0 0 0 314842 532 0 0 20 0 1 0 71603550 1581305856 334213 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 386061 334213 1248 1200 0 384541 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 1544244 KiB
Current children cumulated memory: 1336852 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.10 3.13 4/259 80873
/proc/meminfo: memFree=118452112/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1563536 memory=1367316 CPUtime=3213.59 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 278959 0 0 0 320824 535 0 0 20 0 1 0 71603550 1601060864 341829 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 390884 341829 1248 1200 0 389364 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 1563536 KiB
Current children cumulated memory: 1367316 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.09 3.13 4/258 80875
/proc/meminfo: memFree=118451920/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1564816 memory=1368468 CPUtime=3273.43 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 279482 0 0 0 326795 548 0 0 20 0 1 0 71603550 1602371584 342117 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 391204 342117 1248 1200 0 389684 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 1564816 KiB
Current children cumulated memory: 1368468 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.10 3.13 4/257 80877
/proc/meminfo: memFree=118452128/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1565580 memory=1369236 CPUtime=3333.28 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 279717 0 0 0 332764 564 0 0 20 0 1 0 71603550 1603153920 342309 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 391395 342309 1248 1200 0 389875 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 1565580 KiB
Current children cumulated memory: 1369236 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.12 4/258 80880
/proc/meminfo: memFree=118399032/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1565836 memory=1369492 CPUtime=3393.13 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 279851 0 0 0 338738 575 0 0 20 0 1 0 71603550 1603416064 342373 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 391459 342373 1248 1200 0 389939 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 1565836 KiB
Current children cumulated memory: 1369492 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.84 3.03 2/245 80948
/proc/meminfo: memFree=122092924/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1576712 memory=1389716 CPUtime=3452.96 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285397 0 0 0 344717 579 0 0 20 0 1 0 71603550 1614553088 347429 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394178 347429 1248 1200 0 392658 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 1576712 KiB
Current children cumulated memory: 1389716 KiB
[startup+3522.3 s]
/proc/loadavg: 1.50 2.53 2.91 2/245 80950
/proc/meminfo: memFree=122084520/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577036 memory=1390100 CPUtime=3512.83 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285627 0 0 0 350695 588 0 0 20 0 1 0 71603550 1614884864 347525 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394259 347525 1248 1200 0 392739 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 1577036 KiB
Current children cumulated memory: 1390100 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 2.25 2.79 2/245 80952
/proc/meminfo: memFree=122084648/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3572.7 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285856 0 0 0 356668 602 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.17 2.14 2.74 2/245 80953
/proc/meminfo: memFree=122084736/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3600.03 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285862 0 0 0 359396 607 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.73 s]
# the end of solver process 80671 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.96 s, system=6.10897 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 1.17 2.14 2.74 2/245 80953
/proc/meminfo: memFree=122084736/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3600.73 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285862 0 0 0 359466 607 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
[startup+3611.2 s]
/proc/loadavg: 1.17 2.14 2.74 2/245 80953
/proc/meminfo: memFree=122084736/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3601.53 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285862 0 0 0 359546 607 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
[startup+3611.6 s]
/proc/loadavg: 1.17 2.14 2.74 2/245 80953
/proc/meminfo: memFree=122084736/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3601.92 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285862 0 0 0 359585 607 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
[startup+3611.7 s]
/proc/loadavg: 1.17 2.14 2.74 2/245 80953
/proc/meminfo: memFree=122084736/131249996 swapFree=33003468/33010684
[pid=80671] ppid=80668 vsize=1577648 memory=1390740 CPUtime=3602.02 cores=5,7
/proc/80671/stat : 80671 (Exact) R 80668 80671 78584 0 -1 4194304 285862 0 0 0 359595 607 0 0 20 0 1 0 71603550 1615511552 347685 18446744073709551615 4198400 9112445 140721782079344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 32731136 140721782085927 140721782086125 140721782086125 140721782091727 0
/proc/80671/statm: 394412 347685 1248 1200 0 392892 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1577648 KiB
Current children cumulated memory: 1390740 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.73
CPU time (s): 3602.07
CPU user time (s): 3595.96
CPU system time (s): 6.10897
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 1577648
Max. memory (cumulated for all children) (KiB): 1390740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 6.10897
maximum resident set size= 1390740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285862
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= 59
involuntary context switches= 19544
# summary of solver processes directly reported to runsolver:
# pid: 80671
# total CPU time (s): 3602.07
# total CPU user time (s): 3595.96
# total CPU system time (s): 6.10897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98165 second user time and 14.1977 second system time
The end
Begin job on nodeC021 at 2025-07-03 18:14:19
IDJOB=4520637
IDBENCH=178115
IDSOLVER=3319
FILE ID=nodeC021/4520637-1751559259
RUNJOBID= nodeC021-1751549468-78597
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/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.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-4520637-1751559259/watcher-4520637-1751559259 -o /tmp/evaluation-result-4520637-1751559259/solver-4520637-1751559259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78597 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=200435412 --ls=360 --inp-dombreaklim=0 HOME/instance-4520637-1751559259.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=200435412
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.783
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.741
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.874
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 : 3700.000
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.757
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 : 3600.172
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 : 3594.026
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 : 3599.778
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: 123365944 kB
MemAvailable: 129580920 kB
Buffers: 1056 kB
Cached: 6948744 kB
SwapCached: 32 kB
Active: 605800 kB
Inactive: 6486384 kB
Active(anon): 114916 kB
Inactive(anon): 40936 kB
Active(file): 490884 kB
Inactive(file): 6445448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7500 kB
Writeback: 16 kB
AnonPages: 145472 kB
Mapped: 112268 kB
Shmem: 13452 kB
KReclaimable: 235364 kB
Slab: 327548 kB
SReclaimable: 235364 kB
SUnreclaim: 92184 kB
KernelStack: 4304 kB
PageTables: 3236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 550940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 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= 430952 MiB
End job on nodeC021 at 2025-07-03 19:14:30