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 (62774 MiB free)
memory of node 1: 64465 MiB (62869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491989-1751134700/watcher-4491989-1751134700 -o /tmp/evaluation-result-4491989-1751134700/solver-4491989-1751134700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751133631-12541 --watchdog 3760 HOME/solve.sh HOME/instance-4491989-1751134700.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13294, runsolver pid=13291
[startup+0.100067 s]*
/proc/loadavg: 4.13 4.04 2.89 5/271 13298
/proc/meminfo: memFree=128642144/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=21672 memory=16768 CPUtime=0.07 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 3754 0 0 0 7 0 0 0 20 0 1 0 29148675 22192128 4192 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 5418 4192 576 108 0 3935 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 25864 KiB
Current children cumulated memory: 19712 KiB
[startup+0.205829 s]*
/proc/loadavg: 4.13 4.04 2.89 5/271 13298
/proc/meminfo: memFree=128642144/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=26588 memory=21632 CPUtime=0.18 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 4971 0 0 0 17 1 0 0 20 0 1 0 29148675 27226112 5408 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 6647 5408 576 108 0 5164 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30780 KiB
Current children cumulated memory: 24576 KiB
[startup+0.3057 s]*
/proc/loadavg: 4.13 4.04 2.89 5/271 13298
/proc/meminfo: memFree=128642144/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=31500 memory=26368 CPUtime=0.28 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 6156 0 0 0 27 1 0 0 20 0 1 0 29148675 32256000 6592 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 7875 6592 576 108 0 6392 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 35692 KiB
Current children cumulated memory: 29312 KiB
[startup+0.700217 s]
/proc/loadavg: 4.13 4.04 2.89 5/271 13298
/proc/meminfo: memFree=128626268/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=41076 memory=35840 CPUtime=0.66 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 8520 0 0 0 65 1 0 0 20 0 1 0 29148675 42061824 8960 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 10269 8960 576 108 0 8786 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45268 KiB
Current children cumulated memory: 38784 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.04 2.89 5/271 13298
/proc/meminfo: memFree=128610140/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=59476 memory=53504 CPUtime=1.46 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 12937 0 0 0 144 2 0 0 20 0 1 0 29148675 60903424 13376 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 14869 13376 576 108 0 13386 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 63668 KiB
Current children cumulated memory: 56448 KiB
[startup+3.1056 s]
/proc/loadavg: 4.12 4.04 2.90 5/271 13298
/proc/meminfo: memFree=128594012/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=76168 memory=69120 CPUtime=3.06 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 16864 0 0 0 303 3 0 0 20 0 1 0 29148675 77996032 17280 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 19042 17280 576 108 0 17559 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 80360 KiB
Current children cumulated memory: 72064 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.04 2.90 5/271 13298
/proc/meminfo: memFree=128566596/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=105628 memory=95360 CPUtime=6.25 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 23430 0 0 0 621 4 0 0 20 0 1 0 29148675 108163072 23840 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 26407 23840 576 108 0 24924 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 109820 KiB
Current children cumulated memory: 98304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.04 2.91 5/271 13299
/proc/meminfo: memFree=128536632/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=133496 memory=118928 CPUtime=12.63 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 29421 0 0 0 1257 6 0 0 20 0 1 0 29148675 136699904 29732 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 33374 29732 576 108 0 31891 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 137688 KiB
Current children cumulated memory: 121872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.03 2.92 5/270 13299
/proc/meminfo: memFree=128480688/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=159176 memory=144912 CPUtime=25.39 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 35917 0 0 0 2530 9 0 0 20 0 1 0 29148675 162996224 36228 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 39794 36228 576 108 0 38311 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 163368 KiB
Current children cumulated memory: 147856 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.05 2.96 5/270 13299
/proc/meminfo: memFree=128416948/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=214336 memory=195504 CPUtime=50.92 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 48172 0 0 0 5079 13 0 0 20 0 1 0 29148675 219480064 48876 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 53584 48876 576 108 0 52101 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 218528 KiB
Current children cumulated memory: 198448 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.05 3.03 5/270 13301
/proc/meminfo: memFree=128340392/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=274300 memory=246636 CPUtime=101.96 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 60539 0 0 0 10177 19 0 0 20 0 1 0 29148675 280883200 61659 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 68575 61659 576 108 0 67092 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 278492 KiB
Current children cumulated memory: 249580 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.06 3.10 5/269 13304
/proc/meminfo: memFree=128215508/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=330476 memory=300140 CPUtime=161.78 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 73023 0 0 0 16155 23 0 0 20 0 1 0 29148675 338407424 75035 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 82619 75035 576 108 0 81136 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 334668 KiB
Current children cumulated memory: 303084 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.06 3.16 5/268 13310
/proc/meminfo: memFree=128066020/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338276 CPUtime=221.6 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82064 0 0 0 22133 27 0 0 20 0 1 0 29148675 380063744 84569 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84569 576 108 0 91306 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341220 KiB
[startup+237.853 s]
# the end of solver process 13294 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=236.823 s, system=0.296933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.09 4.06 3.16 5/268 13310
/proc/meminfo: memFree=128066296/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338404 CPUtime=229.67 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82095 0 0 0 22940 27 0 0 20 0 1 0 29148675 380063744 84601 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84601 576 108 0 91306 0
Current children cumulated CPU time: 229.67 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341348 KiB
[startup+233.6 s]
/proc/loadavg: 4.08 4.06 3.17 5/268 13310
/proc/meminfo: memFree=128064184/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338404 CPUtime=232.86 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82098 0 0 0 23259 27 0 0 20 0 1 0 29148675 380063744 84601 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84601 576 108 0 91306 0
Current children cumulated CPU time: 232.86 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341348 KiB
[startup+235.2 s]
/proc/loadavg: 4.08 4.06 3.17 5/268 13310
/proc/meminfo: memFree=128064436/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338404 CPUtime=234.46 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82106 0 0 0 23419 27 0 0 20 0 1 0 29148675 380063744 84601 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84601 576 108 0 91306 0
Current children cumulated CPU time: 234.46 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341348 KiB
[startup+236.8 s]
/proc/loadavg: 4.08 4.06 3.17 5/268 13310
/proc/meminfo: memFree=128064436/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338532 CPUtime=236.05 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82121 0 0 0 23578 27 0 0 20 0 1 0 29148675 380063744 84633 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84633 576 108 0 91306 0
Current children cumulated CPU time: 236.05 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341476 KiB
[startup+237.6 s]
/proc/loadavg: 4.08 4.06 3.17 5/268 13310
/proc/meminfo: memFree=128064436/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338532 CPUtime=236.85 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82130 0 0 0 23658 27 0 0 20 0 1 0 29148675 380063744 84633 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84633 576 108 0 91306 0
Current children cumulated CPU time: 236.85 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341476 KiB
[startup+237.8 s]
/proc/loadavg: 4.08 4.06 3.17 5/268 13310
/proc/meminfo: memFree=128064436/131249996 swapFree=33010684/33010684
[pid=13294] ppid=13291 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/13294/stat : 13294 (bash) S 13291 13294 12525 0 -1 4194304 307 259 0 0 0 0 0 0 20 0 1 0 29148673 4292608 736 18446744073709551615 94397225889792 94397226784325 140735652587632 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94397227023376 94397227071120 94397252255744 140735652596116 140735652596232 140735652596232 140735652601834 0
/proc/13294/statm: 1048 736 672 219 0 110 0
[pid=13298] ppid=13294 vsize=371156 memory=338532 CPUtime=237.05 cores=0,2
/proc/13298/stat : 13298 (solve_pb) R 13294 13294 12525 0 -1 4194304 82131 0 0 0 23678 27 0 0 20 0 1 0 29148675 380063744 84633 18446744073709551615 93928692036608 93928692474752 140723779790912 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 93928692503472 93928692505888 93928696975360 140723779795332 140723779795396 140723779795396 140723779801016 0
/proc/13298/statm: 92789 84633 576 108 0 91306 0
Current children cumulated CPU time: 237.05 s
Current children cumulated vsize: 375348 KiB
Current children cumulated memory: 341476 KiB
Child status: 0
Real time (s): 237.853
CPU time (s): 237.12
CPU user time (s): 236.823
CPU system time (s): 0.296933
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (KiB): 375348
Max. memory (cumulated for all children) (KiB): 341476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.823
system time used= 0.296933
maximum resident set size= 338532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82718
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= 525
involuntary context switches= 543
# summary of solver processes directly reported to runsolver:
# pid: 13294
# total CPU time (s): 237.12
# total CPU user time (s): 236.823
# total CPU system time (s): 0.296933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.474116 second user time and 1.15971 second system time
The end
Begin job on nodeC032 at 2025-06-28 20:18:20
IDJOB=4491989
IDBENCH=147756
IDSOLVER=3321
FILE ID=nodeC032/4491989-1751134700
RUNJOBID= nodeC032-1751133631-12541
SLURM_JOB_ID= 9587432
Free space on /tmp= 432048 MiB
SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491989-1751134700/watcher-4491989-1751134700 -o /tmp/evaluation-result-4491989-1751134700/solver-4491989-1751134700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751133631-12541 --watchdog 3760 HOME/solve.sh HOME/instance-4491989-1751134700.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=55591479
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.300
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
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.69
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 : 3599.471
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.69
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 : 3582.935
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.69
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.850
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.69
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.357
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.184
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.69
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 : 3700.000
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128659000 kB
MemAvailable: 128243628 kB
Buffers: 3280 kB
Cached: 335472 kB
SwapCached: 0 kB
Active: 1889872 kB
Inactive: 128680 kB
Active(anon): 1697868 kB
Inactive(anon): 0 kB
Active(file): 192004 kB
Inactive(file): 128680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1896 kB
Writeback: 0 kB
AnonPages: 1682724 kB
Mapped: 103928 kB
Shmem: 18068 kB
KReclaimable: 83924 kB
Slab: 165932 kB
SReclaimable: 83924 kB
SUnreclaim: 82008 kB
KernelStack: 4364 kB
PageTables: 6836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2169740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1130496 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432048 MiB
End job on nodeC032 at 2025-06-28 20:22:18