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 (62902 MiB free)
memory of node 1: 64465 MiB (63916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489825-1751355189/watcher-4489825-1751355189 -o /tmp/evaluation-result-4489825-1751355189/solver-4489825-1751355189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751351577-49551 --watchdog 3760 pb_picat HOME/instance-4489825-1751355189.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=49971, runsolver pid=49968
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129793832/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=40364 CPUtime=0.09 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1063 0 0 0 9 0 0 0 20 0 1 0 51196775 2075799552 10091 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 10091 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40364 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129744728/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=56748 CPUtime=0.2 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1071 0 0 0 19 1 0 0 20 0 1 0 51196775 2075799552 14187 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 14187 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 56748 KiB
[startup+0.305485 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129679192/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=73132 CPUtime=0.3 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1079 0 0 0 29 1 0 0 20 0 1 0 51196775 2075799552 18283 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 18283 1536 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73132 KiB
[startup+0.700174 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129556312/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=132524 CPUtime=0.68 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1108 0 0 0 66 2 0 0 20 0 1 0 51196775 2075799552 33131 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 33131 1536 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 132524 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129240668/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=257452 CPUtime=1.48 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1169 0 0 0 143 5 0 0 20 0 1 0 51196775 2075799552 64363 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 64363 1536 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 257452 KiB
[startup+3.10526 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=127962072/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2027148 memory=519596 CPUtime=3.08 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 1304 0 0 0 298 10 0 0 20 0 1 0 51196775 2075799552 129899 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 506787 129899 1536 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 519596 KiB
[startup+6.30016 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49972
/proc/meminfo: memFree=126016024/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2244560 memory=1037208 CPUtime=6.27 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 8086 0 0 0 604 23 0 0 20 0 1 0 51196775 2298429440 259302 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 561140 259302 1696 343 0 558204 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2244560 KiB
Current children cumulated memory: 1037208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 49972
/proc/meminfo: memFree=125842500/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2278328 memory=1076396 CPUtime=12.65 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 13467 0 0 0 1238 27 0 0 20 0 1 0 51196775 2333007872 269099 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 569582 269099 1696 343 0 566646 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2278328 KiB
Current children cumulated memory: 1076396 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49972
/proc/meminfo: memFree=125849920/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2257920 memory=1054768 CPUtime=25.41 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 18972 0 0 0 2511 30 0 0 20 0 1 0 51196775 2312110080 263692 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 564480 263692 1696 343 0 561544 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2257920 KiB
Current children cumulated memory: 1054768 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 49973
/proc/meminfo: memFree=125806988/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2257920 memory=1062844 CPUtime=50.95 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 23890 0 0 0 5059 36 0 0 20 0 1 0 51196775 2312110080 265711 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 564480 265711 1696 343 0 561544 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2257920 KiB
Current children cumulated memory: 1062844 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49980
/proc/meminfo: memFree=125829100/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2274304 memory=1071156 CPUtime=101.99 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 31731 0 0 0 10153 46 0 0 20 0 1 0 51196775 2328887296 267789 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 568576 267789 1696 343 0 565640 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2274304 KiB
Current children cumulated memory: 1071156 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 49982
/proc/meminfo: memFree=125562432/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2307072 memory=1085564 CPUtime=161.82 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 41612 0 0 0 16123 59 0 0 20 0 1 0 51196775 2362441728 271391 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 576768 271391 1696 343 0 573832 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2307072 KiB
Current children cumulated memory: 1085564 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 49984
/proc/meminfo: memFree=125572876/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2372608 memory=1134656 CPUtime=221.65 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 54575 0 0 0 22086 79 0 0 20 0 1 0 51196775 2429550592 283664 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 593152 283664 1696 343 0 590216 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2372608 KiB
Current children cumulated memory: 1134656 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 49986
/proc/meminfo: memFree=125603928/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2276168 memory=1071820 CPUtime=281.48 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 63338 0 0 0 28059 89 0 0 20 0 1 0 51196775 2330796032 267955 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 569042 267955 1696 343 0 566106 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2276168 KiB
Current children cumulated memory: 1071820 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/263 49988
/proc/meminfo: memFree=125694468/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2374640 memory=1120300 CPUtime=341.3 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 77765 0 0 0 34020 110 0 0 20 0 1 0 51196775 2431631360 280075 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 593660 280075 1696 343 0 590724 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2374640 KiB
Current children cumulated memory: 1120300 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/262 49992
/proc/meminfo: memFree=125778560/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2259952 memory=1062956 CPUtime=401.13 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 86628 0 0 0 39991 122 0 0 20 0 1 0 51196775 2314190848 265739 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 564988 265739 1696 343 0 562052 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2259952 KiB
Current children cumulated memory: 1062956 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 49994
/proc/meminfo: memFree=125613368/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2374640 memory=1130664 CPUtime=460.96 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 95300 0 0 0 45962 134 0 0 20 0 1 0 51196775 2431631360 282666 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 593660 282666 1696 343 0 590724 0
################
# More data... #
################
Current children cumulated memory: 1221280 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 50125
/proc/meminfo: memFree=125232672/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2801252 memory=1362592 CPUtime=2913.86 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 426926 0 0 0 290656 730 0 0 20 0 1 0 51196775 2868482048 340648 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 700313 340648 1696 343 0 697377 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 2801252 KiB
Current children cumulated memory: 1362592 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 50126
/proc/meminfo: memFree=125481088/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2506340 memory=1223412 CPUtime=2973.69 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 434770 0 0 0 296617 752 0 0 20 0 1 0 51196775 2566492160 305853 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 626585 305853 1696 343 0 623649 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 2506340 KiB
Current children cumulated memory: 1223412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 50128
/proc/meminfo: memFree=125690336/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1082016 CPUtime=3033.52 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 438488 0 0 0 302598 754 0 0 20 0 1 0 51196775 2365165568 270504 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 270504 1696 343 0 574497 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1082016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 50134
/proc/meminfo: memFree=125088332/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1092744 CPUtime=3093.35 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 439187 0 0 0 308580 755 0 0 20 0 1 0 51196775 2365165568 273186 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 273186 1696 343 0 574497 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1092744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 50136
/proc/meminfo: memFree=125192732/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2801252 memory=1342112 CPUtime=3153.17 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 444554 0 0 0 314552 765 0 0 20 0 1 0 51196775 2868482048 335528 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 700313 335528 1696 343 0 697377 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 2801252 KiB
Current children cumulated memory: 1342112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 50138
/proc/meminfo: memFree=125499688/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1088540 CPUtime=3213 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 449777 0 0 0 320520 780 0 0 20 0 1 0 51196775 2365165568 272135 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 272135 1696 343 0 574497 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1088540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 50140
/proc/meminfo: memFree=125318984/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2408036 memory=1135264 CPUtime=3272.83 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 456300 0 0 0 326483 800 0 0 20 0 1 0 51196775 2465828864 283816 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 602009 283816 1696 343 0 599073 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 2408036 KiB
Current children cumulated memory: 1135264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 50143
/proc/meminfo: memFree=125184512/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2506340 memory=1243808 CPUtime=3332.66 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 461397 0 0 0 332449 817 0 0 20 0 1 0 51196775 2566492160 310952 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 626585 310952 1696 343 0 623649 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 2506340 KiB
Current children cumulated memory: 1243808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 50148
/proc/meminfo: memFree=125155120/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2752100 memory=1311276 CPUtime=3392.48 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 467566 0 0 0 338417 831 0 0 20 0 1 0 51196775 2818150400 327819 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 688025 327819 1696 343 0 685089 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 2752100 KiB
Current children cumulated memory: 1311276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 50151
/proc/meminfo: memFree=125103992/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2506340 memory=1208808 CPUtime=3452.31 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 474213 0 0 0 344383 848 0 0 20 0 1 0 51196775 2566492160 302202 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 626585 302202 1696 343 0 623649 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 2506340 KiB
Current children cumulated memory: 1208808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 50153
/proc/meminfo: memFree=125171500/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2506340 memory=1256096 CPUtime=3512.13 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 479879 0 0 0 350347 866 0 0 20 0 1 0 51196775 2566492160 314024 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 626585 314024 1696 343 0 623649 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 2506340 KiB
Current children cumulated memory: 1256096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 50155
/proc/meminfo: memFree=125523500/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1088160 CPUtime=3571.96 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 481516 0 0 0 356328 868 0 0 20 0 1 0 51196775 2365165568 272040 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 272040 1696 343 0 574497 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1088160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.09 4.11 4.09 4/259 50188
/proc/meminfo: memFree=126792264/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1092256 CPUtime=3600.08 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 481549 0 0 0 359140 868 0 0 20 0 1 0 51196775 2365165568 273064 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 273064 1696 343 0 574497 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1092256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 49971 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3591.41 s, system=8.69481 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.09 4.11 4.09 4/259 50188
/proc/meminfo: memFree=126792264/131249996 swapFree=33005272/33010684
[pid=49971] ppid=49968 vsize=2309732 memory=1092256 CPUtime=3600.08 cores=1,3
/proc/49971/stat : 49971 (pb_picat) R 49968 49971 49539 0 -1 4194304 481549 0 0 0 359140 868 0 0 20 0 1 0 51196775 2365165568 273064 18446744073709551615 94175061893120 94175063294701 140732985494240 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94175063566128 94175065440432 94175099199488 140732985502110 140732985502186 140732985502186 140732985507788 0
/proc/49971/statm: 577433 273064 1696 343 0 574497 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2309732 KiB
Current children cumulated memory: 1092256 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3591.41
CPU system time (s): 8.69481
CPU usage (%): 99.7119
Max. virtual memory (cumulated for all children) (KiB): 2801252
Max. memory (cumulated for all children) (KiB): 1526432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.41
system time used= 8.69481
maximum resident set size= 1528480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481549
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= 5788
# summary of solver processes directly reported to runsolver:
# pid: 49971
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.41
# total CPU system time (s): 8.69481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33113 second user time and 15.2911 second system time
The end
Begin job on nodeC023 at 2025-07-01 09:33:09
IDJOB=4489825
IDBENCH=147564
IDSOLVER=3346
FILE ID=nodeC023/4489825-1751355189
RUNJOBID= nodeC023-1751351577-49551
SLURM_JOB_ID= 9598142
Free space on /tmp= 432988 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489825-1751355189/watcher-4489825-1751355189 -o /tmp/evaluation-result-4489825-1751355189/solver-4489825-1751355189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751351577-49551 --watchdog 3760 pb_picat HOME/instance-4489825-1751355189.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=114958436
nodeC023 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.311
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.78
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 : 3598.974
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.78
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.345
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.78
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.263
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.78
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.887
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.78
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.904
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.799
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.78
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 : 3597.697
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129902768 kB
MemAvailable: 129573488 kB
Buffers: 1328 kB
Cached: 469776 kB
SwapCached: 464 kB
Active: 440248 kB
Inactive: 317764 kB
Active(anon): 245472 kB
Inactive(anon): 54780 kB
Active(file): 194776 kB
Inactive(file): 262984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 82184 kB
Writeback: 44 kB
AnonPages: 289936 kB
Mapped: 104400 kB
Shmem: 13340 kB
KReclaimable: 104400 kB
Slab: 191904 kB
SReclaimable: 104400 kB
SUnreclaim: 87504 kB
KernelStack: 4220 kB
PageTables: 3664 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4422160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC023 at 2025-07-01 10:33:20