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 (62739 MiB free)
memory of node 1: 64473 MiB (62423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458192-1722988096/watcher-4458192-1722988096 -o /tmp/evaluation-result-4458192-1722988096/solver-4458192-1722988096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722980870-344566 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458192-1722988096.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=349633, runsolver pid=349630
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128159504/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=28044 memory=9852 CPUtime=0.09 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 1810 0 0 0 9 0 0 0 20 0 1 0 65180216 28717056 2463 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 7051 2463 782 2417 0 4153 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46636 KiB
Current children cumulated memory: 13600 KiB
[startup+0.212416 s]*
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128156004/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=27324 memory=12916 CPUtime=0.21 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 2929 0 0 0 20 1 0 0 20 0 1 0 65180216 27979776 3229 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 6831 3229 782 2417 0 3933 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45916 KiB
Current children cumulated memory: 16664 KiB
[startup+0.312384 s]*
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128155492/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=27324 memory=13240 CPUtime=0.3 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 2983 0 0 0 29 1 0 0 20 0 1 0 65180216 27979776 3310 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 6831 3310 798 2417 0 3933 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45916 KiB
Current children cumulated memory: 16988 KiB
[startup+0.700517 s]
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128155352/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=28980 memory=13504 CPUtime=0.68 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 3060 0 0 0 67 1 0 0 20 0 1 0 65180216 29675520 3376 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 7245 3376 798 2417 0 4347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 17252 KiB
[startup+1.50049 s]
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128153448/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=32292 memory=17924 CPUtime=1.47 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 3647 0 0 0 146 1 0 0 20 0 1 0 65180216 33067008 4481 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 8073 4481 798 2417 0 5175 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50884 KiB
Current children cumulated memory: 21672 KiB
[startup+3.11333 s]
/proc/loadavg: 4.11 4.21 4.20 5/248 349637
/proc/meminfo: memFree=128146600/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=37672 memory=21812 CPUtime=3.08 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 4090 0 0 0 307 1 0 0 20 0 1 0 65180216 38576128 5453 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 9418 5453 798 2417 0 6520 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 25560 KiB
[startup+6.30046 s]
/proc/loadavg: 4.10 4.21 4.19 5/248 349639
/proc/meminfo: memFree=128144400/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=33716 memory=18348 CPUtime=6.26 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 5288 0 0 0 624 2 0 0 20 0 1 0 65180216 34525184 4587 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 8429 4587 798 2417 0 5531 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52308 KiB
Current children cumulated memory: 22096 KiB
[startup+12.7005 s]
/proc/loadavg: 4.09 4.20 4.19 5/248 349639
/proc/meminfo: memFree=128139824/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=42324 memory=28112 CPUtime=12.64 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 5719 0 0 0 1262 2 0 0 20 0 1 0 65180216 43339776 7028 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 10581 7028 798 2417 0 7683 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 60916 KiB
Current children cumulated memory: 31860 KiB
[startup+25.5005 s]
/proc/loadavg: 4.07 4.19 4.19 5/248 349640
/proc/meminfo: memFree=128130720/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=45860 memory=31744 CPUtime=25.41 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 6636 0 0 0 2539 2 0 0 20 0 1 0 65180216 46960640 7936 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 11465 7936 798 2417 0 8567 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64452 KiB
Current children cumulated memory: 35492 KiB
[startup+51.1131 s]
/proc/loadavg: 4.11 4.19 4.19 5/248 349645
/proc/meminfo: memFree=128112240/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 688 610 264 0 134 0
[pid=349636] ppid=349633 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/349636/stat : 349636 (timeout) S 349633 349636 344554 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65180216 8867840 249 134679101440 94404919664640 94404919699656 140720927507600 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94404921797072 94404921799204 94404922834944 140720927511581 140720927511713 140720927511713 140720927518695 0
/proc/349636/statm: 2165 249 225 9 0 87 0
[pid=349637] ppid=349636 vsize=45860 memory=31744 CPUtime=50.95 cores=1,3
/proc/349637/stat : 349637 (CASHWMaxSAT-Dis) R 349636 349636 344554 0 -1 4194304 6651 0 0 0 5093 2 0 0 20 0 1 0 65180216 46960640 7936 134679101440 4194304 14093885 140733276526832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 44617728 140733276533795 140733276533914 140733276533914 140733276540896 0
/proc/349637/statm: 11465 7936 798 2417 0 8567 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 64452 KiB
Current children cumulated memory: 35492 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/248 349655
/proc/meminfo: memFree=128103336/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65180215 10170368 688 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
################
# More data... #
################
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3394.93 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/246 351524
/proc/meminfo: memFree=128923672/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1661.07 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 878 0 0 0 149129 16978 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3454.83 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/246 351535
/proc/meminfo: memFree=128912472/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1720.94 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 879 0 0 0 154461 17633 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3514.7 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3582.3 s]
/proc/loadavg: 3.73 4.05 4.12 3/229 351631
/proc/meminfo: memFree=129012056/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1780.83 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 159765 18318 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3596.03 s]
# the end of solver process 349633 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3403.34 s, system=184.998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.59 4.01 4.11 3/229 351631
/proc/meminfo: memFree=129007988/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1782.54 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 159916 18338 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3576.3 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3590.4 s]
/proc/loadavg: 3.46 3.98 4.10 3/229 351632
/proc/meminfo: memFree=128992872/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1788.92 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 160487 18405 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3582.68 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3593.6 s]
/proc/loadavg: 3.46 3.98 4.10 3/229 351632
/proc/meminfo: memFree=128986728/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1792.11 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 160765 18446 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3595.2 s]
/proc/loadavg: 3.34 3.94 4.09 3/229 351632
/proc/meminfo: memFree=129012056/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1793.71 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 160907 18464 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3595.6 s]
/proc/loadavg: 3.34 3.94 4.09 3/229 351632
/proc/meminfo: memFree=129012056/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1794.11 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 160943 18468 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
[startup+3596 s]*
/proc/loadavg: 3.34 3.94 4.09 3/229 351634
/proc/meminfo: memFree=129010036/131655788 swapFree=131071216/131071996
[pid=349633] ppid=349630 vsize=9932 memory=2796 CPUtime=1793.76 cores=1,3
/proc/349633/stat : 349633 (Hybrid-LSMabSP+) S 349630 349633 344554 0 -1 4194304 265 13203 0 0 0 0 179352 24 20 0 1 0 65180215 10170368 699 134679101440 93923889750016 93923890829336 140737008625600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93923892927792 93923892974980 93923921571840 140737008628690 140737008628849 140737008628849 140737008635860 0
/proc/349633/statm: 2483 699 610 264 0 134 0
[pid=350539] ppid=349633 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/350539/stat : 350539 (timeout) S 349633 350539 344554 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65360016 8867840 259 134679101440 94055585755136 94055585790152 140723501920384 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94055587887568 94055587889700 94055596658688 140723501929517 140723501929633 140723501929633 140723501936615 0
/proc/350539/statm: 2165 259 234 9 0 87 0
[pid=350540] ppid=350539 vsize=21892 memory=9644 CPUtime=1794.52 cores=1,3
/proc/350540/stat : 350540 (LS-MabSP) R 350539 350539 344554 0 -1 4194304 880 0 0 0 160979 18473 0 0 20 0 1 0 65360017 22417408 2411 134679101440 4194304 15467897 140723439475264 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33021952 140723439477824 140723439477927 140723439477927 140723439484909 0
/proc/350540/statm: 5473 2411 1089 2753 0 2126 0
Current children cumulated CPU time: 3588.28 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 13476 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3588.33
CPU user time (s): 3403.34
CPU system time (s): 184.998
CPU usage (%): 99.786
Max. virtual memory (cumulated for all children) (KiB): 152076
Max. memory (cumulated for all children) (KiB): 94956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3403.34
system time used= 184.998
maximum resident set size= 107908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 1153
# summary of solver processes directly reported to runsolver:
# pid: 349633
# total CPU time (s): 3588.33
# total CPU user time (s): 3403.34
# total CPU system time (s): 184.998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6281 second user time and 37.3939 second system time
The end
Begin job on nodeC007 at 2024-08-07 01:48:16
IDJOB=4458192
IDBENCH=177178
IDSOLVER=3069
FILE ID=nodeC007/4458192-1722988096
RUNJOBID= nodeC007-1722980870-344566
SLURM_JOB_ID= 8259081
Free space on /tmp= 723696 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458192-1722988096/watcher-4458192-1722988096 -o /tmp/evaluation-result-4458192-1722988096/solver-4458192-1722988096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722980870-344566 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458192-1722988096.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=1073269743
nodeC007.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 : 3676.464
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.58
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 : 3491.808
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.35
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.345
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.58
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.187
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.35
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 : 3678.263
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.58
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 : 3500.972
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.35
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.330
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.58
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.289
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128167448 kB
MemAvailable: 128997496 kB
Buffers: 349952 kB
Cached: 1328408 kB
SwapCached: 100 kB
Active: 668148 kB
Inactive: 2347940 kB
Active(anon): 1548 kB
Inactive(anon): 1373328 kB
Active(file): 666600 kB
Inactive(file): 974612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 88068 kB
Writeback: 0 kB
AnonPages: 1337188 kB
Mapped: 110764 kB
Shmem: 37460 kB
KReclaimable: 58068 kB
Slab: 145112 kB
SReclaimable: 58068 kB
SUnreclaim: 87044 kB
KernelStack: 3980 kB
PageTables: 12040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1800456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 915456 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: 297800 kB
DirectMap2M: 19529728 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC007 at 2024-08-07 02:48:12