runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62098 MiB free)
memory of node 1: 64465 MiB (63374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528089-1752245956/watcher-4528089-1752245956 -o /tmp/evaluation-result-4528089-1752245956/solver-4528089-1752245956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752242228-121194 --watchdog 3760 pb_picat HOME/instance-4528089-1752245956.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
solver pid=121838, runsolver pid=121835
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 121839
/proc/meminfo: memFree=128476664/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2029396 memory=24316 CPUtime=0.09 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 1567 0 0 0 9 0 0 0 20 0 1 0 140273053 2078101504 6079 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 507349 6079 1696 343 0 504413 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 24316 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 121839
/proc/meminfo: memFree=128476664/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2029396 memory=24176 CPUtime=0.19 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 1754 0 0 0 19 0 0 0 20 0 1 0 140273053 2078101504 6044 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 507349 6044 1696 343 0 504413 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 24176 KiB
[startup+0.305178 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 121839
/proc/meminfo: memFree=128476696/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2029428 memory=24268 CPUtime=0.29 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 1970 0 0 0 29 0 0 0 20 0 1 0 140273053 2078134272 6067 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 507357 6067 1696 343 0 504421 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2029428 KiB
Current children cumulated memory: 24268 KiB
[startup+0.700115 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 121839
/proc/meminfo: memFree=128527896/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2029940 memory=24820 CPUtime=0.68 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 2742 0 0 0 68 0 0 0 20 0 1 0 140273053 2078658560 6205 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 507485 6205 1696 343 0 504549 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029940 KiB
Current children cumulated memory: 24820 KiB
[startup+1.50013 s]
/proc/loadavg: 4.13 4.09 4.09 6/265 121839
/proc/meminfo: memFree=128527896/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2031384 memory=25708 CPUtime=1.48 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 4726 0 0 0 147 1 0 0 20 0 1 0 140273053 2080137216 6427 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 507846 6427 1696 343 0 504910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031384 KiB
Current children cumulated memory: 25708 KiB
[startup+3.10533 s]
/proc/loadavg: 4.13 4.09 4.09 6/265 121839
/proc/meminfo: memFree=128510860/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2034456 memory=27684 CPUtime=3.09 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 9164 0 0 0 307 2 0 0 20 0 1 0 140273053 2083282944 6921 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 508614 6921 1696 343 0 505678 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2034456 KiB
Current children cumulated memory: 27684 KiB
[startup+6.3001 s]
/proc/loadavg: 4.12 4.09 4.09 6/265 121884
/proc/meminfo: memFree=128739284/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2036980 memory=29912 CPUtime=6.27 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 17221 0 0 0 625 2 0 0 20 0 1 0 140273053 2085867520 7478 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 509245 7478 1696 343 0 506309 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2036980 KiB
Current children cumulated memory: 29912 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.09 6/265 121886
/proc/meminfo: memFree=128724160/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2040308 memory=33076 CPUtime=12.66 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 33200 0 0 0 1261 5 0 0 20 0 1 0 140273053 2089275392 8269 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 510077 8269 1696 343 0 507141 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2040308 KiB
Current children cumulated memory: 33076 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 121886
/proc/meminfo: memFree=128715164/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2045188 memory=34708 CPUtime=25.42 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 58448 0 0 0 2532 10 0 0 20 0 1 0 140273053 2094272512 8677 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 511297 8677 1696 343 0 508361 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2045188 KiB
Current children cumulated memory: 34708 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.09 4.09 6/265 121886
/proc/meminfo: memFree=128709312/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2041148 memory=34304 CPUtime=50.97 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 88666 0 0 0 5080 17 0 0 20 0 1 0 140273053 2090135552 8576 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 510287 8576 1696 343 0 507351 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2041148 KiB
Current children cumulated memory: 34304 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/265 121888
/proc/meminfo: memFree=128693476/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2050148 memory=39536 CPUtime=102.05 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 141032 0 0 0 10173 32 0 0 20 0 1 0 140273053 2099351552 9884 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 512537 9884 1696 343 0 509601 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 2050148 KiB
Current children cumulated memory: 39536 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.13 4.10 6/265 121901
/proc/meminfo: memFree=128679148/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2054396 memory=43964 CPUtime=161.9 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 172367 0 0 0 16148 42 0 0 20 0 1 0 140273053 2103701504 10991 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 513599 10991 1696 343 0 510663 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2054396 KiB
Current children cumulated memory: 43964 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.16 4.11 6/265 121903
/proc/meminfo: memFree=128678072/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2054428 memory=46672 CPUtime=221.76 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 195994 0 0 0 22125 51 0 0 20 0 1 0 140273053 2103734272 11668 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 513607 11668 1696 343 0 510671 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 2054428 KiB
Current children cumulated memory: 46672 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.11 6/264 121905
/proc/meminfo: memFree=128678828/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2061140 memory=53936 CPUtime=281.62 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 219586 0 0 0 28103 59 0 0 20 0 1 0 140273053 2110607360 13484 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 515285 13484 1696 343 0 512349 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 2061140 KiB
Current children cumulated memory: 53936 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.10 6/263 121914
/proc/meminfo: memFree=128665384/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2079444 memory=54832 CPUtime=341.46 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 246850 0 0 0 34077 69 0 0 20 0 1 0 140273053 2129350656 13708 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 519861 13708 1696 343 0 516925 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2079444 KiB
Current children cumulated memory: 54832 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.10 6/263 121916
/proc/meminfo: memFree=128660924/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2097132 memory=64224 CPUtime=401.32 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 268752 0 0 0 40052 80 0 0 20 0 1 0 140273053 2147463168 16056 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524283 16056 1696 343 0 521347 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 2097132 KiB
Current children cumulated memory: 64224 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 121918
/proc/meminfo: memFree=128643764/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2080960 memory=60340 CPUtime=461.18 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 288016 0 0 0 46028 90 0 0 20 0 1 0 140273053 2130903040 15085 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 520240 15085 1696 343 0 517304 0
################
# More data... #
################
/proc/loadavg: 4.14 4.11 4.09 6/263 122048
/proc/meminfo: memFree=128587040/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099432 memory=76772 CPUtime=1418.63 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 485707 0 0 0 141670 193 0 0 20 0 1 0 140273053 2149818368 19193 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524858 19193 1696 343 0 521922 0
Current children cumulated CPU time: 1418.63 s
Current children cumulated vsize: 2099432 KiB
Current children cumulated memory: 76772 KiB
[startup+1482.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/263 122050
/proc/meminfo: memFree=128596600/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099432 memory=80868 CPUtime=1478.44 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 494279 0 0 0 147644 200 0 0 20 0 1 0 140273053 2149818368 20217 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524858 20217 1696 343 0 521922 0
Current children cumulated CPU time: 1478.44 s
Current children cumulated vsize: 2099432 KiB
Current children cumulated memory: 80868 KiB
[startup+1542.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 122060
/proc/meminfo: memFree=128611680/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099432 memory=80872 CPUtime=1538.25 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 501005 0 0 0 153621 204 0 0 20 0 1 0 140273053 2149818368 20218 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524858 20218 1696 343 0 521922 0
Current children cumulated CPU time: 1538.25 s
Current children cumulated vsize: 2099432 KiB
Current children cumulated memory: 80872 KiB
[startup+1602.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/265 122063
/proc/meminfo: memFree=128612912/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099456 memory=82728 CPUtime=1598.06 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 512975 0 0 0 159594 212 0 0 20 0 1 0 140273053 2149842944 20682 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524864 20682 1696 343 0 521928 0
Current children cumulated CPU time: 1598.06 s
Current children cumulated vsize: 2099456 KiB
Current children cumulated memory: 82728 KiB
[startup+1662.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/265 122066
/proc/meminfo: memFree=128575732/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099456 memory=78632 CPUtime=1657.86 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 521577 0 0 0 165569 217 0 0 20 0 1 0 140273053 2149842944 19658 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524864 19658 1696 343 0 521928 0
Current children cumulated CPU time: 1657.86 s
Current children cumulated vsize: 2099456 KiB
Current children cumulated memory: 78632 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/265 122069
/proc/meminfo: memFree=128608968/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2083072 memory=74952 CPUtime=1717.67 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 529962 0 0 0 171544 223 0 0 20 0 1 0 140273053 2133065728 18738 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 520768 18738 1696 343 0 517832 0
Current children cumulated CPU time: 1717.67 s
Current children cumulated vsize: 2083072 KiB
Current children cumulated memory: 74952 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/265 122071
/proc/meminfo: memFree=128575908/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2083056 memory=76480 CPUtime=1777.47 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 541911 0 0 0 177518 229 0 0 20 0 1 0 140273053 2133049344 19120 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 520764 19120 1696 343 0 517828 0
Current children cumulated CPU time: 1777.47 s
Current children cumulated vsize: 2083056 KiB
Current children cumulated memory: 76480 KiB
[startup+1838.25 s]
# the end of solver process 121838 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1830.9 s, system=2.3494 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.10 4.11 4.09 6/265 122071
/proc/meminfo: memFree=128584296/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2083056 memory=76992 CPUtime=1787.15 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 542617 0 0 0 178485 230 0 0 20 0 1 0 140273053 2133049344 19248 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 520764 19248 1696 343 0 517828 0
Current children cumulated CPU time: 1787.15 s
Current children cumulated vsize: 2083056 KiB
Current children cumulated memory: 76992 KiB
[startup+1817.6 s]
/proc/loadavg: 4.13 4.12 4.09 6/265 122072
/proc/meminfo: memFree=128588580/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=83648 CPUtime=1812.66 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 545654 0 0 0 181033 233 0 0 20 0 1 0 140273053 2149826560 20912 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 20912 1696 343 0 521924 0
Current children cumulated CPU time: 1812.66 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 83648 KiB
[startup+1830.4 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128627236/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2083056 memory=73408 CPUtime=1825.41 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 546331 0 0 0 182308 233 0 0 20 0 1 0 140273053 2133049344 18352 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 520764 18352 1696 343 0 517828 0
Current children cumulated CPU time: 1825.41 s
Current children cumulated vsize: 2083056 KiB
Current children cumulated memory: 73408 KiB
[startup+1833.6 s]
/proc/loadavg: 4.10 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128619036/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=81600 CPUtime=1828.6 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 546846 0 0 0 182627 233 0 0 20 0 1 0 140273053 2149826560 20400 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 20400 1696 343 0 521924 0
Current children cumulated CPU time: 1828.6 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 81600 KiB
[startup+1836.8 s]
/proc/loadavg: 4.09 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128602464/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=79552 CPUtime=1831.79 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 547444 0 0 0 182945 234 0 0 20 0 1 0 140273053 2149826560 19888 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 19888 1696 343 0 521924 0
Current children cumulated CPU time: 1831.79 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 79552 KiB
[startup+1837.6 s]
/proc/loadavg: 4.09 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128594272/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=79552 CPUtime=1832.59 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 547444 0 0 0 183025 234 0 0 20 0 1 0 140273053 2149826560 19888 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 19888 1696 343 0 521924 0
Current children cumulated CPU time: 1832.59 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 79552 KiB
[startup+1838 s]*
/proc/loadavg: 4.09 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128590176/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=79552 CPUtime=1832.99 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 547444 0 0 0 183065 234 0 0 20 0 1 0 140273053 2149826560 19888 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 19888 1696 343 0 521924 0
Current children cumulated CPU time: 1832.99 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 79552 KiB
[startup+1838.2 s]
/proc/loadavg: 4.09 4.11 4.09 6/265 122073
/proc/meminfo: memFree=128590176/131249996 swapFree=33006296/33010684
[pid=121838] ppid=121835 vsize=2099440 memory=79552 CPUtime=1833.19 cores=5,7
/proc/121838/stat : 121838 (pb_picat) R 121835 121838 121181 0 -1 4194304 547444 0 0 0 183085 234 0 0 20 0 1 0 140273053 2149826560 19888 18446744073709551615 94158352138240 94158353539821 140720458298384 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94158353811248 94158355685488 94158390149120 140720458299804 140720458299880 140720458299880 140720458305484 0
/proc/121838/statm: 524860 19888 1696 343 0 521924 0
Current children cumulated CPU time: 1833.19 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 79552 KiB
Child status: 0
Real time (s): 1838.25
CPU time (s): 1833.25
CPU user time (s): 1830.9
CPU system time (s): 2.3494
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 2132224
Max. memory (cumulated for all children) (KiB): 97984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1830.9
system time used= 2.3494
maximum resident set size= 97984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547454
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= 67
involuntary context switches= 2276
# summary of solver processes directly reported to runsolver:
# pid: 121838
# total CPU time (s): 1833.25
# total CPU user time (s): 1830.9
# total CPU system time (s): 2.3494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.39876 second user time and 7.45786 second system time
The end
Begin job on nodeC015 at 2025-07-11 16:59:16
IDJOB=4528089
IDBENCH=162338
IDSOLVER=3385
FILE ID=nodeC015/4528089-1752245956
RUNJOBID= nodeC015-1752242228-121194
SLURM_JOB_ID= 9682549
Free space on /tmp= 432404 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528089-1752245956/watcher-4528089-1752245956 -o /tmp/evaluation-result-4528089-1752245956/solver-4528089-1752245956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752242228-121194 --watchdog 3760 pb_picat HOME/instance-4528089-1752245956.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=1243130361
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.045
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.005
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.372
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.350
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.016
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3558.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128484456 kB
MemAvailable: 129340560 kB
Buffers: 1508 kB
Cached: 1635332 kB
SwapCached: 3880 kB
Active: 726708 kB
Inactive: 1385916 kB
Active(anon): 441212 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1337192 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3572 kB
Writeback: 20 kB
AnonPages: 473916 kB
Mapped: 113596 kB
Shmem: 14152 kB
KReclaimable: 145308 kB
Slab: 239628 kB
SReclaimable: 145308 kB
SUnreclaim: 94320 kB
KernelStack: 4272 kB
PageTables: 4056 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6738740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 317440 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432400 MiB
End job on nodeC015 at 2025-07-11 17:29:54