3600.02/3617.50 c Filename:instance-4521900-1751590345.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.02/3617.50 c Scip time: 1800
3600.02/3617.50 c Use Presolve
3600.02/3617.50 c Parse finsih
3600.02/3617.50 c Start Presolve
3600.02/3617.50 c After Reduce Vars: 4576880 Clauses: 179850 Top clause weight: 3081 Hard Clauses: 176770
3600.02/3617.50 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 (60320 MiB free)
memory of node 1: 64507 MiB (53455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521900-1751590345/watcher-4521900-1751590345 -o /tmp/evaluation-result-4521900-1751590345/solver-4521900-1751590345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751586737-93808 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4521900-1751590345.opb -t 3600 -s 948792379
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
Current StackSize limit: 8192 KiB
solver pid=94206, runsolver pid=94203
[startup+0.100069 s]*
/proc/loadavg: 4.08 4.18 4.12 4/266 94207
/proc/meminfo: memFree=116530552/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=273868 memory=149224 CPUtime=0.09 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 2617 0 0 0 7 2 0 0 20 0 1 0 74712547 280440832 37306 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 68467 37306 1088 2752 0 65120 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 273868 KiB
Current children cumulated memory: 149224 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.08 4.18 4.12 5/265 94216
/proc/meminfo: memFree=116415928/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=282340 memory=267956 CPUtime=0.2 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 4213 0 0 0 15 5 0 0 20 0 1 0 74712547 289116160 66989 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 70585 66989 1088 2752 0 67238 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 282340 KiB
Current children cumulated memory: 267956 KiB
[startup+0.305555 s]*
/proc/loadavg: 4.08 4.18 4.12 5/267 94221
/proc/meminfo: memFree=116415928/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=282340 memory=267956 CPUtime=0.3 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 4213 0 0 0 25 5 0 0 20 0 1 0 74712547 289116160 66989 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 70585 66989 1088 2752 0 67238 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 282340 KiB
Current children cumulated memory: 267956 KiB
[startup+0.700127 s]
/proc/loadavg: 4.08 4.18 4.12 4/263 94238
/proc/meminfo: memFree=116419168/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=284636 memory=269904 CPUtime=0.68 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 4925 0 0 0 63 5 0 0 20 0 1 0 74712547 291467264 67476 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 71159 67476 1088 2752 0 67812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 284636 KiB
Current children cumulated memory: 269904 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.18 4.12 5/268 94252
/proc/meminfo: memFree=116345840/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=311612 memory=291024 CPUtime=1.49 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 9457 0 0 0 143 6 0 0 20 0 1 0 74712547 319090688 72756 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 77903 72756 1088 2752 0 74556 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 311612 KiB
Current children cumulated memory: 291024 KiB
[startup+3.10545 s]
/proc/loadavg: 4.08 4.18 4.12 5/268 94252
/proc/meminfo: memFree=116238788/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=348852 memory=330500 CPUtime=3.08 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 15238 0 0 0 301 7 0 0 20 0 1 0 74712547 357224448 82625 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 87213 82625 1088 2752 0 83866 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 348852 KiB
Current children cumulated memory: 330500 KiB
[startup+6.3001 s]
/proc/loadavg: 4.15 4.20 4.12 5/268 94252
/proc/meminfo: memFree=115876600/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=420164 memory=401716 CPUtime=6.27 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 25433 0 0 0 617 10 0 0 20 0 1 0 74712547 430247936 100429 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 105041 100429 1088 2752 0 101694 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 420164 KiB
Current children cumulated memory: 401716 KiB
[startup+12.7001 s]
/proc/loadavg: 4.38 4.24 4.14 5/268 94253
/proc/meminfo: memFree=115758452/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=560940 memory=540484 CPUtime=12.66 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 44904 0 0 0 1249 17 0 0 20 0 1 0 74712547 574402560 135121 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 140235 135121 1088 2752 0 136888 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 560940 KiB
Current children cumulated memory: 540484 KiB
[startup+25.5001 s]
/proc/loadavg: 4.44 4.26 4.15 5/267 94253
/proc/meminfo: memFree=115480576/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=841568 memory=817004 CPUtime=25.43 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 83030 0 0 0 2514 29 0 0 20 0 1 0 74712547 861765632 204251 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 210392 204251 1088 2752 0 207045 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 841568 KiB
Current children cumulated memory: 817004 KiB
[startup+51.1054 s]
/proc/loadavg: 4.29 4.24 4.14 5/267 94253
/proc/meminfo: memFree=111925104/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=2435852 memory=2170992 CPUtime=50.99 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 110892 0 0 0 5018 81 0 0 20 0 1 0 74712547 2494312448 542748 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 608963 542748 1152 2752 0 605616 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2435852 KiB
Current children cumulated memory: 2170992 KiB
[startup+102.3 s]
/proc/loadavg: 4.78 4.36 4.19 5/266 94255
/proc/meminfo: memFree=111441952/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=2564308 memory=2228088 CPUtime=102.06 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 113172 0 0 0 10122 84 0 0 20 0 1 0 74712547 2625851392 557022 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 641077 557022 1152 2752 0 637730 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2564308 KiB
Current children cumulated memory: 2228088 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.34 4.19 5/267 94258
/proc/meminfo: memFree=111379128/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=2564308 memory=2228088 CPUtime=161.89 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 113218 0 0 0 16105 84 0 0 20 0 1 0 74712547 2625851392 557022 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 641077 557022 1152 2752 0 637730 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2564308 KiB
Current children cumulated memory: 2228088 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.29 4.18 5/267 94264
/proc/meminfo: memFree=111043208/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=2564308 memory=2228088 CPUtime=221.73 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 113296 0 0 0 22089 84 0 0 20 0 1 0 74712547 2625851392 557022 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 641077 557022 1152 2752 0 637730 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2564308 KiB
Current children cumulated memory: 2228088 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.27 4.18 5/267 94266
/proc/meminfo: memFree=94988500/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=17872356 memory=16885964 CPUtime=281.57 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3235958 0 0 0 27579 578 0 0 20 0 1 0 74712547 18301292544 4221491 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4468089 4221491 2720 2752 0 4464742 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 17872356 KiB
Current children cumulated memory: 16885964 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.23 4.17 5/265 94269
/proc/meminfo: memFree=94278168/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17600592 CPUtime=341.36 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3379998 0 0 0 33531 605 0 0 20 0 1 0 74712547 19020996608 4400148 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4400148 2720 2752 0 4640451 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17600592 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/265 94271
/proc/meminfo: memFree=94253596/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17600592 CPUtime=401.04 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3380005 0 0 0 39497 607 0 0 20 0 1 0 74712547 19020996608 4400148 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4400148 2720 2752 0 4640451 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17600592 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/264 94273
/proc/meminfo: memFree=93853064/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17600592 CPUtime=460.74 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3380023 0 0 0 45460 614 0 0 20 0 1 0 74712547 19020996608 4400148 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4400148 2720 2752 0 4640451 0
Current children cumulated CPU time: 460.74 s
################
# More data... #
################
/proc/meminfo: memFree=93596428/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=2908.3 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381278 0 0 0 290070 760 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 2908.3 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 94419
/proc/meminfo: memFree=93593736/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=2968.01 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381290 0 0 0 296038 763 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 2968.01 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 94423
/proc/meminfo: memFree=93593904/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3027.71 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381296 0 0 0 302005 766 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3027.71 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 94425
/proc/meminfo: memFree=93597012/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3087.4 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381304 0 0 0 307971 769 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3087.4 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 94427
/proc/meminfo: memFree=93596520/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3147.1 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381309 0 0 0 313939 771 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3147.1 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 94434
/proc/meminfo: memFree=93596648/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3206.81 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381315 0 0 0 319908 773 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3206.81 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 94437
/proc/meminfo: memFree=93580304/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3266.5 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381321 0 0 0 325875 775 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3266.5 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 94439
/proc/meminfo: memFree=93571720/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3326.2 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381330 0 0 0 331842 778 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3326.2 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 94441
/proc/meminfo: memFree=93598604/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3385.9 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381335 0 0 0 337810 780 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3385.9 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 94443
/proc/meminfo: memFree=93621876/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3445.59 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381341 0 0 0 343778 781 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3445.59 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/264 94446
/proc/meminfo: memFree=93621032/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3505.29 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381355 0 0 0 349745 784 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3505.29 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/264 94449
/proc/meminfo: memFree=93623668/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3564.99 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381363 0 0 0 355713 786 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3564.99 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 94576
/proc/meminfo: memFree=98759788/131249996 swapFree=33010684/33010684
[pid=94206] ppid=94203 vsize=18575192 memory=17621072 CPUtime=3600.02 cores=1,3
/proc/94206/stat : 94206 (NuPBO-DeepOptS+) R 94203 94206 93793 0 -1 4194304 3381365 0 0 0 359214 788 0 0 20 0 1 0 74712547 19020996608 4405268 18446744073709551615 4198400 15468185 140735183911088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47382528 140735183915415 140735183915524 140735183915524 140735183921126 0
/proc/94206/statm: 4643798 4405268 2720 2752 0 4640451 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 18575192 KiB
Current children cumulated memory: 17621072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.87 s]
# the end of solver process 94206 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3592.19 s, system=8.1997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617.6 s]*
/proc/loadavg: 4.10 4.10 4.09 6/265 94589
/proc/meminfo: memFree=105663188/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3617.8 s]
/proc/loadavg: 4.10 4.10 4.09 6/265 94589
/proc/meminfo: memFree=105663188/131249996 swapFree=33010684/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): 3617.87
CPU time (s): 3600.39
CPU user time (s): 3592.19
CPU system time (s): 8.1997
CPU usage (%): 99.5169
Max. virtual memory (cumulated for all children) (KiB): 18678208
Max. memory (cumulated for all children) (KiB): 17686916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.19
system time used= 8.1997
maximum resident set size= 17708096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3381534
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= 18
involuntary context switches= 1776
# summary of solver processes directly reported to runsolver:
# pid: 94206
# total CPU time (s): 3600.39
# total CPU user time (s): 3592.19
# total CPU system time (s): 8.1997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69938 second user time and 18.6784 second system time
The end
Begin job on nodeC024 at 2025-07-04 02:52:26
IDJOB=4521900
IDBENCH=178517
IDSOLVER=3343
FILE ID=nodeC024/4521900-1751590345
RUNJOBID= nodeC024-1751586737-93808
SLURM_JOB_ID= 9598838
Free space on /tmp= 432204 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521900-1751590345/watcher-4521900-1751590345 -o /tmp/evaluation-result-4521900-1751590345/solver-4521900-1751590345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751586737-93808 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4521900-1751590345.opb -t 3600 -s 948792379
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=948792379
nodeC024 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.704
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.36
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.678
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.36
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 : 3598.187
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.36
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 : 3601.601
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.36
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.669
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.36
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.806
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.36
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 : 3535.724
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.36
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 : 3580.777
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116507100 kB
MemAvailable: 129471616 kB
Buffers: 2144 kB
Cached: 13730792 kB
SwapCached: 0 kB
Active: 887340 kB
Inactive: 13156428 kB
Active(anon): 326820 kB
Inactive(anon): 2084 kB
Active(file): 560520 kB
Inactive(file): 13154344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 161172 kB
Writeback: 0 kB
AnonPages: 311952 kB
Mapped: 138168 kB
Shmem: 18064 kB
KReclaimable: 177384 kB
Slab: 269172 kB
SReclaimable: 177384 kB
SUnreclaim: 91788 kB
KernelStack: 4320 kB
PageTables: 3640 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 674916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 192512 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432116 MiB
End job on nodeC024 at 2025-07-04 03:52:44