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 (62505 MiB free)
memory of node 1: 64473 MiB (63169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443083-1721309658/watcher-4443083-1721309658 -o /tmp/evaluation-result-4443083-1721309658/solver-4443083-1721309658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443083-1721309658.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=956523, runsolver pid=956520
[startup+0.101588 s]*
/proc/loadavg: 4.55 4.31 4.17 5/251 956527
/proc/meminfo: memFree=128682044/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=27184 memory=8076 CPUtime=0.09 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 1374 0 0 0 9 0 0 0 20 0 1 0 183122964 27836416 2019 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 6796 2019 750 2417 0 3898 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45776 KiB
Current children cumulated memory: 11768 KiB
[startup+0.213955 s]*
/proc/loadavg: 4.55 4.31 4.17 5/251 956527
/proc/meminfo: memFree=128708652/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=39940 memory=20204 CPUtime=0.21 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 5031 0 0 0 20 1 0 0 20 0 1 0 183122964 40898560 5051 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 9985 5051 782 2417 0 7087 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58532 KiB
Current children cumulated memory: 23896 KiB
[startup+0.314086 s]*
/proc/loadavg: 4.55 4.31 4.17 5/251 956527
/proc/meminfo: memFree=128684416/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=63452 memory=42560 CPUtime=0.31 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 9552 0 0 0 29 2 0 0 20 0 1 0 183122964 64974848 10640 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 15863 10640 782 2417 0 12965 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 82044 KiB
Current children cumulated memory: 46252 KiB
[startup+0.700492 s]
/proc/loadavg: 4.55 4.31 4.17 5/251 956527
/proc/meminfo: memFree=128647608/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=175252 memory=141048 CPUtime=0.68 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 20924 0 0 0 61 7 0 0 20 0 1 0 183122964 179458048 35262 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 43813 35262 782 2417 0 40915 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193844 KiB
Current children cumulated memory: 144740 KiB
[startup+1.50051 s]
/proc/loadavg: 4.55 4.31 4.17 5/251 956527
/proc/meminfo: memFree=128597104/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=150188 memory=125412 CPUtime=1.48 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 21446 0 0 0 141 7 0 0 20 0 1 0 183122964 153792512 31353 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 37547 31353 782 2417 0 34649 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168780 KiB
Current children cumulated memory: 129104 KiB
[startup+3.11361 s]
/proc/loadavg: 4.51 4.31 4.16 5/251 956527
/proc/meminfo: memFree=128586120/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=171332 memory=145040 CPUtime=3.09 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 22285 0 0 0 301 8 0 0 20 0 1 0 183122964 175443968 36260 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 42833 36260 814 2417 0 39935 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 189924 KiB
Current children cumulated memory: 148732 KiB
[startup+6.3005 s]
/proc/loadavg: 4.51 4.31 4.16 5/251 956527
/proc/meminfo: memFree=128511920/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=209452 memory=168548 CPUtime=6.26 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 24083 0 0 0 617 9 0 0 20 0 1 0 183122964 214478848 42137 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 52363 42137 814 2417 0 49465 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 228044 KiB
Current children cumulated memory: 172240 KiB
[startup+12.7005 s]
/proc/loadavg: 4.43 4.30 4.16 5/251 956529
/proc/meminfo: memFree=128442136/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=205648 CPUtime=12.65 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 24401 0 0 0 1254 11 0 0 20 0 1 0 183122964 264982528 51412 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 51412 814 2417 0 61795 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 209340 KiB
[startup+25.5005 s]
/proc/loadavg: 4.36 4.29 4.16 5/251 956531
/proc/meminfo: memFree=128506104/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=209452 memory=168548 CPUtime=25.42 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 24892 0 0 0 2526 16 0 0 20 0 1 0 183122964 214478848 42137 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 52363 42137 814 2417 0 49465 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 228044 KiB
Current children cumulated memory: 172240 KiB
[startup+31.9819 s]
# the end of solver process 956523 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.6941 s, system=0.191813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6006 s]
/proc/loadavg: 4.36 4.29 4.16 5/251 956531
/proc/meminfo: memFree=128506104/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=209452 memory=168548 CPUtime=25.52 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 24892 0 0 0 2536 16 0 0 20 0 1 0 183122964 214478848 42137 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 52363 42137 814 2417 0 49465 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 228044 KiB
Current children cumulated memory: 172240 KiB
[startup+28.8005 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128443440/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=205600 CPUtime=28.71 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25092 0 0 0 2854 17 0 0 20 0 1 0 183122964 264982528 51400 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 51400 814 2417 0 61795 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 209292 KiB
[startup+30.4005 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128431284/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=209452 memory=168548 CPUtime=30.3 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25095 0 0 0 3013 17 0 0 20 0 1 0 183122964 214478848 42137 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 52363 42137 814 2417 0 49465 0
Current children cumulated CPU time: 30.3 s
Current children cumulated vsize: 228044 KiB
Current children cumulated memory: 172240 KiB
[startup+31.2004 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128373912/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=205672 CPUtime=31.1 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25184 0 0 0 3092 18 0 0 20 0 1 0 183122964 264982528 51418 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 51418 814 2417 0 61795 0
Current children cumulated CPU time: 31.1 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 209364 KiB
[startup+31.6004 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128373912/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=211816 CPUtime=31.5 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25187 0 0 0 3132 18 0 0 20 0 1 0 183122964 264982528 52954 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 52954 814 2417 0 61795 0
Current children cumulated CPU time: 31.5 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 215508 KiB
[startup+31.8004 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128373912/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=213864 CPUtime=31.7 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25188 0 0 0 3152 18 0 0 20 0 1 0 183122964 264982528 53466 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 53466 814 2417 0 61795 0
Current children cumulated CPU time: 31.7 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 217556 KiB
[startup+31.9005 s]
/proc/loadavg: 4.33 4.28 4.16 5/251 956533
/proc/meminfo: memFree=128373912/131655788 swapFree=131070704/131071996
[pid=956523] ppid=956520 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/956523/stat : 956523 (Hybrid-LSMabSP+) S 956520 956523 954040 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183122963 10170368 666 134679101440 93995282993152 93995284072472 140735807542352 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93995286170928 93995286218116 93995316133888 140735807546317 140735807546476 140735807546476 140735807553492 0
/proc/956523/statm: 2483 666 588 264 0 134 0
[pid=956526] ppid=956523 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/956526/stat : 956526 (timeout) S 956523 956526 954040 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183122964 8867840 257 134679101440 94568027303936 94568027338952 140725068091600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94568029436368 94568029438500 94568047693824 140725068096536 140725068096668 140725068096668 140725068103655 0
/proc/956526/statm: 2165 257 232 9 0 87 0
[pid=956527] ppid=956526 vsize=258772 memory=215912 CPUtime=31.8 cores=5,7
/proc/956527/stat : 956527 (CASHWMaxSAT-Dis) R 956526 956526 954040 0 -1 4194304 25189 0 0 0 3162 18 0 0 20 0 1 0 183122964 264982528 53978 134679101440 4194304 14093885 140722599396000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35315712 140722599404574 140722599404693 140722599404693 140722599411680 0
/proc/956527/statm: 64693 53978 814 2417 0 61795 0
Current children cumulated CPU time: 31.8 s
Current children cumulated vsize: 277364 KiB
Current children cumulated memory: 219604 KiB
Child status: 0
Real time (s): 31.982
CPU time (s): 31.8859
CPU user time (s): 31.6941
CPU system time (s): 0.191813
CPU usage (%): 99.6996
Max. virtual memory (cumulated for all children) (KiB): 277364
Max. memory (cumulated for all children) (KiB): 219604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6941
system time used= 0.191813
maximum resident set size= 215936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 956523
# total CPU time (s): 31.8859
# total CPU user time (s): 31.6941
# total CPU system time (s): 0.191813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.220655 second user time and 0.392329 second system time
The end
Begin job on nodeC011 at 2024-07-18 15:34:30
IDJOB=4443083
IDBENCH=147862
IDSOLVER=3069
FILE ID=nodeC011/4443083-1721309658
RUNJOBID= nodeC011-1721305832-954086
SLURM_JOB_ID= 7542636
Free space on /tmp= 723684 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin12.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443083-1721309658/watcher-4443083-1721309658 -o /tmp/evaluation-result-4443083-1721309658/solver-4443083-1721309658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721305832-954086 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4443083-1721309658.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=627379255
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.801
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.20
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 : 3661.561
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.31
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.297
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.20
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.200
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.31
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 : 3668.403
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.20
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 : 2992.810
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.31
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.333
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.20
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.126
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128693936 kB
MemAvailable: 129177180 kB
Buffers: 503516 kB
Cached: 820256 kB
SwapCached: 132 kB
Active: 1011804 kB
Inactive: 1461276 kB
Active(anon): 1484 kB
Inactive(anon): 1185256 kB
Active(file): 1010320 kB
Inactive(file): 276020 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 29496 kB
Writeback: 12 kB
AnonPages: 1149208 kB
Mapped: 115500 kB
Shmem: 37400 kB
KReclaimable: 74204 kB
Slab: 156212 kB
SReclaimable: 74204 kB
SUnreclaim: 82008 kB
KernelStack: 4000 kB
PageTables: 11704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1587448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 536576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC011 at 2024-07-18 15:35:03