3600.05/3609.60 c Filename:instance-4522405-1751600613.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.05/3609.60 c Use Presolve
3600.05/3609.60 c Parse finsih
3600.05/3609.60 c Start Presolve
3600.05/3609.60 c After Reduce Vars: 393335 Clauses: 149159 Top clause weight: 509485054 Hard Clauses: 27059
3600.05/3609.60 c Use LS-small
3600.05/3609.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 (63091 MiB free)
memory of node 1: 64465 MiB (63541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522405-1751600613/watcher-4522405-1751600613 -o /tmp/evaluation-result-4522405-1751600613/solver-4522405-1751600613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88590 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522405-1751600613.opb -t 3600 -s 159105264 --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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89008, runsolver pid=89005
[startup+0.100111 s]*
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129664556/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=43852 memory=29332 CPUtime=0.1 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 3349 0 0 0 10 0 0 0 20 0 1 0 75739986 44904448 7333 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 10963 7333 1056 2752 0 7616 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43852 KiB
Current children cumulated memory: 29332 KiB
[startup+0.213463 s]*
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129664556/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=47152 memory=32660 CPUtime=0.22 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 4176 0 0 0 21 1 0 0 20 0 1 0 75739986 48283648 8165 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 11788 8165 1056 2752 0 8441 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47152 KiB
Current children cumulated memory: 32660 KiB
[startup+0.313128 s]*
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129656492/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=49924 memory=35348 CPUtime=0.31 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 4862 0 0 0 30 1 0 0 20 0 1 0 75739986 51122176 8837 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 12481 8837 1056 2752 0 9134 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49924 KiB
Current children cumulated memory: 35348 KiB
[startup+0.700289 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129620960/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=63088 memory=47160 CPUtime=0.69 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 8012 0 0 0 67 2 0 0 20 0 1 0 75739986 64602112 11790 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 15772 11790 1056 2752 0 12425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63088 KiB
Current children cumulated memory: 47160 KiB
[startup+1.50025 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129544196/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=80520 memory=64708 CPUtime=1.49 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 10874 0 0 0 146 3 0 0 20 0 1 0 75739986 82452480 16177 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 20130 16177 1056 2752 0 16783 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80520 KiB
Current children cumulated memory: 64708 KiB
[startup+3.11277 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129472104/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=140496 memory=96004 CPUtime=3.09 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 14642 0 0 0 304 5 0 0 20 0 1 0 75739986 143867904 24001 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 35124 24001 1056 2752 0 31777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 140496 KiB
Current children cumulated memory: 96004 KiB
[startup+6.30028 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129416060/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=206032 memory=145160 CPUtime=6.28 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 15236 0 0 0 619 9 0 0 20 0 1 0 75739986 210976768 36290 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 51508 36290 1056 2752 0 48161 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 206032 KiB
Current children cumulated memory: 145160 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129077040/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=505492 memory=461812 CPUtime=12.66 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 25936 0 0 0 1246 20 0 0 20 0 1 0 75739986 517623808 115453 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 126373 115453 1152 2752 0 123026 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 461812 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=89008] ppid=89005 vsize=505492 memory=461812 CPUtime=25.43 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 25937 0 0 0 2523 20 0 0 20 0 1 0 75739986 517623808 115453 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 126373 115453 1152 2752 0 123026 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 461812 KiB
[startup+51.1128 s]
/proc/loadavg: 4.14 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129116076/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=505492 memory=461812 CPUtime=50.98 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 26022 0 0 0 5078 20 0 0 20 0 1 0 75739986 517623808 115453 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 126373 115453 1152 2752 0 123026 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 461812 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 89013
/proc/meminfo: memFree=129115824/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=505492 memory=461812 CPUtime=102.04 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 26195 0 0 0 10184 20 0 0 20 0 1 0 75739986 517623808 115453 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 126373 115453 1152 2752 0 123026 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 461812 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/252 89016
/proc/meminfo: memFree=129088796/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=505492 memory=461812 CPUtime=161.88 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 26333 0 0 0 16168 20 0 0 20 0 1 0 75739986 517623808 115453 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 126373 115453 1152 2752 0 123026 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 461812 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 89022
/proc/meminfo: memFree=125423916/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=4278336 memory=4180996 CPUtime=221.71 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 988387 0 0 0 22011 160 0 0 20 0 1 0 75739986 4381016064 1045249 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 1069584 1045249 1152 2752 0 1066237 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 4278336 KiB
Current children cumulated memory: 4180996 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 89024
/proc/meminfo: memFree=104847080/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=24851716 memory=24754820 CPUtime=281.54 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 6131843 0 0 0 27250 904 0 0 20 0 1 0 75739986 25448157184 6188705 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 6212929 6188705 1152 2752 0 6209582 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 24851716 KiB
Current children cumulated memory: 24754820 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 89026
/proc/meminfo: memFree=101388916/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28094984 CPUtime=341.38 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 6965870 0 0 0 33111 1027 0 0 20 0 1 0 75739986 28836032512 7023746 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7023746 1152 2752 0 7036700 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28094984 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 89028
/proc/meminfo: memFree=101389420/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28094984 CPUtime=401.22 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 6965898 0 0 0 39092 1030 0 0 20 0 1 0 75739986 28836032512 7023746 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7023746 1152 2752 0 7036700 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28094984 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 89031
/proc/meminfo: memFree=101389740/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28094984 CPUtime=461.05 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 6966207 0 0 0 45051 1054 0 0 20 0 1 0 75739986 28836032512 7023746 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7023746 1152 2752 0 7036700 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.10 4.26 4.24 5/250 89160
/proc/meminfo: memFree=101388564/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=2974.39 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7089153 0 0 0 295563 1876 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3034.23 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7092858 0 0 0 301532 1891 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3094.08 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7096127 0 0 0 307502 1906 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3153.92 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7098746 0 0 0 313473 1919 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3213.77 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7101825 0 0 0 319444 1933 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.20 5/250 89177
/proc/meminfo: memFree=101390220/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3273.61 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7105368 0 0 0 325414 1947 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3333.45 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7109925 0 0 0 331384 1961 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3393.29 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7113896 0 0 0 337355 1974 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3453.14 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7117553 0 0 0 343327 1987 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3512.98 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7121389 0 0 0 349299 1999 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 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=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3572.82 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7124051 0 0 0 355271 2011 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.14 4.14 4.17 6/245 89228
/proc/meminfo: memFree=101489704/131382120 swapFree=33010416/33010684
[pid=89008] ppid=89005 vsize=28160188 memory=28118536 CPUtime=3600.05 cores=0,2
/proc/89008/stat : 89008 (NuPBO-DeepOpt+) R 89005 89008 88580 0 -1 4194304 7125903 0 0 0 357986 2019 0 0 20 0 1 0 75739986 28836032512 7029634 18446744073709551615 4198400 15468185 140731193858784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55840768 140731193866642 140731193866757 140731193866757 140731193872359 0
/proc/89008/statm: 7040047 7029634 1152 2752 0 7036700 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 28160188 KiB
Current children cumulated memory: 28118536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.37 s]
# the end of solver process 89008 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3579.87 s, system=20.9547 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.14 4.14 4.17 6/248 89292
/proc/meminfo: memFree=118333248/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.2 s]
/proc/loadavg: 4.14 4.14 4.17 6/248 89292
/proc/meminfo: memFree=118333248/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.3 s]
/proc/loadavg: 4.14 4.14 4.17 6/248 89292
/proc/meminfo: memFree=118333248/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3610.37
CPU time (s): 3600.82
CPU user time (s): 3579.87
CPU system time (s): 20.9547
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 28160188
Max. memory (cumulated for all children) (KiB): 28118536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.87
system time used= 20.9547
maximum resident set size= 28118536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7125930
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= 92
involuntary context switches= 7831
# summary of solver processes directly reported to runsolver:
# pid: 89008
# total CPU time (s): 3600.82
# total CPU user time (s): 3579.87
# total CPU system time (s): 20.9547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3287 second user time and 34.8957 second system time
The end
Begin job on nodeC003 at 2025-07-04 05:43:33
IDJOB=4522405
IDBENCH=178803
IDSOLVER=3342
FILE ID=nodeC003/4522405-1751600613
RUNJOBID= nodeC003-1751597003-88590
SLURM_JOB_ID= 9598864
Free space on /tmp= 431928 MiB
SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522405-1751600613/watcher-4522405-1751600613 -o /tmp/evaluation-result-4522405-1751600613/solver-4522405-1751600613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88590 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522405-1751600613.opb -t 3600 -s 159105264 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
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 : 3491.701
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 : 1795.740
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.474
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.295
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 : 1795.739
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 : 1795.753
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 : 3700.000
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.303
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: 129672048 kB
MemAvailable: 129881676 kB
Buffers: 2736 kB
Cached: 1005300 kB
SwapCached: 36 kB
Active: 624744 kB
Inactive: 513120 kB
Active(anon): 140156 kB
Inactive(anon): 7608 kB
Active(file): 484588 kB
Inactive(file): 505512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 103944 kB
Writeback: 0 kB
AnonPages: 133236 kB
Mapped: 117336 kB
Shmem: 17924 kB
KReclaimable: 118312 kB
Slab: 204932 kB
SReclaimable: 118312 kB
SUnreclaim: 86620 kB
KernelStack: 4048 kB
PageTables: 3148 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 480096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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= 431888 MiB
End job on nodeC003 at 2025-07-04 06:43:44