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 (62375 MiB free)
memory of node 1: 64510 MiB (59787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436744-1722948203/watcher-4436744-1722948203 -o /tmp/evaluation-result-4436744-1722948203/solver-4436744-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722948202-336754 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436744-1722948203.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=336823, runsolver pid=336818
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.09 0.10 0.09 6/268 336832
/proc/meminfo: memFree=125048292/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=22080 memory=7868 CPUtime=0.1 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 1626 0 0 0 10 0 0 0 20 0 1 0 61422150 22609920 1967 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 5520 1967 782 2417 0 2622 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 11476 KiB
[startup+0.206043 s]*
/proc/loadavg: 0.09 0.10 0.09 6/268 336832
/proc/meminfo: memFree=125001632/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=25020 memory=10568 CPUtime=0.2 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 2278 0 0 0 20 0 0 0 20 0 1 0 61422150 25620480 2642 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 6255 2642 798 2417 0 3357 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43612 KiB
Current children cumulated memory: 14176 KiB
[startup+0.306303 s]*
/proc/loadavg: 0.09 0.10 0.09 6/268 336832
/proc/meminfo: memFree=124962924/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=27700 memory=11360 CPUtime=0.3 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 2440 0 0 0 30 0 0 0 20 0 1 0 61422150 28364800 2840 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 6925 2840 798 2417 0 4027 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46292 KiB
Current children cumulated memory: 14968 KiB
[startup+0.700287 s]
/proc/loadavg: 0.09 0.10 0.09 6/268 336832
/proc/meminfo: memFree=124896704/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=34944 memory=16836 CPUtime=0.69 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 3343 0 0 0 69 0 0 0 20 0 1 0 61422150 35782656 4209 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 8736 4209 798 2417 0 5838 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53536 KiB
Current children cumulated memory: 20444 KiB
[startup+1.50029 s]
/proc/loadavg: 0.09 0.10 0.09 6/268 336834
/proc/meminfo: memFree=124701124/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=39336 memory=23828 CPUtime=1.48 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 4047 0 0 0 148 0 0 0 20 0 1 0 61422150 40280064 5957 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 9834 5957 798 2417 0 6936 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 27436 KiB
[startup+3.10656 s]
/proc/loadavg: 0.41 0.17 0.11 6/268 336834
/proc/meminfo: memFree=124624436/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=39336 memory=24080 CPUtime=3.08 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 4094 0 0 0 308 0 0 0 20 0 1 0 61422150 40280064 6020 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 9834 6020 798 2417 0 6936 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 27688 KiB
[startup+6.30029 s]
/proc/loadavg: 0.41 0.17 0.11 6/268 336834
/proc/meminfo: memFree=124620440/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=39788 memory=25124 CPUtime=6.27 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 4380 0 0 0 627 0 0 0 20 0 1 0 61422150 40742912 6281 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 9947 6281 798 2417 0 7049 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58380 KiB
Current children cumulated memory: 28732 KiB
[startup+12.7003 s]
/proc/loadavg: 0.96 0.29 0.15 6/268 336835
/proc/meminfo: memFree=124608384/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=50360 memory=33808 CPUtime=12.65 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 5772 0 0 0 1264 1 0 0 20 0 1 0 61422150 51568640 8452 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 12590 8452 798 2417 0 9692 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68952 KiB
Current children cumulated memory: 37416 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.42 0.20 6/268 336837
/proc/meminfo: memFree=124575808/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=54780 memory=40300 CPUtime=25.4 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 6836 0 0 0 2539 1 0 0 20 0 1 0 61422150 56094720 10075 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 13695 10075 798 2417 0 10797 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 73372 KiB
Current children cumulated memory: 43908 KiB
[startup+51.1065 s]
/proc/loadavg: 2.36 0.72 0.30 6/268 336841
/proc/meminfo: memFree=124543376/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 673 594 264 0 134 0
[pid=336829] ppid=336823 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/336829/stat : 336829 (timeout) S 336823 336829 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61422150 8867840 229 134679101440 94593504026624 94593504061640 140730338926608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94593506159056 94593506161188 94593532887040 140730338931737 140730338931869 140730338931869 140730338938855 0
/proc/336829/statm: 2165 229 204 9 0 87 0
[pid=336831] ppid=336829 vsize=54780 memory=40300 CPUtime=50.92 cores=4,6
/proc/336831/stat : 336831 (CASHWMaxSAT-Dis) R 336829 336829 336743 0 -1 4194304 6854 0 0 0 5091 1 0 0 20 0 1 0 61422150 56094720 10075 134679101440 4194304 14093885 140734668138048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37539840 140734668141599 140734668141718 140734668141718 140734668148704 0
/proc/336831/statm: 13695 10075 798 2417 0 10797 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 73372 KiB
Current children cumulated memory: 43908 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.29 0.52 5/268 336907
/proc/meminfo: memFree=124545940/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 61422149 10170368 673 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
################
# More data... #
################
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.44 4.32 4.12 5/264 338714
/proc/meminfo: memFree=123949368/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1660.61 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38602 0 0 0 137963 28098 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.28 4.11 5/264 338724
/proc/meminfo: memFree=123948632/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1720.49 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38603 0 0 0 142943 29106 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.24 4.11 5/264 338734
/proc/meminfo: memFree=123947760/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1780.36 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 147914 30122 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3596.06 s]
# the end of solver process 336823 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3281.84 s, system=305.33 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.23 4.10 5/264 338734
/proc/meminfo: memFree=123947760/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1782.07 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 148056 30151 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.23 4.10 5/264 338734
/proc/meminfo: memFree=123947784/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1788.45 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 148589 30256 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3581.54 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.23 4.10 5/264 338736
/proc/meminfo: memFree=123947396/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1791.64 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 148856 30308 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.23 4.10 5/264 338736
/proc/meminfo: memFree=123947476/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1793.24 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 148988 30336 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3595.6 s]
/proc/loadavg: 4.11 4.23 4.10 5/264 338736
/proc/meminfo: memFree=123947476/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1793.64 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 149023 30341 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.23 4.10 5/264 338736
/proc/meminfo: memFree=123947468/131524600 swapFree=131071996/131071996
[pid=336823] ppid=336818 vsize=9932 memory=2732 CPUtime=1793.09 cores=4,6
/proc/336823/stat : 336823 (Hybrid-LSMabSP+) S 336818 336823 336743 0 -1 4194304 263 87326 0 0 0 0 179126 183 20 0 1 0 61422149 10170368 683 134679101440 94698249646080 94698250725400 140736608255040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94698252823856 94698252871044 94698269446144 140736608256974 140736608257133 140736608257133 140736608264148 0
/proc/336823/statm: 2483 683 594 264 0 134 0
[pid=337792] ppid=336823 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/337792/stat : 337792 (timeout) S 336823 337792 336743 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61601950 8867840 228 134679101440 94674329649152 94674329684168 140728552314256 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94674331781584 94674331783716 94674341183488 140728552322089 140728552322205 140728552322205 140728552329191 0
/proc/337792/statm: 2165 228 204 9 0 87 0
[pid=337793] ppid=337792 vsize=61080 memory=55820 CPUtime=1794.04 cores=4,6
/proc/337793/stat : 337793 (LS-MabSP) R 337792 337792 336743 0 -1 4194304 38604 0 0 0 149056 30348 0 0 20 0 1 0 61601950 62545920 13955 134679101440 4194304 15467897 140723625915680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29061120 140723625919548 140723625919651 140723625919651 140723625926637 0
/proc/337793/statm: 15270 13955 2833 2753 0 11923 0
Current children cumulated CPU time: 3587.13 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 59464 KiB
Child status: 0
Real time (s): 3596.06
CPU time (s): 3587.17
CPU user time (s): 3281.84
CPU system time (s): 305.33
CPU usage (%): 99.753
Max. virtual memory (cumulated for all children) (KiB): 308724
Max. memory (cumulated for all children) (KiB): 265236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3281.84
system time used= 305.33
maximum resident set size= 261992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129157
page faults= 2
swaps= 0
block input operations= 568
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 1854
# summary of solver processes directly reported to runsolver:
# pid: 336823
# total CPU time (s): 3587.17
# total CPU user time (s): 3281.84
# total CPU system time (s): 305.33
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3524 second user time and 16.7254 second system time
The end
Begin job on nodeC031 at 2024-08-06 14:43:23
IDJOB=4436744
IDBENCH=146658
IDSOLVER=3069
FILE ID=nodeC031/4436744-1722948203
RUNJOBID= nodeC031-1722948202-336754
SLURM_JOB_ID= 8259012
Free space on /tmp= 890076 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436744-1722948203/watcher-4436744-1722948203 -o /tmp/evaluation-result-4436744-1722948203/solver-4436744-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722948202-336754 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436744-1722948203.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=18592742
nodeC031.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 : 1210.877
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.95
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 : 3659.064
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 : 7007.12
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 : 2030.877
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.95
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 : 3698.086
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 : 7007.12
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 : 1753.858
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.95
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 : 3639.974
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 : 7007.12
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 : 3779.612
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.95
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 : 3655.123
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125098396 kB
MemAvailable: 129763372 kB
Buffers: 326588 kB
Cached: 5176732 kB
SwapCached: 0 kB
Active: 602584 kB
Inactive: 5287296 kB
Active(anon): 1456 kB
Inactive(anon): 422828 kB
Active(file): 601128 kB
Inactive(file): 4864468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123428 kB
Writeback: 0 kB
AnonPages: 386756 kB
Mapped: 98944 kB
Shmem: 37720 kB
KReclaimable: 78052 kB
Slab: 170768 kB
SReclaimable: 78052 kB
SUnreclaim: 92716 kB
KernelStack: 3888 kB
PageTables: 9508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 696056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 260096 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: 322260 kB
DirectMap2M: 19374080 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC031 at 2024-08-06 15:43:21