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 (62438 MiB free)
memory of node 1: 64507 MiB (60735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481903-1751321963/watcher-4481903-1751321963 -o /tmp/evaluation-result-4481903-1751321963/solver-4481903-1751321963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751313655-46052 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1824438693 --ls=360 HOME/instance-4481903-1751321963.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=47200, runsolver pid=47197
[startup+0.10006 s]*
/proc/loadavg: 4.09 4.14 4.10 5/264 47201
/proc/meminfo: memFree=126042540/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=117968 memory=95112 CPUtime=0.09 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 14532 0 0 0 7 2 0 0 20 0 1 0 47874063 120799232 23778 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 29492 23778 1024 1200 0 27972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117968 KiB
Current children cumulated memory: 95112 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=126027060/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=140848 memory=118348 CPUtime=0.2 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 19696 0 0 0 17 3 0 0 20 0 1 0 47874063 144228352 29587 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 35212 29587 1024 1200 0 33692 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140848 KiB
Current children cumulated memory: 118348 KiB
[startup+0.305624 s]*
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=126006836/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=163336 memory=141452 CPUtime=0.29 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 24199 0 0 0 25 4 0 0 20 0 1 0 47874063 167256064 35363 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 40834 35363 1024 1200 0 39314 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 163336 KiB
Current children cumulated memory: 141452 KiB
[startup+0.700164 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=125950256/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=257788 memory=234096 CPUtime=0.69 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 39705 0 0 0 61 8 0 0 20 0 1 0 47874063 263974912 58524 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 64447 58524 1024 1200 0 62927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 257788 KiB
Current children cumulated memory: 234096 KiB
[startup+1.50013 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=125775660/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=437132 memory=409604 CPUtime=1.48 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 64178 0 0 0 134 14 0 0 20 0 1 0 47874063 447623168 102401 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 109283 102401 1024 1200 0 107763 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 437132 KiB
Current children cumulated memory: 409604 KiB
[startup+3.1056 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=125582660/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=3.08 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72143 0 0 0 293 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 47201
/proc/meminfo: memFree=125481408/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=6.26 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72227 0 0 0 611 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.13 4.10 5/264 47202
/proc/meminfo: memFree=125134232/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=12.63 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72269 0 0 0 1248 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 47202
/proc/meminfo: memFree=125093132/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=25.37 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72287 0 0 0 2522 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 47202
/proc/meminfo: memFree=125077780/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=50.86 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72371 0 0 0 5071 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 47204
/proc/meminfo: memFree=125051104/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=101.82 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72431 0 0 0 10167 15 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 47206
/proc/meminfo: memFree=125020232/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=161.56 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72491 0 0 0 16140 16 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 47208
/proc/meminfo: memFree=124977504/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=221.3 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72509 0 0 0 22114 16 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 47210
/proc/meminfo: memFree=124950724/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=281.03 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72533 0 0 0 28087 16 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 281.03 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 47212
/proc/meminfo: memFree=124824924/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=468804 memory=441348 CPUtime=340.77 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 72551 0 0 0 34061 16 0 0 20 0 1 0 47874063 480055296 110337 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 117201 110337 1024 1200 0 115681 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 468804 KiB
Current children cumulated memory: 441348 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 47216
/proc/meminfo: memFree=124471644/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=796264 memory=726664 CPUtime=400.56 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 91774 0 0 0 40029 27 0 0 20 0 1 0 47874063 815374336 181666 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 199066 181666 1248 1200 0 197546 0
Current children cumulated CPU time: 400.56 s
Current children cumulated vsize: 796264 KiB
Current children cumulated memory: 726664 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 47269
/proc/meminfo: memFree=124762528/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=796264 memory=732808 CPUtime=460.38 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 91839 0 0 0 46011 27 0 0 20 0 1 0 47874063 815374336 183202 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 199066 183202 1248 1200 0 197546 0
Current children cumulated CPU time: 460.38 s
################
# More data... #
################
Current children cumulated memory: 1211168 KiB
[startup+2922.3 s]
/proc/loadavg: 3.11 3.37 3.74 4/257 47431
/proc/meminfo: memFree=123613364/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1378704 memory=1211168 CPUtime=2913.14 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 141530 0 0 0 291259 55 0 0 20 0 1 0 47874063 1411792896 302792 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 344676 302792 1248 1200 0 343156 0
Current children cumulated CPU time: 2913.14 s
Current children cumulated vsize: 1378704 KiB
Current children cumulated memory: 1211168 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.33 3.70 4/258 47434
/proc/meminfo: memFree=123472252/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1492120 memory=1353252 CPUtime=2972.95 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 170080 0 0 0 297234 61 0 0 20 0 1 0 47874063 1527930880 338313 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 373030 338313 1248 1200 0 371510 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 1492120 KiB
Current children cumulated memory: 1353252 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.29 3.66 4/258 47436
/proc/meminfo: memFree=123414116/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1534336 memory=1399688 CPUtime=3032.76 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 180836 0 0 0 303213 63 0 0 20 0 1 0 47874063 1571160064 349922 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 383584 349922 1248 1200 0 382064 0
Current children cumulated CPU time: 3032.76 s
Current children cumulated vsize: 1534336 KiB
Current children cumulated memory: 1399688 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.25 3.62 4/258 47439
/proc/meminfo: memFree=123354236/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1543668 memory=1427440 CPUtime=3092.58 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 183478 0 0 0 309194 64 0 0 20 0 1 0 47874063 1580716032 356860 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 385917 356860 1248 1200 0 384397 0
Current children cumulated CPU time: 3092.58 s
Current children cumulated vsize: 1543668 KiB
Current children cumulated memory: 1427440 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.23 3.59 4/257 47441
/proc/meminfo: memFree=123350372/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1543668 memory=1431624 CPUtime=3152.41 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 183730 0 0 0 315177 64 0 0 20 0 1 0 47874063 1580716032 357906 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 385917 357906 1248 1200 0 384397 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 1543668 KiB
Current children cumulated memory: 1431624 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.20 3.56 4/257 47443
/proc/meminfo: memFree=123294060/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1543668 memory=1431624 CPUtime=3212.23 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 183963 0 0 0 321159 64 0 0 20 0 1 0 47874063 1580716032 357906 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 385917 357906 1248 1200 0 384397 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 1543668 KiB
Current children cumulated memory: 1431624 KiB
[startup+3282.3 s]
/proc/loadavg: 2.64 3.07 3.49 3/250 47476
/proc/meminfo: memFree=125076080/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1543668 memory=1448008 CPUtime=3272.06 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 184368 0 0 0 327142 64 0 0 20 0 1 0 47874063 1580716032 362002 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 385917 362002 1248 1200 0 384397 0
Current children cumulated CPU time: 3272.06 s
Current children cumulated vsize: 1543668 KiB
Current children cumulated memory: 1448008 KiB
[startup+3342.3 s]
/proc/loadavg: 2.33 2.90 3.40 3/250 47478
/proc/meminfo: memFree=125006152/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1588880 memory=1521584 CPUtime=3331.88 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 195889 0 0 0 333122 66 0 0 20 0 1 0 47874063 1627013120 380396 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 397220 380396 1248 1200 0 395700 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 1588880 KiB
Current children cumulated memory: 1521584 KiB
[startup+3402.3 s]
/proc/loadavg: 2.17 2.75 3.32 3/250 47480
/proc/meminfo: memFree=125006048/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1588880 memory=1521584 CPUtime=3391.71 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 196146 0 0 0 339104 67 0 0 20 0 1 0 47874063 1627013120 380396 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 397220 380396 1248 1200 0 395700 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 1588880 KiB
Current children cumulated memory: 1521584 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.63 3.24 3/251 47485
/proc/meminfo: memFree=124997296/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1589412 memory=1530316 CPUtime=3451.52 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 196573 0 0 0 345085 67 0 0 20 0 1 0 47874063 1627557888 382579 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 397353 382579 1248 1200 0 395833 0
Current children cumulated CPU time: 3451.52 s
Current children cumulated vsize: 1589412 KiB
Current children cumulated memory: 1530316 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.53 3.16 3/251 47491
/proc/meminfo: memFree=124852916/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=2039648 memory=1644564 CPUtime=3511.34 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 217634 0 0 0 351053 81 0 0 20 0 1 0 47874063 2088599552 411141 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 509912 411141 1248 1200 0 508392 0
Current children cumulated CPU time: 3511.34 s
Current children cumulated vsize: 2039648 KiB
Current children cumulated memory: 1644564 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.44 3.09 3/252 47494
/proc/meminfo: memFree=124828164/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=2039648 memory=1644564 CPUtime=3571.15 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 217878 0 0 0 357034 81 0 0 20 0 1 0 47874063 2088599552 411141 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 509912 411141 1248 1200 0 508392 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 2039648 KiB
Current children cumulated memory: 1644564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 2.11 2.42 3.06 3/252 47495
/proc/meminfo: memFree=124820824/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=2039784 memory=1653044 CPUtime=3600.06 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 218151 0 0 0 359925 81 0 0 20 0 1 0 47874063 2088738816 413261 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 509946 413261 1248 1200 0 508426 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2039784 KiB
Current children cumulated memory: 1653044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.67 s]
# the end of solver process 47200 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.835421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.6 s]
/proc/loadavg: 2.11 2.42 3.06 3/252 47495
/proc/meminfo: memFree=124820824/131249996 swapFree=33010684/33010684
[pid=47200] ppid=47197 vsize=1113656 memory=1106172 CPUtime=3600.36 cores=5,7
/proc/47200/stat : 47200 (Exact) R 47197 47200 46039 0 -1 4194304 218307 0 0 0 359955 81 0 0 20 0 1 0 47874063 1140383744 276543 18446744073709551615 4198400 9112445 140731069354272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 45182976 140731069360442 140731069360621 140731069360621 140731069366223 0
/proc/47200/statm: 278414 276543 1280 1200 0 276894 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 1113656 KiB
Current children cumulated memory: 1106172 KiB
Child status: 0
Real time (s): 3611.67
CPU time (s): 3600.44
CPU user time (s): 3599.6
CPU system time (s): 0.835421
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 2457484
Max. memory (cumulated for all children) (KiB): 1781936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.835421
maximum resident set size= 2060464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218353
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= 12
involuntary context switches= 18768
# summary of solver processes directly reported to runsolver:
# pid: 47200
# total CPU time (s): 3600.44
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.835421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86728 second user time and 14.9588 second system time
The end
Begin job on nodeC017 at 2025-07-01 00:19:23
IDJOB=4481903
IDBENCH=147318
IDSOLVER=3317
FILE ID=nodeC017/4481903-1751321963
RUNJOBID= nodeC017-1751313655-46052
SLURM_JOB_ID= 9594314
Free space on /tmp= 432968 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4481903-1751321963/watcher-4481903-1751321963 -o /tmp/evaluation-result-4481903-1751321963/solver-4481903-1751321963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751313655-46052 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1824438693 --ls=360 HOME/instance-4481903-1751321963.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 607a385ad096de7d3af24e5f6042a910
RANDOM SEED=1824438693
nodeC017 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 : 3600.063
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 : 7000.12
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.979
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 : 7000.12
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 : 3600.836
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 : 7000.12
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 : 3600.711
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 : 7000.12
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 : 3600.068
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 : 7000.12
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 : 3577.621
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 : 7000.12
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 : 3601.502
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 : 7000.12
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 : 3600.060
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126129836 kB
MemAvailable: 129011688 kB
Buffers: 2380 kB
Cached: 3652784 kB
SwapCached: 0 kB
Active: 1060712 kB
Inactive: 3347236 kB
Active(anon): 770856 kB
Inactive(anon): 12 kB
Active(file): 289856 kB
Inactive(file): 3347224 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29856 kB
Writeback: 0 kB
AnonPages: 756024 kB
Mapped: 118736 kB
Shmem: 18080 kB
KReclaimable: 167624 kB
Slab: 257272 kB
SReclaimable: 167624 kB
SUnreclaim: 89648 kB
KernelStack: 4312 kB
PageTables: 4608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1134852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 532480 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC017 at 2025-07-01 01:19:35