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 (62640 MiB free)
memory of node 1: 64507 MiB (63112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543265-1753219090/watcher-4543265-1753219090 -o /tmp/evaluation-result-4543265-1753219090/solver-4543265-1753219090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753211570-156076 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=679698295 --ls=360 --inp-dombreaklim=0 HOME/instance-4543265-1753219090.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=157844, runsolver pid=157841
[startup+0.100065 s]*
/proc/loadavg: 4.17 4.12 4.10 5/249 157845
/proc/meminfo: memFree=128771096/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=0.09 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 9 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+0.212716 s]*
/proc/loadavg: 4.17 4.12 4.10 5/249 157845
/proc/meminfo: memFree=128771096/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=0.19 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 19 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+0.312142 s]*
/proc/loadavg: 4.17 4.12 4.10 5/249 157845
/proc/meminfo: memFree=128771096/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=0.28 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 28 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+0.700177 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 157845
/proc/meminfo: memFree=128771096/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=0.63 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 63 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+1.50012 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 157845
/proc/meminfo: memFree=128771096/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=1.42 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 142 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+3.10441 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 157845
/proc/meminfo: memFree=128771240/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=3.01 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 301 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+6.3001 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 157845
/proc/meminfo: memFree=128771744/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=6.19 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 619 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 157845
/proc/meminfo: memFree=128771996/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=12.55 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 1255 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/249 157845
/proc/meminfo: memFree=128772500/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=25.27 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 2527 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+51.1121 s]
/proc/loadavg: 4.14 4.11 4.09 5/249 157846
/proc/meminfo: memFree=128774264/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=50.83 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 5083 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 157848
/proc/meminfo: memFree=128785604/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=101.9 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 10190 0 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 157909
/proc/meminfo: memFree=128803524/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=161.76 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 16175 1 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 157911
/proc/meminfo: memFree=128808628/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=221.64 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 22163 1 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/252 157920
/proc/meminfo: memFree=128812408/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=281.51 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 28150 1 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/252 157966
/proc/meminfo: memFree=128817624/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=29872 memory=6400 CPUtime=341.39 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 725 0 0 0 34138 1 0 0 20 0 1 0 237588839 30588928 1600 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 7468 1600 1024 1200 0 5948 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 6400 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 158012
/proc/meminfo: memFree=128719152/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=128028 memory=104516 CPUtime=401.25 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 20320 0 0 0 40079 46 0 0 20 0 1 0 237588839 131100672 26129 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 32007 26129 1248 1200 0 30487 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 128028 KiB
Current children cumulated memory: 104516 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 158014
/proc/meminfo: memFree=128668668/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=157980 memory=131396 CPUtime=461.08 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 26750 0 0 0 46007 101 0 0 20 0 1 0 237588839 161771520 32849 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 39495 32849 1248 1200 0 37975 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 316000 KiB
[startup+2922.3 s]
/proc/loadavg: 1.11 1.73 2.91 2/233 158915
/proc/meminfo: memFree=128486624/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=327992 memory=317536 CPUtime=2913.58 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 63996 0 0 0 289077 2281 0 0 20 0 1 0 237588839 335863808 79384 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 81998 79384 1248 1200 0 80478 0
Current children cumulated CPU time: 2913.58 s
Current children cumulated vsize: 327992 KiB
Current children cumulated memory: 317536 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.61 2.80 2/233 158917
/proc/meminfo: memFree=128483980/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=328952 memory=319584 CPUtime=2973.39 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 64343 0 0 0 295006 2333 0 0 20 0 1 0 237588839 336846848 79896 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 82238 79896 1248 1200 0 80718 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 328952 KiB
Current children cumulated memory: 319584 KiB
[startup+3042.3 s]
/proc/loadavg: 1.08 1.51 2.69 2/233 158919
/proc/meminfo: memFree=128483980/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=330680 memory=321120 CPUtime=3033.21 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 64759 0 0 0 300936 2385 0 0 20 0 1 0 237588839 338616320 80280 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 82670 80280 1248 1200 0 81150 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 330680 KiB
Current children cumulated memory: 321120 KiB
[startup+3102.3 s]
/proc/loadavg: 1.06 1.43 2.58 2/232 158920
/proc/meminfo: memFree=128492968/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=332216 memory=322272 CPUtime=3093.03 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 65187 0 0 0 306860 2443 0 0 20 0 1 0 237588839 340189184 80568 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 83054 80568 1248 1200 0 81534 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 332216 KiB
Current children cumulated memory: 322272 KiB
[startup+3162.3 s]
/proc/loadavg: 1.07 1.37 2.49 2/232 158922
/proc/meminfo: memFree=128493724/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=333176 memory=323168 CPUtime=3152.83 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 65443 0 0 0 312782 2501 0 0 20 0 1 0 237588839 341172224 80792 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 83294 80792 1248 1200 0 81774 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 333176 KiB
Current children cumulated memory: 323168 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.33 2.40 2/232 158924
/proc/meminfo: memFree=128494152/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=334520 memory=324448 CPUtime=3212.65 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 65885 0 0 0 318706 2559 0 0 20 0 1 0 237588839 342548480 81112 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 83630 81112 1248 1200 0 82110 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 334520 KiB
Current children cumulated memory: 324448 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.28 2.32 2/234 158929
/proc/meminfo: memFree=128461800/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=337400 memory=327776 CPUtime=3272.45 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 66487 0 0 0 324634 2611 0 0 20 0 1 0 237588839 345497600 81944 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 84350 81944 1248 1200 0 82830 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 337400 KiB
Current children cumulated memory: 327776 KiB
[startup+3342.3 s]
/proc/loadavg: 1.04 1.23 2.23 2/234 158931
/proc/meminfo: memFree=128462980/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=338744 memory=329056 CPUtime=3332.27 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 66931 0 0 0 330563 2664 0 0 20 0 1 0 237588839 346873856 82264 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 84686 82264 1248 1200 0 83166 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 338744 KiB
Current children cumulated memory: 329056 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.21 2.16 2/235 158940
/proc/meminfo: memFree=128472056/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=340472 memory=330592 CPUtime=3392.08 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 67336 0 0 0 336493 2715 0 0 20 0 1 0 237588839 348643328 82648 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 85118 82648 1248 1200 0 83598 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 340472 KiB
Current children cumulated memory: 330592 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.19 2.09 2/235 158942
/proc/meminfo: memFree=128472308/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=342200 memory=332128 CPUtime=3451.89 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 67842 0 0 0 342423 2766 0 0 20 0 1 0 237588839 350412800 83032 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 85550 83032 1248 1200 0 84030 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 342200 KiB
Current children cumulated memory: 332128 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.17 2.03 2/235 158944
/proc/meminfo: memFree=128480880/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=344120 memory=333792 CPUtime=3511.7 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 68296 0 0 0 348351 2819 0 0 20 0 1 0 237588839 352378880 83448 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 86030 83448 1248 1200 0 84510 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 344120 KiB
Current children cumulated memory: 333792 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.16 1.97 2/233 158946
/proc/meminfo: memFree=128465632/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=345656 memory=336224 CPUtime=3571.51 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 68770 0 0 0 354278 2873 0 0 20 0 1 0 237588839 353951744 84056 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 86414 84056 1248 1200 0 84894 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 345656 KiB
Current children cumulated memory: 336224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.14 1.16 1.94 2/233 158948
/proc/meminfo: memFree=128466640/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=346616 memory=337120 CPUtime=3600.02 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 68999 0 0 0 357105 2897 0 0 20 0 1 0 237588839 354934784 84280 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 86654 84280 1248 1200 0 85134 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 346616 KiB
Current children cumulated memory: 337120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 157844 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.05 s, system=28.9779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 1.14 1.16 1.94 2/233 158948
/proc/meminfo: memFree=128466640/131382112 swapFree=33010160/33010684
[pid=157844] ppid=157841 vsize=346616 memory=337120 CPUtime=3600.02 cores=5,7
/proc/157844/stat : 157844 (Exact) R 157841 157844 156063 0 -1 4194304 68999 0 0 0 357105 2897 0 0 20 0 1 0 237588839 354934784 84280 18446744073709551615 4198400 9112445 140727420268864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 42491904 140727420274981 140727420275179 140727420275179 140727420280783 0
/proc/157844/statm: 86654 84280 1248 1200 0 85134 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 346616 KiB
Current children cumulated memory: 337120 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.03
CPU user time (s): 3571.05
CPU system time (s): 28.9779
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 346616
Max. memory (cumulated for all children) (KiB): 337120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.05
system time used= 28.9779
maximum resident set size= 337248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69001
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= 126
involuntary context switches= 3033
# summary of solver processes directly reported to runsolver:
# pid: 157844
# total CPU time (s): 3600.03
# total CPU user time (s): 3571.05
# total CPU system time (s): 28.9779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4431 second user time and 32.6855 second system time
The end
Begin job on nodeC009 at 2025-07-22 23:18:11
IDJOB=4543265
IDBENCH=172509
IDSOLVER=3319
FILE ID=nodeC009/4543265-1753219090
RUNJOBID= nodeC009-1753211570-156076
SLURM_JOB_ID= 9687795
Free space on /tmp= 432276 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543265-1753219090/watcher-4543265-1753219090 -o /tmp/evaluation-result-4543265-1753219090/solver-4543265-1753219090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753211570-156076 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=679698295 --ls=360 --inp-dombreaklim=0 HOME/instance-4543265-1753219090.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=679698295
nodeC009 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.706
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.85
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 : 3691.478
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.85
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.378
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.85
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.357
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.85
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.707
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.85
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.135
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.85
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 : 3700.000
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.85
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.229
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128771348 kB
MemAvailable: 129711384 kB
Buffers: 2144 kB
Cached: 1657472 kB
SwapCached: 24 kB
Active: 1218944 kB
Inactive: 520120 kB
Active(anon): 101500 kB
Inactive(anon): 4080 kB
Active(file): 1117444 kB
Inactive(file): 516040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14956 kB
Writeback: 0 kB
AnonPages: 82560 kB
Mapped: 120476 kB
Shmem: 26128 kB
KReclaimable: 291976 kB
Slab: 384620 kB
SReclaimable: 291976 kB
SUnreclaim: 92644 kB
KernelStack: 4044 kB
PageTables: 3180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 486960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432288 MiB
End job on nodeC009 at 2025-07-23 00:18:22