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 (61508 MiB free)
memory of node 1: 64465 MiB (60693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526698-1751633440/watcher-4526698-1751633440 -o /tmp/evaluation-result-4526698-1751633440/solver-4526698-1751633440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751631620-91544 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=777080523 --ls=360 --inp-dombreaklim=0 HOME/instance-4526698-1751633440.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=92450, runsolver pid=92447
[startup+0.100067 s]*
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=125107524/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=67644 memory=44776 CPUtime=0.09 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 12164 0 0 0 7 2 0 0 20 0 1 0 79021512 69267456 11162 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 16911 11162 1024 1200 0 15391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67644 KiB
Current children cumulated memory: 44776 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=125085096/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=103852 memory=78680 CPUtime=0.2 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 20665 0 0 0 17 3 0 0 20 0 1 0 79021512 106344448 19670 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 25963 19670 1024 1200 0 24443 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103852 KiB
Current children cumulated memory: 78680 KiB
[startup+0.305675 s]*
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=125061280/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=133868 memory=110204 CPUtime=0.29 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 25465 0 0 0 25 4 0 0 20 0 1 0 79021512 137080832 27551 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 33467 27551 1024 1200 0 31947 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133868 KiB
Current children cumulated memory: 110204 KiB
[startup+0.70018 s]
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=125008856/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=247104 memory=221936 CPUtime=0.69 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 41605 0 0 0 60 9 0 0 20 0 1 0 79021512 253034496 55484 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 61776 55484 1024 1200 0 60256 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 247104 KiB
Current children cumulated memory: 221936 KiB
[startup+1.50018 s]
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=124861392/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=482452 memory=462084 CPUtime=1.48 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 71421 0 0 0 131 17 0 0 20 0 1 0 79021512 494030848 115521 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 120613 115521 1024 1200 0 119093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 482452 KiB
Current children cumulated memory: 462084 KiB
[startup+3.10565 s]
/proc/loadavg: 4.25 4.23 3.97 5/264 92451
/proc/meminfo: memFree=124398972/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=3.08 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 103966 0 0 0 279 29 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+6.30018 s]
/proc/loadavg: 4.25 4.23 3.97 5/264 92452
/proc/meminfo: memFree=124397524/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=6.26 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104046 0 0 0 596 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.23 3.97 5/264 92452
/proc/meminfo: memFree=124390088/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=12.62 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104129 0 0 0 1232 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.23 3.98 5/264 92452
/proc/meminfo: memFree=124373452/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=25.35 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104221 0 0 0 2505 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+51.1058 s]
/proc/loadavg: 4.24 4.23 3.99 5/264 92453
/proc/meminfo: memFree=124371004/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=50.82 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104349 0 0 0 5052 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.21 4.00 5/264 92455
/proc/meminfo: memFree=124365636/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=101.73 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104516 0 0 0 10143 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.00 5/263 92457
/proc/meminfo: memFree=124376224/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=161.41 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104607 0 0 0 16111 30 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.01 5/264 92460
/proc/meminfo: memFree=121094024/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=221.16 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104671 0 0 0 22085 31 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 221.16 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.23 4.04 5/264 92462
/proc/meminfo: memFree=119070820/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=280.93 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104735 0 0 0 28062 31 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 280.93 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.04 5/264 92464
/proc/meminfo: memFree=116364752/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=837440 memory=765416 CPUtime=340.7 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 104799 0 0 0 34039 31 0 0 20 0 1 0 79021512 857538560 191354 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 209360 191354 1024 1200 0 207840 0
Current children cumulated CPU time: 340.7 s
Current children cumulated vsize: 837440 KiB
Current children cumulated memory: 765416 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.04 5/264 92466
/proc/meminfo: memFree=113718304/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=2087368 memory=1971836 CPUtime=400.5 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 287140 0 0 0 39973 77 0 0 20 0 1 0 79021512 2137464832 492959 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 521842 492959 1248 1200 0 520322 0
Current children cumulated CPU time: 400.5 s
Current children cumulated vsize: 2087368 KiB
Current children cumulated memory: 1971836 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.17 4.04 5/264 92468
/proc/meminfo: memFree=111668388/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=2631728 memory=2516764 CPUtime=460.34 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 371266 0 0 0 45935 99 0 0 20 0 1 0 79021512 2694889472 629191 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 657932 629191 1248 1200 0 656412 0
Current children cumulated CPU time: 460.34 s
################
# More data... #
################
/proc/meminfo: memFree=105322268/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13680652 memory=10789052 CPUtime=2974 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1781183 0 0 0 296865 535 0 0 20 0 1 0 79021512 14008987648 2697263 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3420163 2697263 1248 1200 0 3418643 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 13680652 KiB
Current children cumulated memory: 10789052 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.13 3.39 4/257 92683
/proc/meminfo: memFree=105218040/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13691888 memory=10871592 CPUtime=3033.85 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1792937 0 0 0 302844 541 0 0 20 0 1 0 79021512 14020493312 2717898 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3422972 2717898 1248 1200 0 3421452 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 13691888 KiB
Current children cumulated memory: 10871592 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.12 3.37 4/258 92685
/proc/meminfo: memFree=105082204/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13701968 memory=10949596 CPUtime=3093.71 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1804307 0 0 0 308825 546 0 0 20 0 1 0 79021512 14030815232 2737399 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3425492 2737399 1248 1200 0 3423972 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 13701968 KiB
Current children cumulated memory: 10949596 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.13 3.36 4/258 92687
/proc/meminfo: memFree=104910480/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13702544 memory=11043208 CPUtime=3153.58 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1816355 0 0 0 314804 554 0 0 20 0 1 0 79021512 14031405056 2760802 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3425636 2760802 1248 1200 0 3424116 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 13702544 KiB
Current children cumulated memory: 11043208 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.12 3.34 4/258 92689
/proc/meminfo: memFree=104733540/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13704420 memory=11089452 CPUtime=3213.44 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1823492 0 0 0 320784 560 0 0 20 0 1 0 79021512 14033326080 2772363 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3426105 2772363 1248 1200 0 3424585 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 13704420 KiB
Current children cumulated memory: 11089452 KiB
[startup+3282.3 s]
/proc/loadavg: 2.91 3.06 3.30 3/252 92721
/proc/meminfo: memFree=104596404/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13705428 memory=11216288 CPUtime=3273.3 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1839590 0 0 0 326764 566 0 0 20 0 1 0 79021512 14034358272 2804072 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3426357 2804072 1248 1200 0 3424837 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 13705428 KiB
Current children cumulated memory: 11216288 KiB
[startup+3342.3 s]
/proc/loadavg: 2.49 2.92 3.24 3/251 92723
/proc/meminfo: memFree=104392680/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13705716 memory=11333756 CPUtime=3333.16 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1854227 0 0 0 332741 575 0 0 20 0 1 0 79021512 14034653184 2833439 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3426429 2833439 1248 1200 0 3424909 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 13705716 KiB
Current children cumulated memory: 11333756 KiB
[startup+3402.3 s]
/proc/loadavg: 2.22 2.77 3.17 3/250 92725
/proc/meminfo: memFree=104211996/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13709892 memory=11391092 CPUtime=3393.01 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1863165 0 0 0 338721 580 0 0 20 0 1 0 79021512 14038929408 2847773 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3427473 2847773 1248 1200 0 3425953 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 13709892 KiB
Current children cumulated memory: 11391092 KiB
[startup+3462.3 s]
/proc/loadavg: 2.03 2.62 3.09 2/244 92758
/proc/meminfo: memFree=117122852/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13816520 memory=11550932 CPUtime=3452.87 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1893350 0 0 0 344696 591 0 0 20 0 1 0 79021512 14148116480 2887733 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3454130 2887733 1248 1200 0 3452610 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 13816520 KiB
Current children cumulated memory: 11550932 KiB
[startup+3522.3 s]
/proc/loadavg: 1.44 2.34 2.96 2/245 92761
/proc/meminfo: memFree=117295584/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13820408 memory=11608704 CPUtime=3512.71 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1902043 0 0 0 350675 596 0 0 20 0 1 0 79021512 14152097792 2902176 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3455102 2902176 1248 1200 0 3453582 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 13820408 KiB
Current children cumulated memory: 11608704 KiB
[startup+3582.3 s]
/proc/loadavg: 1.28 2.12 2.85 2/246 92766
/proc/meminfo: memFree=117239256/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13823456 memory=11664648 CPUtime=3572.57 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1911185 0 0 0 356657 600 0 0 20 0 1 0 79021512 14155218944 2916162 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3455864 2916162 1248 1200 0 3454344 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 13823456 KiB
Current children cumulated memory: 11664648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 1.17 2.02 2.79 2/246 92767
/proc/meminfo: memFree=117230068/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=13823456 memory=11676560 CPUtime=3600 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1912613 0 0 0 359396 604 0 0 20 0 1 0 79021512 14155218944 2919140 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 3455864 2919140 1248 1200 0 3454344 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 13823456 KiB
Current children cumulated memory: 11676560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.34 s]
# the end of solver process 92450 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.22 s, system=6.32568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 1.17 2.02 2.79 2/246 92767
/proc/meminfo: memFree=120972704/131249996 swapFree=33006296/33010684
[pid=92450] ppid=92447 vsize=8897288 memory=7930944 CPUtime=3600.2 cores=5,7
/proc/92450/stat : 92450 (Exact) R 92447 92450 91531 0 -1 4194304 1913275 0 0 0 359415 605 0 0 20 0 1 0 79021512 9110822912 1982736 18446744073709551615 4198400 9112445 140721981661360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41132032 140721981667621 140721981667819 140721981667819 140721981673423 0
/proc/92450/statm: 2224322 1982736 1280 1200 0 2222802 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 8897288 KiB
Current children cumulated memory: 7930944 KiB
[startup+3610.21 s]
/proc/loadavg: 1.17 2.02 2.79 2/246 92767
/proc/meminfo: memFree=122612948/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.3 s]
/proc/loadavg: 1.17 2.02 2.79 2/246 92767
/proc/meminfo: memFree=122612948/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.34
CPU time (s): 3600.55
CPU user time (s): 3594.22
CPU system time (s): 6.32568
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 14268636
Max. memory (cumulated for all children) (KiB): 11676560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.22
system time used= 6.32568
maximum resident set size= 11694256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1913327
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= 10
involuntary context switches= 3523
# summary of solver processes directly reported to runsolver:
# pid: 92450
# total CPU time (s): 3600.55
# total CPU user time (s): 3594.22
# total CPU system time (s): 6.32568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8176 second user time and 15.6214 second system time
The end
Begin job on nodeC015 at 2025-07-04 14:50:40
IDJOB=4526698
IDBENCH=144141
IDSOLVER=3376
FILE ID=nodeC015/4526698-1751633440
RUNJOBID= nodeC015-1751631620-91544
SLURM_JOB_ID= 9598970
Free space on /tmp= 432300 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reduc_wcsp.wbo
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-4526698-1751633440/watcher-4526698-1751633440 -o /tmp/evaluation-result-4526698-1751633440/solver-4526698-1751633440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751631620-91544 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=777080523 --ls=360 --inp-dombreaklim=0 HOME/instance-4526698-1751633440.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=777080523
nodeC015 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.506
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.14
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.177
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.14
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 : 3629.058
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.14
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 : 3589.861
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.14
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 : 3600.074
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.14
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 : 3590.246
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.14
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 : 3601.997
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.14
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 : 3600.094
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125134176 kB
MemAvailable: 125945312 kB
Buffers: 1508 kB
Cached: 1592988 kB
SwapCached: 3880 kB
Active: 4116908 kB
Inactive: 1355116 kB
Active(anon): 3842876 kB
Inactive(anon): 48804 kB
Active(file): 274032 kB
Inactive(file): 1306312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15724 kB
Writeback: 4 kB
AnonPages: 3876496 kB
Mapped: 113956 kB
Shmem: 14152 kB
KReclaimable: 140064 kB
Slab: 230712 kB
SReclaimable: 140064 kB
SUnreclaim: 90648 kB
KernelStack: 4288 kB
PageTables: 10652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4612516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2471936 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432356 MiB
End job on nodeC015 at 2025-07-04 15:50:51