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 (61825 MiB free)
memory of node 1: 64507 MiB (63050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543807-1753227110/watcher-4543807-1753227110 -o /tmp/evaluation-result-4543807-1753227110/solver-4543807-1753227110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161393 --watchdog 3760 pb_picat HOME/instance-4543807-1753227110.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=161910, runsolver pid=161907
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127835288/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2027148 memory=46828 CPUtime=0.09 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 1083 0 0 0 9 0 0 0 20 0 1 0 238388696 2075799552 11707 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 506787 11707 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46828 KiB
[startup+0.205676 s]*
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127810712/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2027148 memory=73712 CPUtime=0.18 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 1161 0 0 0 18 0 0 0 20 0 1 0 238388696 2075799552 18428 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 506787 18428 1600 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73712 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127777944/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2027148 memory=100336 CPUtime=0.28 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 1174 0 0 0 27 1 0 0 20 0 1 0 238388696 2075799552 25084 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 506787 25084 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 100336 KiB
[startup+0.70018 s]
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127736984/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2027148 memory=204784 CPUtime=0.66 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 1225 0 0 0 63 3 0 0 20 0 1 0 238388696 2075799552 51196 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 506787 51196 1600 343 0 503851 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 204784 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127620156/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2351204 memory=427320 CPUtime=1.46 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 4228 0 0 0 138 8 0 0 20 0 1 0 238388696 2407632896 106830 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 587801 106830 1600 343 0 584865 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2351204 KiB
Current children cumulated memory: 427320 KiB
[startup+3.1056 s]
/proc/loadavg: 4.12 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127331628/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2440288 memory=600708 CPUtime=3.06 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 10818 0 0 0 294 12 0 0 20 0 1 0 238388696 2498854912 150177 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 610072 150177 1696 343 0 607136 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2440288 KiB
Current children cumulated memory: 600708 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127307772/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2452548 memory=616508 CPUtime=6.25 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 15065 0 0 0 611 14 0 0 20 0 1 0 238388696 2511409152 154127 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 613137 154127 1696 343 0 610201 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2452548 KiB
Current children cumulated memory: 616508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.05 5/266 161912
/proc/meminfo: memFree=127186264/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2485316 memory=641168 CPUtime=12.63 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 20025 0 0 0 1247 16 0 0 20 0 1 0 238388696 2544963584 160292 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 621329 160292 1696 343 0 618393 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2485316 KiB
Current children cumulated memory: 641168 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.04 5/266 161912
/proc/meminfo: memFree=127127876/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2502176 memory=655072 CPUtime=25.4 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 28382 0 0 0 2517 23 0 0 20 0 1 0 238388696 2562228224 163768 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 625544 163768 1696 343 0 622608 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2502176 KiB
Current children cumulated memory: 655072 KiB
[startup+51.1051 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 161912
/proc/meminfo: memFree=127051520/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2585044 memory=730608 CPUtime=50.94 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 35225 0 0 0 5064 30 0 0 20 0 1 0 238388696 2647085056 182652 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 646261 182652 1696 343 0 643325 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2585044 KiB
Current children cumulated memory: 730608 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/266 161914
/proc/meminfo: memFree=127117564/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2585044 memory=680564 CPUtime=101.99 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 46254 0 0 0 10155 44 0 0 20 0 1 0 238388696 2647085056 170141 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 646261 170141 1696 343 0 643325 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2585044 KiB
Current children cumulated memory: 680564 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 161916
/proc/meminfo: memFree=127099968/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2568660 memory=684972 CPUtime=161.83 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 60624 0 0 0 16114 69 0 0 20 0 1 0 238388696 2630307840 171243 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 642165 171243 1696 343 0 639229 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2568660 KiB
Current children cumulated memory: 684972 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 161918
/proc/meminfo: memFree=127064568/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2568660 memory=728564 CPUtime=221.66 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 67146 0 0 0 22089 77 0 0 20 0 1 0 238388696 2630307840 182141 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 642165 182141 1696 343 0 639229 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2568660 KiB
Current children cumulated memory: 728564 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/264 161921
/proc/meminfo: memFree=126975576/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2716628 memory=804652 CPUtime=281.49 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 76687 0 0 0 28055 94 0 0 20 0 1 0 238388696 2781827072 201163 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 679157 201163 1696 343 0 676221 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2716628 KiB
Current children cumulated memory: 804652 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/264 161923
/proc/meminfo: memFree=127123020/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2585556 memory=745260 CPUtime=341.33 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 85761 0 0 0 34023 110 0 0 20 0 1 0 238388696 2647609344 186315 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 646389 186315 1696 343 0 643453 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2585556 KiB
Current children cumulated memory: 745260 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/264 161925
/proc/meminfo: memFree=127080244/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2569172 memory=700204 CPUtime=401.16 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 94015 0 0 0 39990 126 0 0 20 0 1 0 238388696 2630832128 175051 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 642293 175051 1696 343 0 639357 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 2569172 KiB
Current children cumulated memory: 700204 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/263 161933
/proc/meminfo: memFree=127061652/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2569172 memory=730924 CPUtime=460.99 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 107009 0 0 0 45948 151 0 0 20 0 1 0 238388696 2630832128 182731 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 642293 182731 1696 343 0 639357 0
################
# More data... #
################
Current children cumulated memory: 1082876 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 162070
/proc/meminfo: memFree=126640696/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2718164 memory=869884 CPUtime=2913.64 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 512020 0 0 0 290092 1272 0 0 20 0 1 0 238388696 2783399936 217471 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 679541 217471 1696 343 0 676605 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 2718164 KiB
Current children cumulated memory: 869884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 162072
/proc/meminfo: memFree=126885336/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2718164 memory=835068 CPUtime=2973.45 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 520967 0 0 0 296042 1303 0 0 20 0 1 0 238388696 2783399936 208767 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 679541 208767 1696 343 0 676605 0
Current children cumulated CPU time: 2973.45 s
Current children cumulated vsize: 2718164 KiB
Current children cumulated memory: 835068 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/267 162075
/proc/meminfo: memFree=126729508/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2587092 memory=691708 CPUtime=3033.27 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 529875 0 0 0 301996 1331 0 0 20 0 1 0 238388696 2649182208 172927 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 646773 172927 1696 343 0 643837 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 2587092 KiB
Current children cumulated memory: 691708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 162077
/proc/meminfo: memFree=126543900/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2718164 memory=835068 CPUtime=3093.07 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 536454 0 0 0 307955 1352 0 0 20 0 1 0 238388696 2783399936 208767 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 679541 208767 1696 343 0 676605 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 2718164 KiB
Current children cumulated memory: 835068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 162079
/proc/meminfo: memFree=126621136/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2570708 memory=732668 CPUtime=3152.89 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 544512 0 0 0 313925 1364 0 0 20 0 1 0 238388696 2632404992 183167 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 642677 183167 1696 343 0 639741 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 2570708 KiB
Current children cumulated memory: 732668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 162082
/proc/meminfo: memFree=126326676/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2980308 memory=1093116 CPUtime=3212.7 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 552841 0 0 0 319883 1387 0 0 20 0 1 0 238388696 3051835392 273279 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 745077 273279 1696 343 0 742141 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 2980308 KiB
Current children cumulated memory: 1093116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 162084
/proc/meminfo: memFree=126608808/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2980308 memory=955900 CPUtime=3272.52 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 562521 0 0 0 325832 1420 0 0 20 0 1 0 238388696 3051835392 238975 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 745077 238975 1696 343 0 742141 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 2980308 KiB
Current children cumulated memory: 955900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 162086
/proc/meminfo: memFree=126433712/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2701780 memory=774816 CPUtime=3332.33 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 567214 0 0 0 331784 1449 0 0 20 0 1 0 238388696 2766622720 193704 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 675445 193704 1696 343 0 672509 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 2701780 KiB
Current children cumulated memory: 774816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 162089
/proc/meminfo: memFree=126886528/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2701780 memory=816636 CPUtime=3392.14 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 576627 0 0 0 337730 1484 0 0 20 0 1 0 238388696 2766622720 204159 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 675445 204159 1696 343 0 672509 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 2701780 KiB
Current children cumulated memory: 816636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 162098
/proc/meminfo: memFree=126570984/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2980308 memory=902652 CPUtime=3451.96 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 583777 0 0 0 343682 1514 0 0 20 0 1 0 238388696 3051835392 225663 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 745077 225663 1696 343 0 742141 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 2980308 KiB
Current children cumulated memory: 902652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/264 162100
/proc/meminfo: memFree=126759752/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2587092 memory=722428 CPUtime=3511.77 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 589148 0 0 0 349642 1535 0 0 20 0 1 0 238388696 2649182208 180607 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 646773 180607 1696 343 0 643837 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 2587092 KiB
Current children cumulated memory: 722428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 162102
/proc/meminfo: memFree=126398156/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2718164 memory=771580 CPUtime=3571.58 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 597025 0 0 0 355610 1548 0 0 20 0 1 0 238388696 2783399936 192895 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 679541 192895 1696 343 0 676605 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 2718164 KiB
Current children cumulated memory: 771580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.99 4.12 4.10 5/264 162327
/proc/meminfo: memFree=127840212/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2980308 memory=939516 CPUtime=3600.09 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 602066 0 0 0 358455 1554 0 0 20 0 1 0 238388696 3051835392 234879 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 745077 234879 1696 343 0 742141 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2980308 KiB
Current children cumulated memory: 939516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 161910 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3584.55 s, system=15.5556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 3.99 4.12 4.10 5/264 162327
/proc/meminfo: memFree=127840212/131249996 swapFree=33003468/33010684
[pid=161910] ppid=161907 vsize=2980308 memory=939516 CPUtime=3600.09 cores=5,7
/proc/161910/stat : 161910 (pb_picat) R 161907 161910 161380 0 -1 4194304 602066 0 0 0 358455 1554 0 0 20 0 1 0 238388696 3051835392 234879 18446744073709551615 94423522299904 94423523701485 140724058378080 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94423523972912 94423525847152 94423556890624 140724058384796 140724058384872 140724058384872 140724058390476 0
/proc/161910/statm: 745077 234879 1696 343 0 742141 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2980308 KiB
Current children cumulated memory: 939516 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.91
CPU time (s): 3600.11
CPU user time (s): 3584.55
CPU system time (s): 15.5556
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 3504596
Max. memory (cumulated for all children) (KiB): 1562108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.55
system time used= 15.5556
maximum resident set size= 1562108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602066
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= 69
involuntary context switches= 21907
# summary of solver processes directly reported to runsolver:
# pid: 161910
# total CPU time (s): 3600.11
# total CPU user time (s): 3584.55
# total CPU system time (s): 15.5556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23988 second user time and 15.5549 second system time
The end
Begin job on nodeC021 at 2025-07-23 01:31:50
IDJOB=4543807
IDBENCH=174610
IDSOLVER=3385
FILE ID=nodeC021/4543807-1753227110
RUNJOBID= nodeC021-1753223480-161393
SLURM_JOB_ID= 9687828
Free space on /tmp= 433000 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_30_092.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543807-1753227110/watcher-4543807-1753227110 -o /tmp/evaluation-result-4543807-1753227110/solver-4543807-1753227110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161393 --watchdog 3760 pb_picat HOME/instance-4543807-1753227110.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c5515a98844bb1e4abadd55fcb10579
RANDOM SEED=2063619714
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.772
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.816
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 : 3598.827
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 : 3599.782
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.781
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.601
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 : 3600.179
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.834
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: 127872024 kB
MemAvailable: 128674084 kB
Buffers: 1056 kB
Cached: 1537952 kB
SwapCached: 56 kB
Active: 2149180 kB
Inactive: 445056 kB
Active(anon): 1038388 kB
Inactive(anon): 38496 kB
Active(file): 1110792 kB
Inactive(file): 406560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8924 kB
Writeback: 0 kB
AnonPages: 1055876 kB
Mapped: 114048 kB
Shmem: 21656 kB
KReclaimable: 247492 kB
Slab: 343592 kB
SReclaimable: 247492 kB
SUnreclaim: 96100 kB
KernelStack: 4320 kB
PageTables: 5280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7105592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 876544 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= 433004 MiB
End job on nodeC021 at 2025-07-23 02:32:01