runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62678 MiB free)
memory of node 1: 64507 MiB (63006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484474-1751284654/watcher-4484474-1751284654 -o /tmp/evaluation-result-4484474-1751284654/solver-4484474-1751284654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43171 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484474-1751284654.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44286, runsolver pid=44283
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128701756/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=21944 memory=7668 CPUtime=0.08 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 1565 0 0 0 8 0 0 0 20 0 1 0 44143329 22470656 1917 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 5486 1917 768 2416 0 2588 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 12148 KiB
[startup+0.205769 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128701756/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=25024 memory=10356 CPUtime=0.18 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 2238 0 0 0 18 0 0 0 20 0 1 0 44143329 25624576 2589 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 6256 2589 768 2416 0 3358 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32008 KiB
Current children cumulated memory: 14836 KiB
[startup+0.305688 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128701756/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=27700 memory=11124 CPUtime=0.28 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 2404 0 0 0 28 0 0 0 20 0 1 0 44143329 28364800 2781 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 6925 2781 768 2416 0 4027 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 15604 KiB
[startup+0.700234 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128699992/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=34940 memory=17776 CPUtime=0.67 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 3040 0 0 0 67 0 0 0 20 0 1 0 44143329 35778560 4444 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 8735 4444 768 2416 0 5837 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41924 KiB
Current children cumulated memory: 22256 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128697976/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=39336 memory=24128 CPUtime=1.47 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 3622 0 0 0 147 0 0 0 20 0 1 0 44143329 40280064 6032 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 9834 6032 768 2416 0 6936 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 28608 KiB
[startup+3.10551 s]
/proc/loadavg: 4.13 4.11 4.09 6/272 44290
/proc/meminfo: memFree=128720440/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=39336 memory=24256 CPUtime=3.07 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 3650 0 0 0 307 0 0 0 20 0 1 0 44143329 40280064 6064 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 9834 6064 768 2416 0 6936 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 28736 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 44290
/proc/meminfo: memFree=128693876/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=39816 memory=25536 CPUtime=6.26 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 3966 0 0 0 625 1 0 0 20 0 1 0 44143329 40771584 6384 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 9954 6384 768 2416 0 7056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 46800 KiB
Current children cumulated memory: 30016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 44344
/proc/meminfo: memFree=128929192/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=50368 memory=34956 CPUtime=12.64 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 5538 0 0 0 1262 2 0 0 20 0 1 0 44143329 51576832 8739 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 12592 8739 768 2416 0 9694 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57352 KiB
Current children cumulated memory: 39436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 44344
/proc/meminfo: memFree=128863240/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=54788 memory=40512 CPUtime=25.4 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 6407 0 0 0 2538 2 0 0 20 0 1 0 44143329 56102912 10128 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 13697 10128 768 2416 0 10799 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 44992 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 44345
/proc/meminfo: memFree=128838132/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=54788 memory=40512 CPUtime=50.93 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 6419 0 0 0 5091 2 0 0 20 0 1 0 44143329 56102912 10128 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 13697 10128 768 2416 0 10799 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 44992 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 44347
/proc/meminfo: memFree=128845792/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=159612 memory=145392 CPUtime=819.82 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 36344 0 0 0 81930 52 0 0 20 0 1 0 44143329 163442688 36348 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 39903 36348 800 2416 0 37005 0
Current children cumulated CPU time: 819.82 s
Current children cumulated vsize: 166596 KiB
Current children cumulated memory: 149872 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/274 44454
/proc/meminfo: memFree=128508320/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=171284 memory=153724 CPUtime=879.65 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 38153 0 0 0 87908 57 0 0 20 0 1 0 44143329 175394816 38431 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 42821 38431 800 2416 0 39923 0
Current children cumulated CPU time: 879.65 s
Current children cumulated vsize: 178268 KiB
Current children cumulated memory: 158204 KiB
[startup+901.571 s]
# the end of solver process 44286 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=898.212 s, system=0.650481 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/274 44454
/proc/meminfo: memFree=128478892/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=171284 memory=153724 CPUtime=880.55 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 38153 0 0 0 87998 57 0 0 20 0 1 0 44143329 175394816 38431 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 42821 38431 800 2416 0 39923 0
Current children cumulated CPU time: 880.55 s
Current children cumulated vsize: 178268 KiB
Current children cumulated memory: 158204 KiB
[startup+889.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/274 44454
/proc/meminfo: memFree=128439544/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=190252 memory=175996 CPUtime=886.94 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 39131 0 0 0 88636 58 0 0 20 0 1 0 44143329 194818048 43999 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 47563 43999 800 2416 0 44665 0
Current children cumulated CPU time: 886.94 s
Current children cumulated vsize: 197236 KiB
Current children cumulated memory: 180476 KiB
[startup+896 s]*
/proc/loadavg: 4.15 4.10 4.09 5/274 44455
/proc/meminfo: memFree=128462072/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44289] ppid=44286 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44289/stat : 44289 (timeout) S 44286 44289 43154 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 44143329 2723840 352 18446744073709551615 94917487730688 94917487747201 140730034241872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94917487761968 94917487764056 94917509361664 140730034243992 140730034244130 140730034244130 140730034249703 0
/proc/44289/statm: 665 352 352 5 0 90 0
[pid=44290] ppid=44289 vsize=190252 memory=175996 CPUtime=893.33 cores=0,2
/proc/44290/stat : 44290 (CASHWMaxSAT-Dis) R 44289 44289 43154 0 -1 4194304 39132 0 0 0 89275 58 0 0 20 0 1 0 44143329 194818048 43999 18446744073709551615 4198400 14093885 140727718500544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53956608 140727718508957 140727718509083 140727718509083 140727718514656 0
/proc/44290/statm: 47563 43999 800 2416 0 44665 0
Current children cumulated CPU time: 893.33 s
Current children cumulated vsize: 197236 KiB
Current children cumulated memory: 180476 KiB
[startup+899.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/274 44455
/proc/meminfo: memFree=128449784/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 284 39357 0 0 0 0 89575 58 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 896.33 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+900.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/274 44457
/proc/meminfo: memFree=128530576/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 284 39357 0 0 0 0 89575 58 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44456] ppid=44286 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44456/stat : 44456 (timeout) S 44286 44456 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233229 2723840 320 18446744073709551615 94914096791552 94914096808065 140720718239008 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94914096822832 94914096824920 94914111270912 140720718248325 140720718248482 140720718248482 140720718254055 0
/proc/44456/statm: 665 320 320 5 0 90 0
[pid=44457] ppid=44456 vsize=156024 memory=116788 CPUtime=1.75 cores=0,2
/proc/44457/stat : 44457 (ExactPR-S9) R 44456 44456 43154 0 -1 4194304 27233 0 0 0 171 4 0 0 20 0 1 0 44233230 159768576 29197 18446744073709551615 94178398359552 94178407659653 140726179854592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94178409445696 94178409484776 94178442088448 140726179858844 140726179858982 140726179858982 140726179864555 0
/proc/44457/statm: 39006 29197 3360 2271 0 33644 0
Current children cumulated CPU time: 898.08 s
Current children cumulated vsize: 163008 KiB
Current children cumulated memory: 121140 KiB
[startup+901.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 44457
/proc/meminfo: memFree=128478096/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 284 39357 0 0 0 0 89575 58 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44456] ppid=44286 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44456/stat : 44456 (timeout) S 44286 44456 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233229 2723840 320 18446744073709551615 94914096791552 94914096808065 140720718239008 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94914096822832 94914096824920 94914111270912 140720718248325 140720718248482 140720718248482 140720718254055 0
/proc/44456/statm: 665 320 320 5 0 90 0
[pid=44457] ppid=44456 vsize=179196 memory=138804 CPUtime=2.16 cores=0,2
/proc/44457/stat : 44457 (ExactPR-S9) R 44456 44456 43154 0 -1 4194304 32757 0 0 0 211 5 0 0 20 0 1 0 44233230 183496704 34701 18446744073709551615 94178398359552 94178407659653 140726179854592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94178409445696 94178409484776 94178442088448 140726179858844 140726179858982 140726179858982 140726179864555 0
/proc/44457/statm: 44799 34701 3360 2271 0 39437 0
Current children cumulated CPU time: 898.49 s
Current children cumulated vsize: 186180 KiB
Current children cumulated memory: 143156 KiB
[startup+901.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 44457
/proc/meminfo: memFree=128478096/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 284 39357 0 0 0 0 89575 58 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44456] ppid=44286 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44456/stat : 44456 (timeout) S 44286 44456 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233229 2723840 320 18446744073709551615 94914096791552 94914096808065 140720718239008 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94914096822832 94914096824920 94914111270912 140720718248325 140720718248482 140720718248482 140720718254055 0
/proc/44456/statm: 665 320 320 5 0 90 0
[pid=44457] ppid=44456 vsize=183604 memory=142772 CPUtime=2.35 cores=0,2
/proc/44457/stat : 44457 (ExactPR-S9) R 44456 44456 43154 0 -1 4194304 33727 0 0 0 230 5 0 0 20 0 1 0 44233230 188010496 35693 18446744073709551615 94178398359552 94178407659653 140726179854592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94178409445696 94178409484776 94178442088448 140726179858844 140726179858982 140726179858982 140726179864555 0
/proc/44457/statm: 45901 35693 3360 2271 0 40539 0
Current children cumulated CPU time: 898.68 s
Current children cumulated vsize: 190588 KiB
Current children cumulated memory: 147124 KiB
[startup+901.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 44457
/proc/meminfo: memFree=128478096/131249996 swapFree=33010684/33010684
[pid=44286] ppid=44283 vsize=4324 memory=3072 CPUtime=896.33 cores=0,2
/proc/44286/stat : 44286 (Hybrid-CASHWMax) S 44283 44286 43154 0 -1 4194304 284 39357 0 0 0 0 89575 58 20 0 1 0 44143327 4427776 768 18446744073709551615 94698600058880 94698600953413 140728765438400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698601192464 94698601240208 94698629648384 140728765446485 140728765446640 140728765446640 140728765452242 0
/proc/44286/statm: 1081 768 704 219 0 143 0
[pid=44456] ppid=44286 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44456/stat : 44456 (timeout) S 44286 44456 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233229 2723840 320 18446744073709551615 94914096791552 94914096808065 140720718239008 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94914096822832 94914096824920 94914111270912 140720718248325 140720718248482 140720718248482 140720718254055 0
/proc/44456/statm: 665 320 320 5 0 90 0
[pid=44457] ppid=44456 vsize=183804 memory=143156 CPUtime=2.45 cores=0,2
/proc/44457/stat : 44457 (ExactPR-S9) R 44456 44456 43154 0 -1 4194304 33826 0 0 0 240 5 0 0 20 0 1 0 44233230 188215296 35789 18446744073709551615 94178398359552 94178407659653 140726179854592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94178409445696 94178409484776 94178442088448 140726179858844 140726179858982 140726179858982 140726179864555 0
/proc/44457/statm: 45951 35789 3360 2271 0 40589 0
Current children cumulated CPU time: 898.78 s
Current children cumulated vsize: 190788 KiB
Current children cumulated memory: 147508 KiB
Child status: 0
Real time (s): 901.571
CPU time (s): 898.862
CPU user time (s): 898.212
CPU system time (s): 0.650481
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 215916
Max. memory (cumulated for all children) (KiB): 193812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.212
system time used= 0.650481
maximum resident set size= 189332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 814
involuntary context switches= 2055
# summary of solver processes directly reported to runsolver:
# pid: 44286
# total CPU time (s): 898.862
# total CPU user time (s): 898.212
# total CPU system time (s): 0.650481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90376 second user time and 4.30766 second system time
The end
Begin job on nodeC024 at 2025-06-30 13:57:34
IDJOB=4484474
IDBENCH=146658
IDSOLVER=3330
FILE ID=nodeC024/4484474-1751284654
RUNJOBID= nodeC024-1751279092-43171
SLURM_JOB_ID= 9594209
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484474-1751284654/watcher-4484474-1751284654 -o /tmp/evaluation-result-4484474-1751284654/solver-4484474-1751284654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43171 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484474-1751284654.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=999307895
nodeC024 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 : 3598.705
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.36
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.676
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.36
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.652
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.36
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.106
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.36
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.679
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.36
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.761
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.36
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.646
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.36
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 : 3591.833
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128701996 kB
MemAvailable: 129062116 kB
Buffers: 3280 kB
Cached: 1166236 kB
SwapCached: 0 kB
Active: 1049220 kB
Inactive: 910732 kB
Active(anon): 808500 kB
Inactive(anon): 0 kB
Active(file): 240720 kB
Inactive(file): 910732 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25008 kB
Writeback: 0 kB
AnonPages: 793544 kB
Mapped: 119436 kB
Shmem: 18064 kB
KReclaimable: 95412 kB
Slab: 182704 kB
SReclaimable: 95412 kB
SUnreclaim: 87292 kB
KernelStack: 4352 kB
PageTables: 4900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1249644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC024 at 2025-06-30 14:12:36