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: 64059 MiB (62851 MiB free)
memory of node 1: 64510 MiB (63380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458544-1722994588/watcher-4458544-1722994588 -o /tmp/evaluation-result-4458544-1722994588/solver-4458544-1722994588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722994588-351072 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458544-1722994588.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=351127, runsolver pid=351120
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 2.98 4.10 4.23 6/248 351147
/proc/meminfo: memFree=129241628/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=21252 memory=8740 CPUtime=0.1 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 773 0 0 0 10 0 0 0 20 0 1 0 65829484 21762048 2185 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 5313 2185 1105 2753 0 1966 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12456 KiB
[startup+0.213034 s]*
/proc/loadavg: 2.98 4.10 4.23 6/248 351147
/proc/meminfo: memFree=129215432/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=35748 memory=27936 CPUtime=0.2 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 4063 0 0 0 20 0 0 0 20 0 1 0 65829484 36605952 6984 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 8937 6984 2705 2753 0 5590 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54340 KiB
Current children cumulated memory: 31652 KiB
[startup+0.313463 s]*
/proc/loadavg: 2.98 4.10 4.23 6/248 351147
/proc/meminfo: memFree=129187100/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=46924 memory=39092 CPUtime=0.3 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 6950 0 0 0 29 1 0 0 20 0 1 0 65829484 48050176 9773 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11731 9773 2769 2753 0 8384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65516 KiB
Current children cumulated memory: 42808 KiB
[startup+0.700457 s]
/proc/loadavg: 2.98 4.10 4.23 6/248 351147
/proc/meminfo: memFree=129183384/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=0.68 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 63 5 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+1.50043 s]
/proc/loadavg: 2.98 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129155448/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=1.48 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 133 15 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+3.11219 s]
/proc/loadavg: 3.07 4.10 4.23 7/248 351147
/proc/meminfo: memFree=129125456/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=3.08 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 273 35 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+6.30037 s]
/proc/loadavg: 3.07 4.10 4.23 6/248 351149
/proc/meminfo: memFree=129116340/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=6.27 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 554 73 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+12.7004 s]
/proc/loadavg: 3.28 4.11 4.23 6/248 351149
/proc/meminfo: memFree=129076688/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=12.66 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 1108 158 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+25.5004 s]
/proc/loadavg: 3.39 4.11 4.23 6/248 351152
/proc/meminfo: memFree=129072680/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=25.43 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 2210 333 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+51.1122 s]
/proc/loadavg: 3.67 4.12 4.22 6/248 351155
/proc/meminfo: memFree=129055060/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=39512 CPUtime=51 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9413 0 0 0 4413 687 0 0 20 0 1 0 65829484 48398336 9878 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 9878 2801 2753 0 8469 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 43228 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.12 4.22 6/248 351163
/proc/meminfo: memFree=129030684/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
################
# More data... #
################
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=41628 CPUtime=1659.67 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9487 0 0 0 143424 22543 0 0 20 0 1 0 65829484 48398336 10407 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 10407 2801 2753 0 8469 0
Current children cumulated CPU time: 1659.67 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 45344 KiB
[startup+1722.3 s]
/proc/loadavg: 4.05 4.18 4.26 6/247 352036
/proc/meminfo: memFree=128720216/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=41628 CPUtime=1719.57 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9489 0 0 0 148619 23338 0 0 20 0 1 0 65829484 48398336 10407 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 10407 2801 2753 0 8469 0
Current children cumulated CPU time: 1719.57 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 45344 KiB
[startup+1782.3 s]
/proc/loadavg: 4.12 4.18 4.25 6/246 352048
/proc/meminfo: memFree=128720008/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=41628 CPUtime=1779.48 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9491 0 0 0 153825 24123 0 0 20 0 1 0 65829484 48398336 10407 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 10407 2801 2753 0 8469 0
Current children cumulated CPU time: 1779.48 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 45344 KiB
[startup+1804.89 s]
# the end of solver process 351127 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1558.71 s, system=243.325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.10 4.17 4.25 6/246 352049
/proc/meminfo: memFree=128719916/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 65829483 10170368 684 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 684 606 264 0 134 0
[pid=351140] ppid=351127 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/351140/stat : 351140 (timeout) S 351127 351140 351061 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65829483 8867840 245 134679101440 93839456731136 93839456766152 140729184708128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839458863568 93839458865700 93839464435712 140729184715821 140729184715937 140729184715937 140729184722919 0
/proc/351140/statm: 2165 245 221 9 0 87 0
[pid=351141] ppid=351140 vsize=47264 memory=41628 CPUtime=1789.18 cores=4,6
/proc/351141/stat : 351141 (LS-MabSP) R 351140 351140 351061 0 -1 4194304 9491 0 0 0 154664 24254 0 0 20 0 1 0 65829484 48398336 10407 134679101440 4194304 15467897 140725454015232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41582592 140725454017600 140725454017703 140725454017703 140725454024685 0
/proc/351141/statm: 11816 10407 2801 2753 0 8469 0
Current children cumulated CPU time: 1789.18 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 45344 KiB
[startup+1798.4 s]
/proc/loadavg: 4.09 4.17 4.25 7/246 352051
/proc/meminfo: memFree=128719912/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
Current children cumulated CPU time: 1795.17 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2784 KiB
[startup+1801.6 s]
/proc/loadavg: 4.09 4.17 4.25 6/246 352118
/proc/meminfo: memFree=129109368/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
[pid=352054] ppid=351127 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352054/stat : 352054 (timeout) S 351127 352054 351061 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66009284 8867840 260 134679101440 94560565788672 94560565823688 140723277727008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94560567921104 94560567923236 94560591507456 140723277734904 140723277735073 140723277735073 140723277742055 0
/proc/352054/statm: 2165 260 236 9 0 87 0
[pid=352055] ppid=352054 vsize=48008 memory=39596 CPUtime=3.57 cores=4,6
/proc/352055/stat : 352055 (Exact) R 352054 352054 351061 0 -1 4194304 2984 0 0 0 356 1 0 0 20 0 1 0 66009284 49160192 9899 134679101440 4194304 7210733 140732423618064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12288000 140732423623700 140732423623850 140732423623850 140732423630832 0
/proc/352055/statm: 12002 9899 748 737 0 11090 0
Current children cumulated CPU time: 1798.74 s
Current children cumulated vsize: 66600 KiB
Current children cumulated memory: 43420 KiB
[startup+1803.2 s]
/proc/loadavg: 4.16 4.18 4.25 7/247 352170
/proc/meminfo: memFree=129078428/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
[pid=352054] ppid=351127 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352054/stat : 352054 (timeout) S 351127 352054 351061 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66009284 8867840 260 134679101440 94560565788672 94560565823688 140723277727008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94560567921104 94560567923236 94560591507456 140723277734904 140723277735073 140723277735073 140723277742055 0
/proc/352054/statm: 2165 260 236 9 0 87 0
[pid=352055] ppid=352054 vsize=85572 memory=68216 CPUtime=5.16 cores=4,6
/proc/352055/stat : 352055 (Exact) R 352054 352054 351061 0 -1 4194304 7012 0 0 0 514 2 0 0 20 0 1 0 66009284 87625728 17054 134679101440 4194304 7210733 140732423618064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12288000 140732423623700 140732423623850 140732423623850 140732423630832 0
/proc/352055/statm: 21393 17054 748 737 0 20481 0
Current children cumulated CPU time: 1800.33 s
Current children cumulated vsize: 104164 KiB
Current children cumulated memory: 72040 KiB
[startup+1804 s]*
/proc/loadavg: 4.16 4.18 4.25 6/247 352172
/proc/meminfo: memFree=129024196/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
[pid=352054] ppid=351127 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352054/stat : 352054 (timeout) S 351127 352054 351061 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66009284 8867840 260 134679101440 94560565788672 94560565823688 140723277727008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94560567921104 94560567923236 94560591507456 140723277734904 140723277735073 140723277735073 140723277742055 0
/proc/352054/statm: 2165 260 236 9 0 87 0
[pid=352055] ppid=352054 vsize=89808 memory=82660 CPUtime=5.97 cores=4,6
/proc/352055/stat : 352055 (Exact) R 352054 352054 351061 0 -1 4194304 8035 0 0 0 594 3 0 0 20 0 1 0 66009284 91963392 20665 134679101440 4194304 7210733 140732423618064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12288000 140732423623700 140732423623850 140732423623850 140732423630832 0
/proc/352055/statm: 22452 20665 748 737 0 21540 0
Current children cumulated CPU time: 1801.14 s
Current children cumulated vsize: 108400 KiB
Current children cumulated memory: 86484 KiB
[startup+1804.4 s]
/proc/loadavg: 4.16 4.18 4.25 6/247 352172
/proc/meminfo: memFree=129024196/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
[pid=352054] ppid=351127 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352054/stat : 352054 (timeout) S 351127 352054 351061 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66009284 8867840 260 134679101440 94560565788672 94560565823688 140723277727008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94560567921104 94560567923236 94560591507456 140723277734904 140723277735073 140723277735073 140723277742055 0
/proc/352054/statm: 2165 260 236 9 0 87 0
[pid=352055] ppid=352054 vsize=133248 memory=92388 CPUtime=6.36 cores=4,6
/proc/352055/stat : 352055 (Exact) R 352054 352054 351061 0 -1 4194304 9343 0 0 0 632 4 0 0 20 0 1 0 66009284 136445952 23097 134679101440 4194304 7210733 140732423618064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12288000 140732423623700 140732423623850 140732423623850 140732423630832 0
/proc/352055/statm: 33312 23097 748 737 0 32400 0
Current children cumulated CPU time: 1801.53 s
Current children cumulated vsize: 151840 KiB
Current children cumulated memory: 96212 KiB
[startup+1804.8 s]
/proc/loadavg: 4.16 4.18 4.25 6/247 352172
/proc/meminfo: memFree=129024196/131655788 swapFree=131071472/131071996
[pid=351127] ppid=351120 vsize=9932 memory=2784 CPUtime=1795.17 cores=4,6
/proc/351127/stat : 351127 (Hybrid-LSMabSP+) S 351120 351127 351061 0 -1 4194304 272 9722 0 0 0 0 155191 24326 20 0 1 0 65829483 10170368 696 134679101440 94269126504448 94269127583768 140721328333872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94269129682224 94269129729412 94269137448960 140721328341996 140721328342142 140721328342142 140721328349153 0
/proc/351127/statm: 2483 696 606 264 0 134 0
[pid=352054] ppid=351127 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352054/stat : 352054 (timeout) S 351127 352054 351061 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66009284 8867840 260 134679101440 94560565788672 94560565823688 140723277727008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94560567921104 94560567923236 94560591507456 140723277734904 140723277735073 140723277735073 140723277742055 0
/proc/352054/statm: 2165 260 236 9 0 87 0
[pid=352055] ppid=352054 vsize=135736 memory=108936 CPUtime=6.75 cores=4,6
/proc/352055/stat : 352055 (Exact) R 352054 352054 351061 0 -1 4194304 9965 0 0 0 671 4 0 0 20 0 1 0 66009284 138993664 27234 134679101440 4194304 7210733 140732423618064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12288000 140732423623700 140732423623850 140732423623850 140732423630832 0
/proc/352055/statm: 33934 27234 748 737 0 33022 0
Current children cumulated CPU time: 1801.92 s
Current children cumulated vsize: 154328 KiB
Current children cumulated memory: 112760 KiB
Child status: 0
Real time (s): 1804.89
CPU time (s): 1802.03
CPU user time (s): 1558.71
CPU system time (s): 243.325
CPU usage (%): 99.8414
Max. virtual memory (cumulated for all children) (KiB): 154328
Max. memory (cumulated for all children) (KiB): 112760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1558.71
system time used= 243.325
maximum resident set size= 138240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 801
# summary of solver processes directly reported to runsolver:
# pid: 351127
# total CPU time (s): 1802.03
# total CPU user time (s): 1558.71
# total CPU system time (s): 243.325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2266 second user time and 16.8104 second system time
The end
Begin job on nodeC008 at 2024-08-07 03:36:28
IDJOB=4458544
IDBENCH=177666
IDSOLVER=3070
FILE ID=nodeC008/4458544-1722994588
RUNJOBID= nodeC008-1722994588-351072
SLURM_JOB_ID= 8259125
Free space on /tmp= 723780 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458544-1722994588/watcher-4458544-1722994588 -o /tmp/evaluation-result-4458544-1722994588/solver-4458544-1722994588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722994588-351072 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458544-1722994588.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90c2dd46734c5803b8a1aa4418b353c6
RANDOM SEED=2046898439
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.384
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.367
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.501
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129262700 kB
MemAvailable: 130052044 kB
Buffers: 356640 kB
Cached: 1281444 kB
SwapCached: 72 kB
Active: 648488 kB
Inactive: 1275084 kB
Active(anon): 1376 kB
Inactive(anon): 321608 kB
Active(file): 647112 kB
Inactive(file): 953476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 83500 kB
Writeback: 0 kB
AnonPages: 285792 kB
Mapped: 99668 kB
Shmem: 37488 kB
KReclaimable: 57576 kB
Slab: 143744 kB
SReclaimable: 57576 kB
SUnreclaim: 86168 kB
KernelStack: 3600 kB
PageTables: 9624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 719236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 269128 kB
DirectMap2M: 22704128 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC008 at 2024-08-07 04:06:33