3600.02/3608.60 c Filename:instance-4522313-1751600612.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.02/3608.60 c Use Presolve
3600.02/3608.60 c Parse finsih
3600.02/3608.60 c Start Presolve
3600.02/3608.60 c After Reduce Vars: 2902 Clauses: 4619 Top clause weight: 780 Hard Clauses: 4581
3600.02/3608.60 c Use LS-small
3600.02/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: 63837 MiB (63137 MiB free)
memory of node 1: 64465 MiB (63576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522313-1751600612/watcher-4522313-1751600612 -o /tmp/evaluation-result-4522313-1751600612/solver-4522313-1751600612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88592 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522313-1751600612.opb -t 3600 -s 159105264 --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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88972, runsolver pid=88965
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.12 4.09 4/247 88979
/proc/meminfo: memFree=129751836/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=20904 memory=6056 CPUtime=0.1 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 823 0 0 0 10 0 0 0 20 0 1 0 75739902 21405696 1514 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 5226 1514 1056 2752 0 1879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20904 KiB
Current children cumulated memory: 6056 KiB
[startup+0.214994 s]*
/proc/loadavg: 4.11 4.12 4.09 4/249 88993
/proc/meminfo: memFree=129751884/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=21928 memory=6836 CPUtime=0.21 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 1291 0 0 0 20 1 0 0 20 0 1 0 75739902 22454272 1709 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 5482 1709 1056 2752 0 2135 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21928 KiB
Current children cumulated memory: 6836 KiB
[startup+0.313773 s]*
/proc/loadavg: 4.11 4.12 4.09 4/247 88996
/proc/meminfo: memFree=129745548/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=23976 memory=9528 CPUtime=0.31 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 1921 0 0 0 29 2 0 0 20 0 1 0 75739902 24551424 2382 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 5994 2382 1056 2752 0 2647 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23976 KiB
Current children cumulated memory: 9528 KiB
[startup+0.700368 s]
/proc/loadavg: 4.11 4.12 4.09 5/248 88999
/proc/meminfo: memFree=129704276/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=37456 memory=23096 CPUtime=0.68 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5267 0 0 0 65 3 0 0 20 0 1 0 75739902 38354944 5774 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9364 5774 1152 2752 0 6017 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37456 KiB
Current children cumulated memory: 23096 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129664556/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=37456 memory=23096 CPUtime=1.48 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5268 0 0 0 145 3 0 0 20 0 1 0 75739902 38354944 5774 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9364 5774 1152 2752 0 6017 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37456 KiB
Current children cumulated memory: 23096 KiB
[startup+3.11359 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129510424/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=37456 memory=23096 CPUtime=3.09 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5268 0 0 0 306 3 0 0 20 0 1 0 75739902 38354944 5774 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9364 5774 1152 2752 0 6017 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37456 KiB
Current children cumulated memory: 23096 KiB
[startup+6.30027 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129415652/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=6.26 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5845 0 0 0 623 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129068848/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=12.65 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5845 0 0 0 1262 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.14 4.10 5/251 89009
/proc/meminfo: memFree=129116076/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=25.42 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5845 0 0 0 2539 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129116076/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=50.97 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5845 0 0 0 5094 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89013
/proc/meminfo: memFree=129115824/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=102.04 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5845 0 0 0 10201 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/252 89016
/proc/meminfo: memFree=129088544/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=161.88 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5869 0 0 0 16185 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 89022
/proc/meminfo: memFree=125665836/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=221.74 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5883 0 0 0 22171 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 89024
/proc/meminfo: memFree=105145448/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=281.6 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5897 0 0 0 28157 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 89026
/proc/meminfo: memFree=101388916/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=341.46 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5904 0 0 0 34143 3 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/250 89028
/proc/meminfo: memFree=101389420/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=401.33 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5904 0 0 0 40129 4 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 89031
/proc/meminfo: memFree=101389740/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=461.18 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5911 0 0 0 46114 4 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
################
# More data... #
################
Current children cumulated memory: 25400 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.33 4.25 5/250 89156
/proc/meminfo: memFree=101384776/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=2855.5 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5974 0 0 0 285541 9 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 2855.5 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.30 4.25 5/250 89158
/proc/meminfo: memFree=101384780/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=2915.36 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5974 0 0 0 291526 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 2915.36 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.26 4.24 5/250 89160
/proc/meminfo: memFree=101388564/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=2975.22 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5974 0 0 0 297512 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 2975.22 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.24 4.23 5/250 89162
/proc/meminfo: memFree=101396264/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3035.08 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5974 0 0 0 303498 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3035.08 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.21 4.22 5/250 89166
/proc/meminfo: memFree=101398232/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3094.93 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5974 0 0 0 309483 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.18 4.21 5/249 89168
/proc/meminfo: memFree=101382404/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3154.78 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5981 0 0 0 315468 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.20 4.21 5/250 89175
/proc/meminfo: memFree=101379704/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3214.64 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5981 0 0 0 321454 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.20 5/250 89177
/proc/meminfo: memFree=101390148/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3274.5 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5981 0 0 0 327440 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/250 89179
/proc/meminfo: memFree=101391056/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3334.36 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5981 0 0 0 333426 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3334.36 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/250 89181
/proc/meminfo: memFree=101392588/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3394.21 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5981 0 0 0 339411 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/250 89183
/proc/meminfo: memFree=101392256/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3454.07 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5988 0 0 0 345397 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/249 89185
/proc/meminfo: memFree=101389820/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3513.93 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5988 0 0 0 351383 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/249 89187
/proc/meminfo: memFree=101392380/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3573.79 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5988 0 0 0 357369 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3573.79 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/249 89188
/proc/meminfo: memFree=101389580/131382120 swapFree=33010416/33010684
[pid=88972] ppid=88965 vsize=39700 memory=25400 CPUtime=3600.02 cores=1,3
/proc/88972/stat : 88972 (NuPBO-DeepOpt+) R 88965 88972 88580 0 -1 4194304 5988 0 0 0 359992 10 0 0 20 0 1 0 75739902 40652800 6350 18446744073709551615 4198400 15468185 140723123150256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44490752 140723123157394 140723123157509 140723123157509 140723123163111 0
/proc/88972/statm: 9925 6350 1152 2752 0 6578 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 39700 KiB
Current children cumulated memory: 25400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 88972 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.93 s, system=0.10841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.6
CPU time (s): 3600.04
CPU user time (s): 3599.93
CPU system time (s): 0.10841
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 39700
Max. memory (cumulated for all children) (KiB): 25400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.10841
maximum resident set size= 25400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5990
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= 9
involuntary context switches= 912
# summary of solver processes directly reported to runsolver:
# pid: 88972
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.93
# total CPU system time (s): 0.10841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2059 second user time and 31.0385 second system time
The end
Begin job on nodeC003 at 2025-07-04 05:43:32
IDJOB=4522313
IDBENCH=178741
IDSOLVER=3342
FILE ID=nodeC003/4522313-1751600612
RUNJOBID= nodeC003-1751597003-88592
SLURM_JOB_ID= 9598864
Free space on /tmp= 431996 MiB
SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522313-1751600612/watcher-4522313-1751600612 -o /tmp/evaluation-result-4522313-1751600612/solver-4522313-1751600612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88592 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522313-1751600612.opb -t 3600 -s 159105264 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=159105264
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3538.559
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.116
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.156
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.943
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129757076 kB
MemAvailable: 129930328 kB
Buffers: 2736 kB
Cached: 968912 kB
SwapCached: 36 kB
Active: 562596 kB
Inactive: 476744 kB
Active(anon): 78008 kB
Inactive(anon): 7608 kB
Active(file): 484588 kB
Inactive(file): 469136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51324 kB
Writeback: 12 kB
AnonPages: 70756 kB
Mapped: 103632 kB
Shmem: 17924 kB
KReclaimable: 118308 kB
Slab: 204624 kB
SReclaimable: 118308 kB
SUnreclaim: 86316 kB
KernelStack: 3856 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 333860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431912 MiB
End job on nodeC003 at 2025-07-04 06:43:41