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 (61015 MiB free)
memory of node 1: 64510 MiB (59670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457763-1722986872/watcher-4457763-1722986872 -o /tmp/evaluation-result-4457763-1722986872/solver-4457763-1722986872 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722983150-359327 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457763-1722986872.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=362085, runsolver pid=362082
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.29 4.19 4.11 5/265 362089
/proc/meminfo: memFree=123577928/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=24472 memory=6084 CPUtime=0.09 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 858 0 0 0 9 0 0 0 20 0 1 0 65288952 25059328 1521 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 6118 1521 782 2417 0 3220 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43064 KiB
Current children cumulated memory: 9748 KiB
[startup+0.205822 s]*
/proc/loadavg: 4.29 4.19 4.11 5/265 362089
/proc/meminfo: memFree=123577760/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=24472 memory=6084 CPUtime=0.2 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 858 0 0 0 20 0 0 0 20 0 1 0 65288952 25059328 1521 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 6118 1521 782 2417 0 3220 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43064 KiB
Current children cumulated memory: 9748 KiB
[startup+0.305176 s]*
/proc/loadavg: 4.29 4.19 4.11 5/265 362089
/proc/meminfo: memFree=123574484/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=33540 memory=11340 CPUtime=0.3 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 2414 0 0 0 30 0 0 0 20 0 1 0 65288952 34344960 2835 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 8385 2835 782 2417 0 5487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 15004 KiB
[startup+0.700309 s]
/proc/loadavg: 4.29 4.19 4.11 5/265 362089
/proc/meminfo: memFree=123502740/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=184936 memory=154148 CPUtime=0.69 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 27155 0 0 0 65 4 0 0 20 0 1 0 65288952 189374464 38537 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 46234 38537 782 2417 0 43336 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 203528 KiB
Current children cumulated memory: 157812 KiB
[startup+1.50033 s]
/proc/loadavg: 4.29 4.19 4.11 5/265 362089
/proc/meminfo: memFree=123390876/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=264136 memory=223664 CPUtime=1.48 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 35934 0 0 0 142 6 0 0 20 0 1 0 65288952 270475264 55916 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 66034 55916 782 2417 0 63136 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 282728 KiB
Current children cumulated memory: 227328 KiB
[startup+3.10627 s]
/proc/loadavg: 4.35 4.20 4.11 5/265 362091
/proc/meminfo: memFree=123338552/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=288036 memory=246548 CPUtime=3.08 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 41198 0 0 0 300 8 0 0 20 0 1 0 65288952 294948864 61637 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 72009 61637 782 2417 0 69111 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 306628 KiB
Current children cumulated memory: 250212 KiB
[startup+6.30031 s]
/proc/loadavg: 4.35 4.20 4.11 5/265 362091
/proc/meminfo: memFree=123329912/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=288036 memory=246548 CPUtime=6.27 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 41220 0 0 0 619 8 0 0 20 0 1 0 65288952 294948864 61637 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 72009 61637 782 2417 0 69111 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 306628 KiB
Current children cumulated memory: 250212 KiB
[startup+12.7003 s]
/proc/loadavg: 4.52 4.25 4.13 5/265 362091
/proc/meminfo: memFree=123323060/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=288036 memory=246672 CPUtime=12.65 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 41264 0 0 0 1257 8 0 0 20 0 1 0 65288952 294948864 61668 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 72009 61668 782 2417 0 69111 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 306628 KiB
Current children cumulated memory: 250336 KiB
[startup+25.5003 s]
/proc/loadavg: 4.60 4.27 4.14 5/267 362264
/proc/meminfo: memFree=123311056/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=288036 memory=246672 CPUtime=25.42 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 41308 0 0 0 2533 9 0 0 20 0 1 0 65288952 294948864 61668 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 72009 61668 782 2417 0 69111 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 306628 KiB
Current children cumulated memory: 250336 KiB
[startup+51.106 s]
/proc/loadavg: 4.39 4.25 4.13 5/267 362267
/proc/meminfo: memFree=123262956/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 671 592 264 0 134 0
[pid=362088] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/362088/stat : 362088 (timeout) S 362085 362088 359314 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65288952 8867840 245 134679101440 94365608521728 94365608556744 140730129795216 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94365610654160 94365610656292 94365627346944 140730129802265 140730129802397 140730129802397 140730129809383 0
/proc/362088/statm: 2165 245 221 9 0 87 0
[pid=362089] ppid=362088 vsize=288036 memory=246672 CPUtime=50.95 cores=5,7
/proc/362089/stat : 362089 (CASHWMaxSAT-Dis) R 362088 362088 359314 0 -1 4194304 41886 0 0 0 5086 9 0 0 20 0 1 0 65288952 294948864 61668 134679101440 4194304 14093885 140720629338704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30490624 140720629343263 140720629343382 140720629343382 140720629350368 0
/proc/362089/statm: 72009 61668 782 2417 0 69111 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 306628 KiB
Current children cumulated memory: 250336 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.24 4.13 5/267 362275
/proc/meminfo: memFree=123209524/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 65288952 10170368 671 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
################
# More data... #
################
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 363909
/proc/meminfo: memFree=124575108/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1661.47 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7241 0 0 0 163097 3050 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 364118
/proc/meminfo: memFree=124643060/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1721.37 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7250 0 0 0 168975 3162 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3513.81 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 364129
/proc/meminfo: memFree=124635568/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1781.28 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 174849 3279 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3596.04 s]
# the end of solver process 362085 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.79 s, system=33.6519 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.12 4.10 5/264 364131
/proc/meminfo: memFree=124619288/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1782.97 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 175016 3281 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3575.41 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.12 4.10 5/264 364131
/proc/meminfo: memFree=124614912/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1789.35 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 175643 3292 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3581.79 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3593.6 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 364203
/proc/meminfo: memFree=124519176/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1792.55 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 175957 3298 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 364204
/proc/meminfo: memFree=124448844/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1794.15 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 176115 3300 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3595.6 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 364204
/proc/meminfo: memFree=124448844/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1794.54 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 176154 3300 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.12 4.10 5/264 364204
/proc/meminfo: memFree=124454032/131524600 swapFree=131071996/131071996
[pid=362085] ppid=362082 vsize=9932 memory=2728 CPUtime=1792.44 cores=5,7
/proc/362085/stat : 362085 (Hybrid-LSMabSP+) S 362082 362085 359314 0 -1 4194304 266 105285 0 0 0 0 179182 62 20 0 1 0 65288952 10170368 682 134679101440 94380996796416 94380997875736 140721318732368 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94380999974192 94381000021380 94381008322560 140721318736846 140721318737005 140721318737005 140721318744020 0
/proc/362085/statm: 2483 682 592 264 0 134 0
[pid=363042] ppid=362085 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/363042/stat : 363042 (timeout) S 362085 363042 359314 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65468754 8867840 245 134679101440 94253050232832 94253050267848 140736340324176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94253052365264 94253052367396 94253075492864 140736340325417 140736340325533 140736340325533 140736340332519 0
/proc/363042/statm: 2165 245 221 9 0 87 0
[pid=363043] ppid=363042 vsize=39380 memory=33672 CPUtime=1794.95 cores=5,7
/proc/363043/stat : 363043 (LS-MabSP) R 363042 363042 359314 0 -1 4194304 7259 0 0 0 176194 3301 0 0 20 0 1 0 65468754 40325120 8418 134679101440 4194304 15467897 140729825500000 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31096832 140729825502268 140729825502371 140729825502371 140729825509357 0
/proc/363043/statm: 9845 8418 2753 2753 0 6498 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 37380 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.44
CPU user time (s): 3553.79
CPU system time (s): 33.6519
CPU usage (%): 99.761
Max. virtual memory (cumulated for all children) (KiB): 763644
Max. memory (cumulated for all children) (KiB): 625128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.79
system time used= 33.6519
maximum resident set size= 653216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155
involuntary context switches= 3624
# summary of solver processes directly reported to runsolver:
# pid: 362085
# total CPU time (s): 3587.44
# total CPU user time (s): 3553.79
# total CPU system time (s): 33.6519
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53887 second user time and 16.2976 second system time
The end
Begin job on nodeC031 at 2024-08-07 01:27:52
IDJOB=4457763
IDBENCH=176755
IDSOLVER=3069
FILE ID=nodeC031/4457763-1722986872
RUNJOBID= nodeC031-1722983150-359327
SLURM_JOB_ID= 8259093
Free space on /tmp= 890000 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457763-1722986872/watcher-4457763-1722986872 -o /tmp/evaluation-result-4457763-1722986872/solver-4457763-1722986872 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722983150-359327 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457763-1722986872.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=1085290687
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 : 3673.719
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 : 3673.625
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 : 3600.173
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 : 3600.385
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 : 3673.746
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 : 3665.946
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 : 3600.197
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 : 3675.981
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: 123582888 kB
MemAvailable: 128380676 kB
Buffers: 352388 kB
Cached: 5281284 kB
SwapCached: 0 kB
Active: 680584 kB
Inactive: 6713448 kB
Active(anon): 1632 kB
Inactive(anon): 1796452 kB
Active(file): 678952 kB
Inactive(file): 4916996 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58376 kB
Writeback: 28 kB
AnonPages: 1760156 kB
Mapped: 110488 kB
Shmem: 37720 kB
KReclaimable: 82976 kB
Slab: 177440 kB
SReclaimable: 82976 kB
SUnreclaim: 94464 kB
KernelStack: 4236 kB
PageTables: 13356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2281260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 30400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1019904 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= 889968 MiB
End job on nodeC031 at 2024-08-07 02:27:49