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 (63285 MiB free)
memory of node 1: 64465 MiB (63946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496054-1751157768/watcher-4496054-1751157768 -o /tmp/evaluation-result-4496054-1751157768/solver-4496054-1751157768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751157586-18701 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=919125477 --ls=0 --inp-dombreaklim=0 HOME/instance-4496054-1751157768.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=19621, runsolver pid=19618
[startup+0.100066 s]*
/proc/loadavg: 4.01 3.40 3.50 6/269 19622
/proc/meminfo: memFree=130285428/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=28096 memory=5888 CPUtime=0.1 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 342 0 0 0 10 0 0 0 20 0 1 0 31456184 28770304 1472 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7024 1472 1280 1200 0 5504 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28096 KiB
Current children cumulated memory: 5888 KiB
[startup+0.213986 s]*
/proc/loadavg: 4.01 3.40 3.50 5/269 19622
/proc/meminfo: memFree=130285428/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=28096 memory=6144 CPUtime=0.22 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 411 0 0 0 21 1 0 0 20 0 1 0 31456184 28770304 1536 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7024 1536 1280 1200 0 5504 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28096 KiB
Current children cumulated memory: 6144 KiB
[startup+0.313144 s]*
/proc/loadavg: 4.01 3.40 3.50 5/269 19622
/proc/meminfo: memFree=130285428/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=28228 memory=6272 CPUtime=0.31 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 459 0 0 0 30 1 0 0 20 0 1 0 31456184 28905472 1568 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7057 1568 1280 1200 0 5537 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28228 KiB
Current children cumulated memory: 6272 KiB
[startup+0.700235 s]
/proc/loadavg: 4.01 3.40 3.50 5/269 19622
/proc/meminfo: memFree=130285428/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=28496 memory=6912 CPUtime=0.68 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 595 0 0 0 67 1 0 0 20 0 1 0 31456184 29179904 1728 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7124 1728 1280 1200 0 5604 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28496 KiB
Current children cumulated memory: 6912 KiB
[startup+1.50024 s]
/proc/loadavg: 4.01 3.40 3.50 5/269 19622
/proc/meminfo: memFree=130285196/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=29340 memory=9788 CPUtime=1.48 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 812 0 0 0 146 2 0 0 20 0 1 0 31456184 30044160 2447 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7335 2447 1280 1200 0 5815 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 9788 KiB
[startup+3.11322 s]
/proc/loadavg: 4.01 3.41 3.50 5/269 19622
/proc/meminfo: memFree=130283936/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=30520 memory=12768 CPUtime=3.09 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 1035 0 0 0 305 4 0 0 20 0 1 0 31456184 31252480 3192 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 7630 3192 1280 1200 0 6110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30520 KiB
Current children cumulated memory: 12768 KiB
[startup+6.30021 s]
/proc/loadavg: 4.01 3.41 3.50 5/269 19622
/proc/meminfo: memFree=130281920/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=33480 memory=14944 CPUtime=6.27 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 1633 0 0 0 621 6 0 0 20 0 1 0 31456184 34283520 3736 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 8370 3736 1280 1200 0 6850 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33480 KiB
Current children cumulated memory: 14944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.44 3.51 5/269 19622
/proc/meminfo: memFree=130276060/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=35284 memory=18480 CPUtime=12.65 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 2020 0 0 0 1255 10 0 0 20 0 1 0 31456184 36130816 4620 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 8821 4620 1280 1200 0 7301 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35284 KiB
Current children cumulated memory: 18480 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 3.46 3.52 5/269 19667
/proc/meminfo: memFree=130279160/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=36172 memory=21628 CPUtime=25.39 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 2357 0 0 0 2517 22 0 0 20 0 1 0 31456184 37040128 5407 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9043 5407 1280 1200 0 7523 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 36172 KiB
Current children cumulated memory: 21628 KiB
[startup+51.1131 s]
/proc/loadavg: 4.04 3.51 3.53 5/269 19668
/proc/meminfo: memFree=130276148/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=36712 memory=22492 CPUtime=50.94 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 2783 0 0 0 5054 40 0 0 20 0 1 0 31456184 37593088 5623 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9178 5623 1280 1200 0 7658 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 36712 KiB
Current children cumulated memory: 22492 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.62 3.57 5/253 19673
/proc/meminfo: memFree=130277072/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=37768 memory=23516 CPUtime=102 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3066 0 0 0 10120 80 0 0 20 0 1 0 31456184 38674432 5879 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9442 5879 1280 1200 0 7922 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 37768 KiB
Current children cumulated memory: 23516 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.71 3.61 5/252 19675
/proc/meminfo: memFree=130279176/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=38440 memory=24796 CPUtime=161.84 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3240 0 0 0 16060 124 0 0 20 0 1 0 31456184 39362560 6199 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9610 6199 1280 1200 0 8090 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 38440 KiB
Current children cumulated memory: 24796 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.79 3.65 5/251 19677
/proc/meminfo: memFree=130276024/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=38688 memory=25052 CPUtime=221.68 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3310 0 0 0 22003 165 0 0 20 0 1 0 31456184 39616512 6263 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9672 6263 1280 1200 0 8152 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 25052 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.85 3.67 5/250 19679
/proc/meminfo: memFree=130270656/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=39072 memory=25436 CPUtime=281.53 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3410 0 0 0 27945 208 0 0 20 0 1 0 31456184 40009728 6359 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9768 6359 1280 1200 0 8248 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 25436 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.89 3.70 5/250 19681
/proc/meminfo: memFree=130271004/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=39072 memory=25436 CPUtime=341.38 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3417 0 0 0 33892 246 0 0 20 0 1 0 31456184 40009728 6359 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9768 6359 1280 1200 0 8248 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 25436 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.94 3.74 5/251 19684
/proc/meminfo: memFree=130271020/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=39072 memory=25436 CPUtime=401.23 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3426 0 0 0 39842 281 0 0 20 0 1 0 31456184 40009728 6359 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9768 6359 1280 1200 0 8248 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 25436 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.97 3.76 5/251 19731
/proc/meminfo: memFree=130175356/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=39840 memory=26204 CPUtime=461.06 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 3590 0 0 0 45785 321 0 0 20 0 1 0 31456184 40796160 6551 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 9960 6551 1280 1200 0 8440 0
################
# More data... #
################
Current children cumulated memory: 31612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/250 19867
/proc/meminfo: memFree=130006332/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=2913.86 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4514 0 0 0 289571 1815 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/251 19872
/proc/meminfo: memFree=130006620/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=2973.68 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4515 0 0 0 295518 1850 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/251 19874
/proc/meminfo: memFree=130003032/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=3033.48 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4515 0 0 0 301463 1885 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/251 19880
/proc/meminfo: memFree=130003516/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=3093.28 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4519 0 0 0 307407 1921 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/250 19884
/proc/meminfo: memFree=130010260/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=3153.08 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4520 0 0 0 313349 1959 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/250 19886
/proc/meminfo: memFree=130009968/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43168 memory=31612 CPUtime=3212.9 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4520 0 0 0 319294 1996 0 0 20 0 1 0 31456184 44204032 7903 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10792 7903 1280 1200 0 9272 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 43168 KiB
Current children cumulated memory: 31612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/250 19888
/proc/meminfo: memFree=130001812/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3272.7 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4572 0 0 0 325243 2027 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 19890
/proc/meminfo: memFree=130009344/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3332.5 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4573 0 0 0 331188 2062 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/250 19892
/proc/meminfo: memFree=130008940/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3392.31 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4573 0 0 0 337135 2096 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/250 19939
/proc/meminfo: memFree=129672876/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3452.11 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4578 0 0 0 343079 2132 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/250 19985
/proc/meminfo: memFree=129474512/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3511.92 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4578 0 0 0 349023 2169 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 19987
/proc/meminfo: memFree=129459936/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3571.72 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4578 0 0 0 354967 2205 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 19991
/proc/meminfo: memFree=129462816/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3600.03 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4578 0 0 0 357781 2222 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 19621 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.82 s, system=22.2236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 19991
/proc/meminfo: memFree=129462816/131382112 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=43360 memory=31868 CPUtime=3600.03 cores=1,3
/proc/19621/stat : 19621 (Exact) R 19618 19621 18689 0 -1 4194304 4578 0 0 0 357781 2222 0 0 20 0 1 0 31456184 44400640 7967 18446744073709551615 4198400 9112445 140724615097936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27275264 140724615100713 140724615100909 140724615100909 140724615106511 0
/proc/19621/statm: 10840 7967 1280 1200 0 9320 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 31868 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.04
CPU user time (s): 3577.82
CPU system time (s): 22.2236
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 43360
Max. memory (cumulated for all children) (KiB): 31868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.82
system time used= 22.2236
maximum resident set size= 31868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4581
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= 8
involuntary context switches= 1165
# summary of solver processes directly reported to runsolver:
# pid: 19621
# total CPU time (s): 3600.04
# total CPU user time (s): 3577.82
# total CPU system time (s): 22.2236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.015 second user time and 33.0363 second system time
The end
Begin job on nodeC005 at 2025-06-29 02:42:48
IDJOB=4496054
IDBENCH=148106
IDSOLVER=3318
FILE ID=nodeC005/4496054-1751157768
RUNJOBID= nodeC005-1751157586-18701
SLURM_JOB_ID= 9587486
Free space on /tmp= 433040 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496054-1751157768/watcher-4496054-1751157768 -o /tmp/evaluation-result-4496054-1751157768/solver-4496054-1751157768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751157586-18701 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=919125477 --ls=0 --inp-dombreaklim=0 HOME/instance-4496054-1751157768.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=919125477
nodeC005 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 : 3691.475
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.90
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 : 1197.167
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.90
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.361
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3691.480
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.90
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 : 3661.136
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.90
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.954
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.90
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.651
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130285232 kB
MemAvailable: 129901496 kB
Buffers: 3280 kB
Cached: 397800 kB
SwapCached: 0 kB
Active: 364868 kB
Inactive: 187304 kB
Active(anon): 169072 kB
Inactive(anon): 0 kB
Active(file): 195796 kB
Inactive(file): 187304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7180 kB
Writeback: 0 kB
AnonPages: 154304 kB
Mapped: 117780 kB
Shmem: 17960 kB
KReclaimable: 85300 kB
Slab: 166696 kB
SReclaimable: 85300 kB
SUnreclaim: 81396 kB
KernelStack: 4352 kB
PageTables: 3292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 521148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149688 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC005 at 2025-06-29 03:42:59