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 (62233 MiB free)
memory of node 1: 64507 MiB (61443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515400-1751231543/watcher-4515400-1751231543 -o /tmp/evaluation-result-4515400-1751231543/solver-4515400-1751231543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751227908-28509 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1155635598 --ls=0 --inp-dombreaklim=0 HOME/instance-4515400-1751231543.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29600, runsolver pid=29597
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126582852/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=87800 memory=64372 CPUtime=0.1 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 12428 0 0 0 8 2 0 0 20 0 1 0 38834207 89907200 16093 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 21950 16093 1024 1200 0 20430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87800 KiB
Current children cumulated memory: 64372 KiB
[startup+0.20563 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126562880/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=106480 memory=82352 CPUtime=0.2 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 16662 0 0 0 17 3 0 0 20 0 1 0 38834207 109035520 20588 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 26620 20588 1024 1200 0 25100 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106480 KiB
Current children cumulated memory: 82352 KiB
[startup+0.305617 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126534844/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=133384 memory=108764 CPUtime=0.3 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 23279 0 0 0 26 4 0 0 20 0 1 0 38834207 136585216 27191 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 33346 27191 1184 1200 0 31826 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133384 KiB
Current children cumulated memory: 108764 KiB
[startup+0.700175 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126518468/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=137304 memory=116064 CPUtime=0.68 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 24479 0 0 0 63 5 0 0 20 0 1 0 38834207 140599296 29016 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 34326 29016 1280 1200 0 32806 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137304 KiB
Current children cumulated memory: 116064 KiB
[startup+1.50015 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126510404/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=140324 memory=121052 CPUtime=1.49 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 25227 0 0 0 143 6 0 0 20 0 1 0 38834207 143691776 30263 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 35081 30263 1280 1200 0 33561 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140324 KiB
Current children cumulated memory: 121052 KiB
[startup+3.10536 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126478168/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=146384 memory=127068 CPUtime=3.08 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 26732 0 0 0 302 6 0 0 20 0 1 0 38834207 149897216 31767 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 36596 31767 1280 1200 0 35076 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146384 KiB
Current children cumulated memory: 127068 KiB
[startup+6.30015 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 29601
/proc/meminfo: memFree=126462040/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=151704 memory=132316 CPUtime=6.28 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 28071 0 0 0 621 7 0 0 20 0 1 0 38834207 155344896 33079 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 37926 33079 1280 1200 0 36406 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 151704 KiB
Current children cumulated memory: 132316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 29601
/proc/meminfo: memFree=126380760/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=160348 memory=141020 CPUtime=12.65 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 30259 0 0 0 1258 7 0 0 20 0 1 0 38834207 164196352 35255 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 40087 35255 1280 1200 0 38567 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 160348 KiB
Current children cumulated memory: 141020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 29601
/proc/meminfo: memFree=126176864/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=174376 memory=154460 CPUtime=25.42 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 33613 0 0 0 2533 9 0 0 20 0 1 0 38834207 178561024 38615 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 43594 38615 1280 1200 0 42074 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 174376 KiB
Current children cumulated memory: 154460 KiB
[startup+51.1055 s]
/proc/loadavg: 4.47 4.19 4.12 5/263 29602
/proc/meminfo: memFree=125845748/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=193568 memory=173532 CPUtime=50.95 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 38411 0 0 0 5082 13 0 0 20 0 1 0 38834207 198213632 43383 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 48392 43383 1280 1200 0 46872 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 193568 KiB
Current children cumulated memory: 173532 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/262 29603
/proc/meminfo: memFree=125565720/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=231516 memory=211164 CPUtime=102.01 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 47838 0 0 0 10181 20 0 0 20 0 1 0 38834207 237072384 52791 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 57879 52791 1280 1200 0 56359 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 231516 KiB
Current children cumulated memory: 211164 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/262 29605
/proc/meminfo: memFree=125000120/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=254380 memory=234076 CPUtime=161.84 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 53551 0 0 0 16163 21 0 0 20 0 1 0 38834207 260485120 58519 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 63595 58519 1280 1200 0 62075 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 254380 KiB
Current children cumulated memory: 234076 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/263 29610
/proc/meminfo: memFree=124774392/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=289776 memory=275064 CPUtime=221.68 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 62274 0 0 0 22137 31 0 0 20 0 1 0 38834207 296730624 68766 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 72444 68766 1280 1200 0 70924 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 289776 KiB
Current children cumulated memory: 275064 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 29612
/proc/meminfo: memFree=124408228/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=319680 memory=304760 CPUtime=281.52 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 69730 0 0 0 28116 36 0 0 20 0 1 0 38834207 327352320 76190 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 79920 76190 1280 1200 0 78400 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 319680 KiB
Current children cumulated memory: 304760 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 4/262 29631
/proc/meminfo: memFree=124478740/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=329264 memory=314232 CPUtime=341.34 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 72103 0 0 0 34086 48 0 0 20 0 1 0 38834207 337166336 78558 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 82316 78558 1280 1200 0 80796 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 329264 KiB
Current children cumulated memory: 314232 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 29843
/proc/meminfo: memFree=124328608/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=351964 memory=337016 CPUtime=401.16 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 77796 0 0 0 40063 53 0 0 20 0 1 0 38834207 360411136 84254 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 87991 84254 1280 1200 0 86471 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 351964 KiB
Current children cumulated memory: 337016 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 29848
/proc/meminfo: memFree=123999436/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=384524 memory=368504 CPUtime=461 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 85691 0 0 0 46044 56 0 0 20 0 1 0 38834207 393752576 92126 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
################
# More data... #
################
Current children cumulated memory: 892024 KiB
[startup+2862.3 s]
/proc/loadavg: 3.13 3.31 3.67 4/258 30093
/proc/meminfo: memFree=123667264/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=925212 memory=897272 CPUtime=2854.2 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 218046 0 0 0 285151 269 0 0 20 0 1 0 38834207 947417088 224318 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 231303 224318 1312 1200 0 229783 0
Current children cumulated CPU time: 2854.2 s
Current children cumulated vsize: 925212 KiB
Current children cumulated memory: 897272 KiB
[startup+2922.3 s]
/proc/loadavg: 3.11 3.26 3.63 4/258 30120
/proc/meminfo: memFree=123610572/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=937196 memory=909304 CPUtime=2914 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 221084 0 0 0 291128 272 0 0 20 0 1 0 38834207 959688704 227326 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 234299 227326 1312 1200 0 232779 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 937196 KiB
Current children cumulated memory: 909304 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.23 3.60 4/256 30122
/proc/meminfo: memFree=123603104/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=944224 memory=916472 CPUtime=2973.79 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 222865 0 0 0 297097 282 0 0 20 0 1 0 38834207 966885376 229118 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 236056 229118 1312 1200 0 234536 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 944224 KiB
Current children cumulated memory: 916472 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.20 3.56 4/256 30124
/proc/meminfo: memFree=123586600/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=949236 memory=921464 CPUtime=3033.59 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 224110 0 0 0 303076 283 0 0 20 0 1 0 38834207 972017664 230366 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 237309 230366 1312 1200 0 235789 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 949236 KiB
Current children cumulated memory: 921464 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.19 3.54 4/256 30126
/proc/meminfo: memFree=123578684/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=954500 memory=926712 CPUtime=3093.39 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 225430 0 0 0 309047 292 0 0 20 0 1 0 38834207 977408000 231678 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 238625 231678 1312 1200 0 237105 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 954500 KiB
Current children cumulated memory: 926712 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.17 3.51 4/256 30128
/proc/meminfo: memFree=123555128/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=971476 memory=943224 CPUtime=3153.19 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 229566 0 0 0 315022 297 0 0 20 0 1 0 38834207 994791424 235806 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 242869 235806 1312 1200 0 241349 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 971476 KiB
Current children cumulated memory: 943224 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.17 3.48 4/258 30134
/proc/meminfo: memFree=123522852/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=983356 memory=954872 CPUtime=3212.99 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 232477 0 0 0 321001 298 0 0 20 0 1 0 38834207 1006956544 238718 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 245839 238718 1312 1200 0 244319 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 983356 KiB
Current children cumulated memory: 954872 KiB
[startup+3282.3 s]
/proc/loadavg: 3.05 3.13 3.45 4/259 30137
/proc/meminfo: memFree=123503496/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=987556 memory=958968 CPUtime=3272.79 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 233526 0 0 0 326970 309 0 0 20 0 1 0 38834207 1011257344 239742 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 246889 239742 1312 1200 0 245369 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 987556 KiB
Current children cumulated memory: 958968 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.14 3.43 4/259 30141
/proc/meminfo: memFree=123463092/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=987880 memory=959224 CPUtime=3332.59 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 233595 0 0 0 332922 337 0 0 20 0 1 0 38834207 1011589120 239806 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 246970 239806 1312 1200 0 245450 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 987880 KiB
Current children cumulated memory: 959224 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.13 3.41 4/259 30143
/proc/meminfo: memFree=123455408/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=988100 memory=959352 CPUtime=3392.41 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 233644 0 0 0 338877 364 0 0 20 0 1 0 38834207 1011814400 239838 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 247025 239838 1312 1200 0 245505 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 988100 KiB
Current children cumulated memory: 959352 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.12 3.38 4/259 30147
/proc/meminfo: memFree=123447712/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=992916 memory=964344 CPUtime=3452.21 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 234900 0 0 0 344847 374 0 0 20 0 1 0 38834207 1016745984 241086 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 248229 241086 1312 1200 0 246709 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 992916 KiB
Current children cumulated memory: 964344 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.12 3.37 4/258 30150
/proc/meminfo: memFree=123431784/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=999160 memory=970488 CPUtime=3512 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 236615 0 0 0 350826 374 0 0 20 0 1 0 38834207 1023139840 242622 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 249790 242622 1312 1200 0 248270 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 999160 KiB
Current children cumulated memory: 970488 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.11 3.35 4/257 30152
/proc/meminfo: memFree=123395276/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=1015424 memory=986360 CPUtime=3571.8 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 240623 0 0 0 356805 375 0 0 20 0 1 0 38834207 1039794176 246590 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 253856 246590 1312 1200 0 252336 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1015424 KiB
Current children cumulated memory: 986360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 2.84 3.05 3.32 3/251 30184
/proc/meminfo: memFree=127281604/131250000 swapFree=33010684/33010684
[pid=29600] ppid=29597 vsize=1017056 memory=987896 CPUtime=3600 cores=4,6
/proc/29600/stat : 29600 (Exact) R 29597 29600 28498 0 -1 4194304 241053 0 0 0 359625 375 0 0 20 0 1 0 38834207 1041465344 246974 18446744073709551615 4198400 9112445 140732572209936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 18169856 140732572215592 140732572215789 140732572215789 140732572221391 0
/proc/29600/statm: 254264 246974 1312 1200 0 252744 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1017056 KiB
Current children cumulated memory: 987896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.67 s]
# the end of solver process 29600 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.3 s, system=3.79499 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.67
CPU time (s): 3600.09
CPU user time (s): 3596.3
CPU system time (s): 3.79499
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 1017056
Max. memory (cumulated for all children) (KiB): 987896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 3.79499
maximum resident set size= 987896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241060
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= 4
involuntary context switches= 5009
# summary of solver processes directly reported to runsolver:
# pid: 29600
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.3
# total CPU system time (s): 3.79499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94743 second user time and 15.9796 second system time
The end
Begin job on nodeC027 at 2025-06-29 23:12:23
IDJOB=4515400
IDBENCH=165256
IDSOLVER=3318
FILE ID=nodeC027/4515400-1751231543
RUNJOBID= nodeC027-1751227908-28509
SLURM_JOB_ID= 9587688
Free space on /tmp= 433028 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515400-1751231543/watcher-4515400-1751231543 -o /tmp/evaluation-result-4515400-1751231543/solver-4515400-1751231543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751227908-28509 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1155635598 --ls=0 --inp-dombreaklim=0 HOME/instance-4515400-1751231543.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 220c3fd455f868773072e11b99a8330e
RANDOM SEED=1155635598
nodeC027 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.722
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.29
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.680
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.29
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.381
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.523
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.29
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.660
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.29
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.671
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.934
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.29
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 : 3700.000
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126646520 kB
MemAvailable: 127067912 kB
Buffers: 3280 kB
Cached: 1225344 kB
SwapCached: 0 kB
Active: 3051376 kB
Inactive: 968744 kB
Active(anon): 2809564 kB
Inactive(anon): 0 kB
Active(file): 241812 kB
Inactive(file): 968744 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16868 kB
Writeback: 0 kB
AnonPages: 2794804 kB
Mapped: 118276 kB
Shmem: 18068 kB
KReclaimable: 99748 kB
Slab: 185552 kB
SReclaimable: 99748 kB
SUnreclaim: 85804 kB
KernelStack: 4272 kB
PageTables: 8632 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3326100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1796096 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC027 at 2025-06-30 00:12:34