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: 63708 MiB (59941 MiB free)
memory of node 1: 64465 MiB (60797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518989-1751539131/watcher-4518989-1751539131 -o /tmp/evaluation-result-4518989-1751539131/solver-4518989-1751539131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74617 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518989-1751539131.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=76841, runsolver pid=76838
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123617124/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=31268 memory=16364 CPUtime=0.07 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 3841 0 0 0 7 0 0 0 20 0 1 0 69587674 32018432 4091 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 7817 4091 768 2416 0 4919 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38252 KiB
Current children cumulated memory: 20844 KiB
[startup+0.205786 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123617376/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=32284 memory=17004 CPUtime=0.18 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 3973 0 0 0 18 0 0 0 20 0 1 0 69587674 33058816 4251 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 8071 4251 800 2416 0 5173 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 21484 KiB
[startup+0.304688 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123617376/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=32284 memory=17388 CPUtime=0.28 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 4050 0 0 0 28 0 0 0 20 0 1 0 69587674 33058816 4347 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 8071 4347 800 2416 0 5173 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 21868 KiB
[startup+0.700143 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123617376/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=34972 memory=19436 CPUtime=0.67 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 4579 0 0 0 67 0 0 0 20 0 1 0 69587674 35811328 4859 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 8743 4859 800 2416 0 5845 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41956 KiB
Current children cumulated memory: 23916 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123617376/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=35376 memory=20588 CPUtime=1.46 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 4873 0 0 0 146 0 0 0 20 0 1 0 69587674 36225024 5147 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 8844 5147 800 2416 0 5946 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42360 KiB
Current children cumulated memory: 25068 KiB
[startup+3.10527 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123615736/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=39728 memory=25276 CPUtime=3.07 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 4996 0 0 0 306 1 0 0 20 0 1 0 69587674 40681472 6319 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 9932 6319 800 2416 0 7034 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46712 KiB
Current children cumulated memory: 29756 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123601732/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=38868 memory=24252 CPUtime=6.26 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 6803 0 0 0 625 1 0 0 20 0 1 0 69587674 39800832 6063 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 9717 6063 800 2416 0 6819 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 45852 KiB
Current children cumulated memory: 28732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 76845
/proc/meminfo: memFree=123589484/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=45940 memory=31448 CPUtime=12.64 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 7064 0 0 0 1263 1 0 0 20 0 1 0 69587674 47042560 7862 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 11485 7862 800 2416 0 8587 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 52924 KiB
Current children cumulated memory: 35928 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 76847
/proc/meminfo: memFree=123564628/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=45940 memory=31448 CPUtime=25.41 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 7065 0 0 0 2540 1 0 0 20 0 1 0 69587674 47042560 7862 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 11485 7862 800 2416 0 8587 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 52924 KiB
Current children cumulated memory: 35928 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 76901
/proc/meminfo: memFree=124069616/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76844/stat : 76844 (timeout) S 76841 76844 74605 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 69587673 2723840 352 18446744073709551615 93852437946368 93852437962881 140721202788480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93852437977648 93852437979736 93852449411072 140721202796950 140721202797090 140721202797090 140721202802663 0
/proc/76844/statm: 665 352 352 5 0 90 0
[pid=76845] ppid=76844 vsize=46528 memory=32088 CPUtime=50.94 cores=1,3
/proc/76845/stat : 76845 (CASHWMaxSAT-Dis) R 76844 76844 74605 0 -1 4194304 7237 0 0 0 5093 1 0 0 20 0 1 0 69587674 47644672 8022 18446744073709551615 4198400 14093885 140720588700416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28069888 140720588708252 140720588708379 140720588708379 140720588713952 0
/proc/76845/statm: 11632 8022 800 2416 0 8734 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 53512 KiB
Current children cumulated memory: 36568 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 76906
/proc/meminfo: memFree=124045656/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76844] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/76965/statm: 41594 34788 2016 2271 0 36232 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 173360 KiB
Current children cumulated memory: 143632 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.15 3.50 4/265 77139
/proc/meminfo: memFree=123845556/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=166376 memory=139152 CPUtime=2257.72 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 21906 0 0 0 223693 2079 0 0 20 0 1 0 69707474 170369024 34788 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 41594 34788 2016 2271 0 36232 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 173360 KiB
Current children cumulated memory: 143632 KiB
[startup+3522.3 s]
/proc/loadavg: 2.59 3.01 3.43 3/257 77182
/proc/meminfo: memFree=123998232/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=166376 memory=139152 CPUtime=2317.53 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 21906 0 0 0 229666 2087 0 0 20 0 1 0 69707474 170369024 34788 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 41594 34788 2016 2271 0 36232 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 173360 KiB
Current children cumulated memory: 143632 KiB
[startup+3582.3 s]
/proc/loadavg: 2.32 2.85 3.35 3/257 77185
/proc/meminfo: memFree=123999460/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=166596 memory=139152 CPUtime=2377.34 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 21909 0 0 0 235633 2101 0 0 20 0 1 0 69707474 170594304 34788 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 41649 34788 2016 2271 0 36287 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 173580 KiB
Current children cumulated memory: 143632 KiB
[startup+3596.09 s]
# the end of solver process 76841 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.83 s, system=21.1362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.30 2.84 3.34 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=166952 memory=139664 CPUtime=2379.04 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22025 0 0 0 235803 2101 0 0 20 0 1 0 69707474 170958848 34916 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 41738 34916 2016 2271 0 36376 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 173936 KiB
Current children cumulated memory: 144144 KiB
[startup+3590.4 s]
/proc/loadavg: 2.27 2.83 3.33 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=168084 memory=140816 CPUtime=2385.42 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22308 0 0 0 236439 2103 0 0 20 0 1 0 69707474 172118016 35204 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 42021 35204 2016 2271 0 36659 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 175068 KiB
Current children cumulated memory: 145296 KiB
[startup+3593.6 s]
/proc/loadavg: 2.27 2.83 3.33 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=168544 memory=141200 CPUtime=2388.61 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22423 0 0 0 236758 2103 0 0 20 0 1 0 69707474 172589056 35300 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 42136 35300 2016 2271 0 36774 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 175528 KiB
Current children cumulated memory: 145680 KiB
[startup+3595.2 s]
/proc/loadavg: 2.25 2.81 3.33 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=168700 memory=141456 CPUtime=2390.2 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22462 0 0 0 236916 2104 0 0 20 0 1 0 69707474 172748800 35364 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 42175 35364 2016 2271 0 36813 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 175684 KiB
Current children cumulated memory: 145936 KiB
[startup+3595.6 s]
/proc/loadavg: 2.25 2.81 3.33 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=168700 memory=141456 CPUtime=2390.6 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22462 0 0 0 236956 2104 0 0 20 0 1 0 69707474 172748800 35364 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 42175 35364 2016 2271 0 36813 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 175684 KiB
Current children cumulated memory: 145936 KiB
[startup+3596 s]*
/proc/loadavg: 2.25 2.81 3.33 3/257 77185
/proc/meminfo: memFree=123999776/131249992 swapFree=33010160/33010684
[pid=76841] ppid=76838 vsize=4324 memory=3072 CPUtime=1194.89 cores=1,3
/proc/76841/stat : 76841 (Hybrid-CASHWMax) S 76838 76841 74605 0 -1 4194304 284 14157 0 0 0 0 119482 7 20 0 1 0 69587672 4427776 768 18446744073709551615 94181230653440 94181231547973 140726111112080 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94181231787024 94181231834768 94181260668928 140726111119703 140726111119857 140726111119857 140726111125459 0
/proc/76841/statm: 1081 768 704 219 0 143 0
[pid=76964] ppid=76841 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76964/stat : 76964 (timeout) S 76841 76964 74605 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 69707474 2723840 352 18446744073709551615 94655710654464 94655710670977 140727658668816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94655710685744 94655710687832 94655725858816 140727658674566 140727658674722 140727658674722 140727658680295 0
/proc/76964/statm: 665 352 352 5 0 90 0
[pid=76965] ppid=76964 vsize=168700 memory=141456 CPUtime=2391.01 cores=1,3
/proc/76965/stat : 76965 (ExactPR-S) R 76964 76964 74605 0 -1 4194304 22462 0 0 0 236997 2104 0 0 20 0 1 0 69707474 172748800 35364 18446744073709551615 94442100936704 94442110236741 140727951525408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94442112022848 94442112061928 94442153381888 140727951530398 140727951530535 140727951530535 140727951536108 0
/proc/76965/statm: 42175 35364 2016 2271 0 36813 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 175684 KiB
Current children cumulated memory: 145936 KiB
Child status: 0
Real time (s): 3596.09
CPU time (s): 3585.97
CPU user time (s): 3564.83
CPU system time (s): 21.1362
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 175684
Max. memory (cumulated for all children) (KiB): 145936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.83
system time used= 21.1362
maximum resident set size= 141712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1229
involuntary context switches= 1574
# summary of solver processes directly reported to runsolver:
# pid: 76841
# total CPU time (s): 3585.97
# total CPU user time (s): 3564.83
# total CPU system time (s): 21.1362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54216 second user time and 16.7772 second system time
The end
Begin job on nodeC035 at 2025-07-03 12:38:51
IDJOB=4518989
IDBENCH=177142
IDSOLVER=3329
FILE ID=nodeC035/4518989-1751539131
RUNJOBID= nodeC035-1751529663-74617
SLURM_JOB_ID= 9598669
Free space on /tmp= 432744 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518989-1751539131/watcher-4518989-1751539131 -o /tmp/evaluation-result-4518989-1751539131/solver-4518989-1751539131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74617 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518989-1751539131.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eab24ff23fe5100b8f4d0b18077a7ab6
RANDOM SEED=529157177
nodeC035 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 : 3599.741
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 : 6999.51
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 : 3599.519
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 : 6999.51
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 : 3700.000
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 : 6999.51
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 : 3599.708
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 : 6999.51
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 : 3599.751
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 : 6999.51
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.759
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 : 6999.51
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 : 3603.168
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 : 6999.51
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.938
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 : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 123637032 kB
MemAvailable: 129111512 kB
Buffers: 1840 kB
Cached: 6224936 kB
SwapCached: 8 kB
Active: 988600 kB
Inactive: 5932736 kB
Active(anon): 701020 kB
Inactive(anon): 11588 kB
Active(file): 287580 kB
Inactive(file): 5921148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25196 kB
Writeback: 0 kB
AnonPages: 696704 kB
Mapped: 120336 kB
Shmem: 18048 kB
KReclaimable: 209984 kB
Slab: 300232 kB
SReclaimable: 209984 kB
SUnreclaim: 90248 kB
KernelStack: 4352 kB
PageTables: 4568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1079064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432772 MiB
End job on nodeC035 at 2025-07-03 13:38:48