3600.01/3607.90 c Filename:instance-4524015-1751633682.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.01/3607.90 c Use Presolve
3600.01/3607.90 c Parse finsih
3600.01/3607.90 c Start Presolve
3600.01/3607.90 c After Reduce Vars: 333706 Clauses: 1255138 Top clause weight: 64 Hard Clauses: 1255132
3600.01/3607.90 c Use LS-small
3600.01/3607.90 s UNKNOWN
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: 63665 MiB (62215 MiB free)
memory of node 1: 64507 MiB (56807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524015-1751633682/watcher-4524015-1751633682 -o /tmp/evaluation-result-4524015-1751633682/solver-4524015-1751633682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751633682-90388 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4524015-1751633682.opb -t 3600 -s 422336907 --no-s
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=90434, runsolver pid=90431
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.20 2.27 3.20 5/259 90435
/proc/meminfo: memFree=121805724/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=98572 memory=84048 CPUtime=0.09 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 4280 0 0 0 8 1 0 0 20 0 1 0 79046029 100937728 21012 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 24643 21012 1056 2752 0 21296 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98572 KiB
Current children cumulated memory: 84048 KiB
[startup+0.205411 s]*
/proc/loadavg: 1.20 2.27 3.20 5/259 90436
/proc/meminfo: memFree=121779264/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=102544 memory=87596 CPUtime=0.2 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 5614 0 0 0 18 2 0 0 20 0 1 0 79046029 105005056 21899 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 25636 21899 1056 2752 0 22289 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102544 KiB
Current children cumulated memory: 87596 KiB
[startup+0.305219 s]*
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121742780/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=103072 memory=88364 CPUtime=0.3 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 5816 0 0 0 28 2 0 0 20 0 1 0 79046029 105545728 22091 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 25768 22091 1056 2752 0 22421 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103072 KiB
Current children cumulated memory: 88364 KiB
[startup+0.700169 s]
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121660500/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=116416 memory=97344 CPUtime=0.68 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 7038 0 0 0 66 2 0 0 20 0 1 0 79046029 119209984 24336 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 29104 24336 1056 2752 0 25757 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116416 KiB
Current children cumulated memory: 97344 KiB
[startup+1.50015 s]
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121603940/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=135308 memory=112220 CPUtime=1.49 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 8210 0 0 0 145 4 0 0 20 0 1 0 79046029 138555392 28055 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 33827 28055 1056 2752 0 30480 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 135308 KiB
Current children cumulated memory: 112220 KiB
[startup+3.10523 s]
/proc/loadavg: 1.43 2.30 3.20 5/264 90445
/proc/meminfo: memFree=121415408/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=172828 memory=143496 CPUtime=3.09 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 9937 0 0 0 304 5 0 0 20 0 1 0 79046029 176975872 35874 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 43207 35874 1056 2752 0 39860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 172828 KiB
Current children cumulated memory: 143496 KiB
[startup+6.30013 s]
/proc/loadavg: 1.43 2.30 3.20 5/264 90445
/proc/meminfo: memFree=121005768/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=247076 memory=201456 CPUtime=6.27 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 12746 0 0 0 619 8 0 0 20 0 1 0 79046029 253005824 50364 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 61769 50364 1056 2752 0 58422 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 247076 KiB
Current children cumulated memory: 201456 KiB
[startup+12.7002 s]
/proc/loadavg: 1.63 2.33 3.21 5/264 90445
/proc/meminfo: memFree=119747112/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=949932 memory=810212 CPUtime=12.67 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 33482 0 0 0 1230 37 0 0 20 0 1 0 79046029 972730368 202553 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 237483 202553 1152 2752 0 234136 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 949932 KiB
Current children cumulated memory: 810212 KiB
[startup+25.5001 s]
/proc/loadavg: 2.16 2.41 3.22 5/264 90445
/proc/meminfo: memFree=119798392/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=949932 memory=810212 CPUtime=25.44 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 33482 0 0 0 2507 37 0 0 20 0 1 0 79046029 972730368 202553 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 237483 202553 1152 2752 0 234136 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 949932 KiB
Current children cumulated memory: 810212 KiB
[startup+51.1055 s]
/proc/loadavg: 2.91 2.57 3.25 5/264 90446
/proc/meminfo: memFree=119739796/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=999580 memory=854536 CPUtime=50.98 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 34923 0 0 0 5061 37 0 0 20 0 1 0 79046029 1023569920 213634 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 249895 213634 1152 2752 0 246548 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 999580 KiB
Current children cumulated memory: 854536 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.79 3.30 5/263 90447
/proc/meminfo: memFree=119725804/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=999580 memory=854536 CPUtime=102.05 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 34958 0 0 0 10168 37 0 0 20 0 1 0 79046029 1023569920 213634 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 249895 213634 1152 2752 0 246548 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 999580 KiB
Current children cumulated memory: 854536 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 3.04 3.35 5/263 90449
/proc/meminfo: memFree=119742812/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=999580 memory=854536 CPUtime=161.89 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 35032 0 0 0 16152 37 0 0 20 0 1 0 79046029 1023569920 213634 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 249895 213634 1152 2752 0 246548 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 999580 KiB
Current children cumulated memory: 854536 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.24 3.40 5/263 90451
/proc/meminfo: memFree=118138968/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=2440312 memory=2110048 CPUtime=221.75 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 393625 0 0 0 22075 100 0 0 20 0 1 0 79046029 2498879488 527512 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 610078 527512 1152 2752 0 606731 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2440312 KiB
Current children cumulated memory: 2110048 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.39 3.45 5/264 90458
/proc/meminfo: memFree=110729560/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9456988 CPUtime=281.61 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2208942 0 0 0 27770 391 0 0 20 0 1 0 79046029 9890340864 2364247 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2364247 1152 2752 0 2411287 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9456988 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.54 3.49 5/263 90460
/proc/meminfo: memFree=110694520/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9461468 CPUtime=341.46 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2210313 0 0 0 33744 402 0 0 20 0 1 0 79046029 9890340864 2365367 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2365367 1152 2752 0 2411287 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9461468 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.64 3.54 5/263 90473
/proc/meminfo: memFree=110609168/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9461724 CPUtime=401.3 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2210629 0 0 0 39721 409 0 0 20 0 1 0 79046029 9890340864 2365431 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2365431 1152 2752 0 2411287 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9461724 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.74 3.58 5/263 90475
/proc/meminfo: memFree=110563836/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9461852 CPUtime=461.14 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2211474 0 0 0 45695 419 0 0 20 0 1 0 79046029 9890340864 2365463 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2365463 1152 2752 0 2411287 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 2855.99 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 90593
/proc/meminfo: memFree=110546992/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=2915.86 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2269263 0 0 0 290939 647 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 2915.86 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 90597
/proc/meminfo: memFree=110544312/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=2975.74 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2271692 0 0 0 296923 651 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 2975.74 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 90599
/proc/meminfo: memFree=110543952/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3035.61 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2273748 0 0 0 302908 653 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3035.61 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 90601
/proc/meminfo: memFree=110544000/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3095.48 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2275709 0 0 0 308893 655 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3095.48 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 90604
/proc/meminfo: memFree=110546684/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3155.36 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2277520 0 0 0 314877 659 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3155.36 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 90606
/proc/meminfo: memFree=110544144/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3215.23 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2279977 0 0 0 320862 661 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3215.23 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 90612
/proc/meminfo: memFree=110546408/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3275.11 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2282263 0 0 0 326847 664 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3275.11 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 90614
/proc/meminfo: memFree=110518664/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3334.98 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2284508 0 0 0 332831 667 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3334.98 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 90616
/proc/meminfo: memFree=110529712/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3394.86 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2286813 0 0 0 338817 669 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3394.86 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 90618
/proc/meminfo: memFree=110547616/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3454.72 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2289294 0 0 0 344802 670 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3454.72 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 90620
/proc/meminfo: memFree=110546700/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3514.6 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2291532 0 0 0 350786 674 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3514.6 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 90625
/proc/meminfo: memFree=110543868/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3574.47 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2293947 0 0 0 356771 676 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3574.47 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.9 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 90626
/proc/meminfo: memFree=110531112/131249996 swapFree=33010416/33010684
[pid=90434] ppid=90431 vsize=9658536 memory=9486172 CPUtime=3600.01 cores=1,3
/proc/90434/stat : 90434 (NuPBO-DeepOpt+) R 90431 90434 89411 0 -1 4194304 2295164 0 0 0 359324 677 0 0 20 0 1 0 79046029 9890340864 2371543 18446744073709551615 4198400 15468185 140737173942560 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32976896 140737173944722 140737173944837 140737173944837 140737173950439 0
/proc/90434/statm: 2414634 2371543 1152 2752 0 2411287 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9658536 KiB
Current children cumulated memory: 9486172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.08 s]
# the end of solver process 90434 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3593.26 s, system=6.93861 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.09 4/259 90635
/proc/meminfo: memFree=118499580/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3608.08
CPU time (s): 3600.2
CPU user time (s): 3593.26
CPU system time (s): 6.93861
CPU usage (%): 99.7818
Max. virtual memory (cumulated for all children) (KiB): 9658536
Max. memory (cumulated for all children) (KiB): 9486172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.26
system time used= 6.93861
maximum resident set size= 9486172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2295225
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= 66
involuntary context switches= 1200
# summary of solver processes directly reported to runsolver:
# pid: 90434
# total CPU time (s): 3600.2
# total CPU user time (s): 3593.26
# total CPU system time (s): 6.93861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79622 second user time and 14.1942 second system time
The end
Begin job on nodeC022 at 2025-07-04 14:54:43
IDJOB=4524015
IDBENCH=180476
IDSOLVER=3342
FILE ID=nodeC022/4524015-1751633682
RUNJOBID= nodeC022-1751633682-90388
SLURM_JOB_ID= 9598954
Free space on /tmp= 432252 MiB
SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-WordGolf-4-ogd2008-50-0_c24.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524015-1751633682/watcher-4524015-1751633682 -o /tmp/evaluation-result-4524015-1751633682/solver-4524015-1751633682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751633682-90388 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4524015-1751633682.opb -t 3600 -s 422336907 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b85ce4cd64937c81c9b69135828a61d
RANDOM SEED=422336907
nodeC022 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.220
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 : 6999.44
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 : 3599.708
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 : 6999.44
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.706
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 : 6999.44
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 : 3617.150
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 : 6999.44
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.635
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 : 6999.44
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 : 3599.720
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 : 6999.44
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 : 3607.208
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 : 6999.44
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 : 3599.698
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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121903152 kB
MemAvailable: 129642412 kB
Buffers: 2128 kB
Cached: 8490144 kB
SwapCached: 32 kB
Active: 792748 kB
Inactive: 7839132 kB
Active(anon): 153508 kB
Inactive(anon): 4176 kB
Active(file): 639240 kB
Inactive(file): 7834956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 159016 kB
Writeback: 0 kB
AnonPages: 143068 kB
Mapped: 112388 kB
Shmem: 18028 kB
KReclaimable: 208208 kB
Slab: 299784 kB
SReclaimable: 208208 kB
SUnreclaim: 91576 kB
KernelStack: 4208 kB
PageTables: 3096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 469984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 51200 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432204 MiB
End job on nodeC022 at 2025-07-04 15:54:51