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 (60887 MiB free)
memory of node 1: 64465 MiB (62288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484472-1751284485/watcher-4484472-1751284485 -o /tmp/evaluation-result-4484472-1751284485/solver-4484472-1751284485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38111 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484472-1751284485.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39196, runsolver pid=39193
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126132920/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=22212 memory=8108 CPUtime=0.08 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 1312 0 0 0 8 0 0 0 20 0 1 0 44126360 22745088 2027 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 5553 2027 960 2593 0 2446 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29196 KiB
Current children cumulated memory: 12460 KiB
[startup+0.205699 s]*
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126132968/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=24132 memory=9984 CPUtime=0.18 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 1878 0 0 0 18 0 0 0 20 0 1 0 44126360 24711168 2496 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 6033 2496 960 2593 0 2926 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 31116 KiB
Current children cumulated memory: 14336 KiB
[startup+0.305697 s]*
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126132968/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=25944 memory=11560 CPUtime=0.28 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 2603 0 0 0 28 0 0 0 20 0 1 0 44126360 26566656 2890 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 6486 2890 992 2593 0 3379 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 15912 KiB
[startup+0.700186 s]
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126132968/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=27552 memory=13472 CPUtime=0.67 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 4138 0 0 0 66 1 0 0 20 0 1 0 44126360 28213248 3368 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 6888 3368 992 2593 0 3781 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 17824 KiB
[startup+1.50022 s]
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126132968/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=29592 memory=15636 CPUtime=1.46 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 6328 0 0 0 145 1 0 0 20 0 1 0 44126360 30302208 3909 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 7398 3909 992 2593 0 4291 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 36576 KiB
Current children cumulated memory: 19988 KiB
[startup+3.10561 s]
/proc/loadavg: 4.21 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126198612/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=31676 memory=17720 CPUtime=3.07 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 8074 0 0 0 305 2 0 0 20 0 1 0 44126360 32436224 4430 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 7919 4430 992 2593 0 4812 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 38660 KiB
Current children cumulated memory: 22072 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 4.13 4.10 5/273 39200
/proc/meminfo: memFree=126191024/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=37676 memory=23720 CPUtime=6.25 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 9841 0 0 0 623 2 0 0 20 0 1 0 44126360 38580224 5930 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 9419 5930 992 2593 0 6312 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 44660 KiB
Current children cumulated memory: 28072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.09 5/273 39200
/proc/meminfo: memFree=126178976/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=41644 memory=27724 CPUtime=12.63 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 11652 0 0 0 1260 3 0 0 20 0 1 0 44126360 42643456 6931 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 10411 6931 992 2593 0 7304 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 48628 KiB
Current children cumulated memory: 32076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/273 39201
/proc/meminfo: memFree=126191272/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=49352 memory=35280 CPUtime=25.4 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 16370 0 0 0 2535 5 0 0 20 0 1 0 44126360 50536448 8820 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 12338 8820 992 2593 0 9231 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 39632 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 39201
/proc/meminfo: memFree=126063496/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=65468 memory=51408 CPUtime=50.93 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 17875 0 0 0 5088 5 0 0 20 0 1 0 44126360 67039232 12852 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 16367 12852 992 2593 0 13260 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 72452 KiB
Current children cumulated memory: 55760 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 39204
/proc/meminfo: memFree=126018996/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=167156 memory=152664 CPUtime=1059.02 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 44122 0 0 0 105876 26 0 0 20 0 1 0 44126360 171167744 38166 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 41789 38166 992 2593 0 38682 0
Current children cumulated CPU time: 1059.02 s
Current children cumulated vsize: 174140 KiB
Current children cumulated memory: 157016 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 39379
/proc/meminfo: memFree=126849680/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=210244 memory=195744 CPUtime=1118.81 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 45786 0 0 0 111853 28 0 0 20 0 1 0 44126360 215289856 48936 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 52561 48936 992 2593 0 49454 0
Current children cumulated CPU time: 1118.81 s
Current children cumulated vsize: 217228 KiB
Current children cumulated memory: 200096 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 39381
/proc/meminfo: memFree=126813420/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=222632 memory=208140 CPUtime=1178.64 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 47214 0 0 0 117832 32 0 0 20 0 1 0 44126360 227975168 52035 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 55658 52035 992 2593 0 52551 0
Current children cumulated CPU time: 1178.64 s
Current children cumulated vsize: 229616 KiB
Current children cumulated memory: 212492 KiB
[startup+1200.58 s]
# the end of solver process 39196 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1196.44 s, system=0.410581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 39382
/proc/meminfo: memFree=126814796/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=222632 memory=208140 CPUtime=1186.72 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 47214 0 0 0 118640 32 0 0 20 0 1 0 44126360 227975168 52035 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 55658 52035 992 2593 0 52551 0
Current children cumulated CPU time: 1186.72 s
Current children cumulated vsize: 229616 KiB
Current children cumulated memory: 212492 KiB
[startup+1196.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 39382
/proc/meminfo: memFree=126696692/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39199] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39199/stat : 39199 (timeout) S 39196 39199 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44126359 2723840 352 18446744073709551615 94282986487808 94282986504321 140735174999760 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94282986519088 94282986521176 94283018285056 140735175002518 140735175002658 140735175002658 140735175008231 0
/proc/39199/statm: 665 352 352 5 0 90 0
[pid=39200] ppid=39199 vsize=224108 memory=209616 CPUtime=1193.09 cores=1,3
/proc/39200/stat : 39200 (CASHWMaxSAT-Dis) R 39199 39199 38099 0 -1 4194304 47655 0 0 0 119277 32 0 0 20 0 1 0 44126360 229486592 52404 18446744073709551615 4198400 14817773 140724143995328 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47767552 140724144003484 140724144003611 140724144003611 140724144009184 0
/proc/39200/statm: 56027 52404 992 2593 0 52920 0
Current children cumulated CPU time: 1193.09 s
Current children cumulated vsize: 231092 KiB
Current children cumulated memory: 213968 KiB
[startup+1198.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 39382
/proc/meminfo: memFree=126650728/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=1194.32 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 281 47878 0 0 0 0 119399 33 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.32 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1199.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 39384
/proc/meminfo: memFree=126783924/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=1194.32 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 281 47878 0 0 0 0 119399 33 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39383] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39383/stat : 39383 (timeout) S 39196 39383 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44246160 2723840 352 18446744073709551615 93951042248704 93951042265217 140721382308992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93951042279984 93951042282072 93951051100160 140721382316422 140721382316578 140721382316578 140721382322151 0
/proc/39383/statm: 665 352 352 5 0 90 0
[pid=39384] ppid=39383 vsize=130224 memory=91232 CPUtime=1.15 cores=1,3
/proc/39384/stat : 39384 (ExactPR-S) R 39383 39383 38099 0 -1 4194304 20848 0 0 0 112 3 0 0 20 0 1 0 44246161 133349376 22808 18446744073709551615 94700057509888 94700066809925 140722757808944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94700068596032 94700068635112 94700097630208 140722757810590 140722757810727 140722757810727 140722757816300 0
/proc/39384/statm: 32556 22808 3360 2271 0 27194 0
Current children cumulated CPU time: 1195.47 s
Current children cumulated vsize: 137208 KiB
Current children cumulated memory: 95584 KiB
[startup+1200 s]*
/proc/loadavg: 4.08 4.08 4.09 5/272 39384
/proc/meminfo: memFree=126743604/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=1194.32 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 281 47878 0 0 0 0 119399 33 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39383] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39383/stat : 39383 (timeout) S 39196 39383 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44246160 2723840 352 18446744073709551615 93951042248704 93951042265217 140721382308992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93951042279984 93951042282072 93951051100160 140721382316422 140721382316578 140721382316578 140721382322151 0
/proc/39383/statm: 665 352 352 5 0 90 0
[pid=39384] ppid=39383 vsize=170724 memory=130528 CPUtime=1.96 cores=1,3
/proc/39384/stat : 39384 (ExactPR-S) R 39383 39383 38099 0 -1 4194304 30673 0 0 0 191 5 0 0 20 0 1 0 44246161 174821376 32632 18446744073709551615 94700057509888 94700066809925 140722757808944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94700068596032 94700068635112 94700097630208 140722757810590 140722757810727 140722757810727 140722757816300 0
/proc/39384/statm: 42681 32632 3360 2271 0 37319 0
Current children cumulated CPU time: 1196.28 s
Current children cumulated vsize: 177708 KiB
Current children cumulated memory: 134880 KiB
[startup+1200.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 39384
/proc/meminfo: memFree=126743604/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=1194.32 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 281 47878 0 0 0 0 119399 33 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39383] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39383/stat : 39383 (timeout) S 39196 39383 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44246160 2723840 352 18446744073709551615 93951042248704 93951042265217 140721382308992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93951042279984 93951042282072 93951051100160 140721382316422 140721382316578 140721382316578 140721382322151 0
/proc/39383/statm: 665 352 352 5 0 90 0
[pid=39384] ppid=39383 vsize=183604 memory=142816 CPUtime=2.35 cores=1,3
/proc/39384/stat : 39384 (ExactPR-S) R 39383 39383 38099 0 -1 4194304 33725 0 0 0 230 5 0 0 20 0 1 0 44246161 188010496 35704 18446744073709551615 94700057509888 94700066809925 140722757808944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94700068596032 94700068635112 94700097630208 140722757810590 140722757810727 140722757810727 140722757816300 0
/proc/39384/statm: 45901 35704 3360 2271 0 40539 0
Current children cumulated CPU time: 1196.67 s
Current children cumulated vsize: 190588 KiB
Current children cumulated memory: 147168 KiB
[startup+1200.5 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 39384
/proc/meminfo: memFree=126743604/131249996 swapFree=33010684/33010684
[pid=39196] ppid=39193 vsize=4324 memory=2944 CPUtime=1194.32 cores=1,3
/proc/39196/stat : 39196 (Hybrid-CASHWMax) S 39193 39196 38099 0 -1 4194304 281 47878 0 0 0 0 119399 33 20 0 1 0 44126358 4427776 736 18446744073709551615 94891968200704 94891969095237 140724177586176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94891969334288 94891969382032 94891982495744 140724177594711 140724177594865 140724177594865 140724177600467 0
/proc/39196/statm: 1081 736 672 219 0 143 0
[pid=39383] ppid=39196 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/39383/stat : 39383 (timeout) S 39196 39383 38099 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 44246160 2723840 352 18446744073709551615 93951042248704 93951042265217 140721382308992 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93951042279984 93951042282072 93951051100160 140721382316422 140721382316578 140721382316578 140721382322151 0
/proc/39383/statm: 665 352 352 5 0 90 0
[pid=39384] ppid=39383 vsize=183804 memory=143200 CPUtime=2.45 cores=1,3
/proc/39384/stat : 39384 (ExactPR-S) R 39383 39383 38099 0 -1 4194304 33824 0 0 0 240 5 0 0 20 0 1 0 44246161 188215296 35800 18446744073709551615 94700057509888 94700066809925 140722757808944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94700068596032 94700068635112 94700097630208 140722757810590 140722757810727 140722757810727 140722757816300 0
/proc/39384/statm: 45951 35800 3360 2271 0 40589 0
Current children cumulated CPU time: 1196.77 s
Current children cumulated vsize: 190788 KiB
Current children cumulated memory: 147552 KiB
Child status: 0
Real time (s): 1200.58
CPU time (s): 1196.85
CPU user time (s): 1196.44
CPU system time (s): 0.410581
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 286568
Max. memory (cumulated for all children) (KiB): 269400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.44
system time used= 0.410581
maximum resident set size= 265048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82845
page faults= 1
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 825
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 39196
# total CPU time (s): 1196.85
# total CPU user time (s): 1196.44
# total CPU system time (s): 0.410581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.19833 second user time and 6.13553 second system time
The end
Begin job on nodeC023 at 2025-06-30 13:54:45
IDJOB=4484472
IDBENCH=146658
IDSOLVER=3327
FILE ID=nodeC023/4484472-1751284485
RUNJOBID= nodeC023-1751279092-38111
SLURM_JOB_ID= 9594208
Free space on /tmp= 432988 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
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-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484472-1751284485/watcher-4484472-1751284485 -o /tmp/evaluation-result-4484472-1751284485/solver-4484472-1751284485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38111 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484472-1751284485.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=1178937551
nodeC023 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.907
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.78
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.956
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.78
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.697
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.78
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 : 3700.000
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.78
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.797
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.78
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.908
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.78
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 : 3583.474
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.217
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126133096 kB
MemAvailable: 128198148 kB
Buffers: 3280 kB
Cached: 2867304 kB
SwapCached: 0 kB
Active: 1908248 kB
Inactive: 2561600 kB
Active(anon): 1617328 kB
Inactive(anon): 0 kB
Active(file): 290920 kB
Inactive(file): 2561600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26016 kB
Writeback: 20 kB
AnonPages: 1599424 kB
Mapped: 115236 kB
Shmem: 18064 kB
KReclaimable: 103540 kB
Slab: 190992 kB
SReclaimable: 103540 kB
SUnreclaim: 87452 kB
KernelStack: 4368 kB
PageTables: 6348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2005464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1175552 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC023 at 2025-06-30 14:14:46