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: 63665 MiB (53108 MiB free)
memory of node 1: 64507 MiB (60190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519632-1751553483/watcher-4519632-1751553483 -o /tmp/evaluation-result-4519632-1751553483/solver-4519632-1751553483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751544007-80650 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519632-1751553483.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82077, runsolver pid=82074
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 82081
/proc/meminfo: memFree=116005712/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=26752 memory=12092 CPUtime=0.08 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 2512 0 0 0 8 0 0 0 20 0 1 0 71026096 27394048 3023 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 6688 3023 960 2593 0 3581 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 16572 KiB
[startup+0.206002 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 82081
/proc/meminfo: memFree=116005712/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=26752 memory=12092 CPUtime=0.18 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 2512 0 0 0 18 0 0 0 20 0 1 0 71026096 27394048 3023 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 6688 3023 960 2593 0 3581 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 16572 KiB
[startup+0.305879 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 82081
/proc/meminfo: memFree=116005712/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=26752 memory=12092 CPUtime=0.28 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 2512 0 0 0 28 0 0 0 20 0 1 0 71026096 27394048 3023 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 6688 3023 960 2593 0 3581 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 16572 KiB
[startup+0.700165 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 82081
/proc/meminfo: memFree=116003948/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=33056 memory=18548 CPUtime=0.67 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 4274 0 0 0 66 1 0 0 20 0 1 0 71026096 33849344 4637 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 8264 4637 960 2593 0 5157 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40040 KiB
Current children cumulated memory: 23028 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 82081
/proc/meminfo: memFree=115995884/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=40940 memory=26188 CPUtime=1.47 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 7300 0 0 0 145 2 0 0 20 0 1 0 71026096 41922560 6547 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 10235 6547 992 2593 0 7128 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47924 KiB
Current children cumulated memory: 30668 KiB
[startup+3.10571 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 82081
/proc/meminfo: memFree=115988580/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=50800 memory=35808 CPUtime=3.07 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 10402 0 0 0 304 3 0 0 20 0 1 0 71026096 52019200 8952 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 12700 8952 992 2593 0 9593 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57784 KiB
Current children cumulated memory: 40288 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 82081
/proc/meminfo: memFree=115946260/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=60500 memory=45864 CPUtime=6.25 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 12101 0 0 0 622 3 0 0 20 0 1 0 71026096 61952000 11466 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 15125 11466 992 2593 0 12018 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67484 KiB
Current children cumulated memory: 50344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 82081
/proc/meminfo: memFree=115991700/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=73996 memory=59248 CPUtime=12.64 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 14354 0 0 0 1260 4 0 0 20 0 1 0 71026096 75771904 14812 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 18499 14812 992 2593 0 15392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 63728 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 82081
/proc/meminfo: memFree=115976240/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=76996 memory=62320 CPUtime=25.41 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 17365 0 0 0 2535 6 0 0 20 0 1 0 71026096 78843904 15580 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 19249 15580 992 2593 0 16142 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 83980 KiB
Current children cumulated memory: 66800 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 82081
/proc/meminfo: memFree=115730124/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=95168 memory=80532 CPUtime=50.95 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 22308 0 0 0 5085 10 0 0 20 0 1 0 71026096 97452032 20133 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 23792 20133 992 2593 0 20685 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 102152 KiB
Current children cumulated memory: 85012 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/273 82089
/proc/meminfo: memFree=115889700/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/82081/statm: 68517 64858 992 2593 0 65410 0
Current children cumulated CPU time: 1059.56 s
Current children cumulated vsize: 281052 KiB
Current children cumulated memory: 263912 KiB
[startup+1122.3 s]
/proc/loadavg: 3.14 3.66 3.92 4/263 82280
/proc/meminfo: memFree=115114008/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=206264 memory=191756 CPUtime=1119.41 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 83404 0 0 0 111805 136 0 0 20 0 1 0 71026096 211214336 47939 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 51566 47939 992 2593 0 48459 0
Current children cumulated CPU time: 1119.41 s
Current children cumulated vsize: 213248 KiB
Current children cumulated memory: 196236 KiB
[startup+1182.3 s]
/proc/loadavg: 3.12 3.56 3.87 4/263 82282
/proc/meminfo: memFree=115118788/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=216308 memory=201536 CPUtime=1179.27 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 87380 0 0 0 117785 142 0 0 20 0 1 0 71026096 221499392 50384 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 54077 50384 992 2593 0 50970 0
Current children cumulated CPU time: 1179.27 s
Current children cumulated vsize: 223292 KiB
Current children cumulated memory: 206016 KiB
[startup+1214.08 s]
# the end of solver process 82077 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1209.36 s, system=1.5951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 3.11 3.55 3.86 4/263 82282
/proc/meminfo: memFree=115116236/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82080] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82080/stat : 82080 (timeout) S 82077 82080 80615 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71026095 2723840 352 18446744073709551615 94203160207360 94203160223873 140725990230160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94203160238640 94203160240728 94203170209792 140725990234518 140725990234658 140725990234658 140725990240231 0
/proc/82080/statm: 665 352 352 5 0 90 0
[pid=82081] ppid=82080 vsize=216804 memory=202048 CPUtime=1187.35 cores=1,3
/proc/82081/stat : 82081 (CASHWMaxSAT-Dis) R 82080 82080 80615 0 -1 4194304 87504 0 0 0 118593 142 0 0 20 0 1 0 71026096 222007296 50512 18446744073709551615 4198400 14817773 140731335513280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26021888 140731335518620 140731335518747 140731335518747 140731335524320 0
/proc/82081/statm: 54201 50512 992 2593 0 51094 0
Current children cumulated CPU time: 1187.35 s
Current children cumulated vsize: 223788 KiB
Current children cumulated memory: 206528 KiB
[startup+1203.2 s]
/proc/loadavg: 3.09 3.52 3.85 4/263 82284
/proc/meminfo: memFree=115143972/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=238404 memory=174512 CPUtime=5.14 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 45893 0 0 0 507 7 0 0 20 0 1 0 71145897 244125696 43628 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 59601 43628 3392 2271 0 54239 0
Current children cumulated CPU time: 1200.09 s
Current children cumulated vsize: 245388 KiB
Current children cumulated memory: 178992 KiB
[startup+1209.6 s]
/proc/loadavg: 3.08 3.51 3.84 4/262 82284
/proc/meminfo: memFree=115117588/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=262840 memory=200020 CPUtime=11.52 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 64669 0 0 0 1142 10 0 0 20 0 1 0 71145897 269148160 50005 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 65710 50005 3392 2271 0 60348 0
Current children cumulated CPU time: 1206.47 s
Current children cumulated vsize: 269824 KiB
Current children cumulated memory: 204500 KiB
[startup+1211.2 s]
/proc/loadavg: 3.08 3.51 3.84 4/262 82284
/proc/meminfo: memFree=115114312/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=264792 memory=201980 CPUtime=13.12 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 70546 0 0 0 1300 12 0 0 20 0 1 0 71145897 271147008 50495 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 66198 50495 3392 2271 0 60836 0
Current children cumulated CPU time: 1208.07 s
Current children cumulated vsize: 271776 KiB
Current children cumulated memory: 206460 KiB
[startup+1212.8 s]
/proc/loadavg: 3.07 3.50 3.84 4/262 82284
/proc/meminfo: memFree=115113556/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=264720 memory=201952 CPUtime=14.72 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 75299 0 0 0 1459 13 0 0 20 0 1 0 71145897 271073280 50488 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 66180 50488 3392 2271 0 60818 0
Current children cumulated CPU time: 1209.67 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206432 KiB
[startup+1213.6 s]
/proc/loadavg: 3.07 3.50 3.84 4/262 82284
/proc/meminfo: memFree=115113304/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=264720 memory=201952 CPUtime=15.52 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 75305 0 0 0 1539 13 0 0 20 0 1 0 71145897 271073280 50488 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 66180 50488 3392 2271 0 60818 0
Current children cumulated CPU time: 1210.47 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206432 KiB
[startup+1214 s]*
/proc/loadavg: 3.07 3.50 3.84 4/262 82284
/proc/meminfo: memFree=115113304/131249996 swapFree=33010672/33010684
[pid=82077] ppid=82074 vsize=4324 memory=3072 CPUtime=1194.95 cores=1,3
/proc/82077/stat : 82077 (Hybrid-CASHWMax) S 82074 82077 80615 0 -1 4194304 285 87922 0 0 0 0 119352 143 20 0 1 0 71026094 4427776 768 18446744073709551615 94615850762240 94615851656773 140721637133504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94615851895824 94615851943568 94615876419584 140721637136727 140721637136881 140721637136881 140721637142483 0
/proc/82077/statm: 1081 768 704 219 0 143 0
[pid=82283] ppid=82077 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82283/stat : 82283 (timeout) S 82077 82283 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71145896 2723840 352 18446744073709551615 94076861210624 94076861227137 140722008812272 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94076861241904 94076861243992 94076865810432 140722008816006 140722008816162 140722008816162 140722008821735 0
/proc/82283/statm: 665 352 352 5 0 90 0
[pid=82284] ppid=82283 vsize=264720 memory=201952 CPUtime=15.92 cores=1,3
/proc/82284/stat : 82284 (ExactPR-S) R 82283 82283 80615 0 -1 4194304 75309 0 0 0 1579 13 0 0 20 0 1 0 71145897 271073280 50488 18446744073709551615 94108469600256 94108478900293 140724887053728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94108480686400 94108480725480 94108510027776 140724887058846 140724887058983 140724887058983 140724887064556 0
/proc/82284/statm: 66180 50488 3392 2271 0 60818 0
Current children cumulated CPU time: 1210.87 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206432 KiB
Child status: 0
Real time (s): 1214.08
CPU time (s): 1210.95
CPU user time (s): 1209.36
CPU system time (s): 1.5951
CPU usage (%): 99.7426
Max. virtual memory (cumulated for all children) (KiB): 351272
Max. memory (cumulated for all children) (KiB): 334048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1209.36
system time used= 1.5951
maximum resident set size= 329568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 805
involuntary context switches= 1957
# summary of solver processes directly reported to runsolver:
# pid: 82077
# total CPU time (s): 1210.95
# total CPU user time (s): 1209.36
# total CPU system time (s): 1.5951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.75311 second user time and 5.82133 second system time
The end
Begin job on nodeC017 at 2025-07-03 16:38:03
IDJOB=4519632
IDBENCH=177345
IDSOLVER=3327
FILE ID=nodeC017/4519632-1751553483
RUNJOBID= nodeC017-1751544007-80650
SLURM_JOB_ID= 9598712
Free space on /tmp= 432372 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519632-1751553483/watcher-4519632-1751553483 -o /tmp/evaluation-result-4519632-1751553483/solver-4519632-1751553483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751544007-80650 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519632-1751553483.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=546319236
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.076
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.135
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.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 : 3601.356
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3589.658
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.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 : 3600.141
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3599.938
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.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 : 3604.201
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3599.964
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116017808 kB
MemAvailable: 119753296 kB
Buffers: 1688 kB
Cached: 4504192 kB
SwapCached: 8 kB
Active: 10324668 kB
Inactive: 4214808 kB
Active(anon): 10035544 kB
Inactive(anon): 16128 kB
Active(file): 289124 kB
Inactive(file): 4198680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26084 kB
Writeback: 0 kB
AnonPages: 10032888 kB
Mapped: 115900 kB
Shmem: 18072 kB
KReclaimable: 173448 kB
Slab: 264704 kB
SReclaimable: 173448 kB
SUnreclaim: 91256 kB
KernelStack: 4336 kB
PageTables: 23008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 11434112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4638720 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432372 MiB
End job on nodeC017 at 2025-07-03 16:58:18