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 (63227 MiB free)
memory of node 1: 64465 MiB (63933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507283-1751184181/watcher-4507283-1751184181 -o /tmp/evaluation-result-4507283-1751184181/solver-4507283-1751184181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751180566-23462 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=143982233 --ls=360 --inp-dombreaklim=0 HOME/instance-4507283-1751184181.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
solver pid=23878, runsolver pid=23875
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.16 4.14 4.06 5/251 23879
/proc/meminfo: memFree=130197132/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=0.1 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 9 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+0.213228 s]*
/proc/loadavg: 4.16 4.14 4.06 5/251 23879
/proc/meminfo: memFree=130197132/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=0.21 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 20 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+0.313263 s]*
/proc/loadavg: 4.16 4.14 4.06 5/251 23879
/proc/meminfo: memFree=130197132/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=0.31 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 30 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+0.70029 s]
/proc/loadavg: 4.14 4.13 4.06 6/251 23879
/proc/meminfo: memFree=130197132/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=0.68 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 67 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+1.5003 s]
/proc/loadavg: 4.14 4.13 4.06 5/251 23879
/proc/meminfo: memFree=130197612/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=1.48 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 147 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+3.11265 s]
/proc/loadavg: 4.14 4.13 4.06 5/251 23879
/proc/meminfo: memFree=130197748/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=3.09 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 308 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+6.30027 s]
/proc/loadavg: 4.13 4.13 4.05 5/251 23879
/proc/meminfo: memFree=130197892/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=6.27 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 626 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.05 5/251 23879
/proc/meminfo: memFree=130189700/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=12.65 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 1264 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.05 5/251 23879
/proc/meminfo: memFree=130181380/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=25.41 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 2540 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.13 4.06 5/251 23880
/proc/meminfo: memFree=130164748/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=50.95 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 5094 1 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/250 23882
/proc/meminfo: memFree=130134836/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=18900 CPUtime=102 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4135 0 0 0 10198 2 0 0 20 0 1 0 34097285 43601920 4725 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 4725 1024 1200 0 9125 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 18900 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/250 23884
/proc/meminfo: memFree=130133264/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=20052 CPUtime=161.84 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4143 0 0 0 16182 2 0 0 20 0 1 0 34097285 43601920 5013 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 5013 1024 1200 0 9125 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 20052 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/249 23886
/proc/meminfo: memFree=130134796/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=20052 CPUtime=221.7 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4155 0 0 0 22167 3 0 0 20 0 1 0 34097285 43601920 5013 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 5013 1024 1200 0 9125 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 20052 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/249 23888
/proc/meminfo: memFree=130144128/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=20052 CPUtime=281.55 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4163 0 0 0 28152 3 0 0 20 0 1 0 34097285 43601920 5013 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 5013 1024 1200 0 9125 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 20052 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.06 5/249 23890
/proc/meminfo: memFree=130145924/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=42580 memory=20052 CPUtime=341.41 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 4167 0 0 0 34138 3 0 0 20 0 1 0 34097285 43601920 5013 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 10645 5013 1024 1200 0 9125 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 20052 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 4.16 4.08 5/250 23895
/proc/meminfo: memFree=129777456/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=91456 memory=81024 CPUtime=401.25 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 13981 0 0 0 40108 17 0 0 20 0 1 0 34097285 93650944 20256 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 22864 20256 1280 1200 0 21344 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 91456 KiB
Current children cumulated memory: 81024 KiB
[startup+462.3 s]
/proc/loadavg: 5.00 4.37 4.16 5/251 23898
/proc/meminfo: memFree=129502608/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=129692 memory=110984 CPUtime=461.05 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 18611 0 0 0 46073 32 0 0 20 0 1 0 34097285 132804608 27746 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 32423 27746 1280 1200 0 30903 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 178736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.24 4.16 5/250 24020
/proc/meminfo: memFree=128474640/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=185804 memory=179248 CPUtime=2913.91 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 32766 0 0 0 290943 448 0 0 20 0 1 0 34097285 190263296 44812 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 46451 44812 1280 1200 0 44931 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 185804 KiB
Current children cumulated memory: 179248 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/250 24022
/proc/meminfo: memFree=128476152/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=187128 memory=180528 CPUtime=2973.75 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 33131 0 0 0 296915 460 0 0 20 0 1 0 34097285 191619072 45132 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 46782 45132 1280 1200 0 45262 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 180528 KiB
[startup+3042.3 s]
/proc/loadavg: 4.66 4.35 4.21 5/250 24023
/proc/meminfo: memFree=128482008/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=187128 memory=180528 CPUtime=3033.58 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 33144 0 0 0 302887 471 0 0 20 0 1 0 34097285 191619072 45132 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 46782 45132 1280 1200 0 45262 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 180528 KiB
[startup+3102.3 s]
/proc/loadavg: 4.34 4.32 4.20 5/250 24025
/proc/meminfo: memFree=128425400/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=188500 memory=181808 CPUtime=3093.39 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 33496 0 0 0 308859 480 0 0 20 0 1 0 34097285 193024000 45452 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 47125 45452 1280 1200 0 45605 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 188500 KiB
Current children cumulated memory: 181808 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.27 4.19 5/250 24027
/proc/meminfo: memFree=128415852/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=188848 memory=182320 CPUtime=3153.18 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 33611 0 0 0 314829 489 0 0 20 0 1 0 34097285 193380352 45580 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 47212 45580 1280 1200 0 45692 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 188848 KiB
Current children cumulated memory: 182320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/249 24029
/proc/meminfo: memFree=128418628/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=189568 memory=183088 CPUtime=3212.97 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 33792 0 0 0 320799 498 0 0 20 0 1 0 34097285 194117632 45772 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 47392 45772 1280 1200 0 45872 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 189568 KiB
Current children cumulated memory: 183088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/249 24031
/proc/meminfo: memFree=128414108/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=191340 memory=184752 CPUtime=3272.77 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34207 0 0 0 326769 508 0 0 20 0 1 0 34097285 195932160 46188 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 47835 46188 1280 1200 0 46315 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 191340 KiB
Current children cumulated memory: 184752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/250 24034
/proc/meminfo: memFree=128432268/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=191948 memory=185264 CPUtime=3332.56 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34376 0 0 0 332737 519 0 0 20 0 1 0 34097285 196554752 46316 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 47987 46316 1280 1200 0 46467 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 191948 KiB
Current children cumulated memory: 185264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/251 24039
/proc/meminfo: memFree=128437860/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=192220 memory=185520 CPUtime=3392.35 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34444 0 0 0 338711 524 0 0 20 0 1 0 34097285 196833280 46380 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48055 46380 1280 1200 0 46535 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 192220 KiB
Current children cumulated memory: 185520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/251 24041
/proc/meminfo: memFree=128439120/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=192500 memory=185904 CPUtime=3452.15 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34516 0 0 0 344679 536 0 0 20 0 1 0 34097285 197120000 46476 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48125 46476 1280 1200 0 46605 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 192500 KiB
Current children cumulated memory: 185904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/252 24059
/proc/meminfo: memFree=128429608/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=193076 memory=186544 CPUtime=3511.94 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34692 0 0 0 350649 545 0 0 20 0 1 0 34097285 197709824 46636 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48269 46636 1280 1200 0 46749 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 193076 KiB
Current children cumulated memory: 186544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/252 24061
/proc/meminfo: memFree=128422324/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=193384 memory=186800 CPUtime=3571.73 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34759 0 0 0 356621 552 0 0 20 0 1 0 34097285 198025216 46700 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48346 46700 1280 1200 0 46826 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 186800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.08 4.14 4.16 5/249 24186
/proc/meminfo: memFree=130091876/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=193548 memory=186928 CPUtime=3600.03 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34811 0 0 0 359444 559 0 0 20 0 1 0 34097285 198193152 46732 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48387 46732 1280 1200 0 46867 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 193548 KiB
Current children cumulated memory: 186928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 23878 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.45 s, system=5.59688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.08 4.14 4.16 5/249 24186
/proc/meminfo: memFree=130091876/131382116 swapFree=33010684/33010684
[pid=23878] ppid=23875 vsize=193548 memory=186928 CPUtime=3600.03 cores=5,7
/proc/23878/stat : 23878 (Exact) R 23875 23878 23449 0 -1 4194304 34811 0 0 0 359444 559 0 0 20 0 1 0 34097285 198193152 46732 18446744073709551615 4198400 9112445 140728938290864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24412160 140728938297639 140728938297837 140728938297837 140728938303439 0
/proc/23878/statm: 48387 46732 1280 1200 0 46867 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 193548 KiB
Current children cumulated memory: 186928 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3594.45
CPU system time (s): 5.59688
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 193548
Max. memory (cumulated for all children) (KiB): 186928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.45
system time used= 5.59688
maximum resident set size= 186928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34814
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= 43
involuntary context switches= 3076
# summary of solver processes directly reported to runsolver:
# pid: 23878
# total CPU time (s): 3600.05
# total CPU user time (s): 3594.45
# total CPU system time (s): 5.59688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3925 second user time and 32.8842 second system time
The end
Begin job on nodeC004 at 2025-06-29 10:03:01
IDJOB=4507283
IDBENCH=158341
IDSOLVER=3319
FILE ID=nodeC004/4507283-1751184181
RUNJOBID= nodeC004-1751180566-23462
SLURM_JOB_ID= 9587550
Free space on /tmp= 433036 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.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-4507283-1751184181/watcher-4507283-1751184181 -o /tmp/evaluation-result-4507283-1751184181/solver-4507283-1751184181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751180566-23462 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=143982233 --ls=360 --inp-dombreaklim=0 HOME/instance-4507283-1751184181.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=143982233
nodeC004 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 : 3292.440
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.74
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 : 3491.805
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.74
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.457
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.74
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.231
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.864
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.74
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.212
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.74
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.417
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.74
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.152
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130212440 kB
MemAvailable: 129857980 kB
Buffers: 3280 kB
Cached: 456208 kB
SwapCached: 0 kB
Active: 445444 kB
Inactive: 208520 kB
Active(anon): 212452 kB
Inactive(anon): 0 kB
Active(file): 232992 kB
Inactive(file): 208520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33232 kB
Writeback: 16 kB
AnonPages: 197668 kB
Mapped: 114724 kB
Shmem: 17976 kB
KReclaimable: 85448 kB
Slab: 167104 kB
SReclaimable: 85448 kB
SUnreclaim: 81656 kB
KernelStack: 4048 kB
PageTables: 3396 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 594712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC004 at 2025-06-29 11:03:12