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 (60131 MiB free)
memory of node 1: 64465 MiB (60964 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484059-1751282694/watcher-4484059-1751282694 -o /tmp/evaluation-result-4484059-1751282694/solver-4484059-1751282694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44982 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484059-1751282694.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45472, runsolver pid=45469
[startup+0.100066 s]*
/proc/loadavg: 4.09 4.15 4.11 5/273 45476
/proc/meminfo: memFree=123987952/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=51788 memory=34516 CPUtime=0.08 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 7188 0 0 0 7 1 0 0 20 0 1 0 43947004 53030912 8629 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 12947 8629 768 2416 0 10049 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 38996 KiB
[startup+0.205733 s]*
/proc/loadavg: 4.09 4.15 4.11 5/273 45476
/proc/meminfo: memFree=123972076/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=76132 memory=57060 CPUtime=0.18 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 13646 0 0 0 16 2 0 0 20 0 1 0 43947004 77959168 14265 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 19033 14265 768 2416 0 16135 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83116 KiB
Current children cumulated memory: 61540 KiB
[startup+0.305599 s]*
/proc/loadavg: 4.09 4.15 4.11 5/273 45476
/proc/meminfo: memFree=123972076/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=83752 memory=61284 CPUtime=0.28 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 14712 0 0 0 26 2 0 0 20 0 1 0 43947004 85762048 15321 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 20938 15321 768 2416 0 18040 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 90736 KiB
Current children cumulated memory: 65764 KiB
[startup+0.70024 s]
/proc/loadavg: 4.09 4.15 4.11 5/273 45476
/proc/meminfo: memFree=123968296/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=79808 memory=60748 CPUtime=0.67 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 15798 0 0 0 65 2 0 0 20 0 1 0 43947004 81723392 15187 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 19952 15187 800 2416 0 17054 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86792 KiB
Current children cumulated memory: 65228 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.15 4.11 5/273 45476
/proc/meminfo: memFree=123968296/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=84164 memory=65240 CPUtime=1.46 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 16391 0 0 0 144 2 0 0 20 0 1 0 43947004 86183936 16310 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 21041 16310 800 2416 0 18143 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 91148 KiB
Current children cumulated memory: 69720 KiB
[startup+3.10516 s]
/proc/loadavg: 4.08 4.14 4.10 5/273 45476
/proc/meminfo: memFree=123969132/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=91304 memory=73012 CPUtime=3.07 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 16825 0 0 0 304 3 0 0 20 0 1 0 43947004 93495296 18253 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 22826 18253 800 2416 0 19928 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 98288 KiB
Current children cumulated memory: 77492 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.14 4.10 5/273 45476
/proc/meminfo: memFree=123967620/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=95724 memory=77236 CPUtime=6.26 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 17354 0 0 0 623 3 0 0 20 0 1 0 43947004 98021376 19309 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 23931 19309 800 2416 0 21033 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 102708 KiB
Current children cumulated memory: 81716 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.16 4.11 5/273 45524
/proc/meminfo: memFree=125765172/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=121636 memory=87548 CPUtime=12.63 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 18997 0 0 0 1260 3 0 0 20 0 1 0 43947004 124555264 21887 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 30409 21887 800 2416 0 27511 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 128620 KiB
Current children cumulated memory: 92028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.17 4.11 5/274 45526
/proc/meminfo: memFree=125745000/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=121636 memory=93692 CPUtime=25.4 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 19014 0 0 0 2536 4 0 0 20 0 1 0 43947004 124555264 23423 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 30409 23423 800 2416 0 27511 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 128620 KiB
Current children cumulated memory: 98172 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.15 4.11 5/269 45576
/proc/meminfo: memFree=127324540/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=170664 memory=125708 CPUtime=50.93 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 20266 0 0 0 5088 5 0 0 20 0 1 0 43947004 174759936 31427 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 42666 31427 800 2416 0 39768 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 177648 KiB
Current children cumulated memory: 130188 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/275 45654
/proc/meminfo: memFree=127029020/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/272 45697
/proc/meminfo: memFree=126500468/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=258204 memory=226460 CPUtime=998.94 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 48044 0 0 0 99857 37 0 0 20 0 1 0 43947004 264400896 56615 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 64551 56615 800 2416 0 61653 0
Current children cumulated CPU time: 998.94 s
Current children cumulated vsize: 265188 KiB
Current children cumulated memory: 230940 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 45699
/proc/meminfo: memFree=126486232/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=208884 memory=191716 CPUtime=1058.74 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 51670 0 0 0 105832 42 0 0 20 0 1 0 43947004 213897216 47929 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 52221 47929 800 2416 0 49323 0
Current children cumulated CPU time: 1058.74 s
Current children cumulated vsize: 215868 KiB
Current children cumulated memory: 196196 KiB
[startup+1122.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 45701
/proc/meminfo: memFree=126462232/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=239176 memory=199348 CPUtime=1118.54 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 60652 0 0 0 111799 55 0 0 20 0 1 0 43947004 244916224 49837 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 59794 49837 800 2416 0 56896 0
Current children cumulated CPU time: 1118.54 s
Current children cumulated vsize: 246160 KiB
Current children cumulated memory: 203828 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 45703
/proc/meminfo: memFree=126577548/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=240548 memory=224312 CPUtime=1178.36 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 61144 0 0 0 117781 55 0 0 20 0 1 0 43947004 246321152 56078 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 60137 56078 800 2416 0 57239 0
Current children cumulated CPU time: 1178.36 s
Current children cumulated vsize: 247532 KiB
Current children cumulated memory: 228792 KiB
[startup+1198.66 s]
# the end of solver process 45472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.06 s, system=0.603835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 45704
/proc/meminfo: memFree=126562184/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=240548 memory=224312 CPUtime=1186.44 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 61144 0 0 0 118589 55 0 0 20 0 1 0 43947004 246321152 56078 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 60137 56078 800 2416 0 57239 0
Current children cumulated CPU time: 1186.44 s
Current children cumulated vsize: 247532 KiB
Current children cumulated memory: 228792 KiB
[startup+1193.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 45704
/proc/meminfo: memFree=126605588/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=209908 memory=171312 CPUtime=1189.64 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 61553 0 0 0 118908 56 0 0 20 0 1 0 43947004 214945792 42828 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 52477 42828 800 2416 0 49579 0
Current children cumulated CPU time: 1189.64 s
Current children cumulated vsize: 216892 KiB
Current children cumulated memory: 175792 KiB
[startup+1196.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45705
/proc/meminfo: memFree=126601292/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=209908 memory=187696 CPUtime=1192.83 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 61561 0 0 0 119227 56 0 0 20 0 1 0 43947004 214945792 46924 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 52477 46924 800 2416 0 49579 0
Current children cumulated CPU time: 1192.83 s
Current children cumulated vsize: 216892 KiB
Current children cumulated memory: 192176 KiB
[startup+1197.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45705
/proc/meminfo: memFree=126601356/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
[pid=45475] ppid=45472 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45475/stat : 45475 (timeout) S 45472 45475 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 43947004 2723840 352 18446744073709551615 94904845791232 94904845807745 140732930792720 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94904845822512 94904845824600 94904875380736 140732930795926 140732930796066 140732930796066 140732930801639 0
/proc/45475/statm: 665 352 352 5 0 90 0
[pid=45476] ppid=45475 vsize=209908 memory=187696 CPUtime=1193.63 cores=0,2
/proc/45476/stat : 45476 (CASHWMaxSAT-Dis) R 45475 45475 44972 0 -1 4194304 61561 0 0 0 119307 56 0 0 20 0 1 0 43947004 214945792 46924 18446744073709551615 4198400 14093885 140729433159504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54444032 140729433164188 140729433164315 140729433164315 140729433169888 0
/proc/45476/statm: 52477 46924 800 2416 0 49579 0
Current children cumulated CPU time: 1193.63 s
Current children cumulated vsize: 216892 KiB
Current children cumulated memory: 192176 KiB
[startup+1198.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45705
/proc/meminfo: memFree=126601356/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=1194.04 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 287 61789 0 0 0 0 119348 56 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.04 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 45705
/proc/meminfo: memFree=126601356/131250000 swapFree=33010684/33010684
[pid=45472] ppid=45469 vsize=4324 memory=3072 CPUtime=1194.04 cores=0,2
/proc/45472/stat : 45472 (Hybrid-CASHWMax) S 45469 45472 44972 0 -1 4194304 287 61789 0 0 0 0 119348 56 20 0 1 0 43947003 4427776 768 18446744073709551615 94767571910656 94767572805189 140724764218400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94767573044240 94767573091984 94767578030080 140724764223831 140724764223985 140724764223985 140724764229587 0
/proc/45472/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.04 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1198.66
CPU time (s): 1194.67
CPU user time (s): 1194.06
CPU system time (s): 0.603835
CPU usage (%): 99.6671
Max. virtual memory (cumulated for all children) (KiB): 265188
Max. memory (cumulated for all children) (KiB): 235036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.06
system time used= 0.603835
maximum resident set size= 234036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 832
involuntary context switches= 2615
# summary of solver processes directly reported to runsolver:
# pid: 45472
# total CPU time (s): 1194.67
# total CPU user time (s): 1194.06
# total CPU system time (s): 0.603835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54468 second user time and 5.49477 second system time
The end
Begin job on nodeC016 at 2025-06-30 13:24:54
IDJOB=4484059
IDBENCH=146649
IDSOLVER=3329
FILE ID=nodeC016/4484059-1751282694
RUNJOBID= nodeC016-1751279092-44982
SLURM_JOB_ID= 9594205
Free space on /tmp= 432976 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484059-1751282694/watcher-4484059-1751282694 -o /tmp/evaluation-result-4484059-1751282694/solver-4484059-1751282694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44982 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484059-1751282694.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=999307895
nodeC016 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.994
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.48
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.728
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.48
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 : 3599.736
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.48
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 : 3598.427
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.48
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.740
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.48
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.777
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.48
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 : 3599.717
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.48
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 : 3659.473
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124001624 kB
MemAvailable: 124856968 kB
Buffers: 3280 kB
Cached: 1659088 kB
SwapCached: 0 kB
Active: 5182188 kB
Inactive: 1401728 kB
Active(anon): 4939620 kB
Inactive(anon): 0 kB
Active(file): 242568 kB
Inactive(file): 1401728 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25220 kB
Writeback: 8 kB
AnonPages: 4924120 kB
Mapped: 120444 kB
Shmem: 18072 kB
KReclaimable: 100576 kB
Slab: 187980 kB
SReclaimable: 100576 kB
SUnreclaim: 87404 kB
KernelStack: 4368 kB
PageTables: 13040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5600396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3057664 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432964 MiB
End job on nodeC016 at 2025-06-30 13:44:53