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 (62602 MiB free)
memory of node 1: 64465 MiB (63093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515689-1751234783/watcher-4515689-1751234783 -o /tmp/evaluation-result-4515689-1751234783/solver-4515689-1751234783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30842 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=589517375 --ls=360 --inp-dombreaklim=0 HOME/instance-4515689-1751234783.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32052, runsolver pid=32049
[startup+0.100071 s]*
/proc/loadavg: 4.73 4.31 4.17 5/251 32053
/proc/meminfo: memFree=128691880/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=68548 memory=47032 CPUtime=0.1 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 7868 0 0 0 7 3 0 0 20 0 1 0 39157740 70193152 11758 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 17137 11758 1024 1200 0 15617 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68548 KiB
Current children cumulated memory: 47032 KiB
[startup+0.213234 s]*
/proc/loadavg: 4.73 4.31 4.17 5/251 32053
/proc/meminfo: memFree=128672224/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=83872 memory=61840 CPUtime=0.21 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 11769 0 0 0 17 4 0 0 20 0 1 0 39157740 85884928 15460 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 20968 15460 1024 1200 0 19448 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 83872 KiB
Current children cumulated memory: 61840 KiB
[startup+0.313111 s]*
/proc/loadavg: 4.73 4.31 4.17 5/251 32053
/proc/meminfo: memFree=128666364/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=96600 memory=72016 CPUtime=0.31 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 14058 0 0 0 26 5 0 0 20 0 1 0 39157740 98918400 18004 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 24150 18004 1024 1200 0 22630 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96600 KiB
Current children cumulated memory: 72016 KiB
[startup+0.700309 s]
/proc/loadavg: 4.73 4.31 4.17 5/251 32053
/proc/meminfo: memFree=128658552/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=0.68 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 15991 0 0 0 62 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+1.50029 s]
/proc/loadavg: 4.67 4.30 4.17 5/251 32053
/proc/meminfo: memFree=128658552/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=1.48 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 15991 0 0 0 142 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+3.11267 s]
/proc/loadavg: 4.67 4.30 4.17 5/251 32054
/proc/meminfo: memFree=128658652/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=3.08 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16245 0 0 0 302 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+6.30029 s]
/proc/loadavg: 4.62 4.30 4.17 7/251 32054
/proc/meminfo: memFree=128658668/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=6.26 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16248 0 0 0 620 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+12.7003 s]
/proc/loadavg: 4.57 4.29 4.17 5/251 32054
/proc/meminfo: memFree=128650604/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=12.64 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16253 0 0 0 1258 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.48 4.28 4.17 5/251 32054
/proc/meminfo: memFree=128650612/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=25.41 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16253 0 0 0 2535 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+51.1127 s]
/proc/loadavg: 4.34 4.27 4.17 5/251 32054
/proc/meminfo: memFree=128634500/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=50.95 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16257 0 0 0 5089 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/250 32056
/proc/meminfo: memFree=128594204/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=101.98 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16259 0 0 0 10192 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+162.3 s]
/proc/loadavg: 4.60 4.34 4.20 5/250 32058
/proc/meminfo: memFree=128553648/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=161.79 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16261 0 0 0 16173 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+222.3 s]
/proc/loadavg: 4.56 4.39 4.23 5/249 32060
/proc/meminfo: memFree=128496740/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=221.61 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16265 0 0 0 22155 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.37 4.23 5/249 32064
/proc/meminfo: memFree=128472072/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=281.43 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16265 0 0 0 28137 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.31 4.22 5/251 32117
/proc/meminfo: memFree=128391772/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=105424 memory=79824 CPUtime=341.24 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 16267 0 0 0 34118 6 0 0 20 0 1 0 39157740 107954176 19956 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 26356 19956 1024 1200 0 24836 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 79824 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.27 4.21 5/252 32120
/proc/meminfo: memFree=128246168/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=192152 memory=169936 CPUtime=401.06 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 38394 0 0 0 40095 11 0 0 20 0 1 0 39157740 196763648 42484 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 48038 42484 1248 1200 0 46518 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 192152 KiB
Current children cumulated memory: 169936 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.25 4.20 5/252 32122
/proc/meminfo: memFree=128123220/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=234204 memory=213440 CPUtime=460.89 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 48731 0 0 0 46068 21 0 0 20 0 1 0 39157740 239824896 53360 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 58551 53360 1280 1200 0 57031 0
################
# More data... #
################
Current children cumulated memory: 1009240 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.12 6/252 32736
/proc/meminfo: memFree=127351604/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1031248 memory=1016408 CPUtime=2913.25 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 244771 0 0 0 291064 261 0 0 20 0 1 0 39157740 1055997952 254102 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 257812 254102 1280 1200 0 256292 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 1031248 KiB
Current children cumulated memory: 1016408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/252 32782
/proc/meminfo: memFree=127352320/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1045212 memory=1029848 CPUtime=2973.09 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 248460 0 0 0 297046 263 0 0 20 0 1 0 39157740 1070297088 257462 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 261303 257462 1280 1200 0 259783 0
Current children cumulated CPU time: 2973.09 s
Current children cumulated vsize: 1045212 KiB
Current children cumulated memory: 1029848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/251 32786
/proc/meminfo: memFree=127336524/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1057420 memory=1041240 CPUtime=3032.94 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 251692 0 0 0 303025 269 0 0 20 0 1 0 39157740 1082798080 260310 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 264355 260310 1280 1200 0 262835 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 1057420 KiB
Current children cumulated memory: 1041240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/251 32788
/proc/meminfo: memFree=127304272/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1072732 memory=1055320 CPUtime=3092.78 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 255430 0 0 0 308991 287 0 0 20 0 1 0 39157740 1098477568 263830 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 268183 263830 1280 1200 0 266663 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 1072732 KiB
Current children cumulated memory: 1055320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.14 4.12 5/251 32835
/proc/meminfo: memFree=128562344/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1096432 memory=1077336 CPUtime=3152.62 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 261270 0 0 0 314974 288 0 0 20 0 1 0 39157740 1122746368 269334 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 274108 269334 1280 1200 0 272588 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 1096432 KiB
Current children cumulated memory: 1077336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/250 32837
/proc/meminfo: memFree=128537664/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1124224 memory=1103832 CPUtime=3212.43 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 268266 0 0 0 320953 290 0 0 20 0 1 0 39157740 1151205376 275958 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 281056 275958 1280 1200 0 279536 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 1124224 KiB
Current children cumulated memory: 1103832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.60 4.26 4.16 5/250 32854
/proc/meminfo: memFree=128494728/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1142116 memory=1120600 CPUtime=3272.23 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 272559 0 0 0 326916 307 0 0 20 0 1 0 39157740 1169526784 280150 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 285529 280150 1280 1200 0 284009 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 1142116 KiB
Current children cumulated memory: 1120600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.30 4.18 5/251 32946
/proc/meminfo: memFree=128497452/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1167424 memory=1144408 CPUtime=3332.04 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 278627 0 0 0 332896 308 0 0 20 0 1 0 39157740 1195442176 286102 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 291856 286102 1280 1200 0 290336 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 1167424 KiB
Current children cumulated memory: 1144408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.26 4.18 5/252 32949
/proc/meminfo: memFree=128480832/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1188672 memory=1164760 CPUtime=3391.86 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 284038 0 0 0 338872 314 0 0 20 0 1 0 39157740 1217200128 291190 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 297168 291190 1280 1200 0 295648 0
Current children cumulated CPU time: 3391.86 s
Current children cumulated vsize: 1188672 KiB
Current children cumulated memory: 1164760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/251 32955
/proc/meminfo: memFree=128481184/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1201664 memory=1177048 CPUtime=3451.67 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 287374 0 0 0 344850 317 0 0 20 0 1 0 39157740 1230503936 294262 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 300416 294262 1280 1200 0 298896 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 1201664 KiB
Current children cumulated memory: 1177048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/251 32957
/proc/meminfo: memFree=128471112/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1205264 memory=1180632 CPUtime=3511.49 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 288481 0 0 0 350825 324 0 0 20 0 1 0 39157740 1234190336 295158 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 301316 295158 1280 1200 0 299796 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 1205264 KiB
Current children cumulated memory: 1180632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/252 33004
/proc/meminfo: memFree=128454688/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1215040 memory=1189976 CPUtime=3571.31 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 291203 0 0 0 356805 326 0 0 20 0 1 0 39157740 1244200960 297494 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 303760 297494 1280 1200 0 302240 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 1215040 KiB
Current children cumulated memory: 1189976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.20 4.20 4.17 5/251 33004
/proc/meminfo: memFree=128455176/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1216796 memory=1191768 CPUtime=3600.02 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 291717 0 0 0 359667 335 0 0 20 0 1 0 39157740 1245999104 297942 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 304199 297942 1280 1200 0 302679 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1216796 KiB
Current children cumulated memory: 1191768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.17 s]
# the end of solver process 32052 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.72 s, system=3.37291 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.20 4.20 4.17 5/251 33004
/proc/meminfo: memFree=128455176/131382116 swapFree=33010684/33010684
[pid=32052] ppid=32049 vsize=1216796 memory=1191768 CPUtime=3600.02 cores=0,2
/proc/32052/stat : 32052 (Exact) R 32049 32052 30832 0 -1 4194304 291717 0 0 0 359667 335 0 0 20 0 1 0 39157740 1245999104 297942 18446744073709551615 4198400 9112445 140729683571984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15220736 140729683577127 140729683577325 140729683577325 140729683582927 0
/proc/32052/statm: 304199 297942 1280 1200 0 302679 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1216796 KiB
Current children cumulated memory: 1191768 KiB
Child status: 0
Real time (s): 3611.17
CPU time (s): 3600.09
CPU user time (s): 3596.72
CPU system time (s): 3.37291
CPU usage (%): 99.6933
Max. virtual memory (cumulated for all children) (KiB): 1216796
Max. memory (cumulated for all children) (KiB): 1191768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.72
system time used= 3.37291
maximum resident set size= 1191768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291723
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= 245
involuntary context switches= 8423
# summary of solver processes directly reported to runsolver:
# pid: 32052
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.72
# total CPU system time (s): 3.37291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1981 second user time and 33.4645 second system time
The end
Begin job on nodeC010 at 2025-06-30 00:06:23
IDJOB=4515689
IDBENCH=165333
IDSOLVER=3319
FILE ID=nodeC010/4515689-1751234783
RUNJOBID= nodeC010-1751228868-30842
SLURM_JOB_ID= 9587691
Free space on /tmp= 432668 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.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-4515689-1751234783/watcher-4515689-1751234783 -o /tmp/evaluation-result-4515689-1751234783/solver-4515689-1751234783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30842 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=589517375 --ls=360 --inp-dombreaklim=0 HOME/instance-4515689-1751234783.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9fec036f9114dcaf12f5e6b379091e55
RANDOM SEED=589517375
nodeC010 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 : 1197.022
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.36
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.271
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.36
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.149
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.36
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.910
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.36
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 : 3661.636
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.36
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 : 3691.154
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.36
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.599
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.36
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.343
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128712372 kB
MemAvailable: 128985612 kB
Buffers: 3280 kB
Cached: 1082748 kB
SwapCached: 0 kB
Active: 1312032 kB
Inactive: 790236 kB
Active(anon): 1034204 kB
Inactive(anon): 0 kB
Active(file): 277828 kB
Inactive(file): 790236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8388 kB
Writeback: 0 kB
AnonPages: 1019388 kB
Mapped: 118164 kB
Shmem: 17960 kB
KReclaimable: 89608 kB
Slab: 171292 kB
SReclaimable: 89608 kB
SUnreclaim: 81684 kB
KernelStack: 4048 kB
PageTables: 4988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1409940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 700416 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432664 MiB
End job on nodeC010 at 2025-06-30 01:06:35