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: 63837 MiB (63003 MiB free)
memory of node 1: 64465 MiB (61627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518847-1751522112/watcher-4518847-1751522112 -o /tmp/evaluation-result-4518847-1751522112/solver-4518847-1751522112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71038 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518847-1751522112.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73556, runsolver pid=73553
[startup+0.100075 s]*
/proc/loadavg: 4.12 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127622156/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=52124 memory=11264 CPUtime=0.09 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 1341 0 0 0 8 1 0 0 20 0 1 0 67890317 53374976 2816 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 13031 2816 1664 2271 0 7669 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52124 KiB
Current children cumulated memory: 11264 KiB
[startup+0.214519 s]*
/proc/loadavg: 4.12 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127622156/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=56632 memory=15872 CPUtime=0.2 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 2659 0 0 0 18 2 0 0 20 0 1 0 67890317 57991168 3968 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14158 3968 1856 2271 0 8796 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56632 KiB
Current children cumulated memory: 15872 KiB
[startup+0.313227 s]*
/proc/loadavg: 4.12 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127622156/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=0.29 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 26 3 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+0.700331 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127622156/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=0.66 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 53 13 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+1.50035 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127614660/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=1.46 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 110 36 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+3.11282 s]
/proc/loadavg: 4.11 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127614840/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=3.07 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 229 78 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+6.30031 s]
/proc/loadavg: 4.11 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127615344/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=6.25 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 466 159 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.14 5/252 73557
/proc/meminfo: memFree=127591532/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=12.63 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 937 326 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 73557
/proc/meminfo: memFree=127593276/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=25.4 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 1858 682 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.12 4.14 5/252 73558
/proc/meminfo: memFree=127591256/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=58952 memory=18048 CPUtime=50.94 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 3213 0 0 0 3706 1388 0 0 20 0 1 0 67890317 60366848 4512 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 14738 4512 1856 2271 0 9376 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 18048 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 73560
/proc/meminfo: memFree=127309892/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=85032 memory=50816 CPUtime=101.97 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 6953 0 0 0 8530 1667 0 0 20 0 1 0 67890317 87072768 12704 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 21258 12704 1984 2271 0 15896 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 85032 KiB
Current children cumulated memory: 50816 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/252 73562
/proc/meminfo: memFree=127165548/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=88924 memory=56720 CPUtime=161.76 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 7923 0 0 0 14480 1696 0 0 20 0 1 0 67890317 91058176 14180 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 22231 14180 1984 2271 0 16869 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 88924 KiB
Current children cumulated memory: 56720 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/252 73564
/proc/meminfo: memFree=127135096/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=92504 memory=62380 CPUtime=221.56 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 8837 0 0 0 20434 1722 0 0 20 0 1 0 67890317 94724096 15595 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 23126 15595 1984 2271 0 17764 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 92504 KiB
Current children cumulated memory: 62380 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 73569
/proc/meminfo: memFree=127097696/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=95324 memory=65196 CPUtime=281.36 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 9538 0 0 0 26382 1754 0 0 20 0 1 0 67890317 97611776 16299 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 23831 16299 1984 2271 0 18469 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 65196 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/250 73571
/proc/meminfo: memFree=127025384/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=97812 memory=69720 CPUtime=341.17 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 10171 0 0 0 32339 1778 0 0 20 0 1 0 67890317 100159488 17430 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 24453 17430 1984 2271 0 19091 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 97812 KiB
Current children cumulated memory: 69720 KiB
[startup+402.3 s]
/proc/loadavg: 4.60 4.25 4.17 5/250 73583
/proc/meminfo: memFree=126944868/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=128312 memory=82588 CPUtime=400.98 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 12261 0 0 0 38290 1808 0 0 20 0 1 0 67890317 131391488 20647 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 32078 20647 1984 2271 0 26716 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 128312 KiB
Current children cumulated memory: 82588 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.29 4.19 5/250 73585
/proc/meminfo: memFree=126909796/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=130132 memory=84508 CPUtime=460.79 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 12746 0 0 0 44244 1835 0 0 20 0 1 0 67890317 133255168 21127 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 32533 21127 1984 2271 0 27171 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
Current children cumulated memory: 124504 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 73787
/proc/meminfo: memFree=126374948/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=160956 memory=140848 CPUtime=2852.98 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 20688 0 0 0 282449 2849 0 0 20 0 1 0 67890317 164818944 35212 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40239 35212 1984 2271 0 34877 0
Current children cumulated CPU time: 2852.98 s
Current children cumulated vsize: 160956 KiB
Current children cumulated memory: 140848 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/249 73788
/proc/meminfo: memFree=126364616/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=161708 memory=141488 CPUtime=2912.79 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 20861 0 0 0 288401 2878 0 0 20 0 1 0 67890317 165588992 35372 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40427 35372 1984 2271 0 35065 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 141488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/249 73790
/proc/meminfo: memFree=126352464/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=161708 memory=141488 CPUtime=2972.6 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 20861 0 0 0 294356 2904 0 0 20 0 1 0 67890317 165588992 35372 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40427 35372 1984 2271 0 35065 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 141488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 73797
/proc/meminfo: memFree=126352520/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=161708 memory=141488 CPUtime=3032.4 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 20861 0 0 0 300311 2929 0 0 20 0 1 0 67890317 165588992 35372 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40427 35372 1984 2271 0 35065 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 141488 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/250 73799
/proc/meminfo: memFree=126352536/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=162208 memory=142000 CPUtime=3092.21 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 20974 0 0 0 306274 2947 0 0 20 0 1 0 67890317 166100992 35500 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40552 35500 1984 2271 0 35190 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 162208 KiB
Current children cumulated memory: 142000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/250 73801
/proc/meminfo: memFree=126353452/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=162692 memory=142512 CPUtime=3152.02 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21105 0 0 0 312224 2978 0 0 20 0 1 0 67890317 166596608 35628 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40673 35628 1984 2271 0 35311 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 162692 KiB
Current children cumulated memory: 142512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.66 4.25 4.15 5/250 73803
/proc/meminfo: memFree=126344396/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=162692 memory=142512 CPUtime=3211.83 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21124 0 0 0 318182 3001 0 0 20 0 1 0 67890317 166596608 35628 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40673 35628 1984 2271 0 35311 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 162692 KiB
Current children cumulated memory: 142512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.19 4.14 4/244 73836
/proc/meminfo: memFree=128613212/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=162844 memory=142640 CPUtime=3271.64 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21151 0 0 0 324132 3032 0 0 20 0 1 0 67890317 166752256 35660 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40711 35660 1984 2271 0 35349 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 162844 KiB
Current children cumulated memory: 142640 KiB
[startup+3342.3 s]
/proc/loadavg: 3.44 3.99 4.07 4/244 73842
/proc/meminfo: memFree=128615912/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=162844 memory=142640 CPUtime=3331.5 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21174 0 0 0 330085 3065 0 0 20 0 1 0 67890317 166752256 35660 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40711 35660 1984 2271 0 35349 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 162844 KiB
Current children cumulated memory: 142640 KiB
[startup+3402.3 s]
/proc/loadavg: 3.27 3.84 4.01 4/244 73844
/proc/meminfo: memFree=128615884/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=163004 memory=142896 CPUtime=3391.34 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21217 0 0 0 336037 3097 0 0 20 0 1 0 67890317 166916096 35724 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40751 35724 1984 2271 0 35389 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 163004 KiB
Current children cumulated memory: 142896 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.70 3.95 4/244 73846
/proc/meminfo: memFree=128607188/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=163148 memory=142896 CPUtime=3451.18 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21235 0 0 0 341989 3129 0 0 20 0 1 0 67890317 167063552 35724 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40787 35724 1984 2271 0 35425 0
Current children cumulated CPU time: 3451.18 s
Current children cumulated vsize: 163148 KiB
Current children cumulated memory: 142896 KiB
[startup+3522.3 s]
/proc/loadavg: 3.23 3.62 3.90 4/244 73848
/proc/meminfo: memFree=128600236/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=163456 memory=143280 CPUtime=3511.02 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21315 0 0 0 347943 3159 0 0 20 0 1 0 67890317 167378944 35820 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40864 35820 1984 2271 0 35502 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 163456 KiB
Current children cumulated memory: 143280 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.52 3.85 4/244 73850
/proc/meminfo: memFree=128600524/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=163604 memory=143408 CPUtime=3570.87 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21347 0 0 0 353898 3189 0 0 20 0 1 0 67890317 167530496 35852 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40901 35852 1984 2271 0 35539 0
Current children cumulated CPU time: 3570.87 s
Current children cumulated vsize: 163604 KiB
Current children cumulated memory: 143408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 3.08 3.47 3.82 3/238 73882
/proc/meminfo: memFree=129593908/131382120 swapFree=33010160/33010684
[pid=73556] ppid=73553 vsize=163604 memory=143408 CPUtime=3600.09 cores=5,7
/proc/73556/stat : 73556 (ExactPR) R 73553 73556 71022 0 -1 4194304 21347 0 0 0 356802 3207 0 0 20 0 1 0 67890317 167530496 35852 18446744073709551615 94228718428160 94228727728005 140726896971440 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94228729514304 94228729553384 94228748238848 140726896978309 140726896978444 140726896978444 140726896984046 0
/proc/73556/statm: 40901 35852 1984 2271 0 35539 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 163604 KiB
Current children cumulated memory: 143408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 73556 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3568.02 s, system=32.0794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.6
CPU time (s): 3600.1
CPU user time (s): 3568.02
CPU system time (s): 32.0794
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 163604
Max. memory (cumulated for all children) (KiB): 143408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.02
system time used= 32.0794
maximum resident set size= 143536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21356
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= 137
involuntary context switches= 20554
# summary of solver processes directly reported to runsolver:
# pid: 73556
# total CPU time (s): 3600.1
# total CPU user time (s): 3568.02
# total CPU system time (s): 32.0794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.855 second user time and 36.8136 second system time
The end
Begin job on nodeC008 at 2025-07-03 07:55:12
IDJOB=4518847
IDBENCH=177132
IDSOLVER=3324
FILE ID=nodeC008/4518847-1751522112
RUNJOBID= nodeC008-1751513882-71038
SLURM_JOB_ID= 9598620
Free space on /tmp= 432788 MiB
SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518847-1751522112/watcher-4518847-1751522112 -o /tmp/evaluation-result-4518847-1751522112/solver-4518847-1751522112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71038 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518847-1751522112.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d7b5082e0c8210cd1db8ac24c14853d2
RANDOM SEED=136536114
nodeC008 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 : 3662.713
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.72
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 : 3683.285
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.72
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.493
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.72
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 : 3700.000
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.72
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 : 3662.678
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.72
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 : 3700.000
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.72
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.349
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.72
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.199
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127622296 kB
MemAvailable: 127654968 kB
Buffers: 2128 kB
Cached: 828332 kB
SwapCached: 16 kB
Active: 2822444 kB
Inactive: 309636 kB
Active(anon): 2282996 kB
Inactive(anon): 36544 kB
Active(file): 539448 kB
Inactive(file): 273092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25180 kB
Writeback: 0 kB
AnonPages: 2304684 kB
Mapped: 114584 kB
Shmem: 17920 kB
KReclaimable: 119516 kB
Slab: 203644 kB
SReclaimable: 119516 kB
SUnreclaim: 84128 kB
KernelStack: 4032 kB
PageTables: 7656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2811076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 802816 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432800 MiB
End job on nodeC008 at 2025-07-03 08:55:24