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 (59853 MiB free)
memory of node 1: 64473 MiB (63217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458270-1722988330/watcher-4458270-1722988330 -o /tmp/evaluation-result-4458270-1722988330/solver-4458270-1722988330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722981135-353935 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458270-1722988330.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=358879, runsolver pid=358876
Current StackSize limit: 8192 KiB
[startup+0.100727 s]*
/proc/loadavg: 4.10 4.13 4.14 5/245 358894
/proc/meminfo: memFree=126050692/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=27728 memory=9736 CPUtime=0.09 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 1868 0 0 0 9 0 0 0 20 0 1 0 65204133 28393472 2434 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 6932 2434 782 2417 0 4034 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 13452 KiB
[startup+0.212353 s]*
/proc/loadavg: 4.10 4.13 4.14 5/244 358899
/proc/meminfo: memFree=126021444/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=24468 memory=9656 CPUtime=0.2 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 2089 0 0 0 20 0 0 0 20 0 1 0 65204133 25055232 2414 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 6117 2414 782 2417 0 3219 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43060 KiB
Current children cumulated memory: 13372 KiB
[startup+0.312103 s]*
/proc/loadavg: 4.10 4.13 4.14 6/247 358903
/proc/meminfo: memFree=126014208/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=24468 memory=9976 CPUtime=0.3 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 2128 0 0 0 30 0 0 0 20 0 1 0 65204133 25055232 2494 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 6117 2494 798 2417 0 3219 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43060 KiB
Current children cumulated memory: 13692 KiB
[startup+0.700487 s]
/proc/loadavg: 4.10 4.13 4.14 5/252 358912
/proc/meminfo: memFree=126010476/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=26124 memory=10504 CPUtime=0.67 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 2255 0 0 0 67 0 0 0 20 0 1 0 65204133 26750976 2626 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 6531 2626 798 2417 0 3633 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44716 KiB
Current children cumulated memory: 14220 KiB
[startup+1.50044 s]
/proc/loadavg: 4.10 4.13 4.14 5/252 358912
/proc/meminfo: memFree=126007140/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=26124 memory=12088 CPUtime=1.47 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 2649 0 0 0 147 0 0 0 20 0 1 0 65204133 26750976 3022 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 6531 3022 798 2417 0 3633 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44716 KiB
Current children cumulated memory: 15804 KiB
[startup+3.11305 s]
/proc/loadavg: 4.10 4.13 4.14 5/252 358912
/proc/meminfo: memFree=125992588/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=33196 memory=18352 CPUtime=3.09 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 3710 0 0 0 308 1 0 0 20 0 1 0 65204133 33992704 4588 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 8299 4588 798 2417 0 5401 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51788 KiB
Current children cumulated memory: 22068 KiB
[startup+6.3005 s]
/proc/loadavg: 4.09 4.12 4.14 5/252 358912
/proc/meminfo: memFree=125997028/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=38548 memory=23828 CPUtime=6.26 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 4571 0 0 0 625 1 0 0 20 0 1 0 65204133 39473152 5957 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 9637 5957 798 2417 0 6739 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57140 KiB
Current children cumulated memory: 27544 KiB
[startup+12.7005 s]
/proc/loadavg: 4.17 4.14 4.15 5/252 358914
/proc/meminfo: memFree=125982148/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=38548 memory=24032 CPUtime=12.64 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 5644 0 0 0 1263 1 0 0 20 0 1 0 65204133 39473152 6008 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 9637 6008 798 2417 0 6739 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57140 KiB
Current children cumulated memory: 27748 KiB
[startup+25.5005 s]
/proc/loadavg: 4.13 4.13 4.14 5/252 358915
/proc/meminfo: memFree=125975584/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=41268 memory=27188 CPUtime=25.4 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 6467 0 0 0 2539 1 0 0 20 0 1 0 65204133 42258432 6797 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 10317 6797 798 2417 0 7419 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 59860 KiB
Current children cumulated memory: 30904 KiB
[startup+51.1134 s]
/proc/loadavg: 4.08 4.12 4.14 5/252 358921
/proc/meminfo: memFree=125981824/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 680 602 264 0 134 0
[pid=358882] ppid=358879 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/358882/stat : 358882 (timeout) S 358879 358882 353922 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65204133 8867840 249 134679101440 94592189698048 94592189733064 140735174883696 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94592191830480 94592191832612 94592205611008 140735174890521 140735174890653 140735174890653 140735174897639 0
/proc/358882/statm: 2165 249 225 9 0 87 0
[pid=358883] ppid=358882 vsize=41396 memory=22852 CPUtime=50.95 cores=5,7
/proc/358883/stat : 358883 (CASHWMaxSAT-Dis) R 358882 358882 353922 0 -1 4194304 7463 0 0 0 5093 2 0 0 20 0 1 0 65204133 42389504 5713 134679101440 4194304 14093885 140725791430320 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33767424 140725791437855 140725791437974 140725791437974 140725791444960 0
/proc/358883/statm: 10349 5713 798 2417 0 7451 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 59988 KiB
Current children cumulated memory: 26568 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 4.13 4.14 5/252 358930
/proc/meminfo: memFree=125944748/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 65204133 10170368 680 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
################
# More data... #
################
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3395.27 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/250 360865
/proc/meminfo: memFree=126836636/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1661.3 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 145933 20197 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3455.16 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/252 360879
/proc/meminfo: memFree=126831292/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1721.19 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 151168 20951 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3515.05 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.18 4.18 5/252 360889
/proc/meminfo: memFree=126836904/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1781.09 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 156395 21714 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3574.95 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3596.03 s]
# the end of solver process 358879 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3369.73 s, system=218.936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.28 4.18 4.18 5/252 360889
/proc/meminfo: memFree=126832816/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1782.8 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 156544 21736 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3576.66 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.17 4.18 5/252 360892
/proc/meminfo: memFree=126834628/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1789.17 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 157094 21823 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3583.03 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3593.6 s]
/proc/loadavg: 4.23 4.17 4.18 5/252 360892
/proc/meminfo: memFree=126830520/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1792.36 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 157376 21860 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3595.2 s]
/proc/loadavg: 4.22 4.17 4.18 5/252 360892
/proc/meminfo: memFree=126838940/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1793.96 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 157522 21874 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3595.6 s]
/proc/loadavg: 4.22 4.17 4.18 5/252 360892
/proc/meminfo: memFree=126838940/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1794.36 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 157558 21878 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3588.22 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
[startup+3596 s]*
/proc/loadavg: 4.22 4.17 4.18 5/252 360892
/proc/meminfo: memFree=126836868/131655788 swapFree=131071996/131071996
[pid=358879] ppid=358876 vsize=9932 memory=2768 CPUtime=1793.86 cores=5,7
/proc/358879/stat : 358879 (Hybrid-LSMabSP+) S 358876 358879 353922 0 -1 4194304 269 12627 0 0 0 0 179376 10 20 0 1 0 65204133 10170368 692 134679101440 94825527406592 94825528485912 140721642063232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94825530584368 94825530631556 94825543569408 140721642066894 140721642067053 140721642067053 140721642074068 0
/proc/358879/statm: 2483 692 602 264 0 134 0
[pid=359814] ppid=358879 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/359814/stat : 359814 (timeout) S 358879 359814 353922 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65383934 8867840 255 134679101440 94374796128256 94374796163272 140726749401008 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94374798260688 94374798262820 94374815457280 140726749410345 140726749410461 140726749410461 140726749417447 0
/proc/359814/statm: 2165 255 230 9 0 87 0
[pid=359815] ppid=359814 vsize=20928 memory=8420 CPUtime=1794.77 cores=5,7
/proc/359815/stat : 359815 (LS-MabSP) R 359814 359814 353922 0 -1 4194304 635 0 0 0 157596 21881 0 0 20 0 1 0 65383934 21430272 2105 134679101440 4194304 15467897 140727087653744 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49471488 140727087662140 140727087662243 140727087662243 140727087669229 0
/proc/359815/statm: 5232 2105 1073 2753 0 1885 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 12208 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3588.67
CPU user time (s): 3369.73
CPU system time (s): 218.936
CPU usage (%): 99.7954
Max. virtual memory (cumulated for all children) (KiB): 123384
Max. memory (cumulated for all children) (KiB): 90428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3369.73
system time used= 218.936
maximum resident set size= 86712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 1076
# summary of solver processes directly reported to runsolver:
# pid: 358879
# total CPU time (s): 3588.67
# total CPU user time (s): 3369.73
# total CPU system time (s): 218.936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3633 second user time and 37.3769 second system time
The end
Begin job on nodeC004 at 2024-08-07 01:52:10
IDJOB=4458270
IDBENCH=177189
IDSOLVER=3069
FILE ID=nodeC004/4458270-1722988330
RUNJOBID= nodeC004-1722981135-353935
SLURM_JOB_ID= 8259082
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_18.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458270-1722988330/watcher-4458270-1722988330 -o /tmp/evaluation-result-4458270-1722988330/solver-4458270-1722988330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722981135-353935 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458270-1722988330.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 858e72f790302981bac4f28574add405
RANDOM SEED=905625561
nodeC004.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 : 3491.928
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.85
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 : 3660.735
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.39
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.271
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.85
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.328
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.39
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 : 3491.929
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.85
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 : 3491.942
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.39
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.239
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.85
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.234
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126026296 kB
MemAvailable: 127700016 kB
Buffers: 357892 kB
Cached: 2157744 kB
SwapCached: 0 kB
Active: 689756 kB
Inactive: 4452784 kB
Active(anon): 1484 kB
Inactive(anon): 2662776 kB
Active(file): 688272 kB
Inactive(file): 1790008 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29648 kB
Writeback: 0 kB
AnonPages: 2622100 kB
Mapped: 106192 kB
Shmem: 37704 kB
KReclaimable: 71276 kB
Slab: 157928 kB
SReclaimable: 71276 kB
SUnreclaim: 86652 kB
KernelStack: 3900 kB
PageTables: 14296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3188736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25408 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1789952 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: 252744 kB
DirectMap2M: 20623360 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC004 at 2024-08-07 02:52:06