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: 63708 MiB (62623 MiB free)
memory of node 1: 64465 MiB (63075 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482881-1751176749/watcher-4482881-1751176749 -o /tmp/evaluation-result-4482881-1751176749/solver-4482881-1751176749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751169526-24396 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1176018454 --ls=360 HOME/instance-4482881-1751176749.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
Starting watchdog thread
solver pid=25233, runsolver pid=25230
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128664596/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=76252 memory=53632 CPUtime=0.1 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 12417 0 0 0 8 2 0 0 20 0 1 0 33354301 78082048 13408 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 19063 13408 1024 1200 0 17543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76252 KiB
Current children cumulated memory: 53632 KiB
[startup+0.205773 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128662832/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=0.2 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14046 0 0 0 18 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+0.30573 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128662832/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=0.3 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14046 0 0 0 28 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+0.700187 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128662832/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=0.69 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14046 0 0 0 67 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128662832/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=1.49 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14046 0 0 0 147 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+3.10559 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 25234
/proc/meminfo: memFree=128671148/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=3.09 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14047 0 0 0 307 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 25234
/proc/meminfo: memFree=128671148/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=6.27 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14048 0 0 0 625 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 25234
/proc/meminfo: memFree=128671652/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=12.66 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14049 0 0 0 1264 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 25234
/proc/meminfo: memFree=128672660/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=25.42 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14050 0 0 0 2540 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 25235
/proc/meminfo: memFree=128673096/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=50.96 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14051 0 0 0 5094 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 25237
/proc/meminfo: memFree=128688484/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=102.01 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14053 0 0 0 10199 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 25251
/proc/meminfo: memFree=128686776/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=161.85 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14054 0 0 0 16183 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 25256
/proc/meminfo: memFree=128684048/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=221.68 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14055 0 0 0 22166 2 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 25261
/proc/meminfo: memFree=128657328/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=281.52 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14056 0 0 0 28149 3 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 25264
/proc/meminfo: memFree=128673808/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=83984 memory=60032 CPUtime=341.36 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 14057 0 0 0 34133 3 0 0 20 0 1 0 33354301 85999616 15008 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 20996 15008 1024 1200 0 19476 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 60032 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 25358
/proc/meminfo: memFree=129377704/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=199736 memory=179840 CPUtime=401.17 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 34367 0 0 0 40103 14 0 0 20 0 1 0 33354301 204529664 44960 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 49934 44960 1280 1200 0 48414 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 199736 KiB
Current children cumulated memory: 179840 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 25359
/proc/meminfo: memFree=129331848/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=264900 memory=230068 CPUtime=461 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 41253 0 0 0 46081 19 0 0 20 0 1 0 33354301 271257600 57517 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 66225 57517 1280 1200 0 64705 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 857240 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/264 25523
/proc/meminfo: memFree=127638420/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=879388 memory=857240 CPUtime=2914.09 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 91300 0 0 0 291198 211 0 0 20 0 1 0 33354301 900493312 214310 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 219847 214310 1280 1200 0 218327 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 879388 KiB
Current children cumulated memory: 857240 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/263 25525
/proc/meminfo: memFree=127638504/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=879388 memory=857240 CPUtime=2973.94 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 91476 0 0 0 297170 224 0 0 20 0 1 0 33354301 900493312 214310 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 219847 214310 1280 1200 0 218327 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 879388 KiB
Current children cumulated memory: 857240 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 25527
/proc/meminfo: memFree=127630060/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=879948 memory=857752 CPUtime=3033.77 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 91799 0 0 0 303153 224 0 0 20 0 1 0 33354301 901066752 214438 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 219987 214438 1280 1200 0 218467 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 879948 KiB
Current children cumulated memory: 857752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 25529
/proc/meminfo: memFree=127603172/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=880536 memory=858392 CPUtime=3093.6 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 92082 0 0 0 309136 224 0 0 20 0 1 0 33354301 901668864 214598 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 220134 214598 1280 1200 0 218614 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 880536 KiB
Current children cumulated memory: 858392 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 25531
/proc/meminfo: memFree=127605340/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=884452 memory=862232 CPUtime=3153.41 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 93131 0 0 0 315113 228 0 0 20 0 1 0 33354301 905678848 215558 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 221113 215558 1280 1200 0 219593 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 884452 KiB
Current children cumulated memory: 862232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 25535
/proc/meminfo: memFree=127596408/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=885184 memory=863000 CPUtime=3213.23 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 93490 0 0 0 321089 234 0 0 20 0 1 0 33354301 906428416 215750 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 221296 215750 1280 1200 0 219776 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 885184 KiB
Current children cumulated memory: 863000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 25540
/proc/meminfo: memFree=127596528/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=886732 memory=864536 CPUtime=3273.04 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 94047 0 0 0 327070 234 0 0 20 0 1 0 33354301 908013568 216134 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 221683 216134 1280 1200 0 220163 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 886732 KiB
Current children cumulated memory: 864536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 25543
/proc/meminfo: memFree=127588980/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=888632 memory=866456 CPUtime=3332.86 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 94648 0 0 0 333050 236 0 0 20 0 1 0 33354301 909959168 216614 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 222158 216614 1280 1200 0 220638 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 888632 KiB
Current children cumulated memory: 866456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 25547
/proc/meminfo: memFree=127588092/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=889572 memory=867352 CPUtime=3392.68 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 94941 0 0 0 339013 255 0 0 20 0 1 0 33354301 910921728 216838 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 222393 216838 1280 1200 0 220873 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 889572 KiB
Current children cumulated memory: 867352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 25549
/proc/meminfo: memFree=127581192/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=890456 memory=868248 CPUtime=3452.5 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 95340 0 0 0 344995 255 0 0 20 0 1 0 33354301 911826944 217062 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 222614 217062 1280 1200 0 221094 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 890456 KiB
Current children cumulated memory: 868248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 25551
/proc/meminfo: memFree=127580332/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=890456 memory=868248 CPUtime=3512.31 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 95529 0 0 0 350976 255 0 0 20 0 1 0 33354301 911826944 217062 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 222614 217062 1280 1200 0 221094 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 890456 KiB
Current children cumulated memory: 868248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 25553
/proc/meminfo: memFree=127560172/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=893468 memory=871324 CPUtime=3572.13 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 95781 0 0 0 356958 255 0 0 20 0 1 0 33354301 914911232 217831 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 223367 217831 1280 1200 0 221847 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 893468 KiB
Current children cumulated memory: 871324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 25554
/proc/meminfo: memFree=127560236/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=893900 memory=871708 CPUtime=3600.04 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 96052 0 0 0 359749 255 0 0 20 0 1 0 33354301 915353600 217927 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 223475 217927 1280 1200 0 221955 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 893900 KiB
Current children cumulated memory: 871708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.33 s]
# the end of solver process 25233 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.52 s, system=2.56186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 25554
/proc/meminfo: memFree=127560236/131250000 swapFree=33010684/33010684
[pid=25233] ppid=25230 vsize=893900 memory=871708 CPUtime=3600.04 cores=0,2
/proc/25233/stat : 25233 (Exact) R 25230 25233 24386 0 -1 4194304 96052 0 0 0 359749 255 0 0 20 0 1 0 33354301 915353600 217927 18446744073709551615 4198400 9112445 140734113604608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 42340352 140734113610042 140734113610221 140734113610221 140734113615823 0
/proc/25233/statm: 223475 217927 1280 1200 0 221955 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 893900 KiB
Current children cumulated memory: 871708 KiB
Child status: 0
Real time (s): 3610.33
CPU time (s): 3600.08
CPU user time (s): 3597.52
CPU system time (s): 2.56186
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 893900
Max. memory (cumulated for all children) (KiB): 871708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 2.56185
maximum resident set size= 909600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96062
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= 104
involuntary context switches= 7968
# summary of solver processes directly reported to runsolver:
# pid: 25233
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.52
# total CPU system time (s): 2.56186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87488 second user time and 16.3607 second system time
The end
Begin job on nodeC033 at 2025-06-29 07:59:09
IDJOB=4482881
IDBENCH=158326
IDSOLVER=3317
FILE ID=nodeC033/4482881-1751176749
RUNJOBID= nodeC033-1751169526-24396
SLURM_JOB_ID= 9587521
Free space on /tmp= 433036 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4482881-1751176749/watcher-4482881-1751176749 -o /tmp/evaluation-result-4482881-1751176749/solver-4482881-1751176749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751169526-24396 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1176018454 --ls=360 HOME/instance-4482881-1751176749.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1176018454
nodeC033 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 : 0xb00002a
cpu MHz : 3599.900
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.061
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3599.940
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3599.343
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3599.858
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.066
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3598.303
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3596.891
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128715564 kB
MemAvailable: 128386368 kB
Buffers: 3280 kB
Cached: 481040 kB
SwapCached: 0 kB
Active: 1650332 kB
Inactive: 222980 kB
Active(anon): 1407112 kB
Inactive(anon): 0 kB
Active(file): 243220 kB
Inactive(file): 222980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8808 kB
Writeback: 0 kB
AnonPages: 1388568 kB
Mapped: 118488 kB
Shmem: 18120 kB
KReclaimable: 87688 kB
Slab: 173284 kB
SReclaimable: 87688 kB
SUnreclaim: 85596 kB
KernelStack: 4320 kB
PageTables: 5724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1998236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1271808 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC033 at 2025-06-29 08:59:19