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 (30353 MiB free)
memory of node 1: 64465 MiB (54366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519633-1751556629/watcher-4519633-1751556629 -o /tmp/evaluation-result-4519633-1751556629/solver-4519633-1751556629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751550848-81822 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4519633-1751556629.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=82701, runsolver pid=82698
[startup+0.100066 s]*
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86744712/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=26064 memory=11320 CPUtime=0.07 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 2650 0 0 0 7 0 0 0 20 0 1 0 71342375 26689536 2830 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 6516 2830 800 2416 0 3618 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 15672 KiB
[startup+0.20605 s]*
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86730912/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=26064 memory=11448 CPUtime=0.18 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 2686 0 0 0 18 0 0 0 20 0 1 0 71342375 26689536 2862 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 6516 2862 800 2416 0 3618 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 15800 KiB
[startup+0.305927 s]*
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86730912/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=27716 memory=11576 CPUtime=0.28 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 2724 0 0 0 28 0 0 0 20 0 1 0 71342375 28381184 2894 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 6929 2894 800 2416 0 4031 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34700 KiB
Current children cumulated memory: 15928 KiB
[startup+0.700241 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86726816/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=31688 memory=16952 CPUtime=0.66 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 4061 0 0 0 66 0 0 0 20 0 1 0 71342375 32448512 4238 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 7922 4238 800 2416 0 5024 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 38672 KiB
Current children cumulated memory: 21304 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86734508/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=64200 memory=44260 CPUtime=1.46 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 6286 0 0 0 145 1 0 0 20 0 1 0 71342375 65740800 11065 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 16050 11065 800 2416 0 13152 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71184 KiB
Current children cumulated memory: 48612 KiB
[startup+3.10575 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86678600/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=75768 memory=61260 CPUtime=3.06 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 7730 0 0 0 304 2 0 0 20 0 1 0 71342375 77586432 15315 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 18942 15315 800 2416 0 16044 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82752 KiB
Current children cumulated memory: 65612 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86677300/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=94624 memory=79900 CPUtime=6.24 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 8392 0 0 0 621 3 0 0 20 0 1 0 71342375 96894976 19975 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 23656 19975 800 2416 0 20758 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 84252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86677860/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=94624 memory=79900 CPUtime=12.62 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 8414 0 0 0 1259 3 0 0 20 0 1 0 71342375 96894976 19975 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 23656 19975 800 2416 0 20758 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 84252 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 82705
/proc/meminfo: memFree=86686336/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=125152 memory=92572 CPUtime=25.38 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 8512 0 0 0 2534 4 0 0 20 0 1 0 71342375 128155648 23143 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 31288 23143 800 2416 0 28390 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 132136 KiB
Current children cumulated memory: 96924 KiB
[startup+51.1058 s]
/proc/loadavg: 4.33 4.14 4.11 5/271 82707
/proc/meminfo: memFree=86629224/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=125152 memory=110504 CPUtime=50.91 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 10262 0 0 0 5085 6 0 0 20 0 1 0 71342375 128155648 27626 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 31288 27626 800 2416 0 28390 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 132136 KiB
Current children cumulated memory: 114856 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.17 4.12 5/272 82769
/proc/meminfo: memFree=113728128/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/82705/statm: 61460 57854 800 2416 0 58562 0
Current children cumulated CPU time: 1059.03 s
Current children cumulated vsize: 252824 KiB
Current children cumulated memory: 235768 KiB
[startup+1122.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/272 82925
/proc/meminfo: memFree=112704968/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=227164 memory=212740 CPUtime=1118.84 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 70911 0 0 0 111738 146 0 0 20 0 1 0 71342375 232615936 53185 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 56791 53185 800 2416 0 53893 0
Current children cumulated CPU time: 1118.84 s
Current children cumulated vsize: 234148 KiB
Current children cumulated memory: 217092 KiB
[startup+1182.3 s]
/proc/loadavg: 4.47 4.20 4.12 5/272 82928
/proc/meminfo: memFree=112675008/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82704] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82704/stat : 82704 (timeout) S 82701 82704 81809 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71342374 2723840 352 18446744073709551615 94529270460416 94529270476929 140735793528288 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94529270491696 94529270493784 94529287507968 140735793535382 140735793535522 140735793535522 140735793541095 0
/proc/82704/statm: 665 352 352 5 0 90 0
[pid=82705] ppid=82704 vsize=295160 memory=230624 CPUtime=1178.66 cores=5,7
/proc/82705/stat : 82705 (CASHWMaxSAT-Dis) R 82704 82704 81809 0 -1 4194304 73197 0 0 0 117717 149 0 0 20 0 1 0 71342375 302243840 57656 18446744073709551615 4198400 14093885 140721090360784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 37711872 140721090365852 140721090365979 140721090365979 140721090371552 0
/proc/82705/statm: 73790 57656 800 2416 0 70892 0
Current children cumulated CPU time: 1178.66 s
Current children cumulated vsize: 302144 KiB
Current children cumulated memory: 234976 KiB
[startup+1216.1 s]
# the end of solver process 82701 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1210.6 s, system=1.72979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 4.34 4.18 4.12 5/272 82931
/proc/meminfo: memFree=112771312/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=237876 memory=174384 CPUtime=5.14 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 45868 0 0 0 506 8 0 0 20 0 1 0 71462176 243585024 43596 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 59469 43596 3392 2271 0 54107 0
Current children cumulated CPU time: 1199.47 s
Current children cumulated vsize: 244860 KiB
Current children cumulated memory: 178736 KiB
[startup+1209.6 s]
/proc/loadavg: 4.31 4.18 4.12 5/272 82931
/proc/meminfo: memFree=112741828/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=262168 memory=199408 CPUtime=11.52 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 60302 0 0 0 1141 11 0 0 20 0 1 0 71462176 268460032 49852 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 65542 49852 3392 2271 0 60180 0
Current children cumulated CPU time: 1205.85 s
Current children cumulated vsize: 269152 KiB
Current children cumulated memory: 203760 KiB
[startup+1212.8 s]
/proc/loadavg: 4.36 4.19 4.12 5/272 82931
/proc/meminfo: memFree=112741900/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=264752 memory=201944 CPUtime=14.7 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 71346 0 0 0 1457 13 0 0 20 0 1 0 71462176 271106048 50486 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 66188 50486 3392 2271 0 60826 0
Current children cumulated CPU time: 1209.03 s
Current children cumulated vsize: 271736 KiB
Current children cumulated memory: 206296 KiB
[startup+1214.4 s]
/proc/loadavg: 4.36 4.19 4.12 5/272 82931
/proc/meminfo: memFree=112738120/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=264640 memory=201836 CPUtime=16.3 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 74296 0 0 0 1616 14 0 0 20 0 1 0 71462176 270991360 50459 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 66160 50459 3392 2271 0 60798 0
Current children cumulated CPU time: 1210.63 s
Current children cumulated vsize: 271624 KiB
Current children cumulated memory: 206188 KiB
[startup+1215.2 s]
/proc/loadavg: 4.34 4.19 4.12 5/272 82932
/proc/meminfo: memFree=112738120/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=264720 memory=202008 CPUtime=17.09 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 75302 0 0 0 1695 14 0 0 20 0 1 0 71462176 271073280 50502 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 66180 50502 3392 2271 0 60818 0
Current children cumulated CPU time: 1211.42 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206360 KiB
[startup+1215.6 s]
/proc/loadavg: 4.34 4.19 4.12 5/272 82932
/proc/meminfo: memFree=112738120/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=264720 memory=202008 CPUtime=17.49 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 75305 0 0 0 1735 14 0 0 20 0 1 0 71462176 271073280 50502 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 66180 50502 3392 2271 0 60818 0
Current children cumulated CPU time: 1211.82 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206360 KiB
[startup+1216 s]*
/proc/loadavg: 4.34 4.19 4.12 5/272 82932
/proc/meminfo: memFree=112738088/131250000 swapFree=33009904/33010684
[pid=82701] ppid=82698 vsize=4324 memory=2944 CPUtime=1194.33 cores=5,7
/proc/82701/stat : 82701 (Hybrid-CASHWMax) S 82698 82701 81809 0 -1 4194304 285 75707 0 0 0 0 119278 155 20 0 1 0 71342373 4427776 736 18446744073709551615 94029957148672 94029958043205 140732791949040 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94029958282256 94029958330000 94029975371776 140732791953751 140732791953905 140732791953905 140732791959507 0
/proc/82701/statm: 1081 736 672 219 0 143 0
[pid=82929] ppid=82701 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82929/stat : 82929 (timeout) S 82701 82929 81809 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 71462175 2723840 352 18446744073709551615 94193212157952 94193212174465 140721940206576 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94193212189232 94193212191320 94193236164608 140721940212102 140721940212258 140721940212258 140721940217831 0
/proc/82929/statm: 665 352 352 5 0 90 0
[pid=82930] ppid=82929 vsize=264720 memory=202008 CPUtime=17.89 cores=5,7
/proc/82930/stat : 82930 (ExactPR-S) R 82929 82929 81809 0 -1 4194304 75309 0 0 0 1775 14 0 0 20 0 1 0 71462176 271073280 50502 18446744073709551615 94433593462784 94433602762821 140725685974304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94433604548928 94433604588008 94433637851136 140725685979550 140725685979687 140725685979687 140725685985260 0
/proc/82930/statm: 66180 50502 3392 2271 0 60818 0
Current children cumulated CPU time: 1212.22 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206360 KiB
Child status: 0
Real time (s): 1216.1
CPU time (s): 1212.33
CPU user time (s): 1210.6
CPU system time (s): 1.72979
CPU usage (%): 99.6904
Max. virtual memory (cumulated for all children) (KiB): 332964
Max. memory (cumulated for all children) (KiB): 298236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1210.6
system time used= 1.72979
maximum resident set size= 327412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152179
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 807
involuntary context switches= 1273
# summary of solver processes directly reported to runsolver:
# pid: 82701
# total CPU time (s): 1212.33
# total CPU user time (s): 1210.6
# total CPU system time (s): 1.72979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.7923 second user time and 5.79456 second system time
The end
Begin job on nodeC033 at 2025-07-03 17:30:30
IDJOB=4519633
IDBENCH=177345
IDSOLVER=3329
FILE ID=nodeC033/4519633-1751556629
RUNJOBID= nodeC033-1751550848-81822
SLURM_JOB_ID= 9598732
Free space on /tmp= 429760 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519633-1751556629/watcher-4519633-1751556629 -o /tmp/evaluation-result-4519633-1751556629/solver-4519633-1751556629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751550848-81822 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4519633-1751556629.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=190959227
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.121
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3625.859
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 86752964 kB
MemAvailable: 92841004 kB
Buffers: 2128 kB
Cached: 6840720 kB
SwapCached: 68 kB
Active: 37398352 kB
Inactive: 6259872 kB
Active(anon): 36827880 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 6254348 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25132 kB
Writeback: 0 kB
AnonPages: 36813408 kB
Mapped: 115380 kB
Shmem: 18028 kB
KReclaimable: 204920 kB
Slab: 296980 kB
SReclaimable: 204920 kB
SUnreclaim: 92060 kB
KernelStack: 4336 kB
PageTables: 75644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 41707868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20674560 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429788 MiB
End job on nodeC033 at 2025-07-03 17:50:46