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: 63931 MiB (60481 MiB free)
memory of node 1: 64510 MiB (62962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441943-1721294265/watcher-4441943-1721294265 -o /tmp/evaluation-result-4441943-1721294265/solver-4441943-1721294265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721294258-965704 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4441943-1721294265.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=966600, runsolver pid=966597
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.00 4.09 4.08 5/268 966604
/proc/meminfo: memFree=126369944/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=39688 memory=21224 CPUtime=0.09 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 4633 0 0 0 8 1 0 0 20 0 1 0 181590639 40640512 5306 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 9922 5306 750 2417 0 7024 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58280 KiB
Current children cumulated memory: 24992 KiB
[startup+0.205644 s]*
/proc/loadavg: 4.00 4.09 4.08 5/268 966604
/proc/meminfo: memFree=126340168/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=56736 memory=40048 CPUtime=0.2 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 9554 0 0 0 18 2 0 0 20 0 1 0 181590639 58097664 10012 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 14184 10012 782 2417 0 11286 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75328 KiB
Current children cumulated memory: 43816 KiB
[startup+0.3059 s]*
/proc/loadavg: 4.00 4.09 4.08 6/263 966616
/proc/meminfo: memFree=126374092/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=55060 memory=39844 CPUtime=0.3 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 10145 0 0 0 28 2 0 0 20 0 1 0 181590639 56381440 9961 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 13765 9961 814 2417 0 10867 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73652 KiB
Current children cumulated memory: 43612 KiB
[startup+0.700262 s]
/proc/loadavg: 4.00 4.09 4.08 4/263 966626
/proc/meminfo: memFree=126374704/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=63736 memory=46548 CPUtime=0.68 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 11443 0 0 0 66 2 0 0 20 0 1 0 181590639 65265664 11637 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 15934 11637 814 2417 0 13036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82328 KiB
Current children cumulated memory: 50316 KiB
[startup+1.50026 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966661
/proc/meminfo: memFree=126322172/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=70876 memory=56108 CPUtime=1.48 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 12265 0 0 0 146 2 0 0 20 0 1 0 181590639 72577024 14027 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 17719 14027 814 2417 0 14821 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 59876 KiB
[startup+3.10579 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966718
/proc/meminfo: memFree=126290776/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=70876 memory=56108 CPUtime=3.08 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 12271 0 0 0 306 2 0 0 20 0 1 0 181590639 72577024 14027 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 17719 14027 814 2417 0 14821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 59876 KiB
[startup+6.30026 s]
/proc/loadavg: 4.00 4.09 4.08 5/268 966720
/proc/meminfo: memFree=126286640/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=70876 memory=56108 CPUtime=6.27 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 12277 0 0 0 625 2 0 0 20 0 1 0 181590639 72577024 14027 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 17719 14027 814 2417 0 14821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 59876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.08 4.08 5/268 966720
/proc/meminfo: memFree=126278860/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=75452 memory=59752 CPUtime=12.65 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 13061 0 0 0 1262 3 0 0 20 0 1 0 181590639 77262848 14938 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 18863 14938 814 2417 0 15965 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94044 KiB
Current children cumulated memory: 63520 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 966723
/proc/meminfo: memFree=126208880/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=106100 memory=89676 CPUtime=25.42 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 15545 0 0 0 2537 5 0 0 20 0 1 0 181590639 108646400 22419 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 26525 22419 814 2417 0 23627 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 124692 KiB
Current children cumulated memory: 93444 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 967241
/proc/meminfo: memFree=126760192/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=114676 memory=100096 CPUtime=50.96 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 16129 0 0 0 5091 5 0 0 20 0 1 0 181590639 117428224 25024 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 28669 25024 814 2417 0 25771 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 133268 KiB
Current children cumulated memory: 103864 KiB
[startup+90.114 s]
# the end of solver process 966600 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=89.7965 s, system=0.073835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 967241
/proc/meminfo: memFree=126760192/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=114676 memory=100096 CPUtime=51.05 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 16129 0 0 0 5100 5 0 0 20 0 1 0 181590639 117428224 25024 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 28669 25024 814 2417 0 25771 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 133268 KiB
Current children cumulated memory: 103864 KiB
[startup+76.8002 s]
/proc/loadavg: 4.27 4.14 4.10 5/268 967245
/proc/meminfo: memFree=126711544/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130372 CPUtime=76.59 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18143 0 0 0 7653 6 0 0 20 0 1 0 181590639 148553728 32593 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32593 814 2417 0 33370 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134140 KiB
[startup+83.2002 s]
/proc/loadavg: 4.23 4.14 4.10 5/268 967245
/proc/meminfo: memFree=126711488/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130372 CPUtime=82.97 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18143 0 0 0 8291 6 0 0 20 0 1 0 181590639 148553728 32593 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32593 814 2417 0 33370 0
Current children cumulated CPU time: 82.97 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134140 KiB
[startup+86.4002 s]
/proc/loadavg: 4.23 4.14 4.10 5/268 967247
/proc/meminfo: memFree=126659784/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130372 CPUtime=86.16 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18143 0 0 0 8610 6 0 0 20 0 1 0 181590639 148553728 32593 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32593 814 2417 0 33370 0
Current children cumulated CPU time: 86.16 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134140 KiB
[startup+88.0002 s]*
/proc/loadavg: 4.21 4.14 4.10 5/268 967247
/proc/meminfo: memFree=126699560/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130492 CPUtime=87.76 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18164 0 0 0 8770 6 0 0 20 0 1 0 181590639 148553728 32623 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32623 814 2417 0 33370 0
Current children cumulated CPU time: 87.76 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134260 KiB
[startup+88.8002 s]
/proc/loadavg: 4.21 4.14 4.10 5/268 967247
/proc/meminfo: memFree=126699560/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130492 CPUtime=88.55 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18167 0 0 0 8849 6 0 0 20 0 1 0 181590639 148553728 32623 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32623 814 2417 0 33370 0
Current children cumulated CPU time: 88.55 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134260 KiB
[startup+89.6002 s]
/proc/loadavg: 4.21 4.14 4.10 5/268 967247
/proc/meminfo: memFree=126699424/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130492 CPUtime=89.35 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18169 0 0 0 8929 6 0 0 20 0 1 0 181590639 148553728 32623 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32623 814 2417 0 33370 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134260 KiB
[startup+90.0002 s]*
/proc/loadavg: 4.21 4.14 4.10 5/268 967248
/proc/meminfo: memFree=126655500/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130492 CPUtime=89.76 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) R 966603 966603 965692 0 -1 4194304 18171 0 0 0 8970 6 0 0 20 0 1 0 181590639 148553728 32623 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32623 814 2417 0 33370 0
Current children cumulated CPU time: 89.76 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134260 KiB
[startup+90.1057 s]
/proc/loadavg: 4.21 4.14 4.10 5/268 967248
/proc/meminfo: memFree=126655500/131524600 swapFree=131071996/131071996
[pid=966600] ppid=966597 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/966600/stat : 966600 (Hybrid-LSMabSP+) S 966597 966600 965692 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 181590638 10170368 682 134679101440 94629456883712 94629457963032 140734726385104 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94629460061488 94629460108676 94629468737536 140734726386637 140734726386796 140734726386796 140734726393812 0
/proc/966600/statm: 2483 682 603 264 0 134 0
[pid=966603] ppid=966600 vsize=8660 memory=1040 CPUtime=0 cores=1,3
/proc/966603/stat : 966603 (timeout) S 966600 966603 965692 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 181590639 8867840 260 134679101440 94765739626496 94765739661512 140734649173376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94765741758928 94765741761060 94765773418496 140734649181208 140734649181340 140734649181340 140734649188327 0
/proc/966603/statm: 2165 260 236 9 0 87 0
[pid=966604] ppid=966603 vsize=145072 memory=130492 CPUtime=89.85 cores=1,3
/proc/966604/stat : 966604 (CASHWMaxSAT-Dis) S 966603 966603 965692 0 -1 1077936128 18171 0 0 0 8979 6 0 0 20 0 1 0 181590639 148553728 32623 134679101440 4194304 14093885 140731835233456 0 0 0 0 0 19490 1 0 0 17 1 0 0 0 0 0 15976432 16051504 52563968 140731835241502 140731835241621 140731835241621 140731835248608 0
/proc/966604/statm: 36268 32623 814 2417 0 33370 0
Current children cumulated CPU time: 89.85 s
Current children cumulated vsize: 163664 KiB
Current children cumulated memory: 134260 KiB
Child status: 0
Real time (s): 90.114
CPU time (s): 89.8704
CPU user time (s): 89.7965
CPU system time (s): 0.073835
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 163664
Max. memory (cumulated for all children) (KiB): 134260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.7965
system time used= 0.073835
maximum resident set size= 130492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 93
# summary of solver processes directly reported to runsolver:
# pid: 966600
# total CPU time (s): 89.8704
# total CPU user time (s): 89.7965
# total CPU system time (s): 0.073835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.221927 second user time and 0.451519 second system time
The end
Begin job on nodeC022 at 2024-07-18 11:17:57
IDJOB=4441943
IDBENCH=147757
IDSOLVER=3069
FILE ID=nodeC022/4441943-1721294265
RUNJOBID= nodeC022-1721294258-965704
SLURM_JOB_ID= 7542615
Free space on /tmp= 889980 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441943-1721294265/watcher-4441943-1721294265 -o /tmp/evaluation-result-4441943-1721294265/solver-4441943-1721294265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721294258-965704 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4441943-1721294265.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1757147387
nodeC022.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 : 0xb00002a
cpu MHz : 3631.472
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.509
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.067
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.802
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.405
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.469
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126410192 kB
MemAvailable: 128958516 kB
Buffers: 465108 kB
Cached: 2901620 kB
SwapCached: 0 kB
Active: 1149712 kB
Inactive: 3316328 kB
Active(anon): 1564 kB
Inactive(anon): 1135480 kB
Active(file): 1148148 kB
Inactive(file): 2180848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 91180 kB
Writeback: 0 kB
AnonPages: 1098772 kB
Mapped: 115876 kB
Shmem: 37720 kB
KReclaimable: 117952 kB
Slab: 233376 kB
SReclaimable: 117952 kB
SUnreclaim: 115424 kB
KernelStack: 4284 kB
PageTables: 11956 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1530952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66592 kB
HardwareCorrupted: 0 kB
AnonHugePages: 389120 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC022 at 2024-07-18 11:19:28