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 (59851 MiB free)
memory of node 1: 64510 MiB (60000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443744-1721307863/watcher-4443744-1721307863 -o /tmp/evaluation-result-4443744-1721307863/solver-4443744-1721307863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721304193-928351 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443744-1721307863.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=931175, runsolver pid=931172
[startup+0.101037 s]*
/proc/loadavg: 4.11 4.14 4.16 5/264 931179
/proc/meminfo: memFree=122600452/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=142452 memory=129892 CPUtime=0.09 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 2512 0 0 0 6 3 0 0 20 0 1 0 182946978 145870848 32473 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 35613 32473 1073 2753 0 32266 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161044 KiB
Current children cumulated memory: 133668 KiB
[startup+0.205874 s]*
/proc/loadavg: 4.11 4.14 4.16 6/264 931179
/proc/meminfo: memFree=122596972/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=146036 memory=133080 CPUtime=0.19 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 3644 0 0 0 16 3 0 0 20 0 1 0 182946978 149540864 33270 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 36509 33270 1073 2753 0 33162 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 136856 KiB
[startup+0.305956 s]*
/proc/loadavg: 4.11 4.14 4.16 5/264 931179
/proc/meminfo: memFree=122594672/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=150132 memory=135140 CPUtime=0.29 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 4162 0 0 0 26 3 0 0 20 0 1 0 182946978 153735168 33785 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 37533 33785 1073 2753 0 34186 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 168724 KiB
Current children cumulated memory: 138916 KiB
[startup+0.700293 s]
/proc/loadavg: 4.11 4.14 4.16 5/264 931179
/proc/meminfo: memFree=122590380/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=158456 memory=143348 CPUtime=0.68 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 4688 0 0 0 64 4 0 0 20 0 1 0 182946978 162258944 35837 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 39614 35837 1073 2753 0 36267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177048 KiB
Current children cumulated memory: 147124 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.14 4.16 5/264 931179
/proc/meminfo: memFree=122580424/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=174840 memory=159752 CPUtime=1.48 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 5223 0 0 0 143 5 0 0 20 0 1 0 182946978 179036160 39938 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 43710 39938 1073 2753 0 40363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193432 KiB
Current children cumulated memory: 163528 KiB
[startup+3.10575 s]
/proc/loadavg: 4.10 4.14 4.15 5/264 931179
/proc/meminfo: memFree=122539352/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=207608 memory=192548 CPUtime=3.08 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 5797 0 0 0 301 7 0 0 20 0 1 0 182946978 212590592 48137 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 51902 48137 1073 2753 0 48555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226200 KiB
Current children cumulated memory: 196324 KiB
[startup+6.30028 s]
/proc/loadavg: 4.10 4.14 4.15 5/264 931180
/proc/meminfo: memFree=122479420/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=273144 memory=256096 CPUtime=6.27 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 6422 0 0 0 616 11 0 0 20 0 1 0 182946978 279699456 64024 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 68286 64024 1073 2753 0 64939 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 259872 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.15 5/264 931180
/proc/meminfo: memFree=122360192/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=424348 memory=392168 CPUtime=12.66 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 7453 0 0 0 1248 18 0 0 20 0 1 0 182946978 434532352 98042 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 106087 98042 1073 2753 0 102740 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 442940 KiB
Current children cumulated memory: 395944 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.15 5/264 931182
/proc/meminfo: memFree=121332752/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1420100 memory=1394372 CPUtime=25.43 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 25078 0 0 0 2486 57 0 0 20 0 1 0 182946978 1454182400 348593 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 355025 348593 1153 2753 0 351678 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1398148 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.15 4.16 5/259 931202
/proc/meminfo: memFree=122662644/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1500088 memory=1474364 CPUtime=50.98 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 25980 0 0 0 5039 59 0 0 20 0 1 0 182946978 1536090112 368591 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 375022 368591 1153 2753 0 371675 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1478140 KiB
[startup+87.6602 s]
# the end of solver process 931175 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=86.4642 s, system=0.995113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.18 4.15 4.16 5/259 931202
/proc/meminfo: memFree=122662644/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1500088 memory=1474364 CPUtime=51.08 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 25980 0 0 0 5049 59 0 0 20 0 1 0 182946978 1536090112 368591 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 375022 368591 1153 2753 0 371675 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1478140 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.14 4.14 4.15 5/263 931290
/proc/meminfo: memFree=123916188/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1500088 memory=1474364 CPUtime=63.86 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 26212 0 0 0 6327 59 0 0 20 0 1 0 182946978 1536090112 368591 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 375022 368591 1153 2753 0 371675 0
Current children cumulated CPU time: 63.86 s
Current children cumulated vsize: 1518680 KiB
Current children cumulated memory: 1478140 KiB
[startup+76.8003 s]
/proc/loadavg: 4.20 4.15 4.16 5/262 931293
/proc/meminfo: memFree=122365880/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1420100 memory=1394376 CPUtime=76.63 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 26343 0 0 0 7604 59 0 0 20 0 1 0 182946978 1454182400 348594 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 355025 348594 1153 2753 0 351678 0
Current children cumulated CPU time: 76.63 s
Current children cumulated vsize: 1438692 KiB
Current children cumulated memory: 1398152 KiB
[startup+83.2003 s]
/proc/loadavg: 4.25 4.16 4.16 5/262 931293
/proc/meminfo: memFree=122280816/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1435096 memory=1399372 CPUtime=83.02 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 27213 0 0 0 8243 59 0 0 20 0 1 0 182946978 1469538304 349843 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 358774 349843 1153 2753 0 355427 0
Current children cumulated CPU time: 83.02 s
Current children cumulated vsize: 1453688 KiB
Current children cumulated memory: 1403148 KiB
[startup+84.8003 s]
/proc/loadavg: 4.25 4.16 4.16 5/262 931293
/proc/meminfo: memFree=122375632/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=1645088 memory=1234636 CPUtime=84.61 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 52380 0 0 0 8395 66 0 0 20 0 1 0 182946978 1684570112 308659 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 411272 308659 1153 2753 0 407925 0
Current children cumulated CPU time: 84.61 s
Current children cumulated vsize: 1663680 KiB
Current children cumulated memory: 1238412 KiB
[startup+86.4003 s]
/proc/loadavg: 4.25 4.16 4.16 5/262 931294
/proc/meminfo: memFree=122002948/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=2063764 memory=1860412 CPUtime=86.2 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 161258 0 0 0 8533 87 0 0 20 0 1 0 182946978 2113294336 465103 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 515941 465103 1153 2753 0 512594 0
Current children cumulated CPU time: 86.2 s
Current children cumulated vsize: 2082356 KiB
Current children cumulated memory: 1864188 KiB
[startup+87.2003 s]
/proc/loadavg: 4.22 4.16 4.16 5/262 931294
/proc/meminfo: memFree=121695496/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=2455740 memory=2293196 CPUtime=87 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 170497 0 0 0 8604 96 0 0 20 0 1 0 182946978 2514677760 573299 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 613935 573299 1153 2753 0 610588 0
Current children cumulated CPU time: 87 s
Current children cumulated vsize: 2474332 KiB
Current children cumulated memory: 2296972 KiB
[startup+87.6003 s]
/proc/loadavg: 4.22 4.16 4.16 5/262 931294
/proc/meminfo: memFree=121695496/131524600 swapFree=131071996/131071996
[pid=931175] ppid=931172 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/931175/stat : 931175 (Hybrid-LSMabSP+) S 931172 931175 928340 0 -1 4194304 230 98 0 0 0 0 0 0 20 0 1 0 182946977 10170368 688 134679101440 94447271174144 94447272253464 140733826895296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447274351920 94447274399108 94447284080640 140733826896871 140733826897017 140733826897017 140733826904033 0
/proc/931175/statm: 2483 688 610 264 0 134 0
[pid=931178] ppid=931175 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/931178/stat : 931178 (timeout) S 931175 931178 928340 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 182946978 8867840 256 134679101440 93962987331584 93962987366600 140732220793872 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93962989464016 93962989466148 93963009646592 140732220802088 140732220802204 140732220802204 140732220809191 0
/proc/931178/statm: 2165 256 232 9 0 87 0
[pid=931179] ppid=931178 vsize=2094024 memory=1931688 CPUtime=87.39 cores=4,6
/proc/931179/stat : 931179 (LS-MabSP) R 931178 931178 928340 0 -1 4194304 170497 0 0 0 8643 96 0 0 20 0 1 0 182946978 2144280576 482922 134679101440 4194304 15467897 140735280708336 0 0 0 0 0 17410 0 0 0 17 4 0 0 1 0 0 17807032 17896208 48631808 140735280714811 140735280714914 140735280714914 140735280721901 0
/proc/931179/statm: 523506 482922 1153 2753 0 520159 0
Current children cumulated CPU time: 87.39 s
Current children cumulated vsize: 2112616 KiB
Current children cumulated memory: 1935464 KiB
Child status: 0
Real time (s): 87.6602
CPU time (s): 87.4593
CPU user time (s): 86.4642
CPU system time (s): 0.995113
CPU usage (%): 99.7708
Max. virtual memory (cumulated for all children) (KiB): 2474332
Max. memory (cumulated for all children) (KiB): 2296972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.4642
system time used= 0.995113
maximum resident set size= 2293196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 59
# summary of solver processes directly reported to runsolver:
# pid: 931175
# total CPU time (s): 87.4593
# total CPU user time (s): 86.4642
# total CPU system time (s): 0.995113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.220147 second user time and 0.454683 second system time
The end
Begin job on nodeC016 at 2024-07-18 15:04:36
IDJOB=4443744
IDBENCH=147884
IDSOLVER=3070
FILE ID=nodeC016/4443744-1721307863
RUNJOBID= nodeC016-1721304193-928351
SLURM_JOB_ID= 7542618
Free space on /tmp= 889764 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443744-1721307863/watcher-4443744-1721307863 -o /tmp/evaluation-result-4443744-1721307863/solver-4443744-1721307863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721304193-928351 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443744-1721307863.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=922643813
nodeC016.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 : 3675.320
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.70
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 : 3688.686
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 : 7006.63
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 : 3611.706
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.70
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 : 3601.802
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 : 7006.63
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 : 3670.127
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.70
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 : 3688.712
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 : 7006.63
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 : 3650.658
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.70
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 : 3600.083
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 : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122727892 kB
MemAvailable: 126696020 kB
Buffers: 340720 kB
Cached: 4460148 kB
SwapCached: 0 kB
Active: 708044 kB
Inactive: 7470008 kB
Active(anon): 1592 kB
Inactive(anon): 3413308 kB
Active(file): 706452 kB
Inactive(file): 4056700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112120 kB
Writeback: 20484 kB
AnonPages: 3375672 kB
Mapped: 126736 kB
Shmem: 37720 kB
KReclaimable: 89244 kB
Slab: 197828 kB
SReclaimable: 89244 kB
SUnreclaim: 108584 kB
KernelStack: 4208 kB
PageTables: 16096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3789976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3139584 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 889796 MiB
End job on nodeC016 at 2024-07-18 15:06:04