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: 64096 MiB (63083 MiB free)
memory of node 1: 64473 MiB (61831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458738-1722988921/watcher-4458738-1722988921 -o /tmp/evaluation-result-4458738-1722988921/solver-4458738-1722988921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722981556-355664 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458738-1722988921.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=361416, runsolver pid=361413
[startup+0.100096 s]*
/proc/loadavg: 4.23 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127902352/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=26168 memory=12012 CPUtime=0.1 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 2326 0 0 0 10 0 0 0 20 0 1 0 65262487 26796032 3003 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 6542 3003 782 2417 0 3644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44760 KiB
Current children cumulated memory: 15716 KiB
[startup+0.214027 s]*
/proc/loadavg: 4.23 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127902184/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=26168 memory=12012 CPUtime=0.21 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 2326 0 0 0 21 0 0 0 20 0 1 0 65262487 26796032 3003 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 6542 3003 782 2417 0 3644 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44760 KiB
Current children cumulated memory: 15716 KiB
[startup+0.314075 s]*
/proc/loadavg: 4.23 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127902016/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=26168 memory=12012 CPUtime=0.31 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 2326 0 0 0 31 0 0 0 20 0 1 0 65262487 26796032 3003 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 6542 3003 782 2417 0 3644 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44760 KiB
Current children cumulated memory: 15716 KiB
[startup+0.700427 s]
/proc/loadavg: 4.23 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127901876/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=26168 memory=12012 CPUtime=0.68 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 2326 0 0 0 68 0 0 0 20 0 1 0 65262487 26796032 3003 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 6542 3003 782 2417 0 3644 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44760 KiB
Current children cumulated memory: 15716 KiB
[startup+1.50044 s]
/proc/loadavg: 4.21 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127901744/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=28588 memory=14504 CPUtime=1.48 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 2972 0 0 0 148 0 0 0 20 0 1 0 65262487 29274112 3626 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 7147 3626 814 2417 0 4249 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47180 KiB
Current children cumulated memory: 18208 KiB
[startup+3.1136 s]
/proc/loadavg: 4.21 4.31 4.22 5/254 361420
/proc/meminfo: memFree=127880020/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=50888 memory=33732 CPUtime=3.09 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 5802 0 0 0 308 1 0 0 20 0 1 0 65262487 52109312 8433 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 12722 8433 814 2417 0 9824 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69480 KiB
Current children cumulated memory: 37436 KiB
[startup+6.30043 s]
/proc/loadavg: 4.27 4.32 4.22 5/254 361420
/proc/meminfo: memFree=127881840/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=46536 memory=31772 CPUtime=6.28 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 6975 0 0 0 626 2 0 0 20 0 1 0 65262487 47652864 7943 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 11634 7943 814 2417 0 8736 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 65128 KiB
Current children cumulated memory: 35476 KiB
[startup+12.7004 s]
/proc/loadavg: 4.25 4.32 4.22 5/254 361421
/proc/meminfo: memFree=127861088/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=68028 memory=52648 CPUtime=12.65 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 8573 0 0 0 1263 2 0 0 20 0 1 0 65262487 69660672 13162 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 17007 13162 814 2417 0 14109 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86620 KiB
Current children cumulated memory: 56352 KiB
[startup+25.5005 s]
/proc/loadavg: 4.21 4.30 4.22 5/254 361423
/proc/meminfo: memFree=127835448/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=98764 memory=77976 CPUtime=25.42 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 10260 0 0 0 2539 3 0 0 20 0 1 0 65262487 101134336 19494 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 24691 19494 814 2417 0 21793 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 117356 KiB
Current children cumulated memory: 81680 KiB
[startup+51.1138 s]
/proc/loadavg: 4.21 4.29 4.21 5/254 361428
/proc/meminfo: memFree=127828540/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 671 594 264 0 134 0
[pid=361419] ppid=361416 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/361419/stat : 361419 (timeout) S 361416 361419 355653 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65262487 8867840 255 134679101440 94470115471360 94470115506376 140729335405984 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94470117603792 94470117605924 94470147432448 140729335411737 140729335411869 140729335411869 140729335418855 0
/proc/361419/statm: 2165 255 230 9 0 87 0
[pid=361420] ppid=361419 vsize=98764 memory=82072 CPUtime=50.98 cores=4,6
/proc/361420/stat : 361420 (CASHWMaxSAT-Dis) R 361419 361419 355653 0 -1 4194304 10312 0 0 0 5094 4 0 0 20 0 1 0 65262487 101134336 20518 134679101440 4194304 14093885 140727522483760 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 53088256 140727522489375 140727522489494 140727522489494 140727522496480 0
/proc/361420/statm: 24691 20518 814 2417 0 21793 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 117356 KiB
Current children cumulated memory: 85776 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.24 4.20 5/254 361438
/proc/meminfo: memFree=127782880/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65262487 10170368 671 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
################
# More data... #
################
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3394.67 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3462.3 s]
/proc/loadavg: 3.88 4.07 4.13 4/245 363429
/proc/meminfo: memFree=127716924/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1661.22 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13911 0 0 0 129262 36860 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3454.58 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3522.3 s]
/proc/loadavg: 3.37 3.88 4.06 4/245 363442
/proc/meminfo: memFree=127481148/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1721.09 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13915 0 0 0 133894 38215 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3514.45 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3582.3 s]
/proc/loadavg: 3.39 3.79 4.01 4/245 363465
/proc/meminfo: memFree=127492556/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1780.97 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 138549 39548 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3574.33 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3596.04 s]
# the end of solver process 361416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3185.66 s, system=402.414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.39 3.79 4.01 4/245 363465
/proc/meminfo: memFree=127490508/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1782.68 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 138682 39586 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3576.04 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3590.4 s]
/proc/loadavg: 3.44 3.79 4.01 4/245 363466
/proc/meminfo: memFree=127488404/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1789.05 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 139172 39733 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3582.41 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3593.6 s]
/proc/loadavg: 3.49 3.79 4.01 4/244 363466
/proc/meminfo: memFree=127486360/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1792.25 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 139421 39804 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3595.2 s]
/proc/loadavg: 3.49 3.79 4.01 4/244 363466
/proc/meminfo: memFree=127486360/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1793.84 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 139544 39840 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3595.6 s]
/proc/loadavg: 3.49 3.79 4.01 4/244 363466
/proc/meminfo: memFree=127486360/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1794.24 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 139574 39850 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
[startup+3596 s]*
/proc/loadavg: 3.49 3.79 4.01 4/244 363466
/proc/meminfo: memFree=127486360/131655788 swapFree=131071728/131071996
[pid=361416] ppid=361413 vsize=9932 memory=2732 CPUtime=1793.36 cores=4,6
/proc/361416/stat : 361416 (Hybrid-LSMabSP+) S 361413 361416 355653 0 -1 4194304 264 204658 0 0 0 0 178957 379 20 0 1 0 65262487 10170368 683 134679101440 94569685094400 94569686173720 140726550701856 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94569688272176 94569688319364 94569711132672 140726550709198 140726550709357 140726550709357 140726550716372 0
/proc/361416/statm: 2483 683 594 264 0 134 0
[pid=362440] ppid=361416 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/362440/stat : 362440 (timeout) S 361416 362440 355653 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65442288 8867840 262 134679101440 94121370689536 94121370724552 140727441721184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94121372821968 94121372824100 94121393930240 140727441724457 140727441724573 140727441724573 140727441731559 0
/proc/362440/statm: 2165 262 238 9 0 87 0
[pid=362441] ppid=362440 vsize=49756 memory=44064 CPUtime=1794.65 cores=4,6
/proc/362441/stat : 362441 (LS-MabSP) R 362440 362440 355653 0 -1 4194304 13919 0 0 0 139605 39860 0 0 20 0 1 0 65442288 50950144 11016 134679101440 4194304 15467897 140722645367696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52965376 140722645369916 140722645370019 140722645370019 140722645377005 0
/proc/362441/statm: 12439 11016 2801 2753 0 9092 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 47844 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3588.07
CPU user time (s): 3185.66
CPU system time (s): 402.414
CPU usage (%): 99.7785
Max. virtual memory (cumulated for all children) (KiB): 319360
Max. memory (cumulated for all children) (KiB): 260648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3185.66
system time used= 402.414
maximum resident set size= 265392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 2876
# summary of solver processes directly reported to runsolver:
# pid: 361416
# total CPU time (s): 3588.07
# total CPU user time (s): 3185.66
# total CPU system time (s): 402.414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4869 second user time and 37.0233 second system time
The end
Begin job on nodeC011 at 2024-08-07 02:02:01
IDJOB=4458738
IDBENCH=178148
IDSOLVER=3069
FILE ID=nodeC011/4458738-1722988921
RUNJOBID= nodeC011-1722981556-355664
SLURM_JOB_ID= 8259084
Free space on /tmp= 723696 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458738-1722988921/watcher-4458738-1722988921 -o /tmp/evaluation-result-4458738-1722988921/solver-4458738-1722988921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722981556-355664 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458738-1722988921.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a221f8025f48b8f9591d653b4a9523ea
RANDOM SEED=259664647
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3671.513
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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 : 3671.985
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.294
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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.220
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 3514.339
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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 : 3672.034
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.135
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
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.374
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127912620 kB
MemAvailable: 129619376 kB
Buffers: 353996 kB
Cached: 2203236 kB
SwapCached: 12 kB
Active: 635116 kB
Inactive: 2621112 kB
Active(anon): 1976 kB
Inactive(anon): 742908 kB
Active(file): 633140 kB
Inactive(file): 1878204 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 29448 kB
Writeback: 0 kB
AnonPages: 699056 kB
Mapped: 121884 kB
Shmem: 45852 kB
KReclaimable: 71224 kB
Slab: 158832 kB
SReclaimable: 71224 kB
SUnreclaim: 87608 kB
KernelStack: 4048 kB
PageTables: 10824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1226304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 489472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 22695936 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC011 at 2024-08-07 03:01:58