3600.05/3608.60 c Filename:instance-4523877-1751633682.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.05/3608.60 c Use Presolve
3600.05/3608.60 c Parse finsih
3600.05/3608.60 c Start Presolve
3600.05/3608.60 c After Reduce Vars: 918881 Clauses: 1186731 Top clause weight: 618903 Hard Clauses: 567829
3600.05/3608.60 c Use LS-small
3600.05/3608.60 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 (62183 MiB free)
memory of node 1: 64507 MiB (56741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523877-1751633682/watcher-4523877-1751633682 -o /tmp/evaluation-result-4523877-1751633682/solver-4523877-1751633682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751633682-90386 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4523877-1751633682.opb -t 3600 -s 422336907 --no-s
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=90444, runsolver pid=90441
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121668424/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=133720 memory=119180 CPUtime=0.09 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 4871 0 0 0 7 2 0 0 20 0 1 0 79046057 136929280 29795 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 33430 29795 1056 2752 0 30083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 133720 KiB
Current children cumulated memory: 119180 KiB
[startup+0.20546 s]*
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121660360/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=134116 memory=119564 CPUtime=0.2 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 4948 0 0 0 18 2 0 0 20 0 1 0 79046057 137334784 29891 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 33529 29891 1056 2752 0 30182 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 134116 KiB
Current children cumulated memory: 119564 KiB
[startup+0.305353 s]*
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121644008/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=137152 memory=122508 CPUtime=0.3 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 5710 0 0 0 28 2 0 0 20 0 1 0 79046057 140443648 30627 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 34288 30627 1056 2752 0 30941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137152 KiB
Current children cumulated memory: 122508 KiB
[startup+0.700117 s]
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121635944/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=147844 memory=133260 CPUtime=0.69 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 8376 0 0 0 66 3 0 0 20 0 1 0 79046057 151392256 33315 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 36961 33315 1056 2752 0 33614 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147844 KiB
Current children cumulated memory: 133260 KiB
[startup+1.50014 s]
/proc/loadavg: 1.20 2.27 3.20 5/264 90445
/proc/meminfo: memFree=121561600/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=168964 memory=154380 CPUtime=1.49 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 13669 0 0 0 145 4 0 0 20 0 1 0 79046057 173019136 38595 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 42241 38595 1056 2752 0 38894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 168964 KiB
Current children cumulated memory: 154380 KiB
[startup+3.10529 s]
/proc/loadavg: 1.43 2.30 3.20 5/264 90445
/proc/meminfo: memFree=121414652/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=217104 memory=200332 CPUtime=3.09 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 23560 0 0 0 303 6 0 0 20 0 1 0 79046057 222314496 50083 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 54276 50083 1056 2752 0 50929 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 217104 KiB
Current children cumulated memory: 200332 KiB
[startup+6.30015 s]
/proc/loadavg: 1.43 2.30 3.20 5/264 90445
/proc/meminfo: memFree=121000728/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=288036 memory=260984 CPUtime=6.27 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 30093 0 0 0 618 9 0 0 20 0 1 0 79046057 294948864 65246 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 72009 65246 1056 2752 0 68662 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 288036 KiB
Current children cumulated memory: 260984 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=90444] ppid=90441 vsize=841764 memory=782416 CPUtime=12.66 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 52249 0 0 0 1234 32 0 0 20 0 1 0 79046057 861966336 195604 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 210441 195604 1088 2752 0 207094 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 841764 KiB
Current children cumulated memory: 782416 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.41 3.22 5/264 90445
/proc/meminfo: memFree=119798392/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=928188 memory=851960 CPUtime=25.42 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 58916 0 0 0 2509 33 0 0 20 0 1 0 79046057 950464512 212990 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 232047 212990 1152 2752 0 228700 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 928188 KiB
Current children cumulated memory: 851960 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=90444] ppid=90441 vsize=930176 memory=853880 CPUtime=50.95 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 59585 0 0 0 5062 33 0 0 20 0 1 0 79046057 952500224 213470 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 232544 213470 1152 2752 0 229197 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 930176 KiB
Current children cumulated memory: 853880 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=90444] ppid=90441 vsize=936488 memory=860276 CPUtime=102 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 60873 0 0 0 10166 34 0 0 20 0 1 0 79046057 958963712 215069 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 234122 215069 1152 2752 0 230775 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 936488 KiB
Current children cumulated memory: 860276 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=90444] ppid=90441 vsize=948468 memory=872144 CPUtime=161.83 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 63431 0 0 0 16149 34 0 0 20 0 1 0 79046057 971231232 218036 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 237117 218036 1152 2752 0 233770 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 948468 KiB
Current children cumulated memory: 872144 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.24 3.40 5/263 90451
/proc/meminfo: memFree=118106712/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=1179308 memory=1051388 CPUtime=221.67 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 134180 0 0 0 22119 48 0 0 20 0 1 0 79046057 1207611392 262847 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 262847 1152 2752 0 291480 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1051388 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=90444] ppid=90441 vsize=1179308 memory=1052668 CPUtime=281.53 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 134498 0 0 0 28105 48 0 0 20 0 1 0 79046057 1207611392 263167 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 263167 1152 2752 0 291480 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1052668 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=90444] ppid=90441 vsize=1179308 memory=1062544 CPUtime=341.39 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 135431 0 0 0 34091 48 0 0 20 0 1 0 79046057 1207611392 265636 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265636 1152 2752 0 291480 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1062544 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=90444] ppid=90441 vsize=1179308 memory=1062800 CPUtime=401.25 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 135473 0 0 0 40077 48 0 0 20 0 1 0 79046057 1207611392 265700 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265700 1152 2752 0 291480 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1062800 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=90444] ppid=90441 vsize=1179308 memory=1062800 CPUtime=461.1 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 135552 0 0 0 46062 48 0 0 20 0 1 0 79046057 1207611392 265700 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265700 1152 2752 0 291480 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 1063184 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 90591
/proc/meminfo: memFree=110546636/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=2855.49 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136728 0 0 0 285497 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 2855.49 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=2915.35 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136790 0 0 0 291483 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 2915.35 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=2975.21 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136795 0 0 0 297469 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 2975.21 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3035.07 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136855 0 0 0 303455 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3094.93 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136855 0 0 0 309441 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3154.79 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136921 0 0 0 315427 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3154.79 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3214.65 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136921 0 0 0 321413 52 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 90612
/proc/meminfo: memFree=110546160/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3274.52 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 136981 0 0 0 327399 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3334.38 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137028 0 0 0 333385 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3394.24 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137074 0 0 0 339371 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3394.24 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3454.1 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137092 0 0 0 345357 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3454.1 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3513.95 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137141 0 0 0 351342 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3513.95 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 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=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3573.81 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137159 0 0 0 357328 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.10 4.09 4.09 3/255 90645
/proc/meminfo: memFree=120739668/131249996 swapFree=33010416/33010684
[pid=90444] ppid=90441 vsize=1179308 memory=1063184 CPUtime=3600.05 cores=0,2
/proc/90444/stat : 90444 (NuPBO-DeepOpt+) R 90441 90444 89411 0 -1 4194304 137159 0 0 0 359952 53 0 0 20 0 1 0 79046057 1207611392 265796 18446744073709551615 4198400 15468185 140723402964032 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29208576 140723402967442 140723402967557 140723402967557 140723402973159 0
/proc/90444/statm: 294827 265796 1152 2752 0 291480 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1063184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.65 s]
# the end of solver process 90444 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.55 s, system=0.563338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.65
CPU time (s): 3600.11
CPU user time (s): 3599.55
CPU system time (s): 0.563338
CPU usage (%): 99.7634
Max. virtual memory (cumulated for all children) (KiB): 1179308
Max. memory (cumulated for all children) (KiB): 1063184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.55
system time used= 0.563338
maximum resident set size= 1063184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137226
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= 2
involuntary context switches= 7915
# summary of solver processes directly reported to runsolver:
# pid: 90444
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.55
# total CPU system time (s): 0.563338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99559 second user time and 11.8947 second system time
The end
Begin job on nodeC022 at 2025-07-04 14:54:43
IDJOB=4523877
IDBENCH=180377
IDSOLVER=3342
FILE ID=nodeC022/4523877-1751633682
RUNJOBID= nodeC022-1751633682-90386
SLURM_JOB_ID= 9598954
Free space on /tmp= 432224 MiB
SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523877-1751633682/watcher-4523877-1751633682 -o /tmp/evaluation-result-4523877-1751633682/solver-4523877-1751633682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751633682-90386 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4523877-1751633682.opb -t 3600 -s 422336907 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360
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.714
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.706
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 : 3593.000
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 : 3599.627
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.719
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.710
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 : 3599.433
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.494
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: 121779264 kB
MemAvailable: 129544844 kB
Buffers: 2128 kB
Cached: 8516448 kB
SwapCached: 32 kB
Active: 896672 kB
Inactive: 7865448 kB
Active(anon): 257428 kB
Inactive(anon): 4176 kB
Active(file): 639244 kB
Inactive(file): 7861272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 185316 kB
Writeback: 0 kB
AnonPages: 246640 kB
Mapped: 116852 kB
Shmem: 18028 kB
KReclaimable: 208208 kB
Slab: 299776 kB
SReclaimable: 208208 kB
SUnreclaim: 91568 kB
KernelStack: 4272 kB
PageTables: 3168 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 597376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 122880 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:52