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: 63794 MiB (59867 MiB free)
memory of node 1: 64507 MiB (63211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528736-1752249606/watcher-4528736-1752249606 -o /tmp/evaluation-result-4528736-1752249606/solver-4528736-1752249606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117804 --watchdog 3760 pb_picat HOME/instance-4528736-1752249606.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=118899, runsolver pid=118896
[startup+0.100106 s]*
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=126026900/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2027148 memory=29952 CPUtime=0.1 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 994 0 0 0 9 1 0 0 20 0 1 0 140640314 2075799552 7488 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 506787 7488 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 29952 KiB
[startup+0.213487 s]*
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=126018708/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2034964 memory=40664 CPUtime=0.21 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 1058 0 0 0 20 1 0 0 20 0 1 0 140640314 2083803136 10166 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 508741 10166 1632 343 0 505805 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40664 KiB
[startup+0.313359 s]*
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=126008500/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2036536 memory=48220 CPUtime=0.31 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 1397 0 0 0 29 2 0 0 20 0 1 0 140640314 2085412864 12055 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 509134 12055 1696 343 0 506198 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036536 KiB
Current children cumulated memory: 48220 KiB
[startup+0.700258 s]
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=126002640/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2044876 memory=53392 CPUtime=0.68 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 3010 0 0 0 64 4 0 0 20 0 1 0 140640314 2093953024 13348 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 511219 13348 1728 343 0 508283 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2044876 KiB
Current children cumulated memory: 53392 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=125988932/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2058792 memory=66868 CPUtime=1.48 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 8058 0 0 0 139 9 0 0 20 0 1 0 140640314 2108203008 16717 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 514698 16717 1728 343 0 511762 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2058792 KiB
Current children cumulated memory: 66868 KiB
[startup+3.11316 s]
/proc/loadavg: 4.09 4.23 4.19 5/251 118900
/proc/meminfo: memFree=125945136/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2067744 memory=72732 CPUtime=3.09 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 10471 0 0 0 299 10 0 0 20 0 1 0 140640314 2117369856 18183 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 516936 18183 1728 343 0 514000 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2067744 KiB
Current children cumulated memory: 72732 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.22 4.19 5/251 118900
/proc/meminfo: memFree=125916464/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2060992 memory=68872 CPUtime=6.26 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 14925 0 0 0 615 11 0 0 20 0 1 0 140640314 2110455808 17218 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 515248 17218 1728 343 0 512312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 68872 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.22 4.19 5/251 118900
/proc/meminfo: memFree=125998924/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2067696 memory=72772 CPUtime=12.65 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 18189 0 0 0 1253 12 0 0 20 0 1 0 140640314 2117320704 18193 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 516924 18193 1728 343 0 513988 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2067696 KiB
Current children cumulated memory: 72772 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.23 4.19 5/251 118900
/proc/meminfo: memFree=126024152/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2067696 memory=71428 CPUtime=25.42 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 22798 0 0 0 2529 13 0 0 20 0 1 0 140640314 2117320704 17857 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 516924 17857 1728 343 0 513988 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2067696 KiB
Current children cumulated memory: 71428 KiB
[startup+51.1131 s]
/proc/loadavg: 4.16 4.22 4.19 5/251 118900
/proc/meminfo: memFree=125924880/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2076188 memory=82796 CPUtime=50.96 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 29240 0 0 0 5079 17 0 0 20 0 1 0 140640314 2126016512 20699 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 519047 20699 1728 343 0 516111 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2076188 KiB
Current children cumulated memory: 82796 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/251 118913
/proc/meminfo: memFree=126003208/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2084380 memory=90988 CPUtime=102.01 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 29768 0 0 0 10184 17 0 0 20 0 1 0 140640314 2134405120 22747 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 521095 22747 1728 343 0 518159 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2084380 KiB
Current children cumulated memory: 90988 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/251 118915
/proc/meminfo: memFree=126030736/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2092124 memory=93992 CPUtime=161.86 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 32266 0 0 0 16166 20 0 0 20 0 1 0 140640314 2142334976 23498 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 523031 23498 1728 343 0 520095 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 93992 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/250 118917
/proc/meminfo: memFree=125966800/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2092124 memory=96040 CPUtime=221.71 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 32279 0 0 0 22151 20 0 0 20 0 1 0 140640314 2142334976 24010 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 523031 24010 1728 343 0 520095 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 96040 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/250 118920
/proc/meminfo: memFree=125898584/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2092124 memory=98088 CPUtime=281.56 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 33324 0 0 0 28133 23 0 0 20 0 1 0 140640314 2142334976 24522 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 523031 24522 1728 343 0 520095 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 98088 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/249 118928
/proc/meminfo: memFree=125931508/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2092124 memory=100136 CPUtime=341.41 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 33326 0 0 0 34118 23 0 0 20 0 1 0 140640314 2142334976 25034 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 523031 25034 1728 343 0 520095 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 100136 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/249 118930
/proc/meminfo: memFree=125976856/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2124896 memory=120072 CPUtime=401.27 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 36243 0 0 0 40102 25 0 0 20 0 1 0 140640314 2175893504 30018 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 531224 30018 1728 343 0 528288 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2124896 KiB
Current children cumulated memory: 120072 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/250 118933
/proc/meminfo: memFree=125878340/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2124896 memory=122120 CPUtime=461.12 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 48520 0 0 0 46082 30 0 0 20 0 1 0 140640314 2175893504 30530 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 531224 30530 1728 343 0 528288 0
################
# More data... #
################
Current children cumulated memory: 140316 KiB
[startup+2922.3 s]
/proc/loadavg: 3.21 3.22 3.32 4/244 119076
/proc/meminfo: memFree=125932944/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=140316 CPUtime=2913.76 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 208519 0 0 0 291255 121 0 0 20 0 1 0 140640314 2183159808 35079 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 35079 1728 343 0 530062 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 140316 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.21 3.31 4/244 119078
/proc/meminfo: memFree=125917160/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=130076 CPUtime=2973.56 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 214308 0 0 0 297232 124 0 0 20 0 1 0 140640314 2183159808 32519 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 32519 1728 343 0 530062 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 130076 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.18 3.29 4/243 119080
/proc/meminfo: memFree=125788284/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=138916 CPUtime=3033.37 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 218016 0 0 0 303210 127 0 0 20 0 1 0 140640314 2216714240 34729 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 34729 1728 343 0 538254 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 138916 KiB
[startup+3102.3 s]
/proc/loadavg: 3.05 3.15 3.27 4/243 119082
/proc/meminfo: memFree=125927696/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=143012 CPUtime=3093.16 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 221430 0 0 0 309188 128 0 0 20 0 1 0 140640314 2216714240 35753 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 35753 1728 343 0 538254 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 143012 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.15 3.26 4/243 119084
/proc/meminfo: memFree=125756900/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=147216 CPUtime=3152.97 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 223732 0 0 0 315167 130 0 0 20 0 1 0 140640314 2216714240 36804 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 36804 1728 343 0 538254 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 147216 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.14 3.25 4/243 119086
/proc/meminfo: memFree=125688256/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=148112 CPUtime=3212.77 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 227615 0 0 0 321144 133 0 0 20 0 1 0 140640314 2216714240 37028 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 37028 1728 343 0 538254 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 148112 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.12 3.24 4/243 119088
/proc/meminfo: memFree=125880992/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=147216 CPUtime=3272.58 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 229650 0 0 0 327123 135 0 0 20 0 1 0 140640314 2216714240 36804 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 36804 1728 343 0 538254 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 147216 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.13 3.23 4/244 119097
/proc/meminfo: memFree=125471812/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2164760 memory=143120 CPUtime=3332.38 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 233554 0 0 0 333101 137 0 0 20 0 1 0 140640314 2216714240 35780 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 541190 35780 1728 343 0 538254 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 2164760 KiB
Current children cumulated memory: 143120 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.12 3.22 4/244 119099
/proc/meminfo: memFree=125656264/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=124688 CPUtime=3392.18 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 237074 0 0 0 339078 140 0 0 20 0 1 0 140640314 2183159808 31172 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 31172 1728 343 0 530062 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 124688 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.22 4/244 119101
/proc/meminfo: memFree=125598576/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=132880 CPUtime=3451.99 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 239975 0 0 0 345057 142 0 0 20 0 1 0 140640314 2183159808 33220 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 33220 1728 343 0 530062 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 132880 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.11 3.20 3/242 119120
/proc/meminfo: memFree=128113032/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=122640 CPUtime=3511.79 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 243657 0 0 0 351035 144 0 0 20 0 1 0 140640314 2183159808 30660 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 30660 1728 343 0 530062 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 122640 KiB
[startup+3582.3 s]
/proc/loadavg: 1.92 2.77 3.08 2/232 119166
/proc/meminfo: memFree=129070732/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=133744 CPUtime=3571.57 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 249101 0 0 0 357010 147 0 0 20 0 1 0 140640314 2183159808 33436 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 33436 1728 343 0 530062 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 133744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.56 2.60 3.01 2/231 119167
/proc/meminfo: memFree=129057944/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=144752 CPUtime=3600.09 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 249106 0 0 0 359861 148 0 0 20 0 1 0 140640314 2183159808 36188 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 36188 1728 343 0 530062 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 144752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 118899 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.62 s, system=1.48223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 1.56 2.60 3.01 2/231 119167
/proc/meminfo: memFree=129057944/131382112 swapFree=33010416/33010684
[pid=118899] ppid=118896 vsize=2131992 memory=144752 CPUtime=3600.09 cores=5,7
/proc/118899/stat : 118899 (pb_picat) R 118896 118899 117791 0 -1 4194304 249106 0 0 0 359861 148 0 0 20 0 1 0 140640314 2183159808 36188 18446744073709551615 94318714482688 94318715884269 140730321078816 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94318716155696 94318718029936 94318741667840 140730321086876 140730321086952 140730321086952 140730321092556 0
/proc/118899/statm: 532998 36188 1728 343 0 530062 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2131992 KiB
Current children cumulated memory: 144752 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.9
CPU time (s): 3600.1
CPU user time (s): 3598.62
CPU system time (s): 1.48223
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 2197528
Max. memory (cumulated for all children) (KiB): 163600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 1.48223
maximum resident set size= 171340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249106
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= 80
involuntary context switches= 2733
# summary of solver processes directly reported to runsolver:
# pid: 118899
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.62
# total CPU system time (s): 1.48223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2232 second user time and 33.935 second system time
The end
Begin job on nodeC012 at 2025-07-11 18:00:06
IDJOB=4528736
IDBENCH=179713
IDSOLVER=3385
FILE ID=nodeC012/4528736-1752249606
RUNJOBID= nodeC012-1752242168-117804
SLURM_JOB_ID= 9682548
Free space on /tmp= 431500 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528736-1752249606/watcher-4528736-1752249606 -o /tmp/evaluation-result-4528736-1752249606/solver-4528736-1752249606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117804 --watchdog 3760 pb_picat HOME/instance-4528736-1752249606.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=1476782936
nodeC012 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 : 0xb00001f
cpu MHz : 3660.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3662.616
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.621
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.244
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3491.711
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.535
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.359
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126033012 kB
MemAvailable: 126833740 kB
Buffers: 2136 kB
Cached: 1597524 kB
SwapCached: 16 kB
Active: 3786724 kB
Inactive: 973544 kB
Active(anon): 3173604 kB
Inactive(anon): 4948 kB
Active(file): 613120 kB
Inactive(file): 968596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3948 kB
Writeback: 0 kB
AnonPages: 3163256 kB
Mapped: 116568 kB
Shmem: 17944 kB
KReclaimable: 116892 kB
Slab: 206052 kB
SReclaimable: 116892 kB
SUnreclaim: 89160 kB
KernelStack: 4112 kB
PageTables: 9336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 7625820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2840576 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431568 MiB
End job on nodeC012 at 2025-07-11 19:00:17