runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62621 MiB free)
memory of node 1: 64507 MiB (62877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484612-1751285557/watcher-4484612-1751285557 -o /tmp/evaluation-result-4484612-1751285557/solver-4484612-1751285557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43171 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484612-1751285557.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44507, runsolver pid=44504
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128510840/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=22128 memory=7836 CPUtime=0.08 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 1574 0 0 0 8 0 0 0 20 0 1 0 44233581 22659072 1959 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 5532 1959 768 2416 0 2634 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29112 KiB
Current children cumulated memory: 12188 KiB
[startup+0.20597 s]*
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128511036/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=24188 memory=9372 CPUtime=0.18 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 1940 0 0 0 18 0 0 0 20 0 1 0 44233581 24768512 2343 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 6047 2343 800 2416 0 3149 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 31172 KiB
Current children cumulated memory: 13724 KiB
[startup+0.305845 s]*
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128511036/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=26028 memory=11804 CPUtime=0.28 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 2545 0 0 0 28 0 0 0 20 0 1 0 44233581 26652672 2951 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 6507 2951 800 2416 0 3609 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33012 KiB
Current children cumulated memory: 16156 KiB
[startup+0.700231 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128511036/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=31388 memory=16592 CPUtime=0.67 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 3239 0 0 0 67 0 0 0 20 0 1 0 44233581 32141312 4148 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 7847 4148 800 2416 0 4949 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38372 KiB
Current children cumulated memory: 20944 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128511036/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=37412 memory=21736 CPUtime=1.46 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 4021 0 0 0 146 0 0 0 20 0 1 0 44233581 38309888 5434 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 9353 5434 800 2416 0 6455 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 44396 KiB
Current children cumulated memory: 26088 KiB
[startup+3.10572 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 44511
/proc/meminfo: memFree=128515780/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=37832 memory=22304 CPUtime=3.07 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 5490 0 0 0 306 1 0 0 20 0 1 0 44233581 38739968 5576 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 9458 5576 800 2416 0 6560 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 44816 KiB
Current children cumulated memory: 26656 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 44513
/proc/meminfo: memFree=128729420/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=42184 memory=26792 CPUtime=6.25 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 6115 0 0 0 624 1 0 0 20 0 1 0 44233581 43196416 6698 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 10546 6698 800 2416 0 7648 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 49168 KiB
Current children cumulated memory: 31144 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/274 44513
/proc/meminfo: memFree=128691028/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=44892 memory=29696 CPUtime=12.64 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 6322 0 0 0 1263 1 0 0 20 0 1 0 44233581 45969408 7424 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 11223 7424 800 2416 0 8325 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 51876 KiB
Current children cumulated memory: 34048 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 44567
/proc/meminfo: memFree=128803944/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=49312 memory=35228 CPUtime=25.39 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 7812 0 0 0 2536 3 0 0 20 0 1 0 44233581 50495488 8807 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 12328 8807 800 2416 0 9430 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 56296 KiB
Current children cumulated memory: 39580 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 44568
/proc/meminfo: memFree=128775052/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=65348 memory=51020 CPUtime=50.92 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 8191 0 0 0 5089 3 0 0 20 0 1 0 44233581 66916352 12755 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 16337 12755 800 2416 0 13439 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 72332 KiB
Current children cumulated memory: 55372 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 44570
/proc/meminfo: memFree=128729556/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=162044 memory=147780 CPUtime=760.21 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 26824 0 0 0 75985 36 0 0 20 0 1 0 44233581 165933056 36945 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 40511 36945 800 2416 0 37613 0
Current children cumulated CPU time: 760.21 s
Current children cumulated vsize: 169028 KiB
Current children cumulated memory: 152132 KiB
[startup+822.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/272 44661
/proc/meminfo: memFree=128360964/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=162340 memory=138736 CPUtime=820.05 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 30256 0 0 0 81961 44 0 0 20 0 1 0 44233581 166236160 34684 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 40585 34684 800 2416 0 37687 0
Current children cumulated CPU time: 820.05 s
Current children cumulated vsize: 169324 KiB
Current children cumulated memory: 143088 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/274 44667
/proc/meminfo: memFree=128666596/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=192684 memory=178312 CPUtime=879.88 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 31536 0 0 0 87942 46 0 0 20 0 1 0 44233581 197308416 44578 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 48171 44578 800 2416 0 45273 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 199668 KiB
Current children cumulated memory: 182664 KiB
[startup+902.658 s]
# the end of solver process 44507 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=899.62 s, system=0.555813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 4.09 4.12 4.10 5/274 44667
/proc/meminfo: memFree=128666604/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=192684 memory=178312 CPUtime=880.78 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 31536 0 0 0 88032 46 0 0 20 0 1 0 44233581 197308416 44578 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 48171 44578 800 2416 0 45273 0
Current children cumulated CPU time: 880.78 s
Current children cumulated vsize: 199668 KiB
Current children cumulated memory: 182664 KiB
[startup+896 s]*
/proc/loadavg: 4.08 4.11 4.09 5/274 44667
/proc/meminfo: memFree=128625380/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44510] ppid=44507 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/44510/stat : 44510 (timeout) S 44507 44510 43154 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44233581 2723840 320 18446744073709551615 94079982972928 94079982989441 140728700212192 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94079983004208 94079983006296 94079987023872 140728700217752 140728700217890 140728700217890 140728700223463 0
/proc/44510/statm: 665 320 320 5 0 90 0
[pid=44511] ppid=44510 vsize=192684 memory=178312 CPUtime=893.55 cores=0,2
/proc/44511/stat : 44511 (CASHWMaxSAT-Dis) R 44510 44510 43154 0 -1 4194304 31537 0 0 0 89309 46 0 0 20 0 1 0 44233581 197308416 44578 18446744073709551615 4198400 14093885 140725099738784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41836544 140725099743645 140725099743771 140725099743771 140725099749344 0
/proc/44511/statm: 48171 44578 800 2416 0 45273 0
Current children cumulated CPU time: 893.55 s
Current children cumulated vsize: 199668 KiB
Current children cumulated memory: 182664 KiB
[startup+899.2 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 44667
/proc/meminfo: memFree=128617124/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 282 31759 0 0 0 0 89610 47 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 896.57 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+900.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 44669
/proc/meminfo: memFree=128738884/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 282 31759 0 0 0 0 89610 47 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44668] ppid=44507 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44668/stat : 44668 (timeout) S 44507 44668 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323481 2723840 352 18446744073709551615 94362818019328 94362818035841 140728451938384 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94362818050608 94362818052696 94362825142272 140728451942789 140728451942946 140728451942946 140728451948519 0
/proc/44668/statm: 665 352 352 5 0 90 0
[pid=44669] ppid=44668 vsize=138288 memory=99272 CPUtime=1.75 cores=0,2
/proc/44669/stat : 44669 (ExactPR-S9) R 44668 44668 43154 0 -1 4194304 23221 0 0 0 172 3 0 0 20 0 1 0 44323482 141606912 24818 18446744073709551615 94498614861824 94498624161925 140730704024720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94498625947968 94498625987048 94498638819328 140730704026012 140730704026150 140730704026150 140730704031723 0
/proc/44669/statm: 34572 24818 3424 2271 0 29210 0
Current children cumulated CPU time: 898.32 s
Current children cumulated vsize: 145272 KiB
Current children cumulated memory: 103752 KiB
[startup+901.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 44669
/proc/meminfo: memFree=128681460/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 282 31759 0 0 0 0 89610 47 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44668] ppid=44507 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44668/stat : 44668 (timeout) S 44507 44668 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323481 2723840 352 18446744073709551615 94362818019328 94362818035841 140728451938384 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94362818050608 94362818052696 94362825142272 140728451942789 140728451942946 140728451942946 140728451948519 0
/proc/44668/statm: 665 352 352 5 0 90 0
[pid=44669] ppid=44668 vsize=178672 memory=139464 CPUtime=2.55 cores=0,2
/proc/44669/stat : 44669 (ExactPR-S9) R 44668 44668 43154 0 -1 4194304 33292 0 0 0 250 5 0 0 20 0 1 0 44323482 182960128 34866 18446744073709551615 94498614861824 94498624161925 140730704024720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94498625947968 94498625987048 94498638819328 140730704026012 140730704026150 140730704026150 140730704031723 0
/proc/44669/statm: 44668 34866 3424 2271 0 39306 0
Current children cumulated CPU time: 899.12 s
Current children cumulated vsize: 185656 KiB
Current children cumulated memory: 143944 KiB
[startup+902.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 44669
/proc/meminfo: memFree=128665844/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 282 31759 0 0 0 0 89610 47 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44668] ppid=44507 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44668/stat : 44668 (timeout) S 44507 44668 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323481 2723840 352 18446744073709551615 94362818019328 94362818035841 140728451938384 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94362818050608 94362818052696 94362825142272 140728451942789 140728451942946 140728451942946 140728451948519 0
/proc/44668/statm: 665 352 352 5 0 90 0
[pid=44669] ppid=44668 vsize=216236 memory=175432 CPUtime=3.34 cores=0,2
/proc/44669/stat : 44669 (ExactPR-S9) R 44668 44668 43154 0 -1 4194304 42288 0 0 0 328 6 0 0 20 0 1 0 44323482 221425664 43858 18446744073709551615 94498614861824 94498624161925 140730704024720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94498625947968 94498625987048 94498638819328 140730704026012 140730704026150 140730704026150 140730704031723 0
/proc/44669/statm: 54059 43858 3424 2271 0 48697 0
Current children cumulated CPU time: 899.91 s
Current children cumulated vsize: 223220 KiB
Current children cumulated memory: 179912 KiB
[startup+902.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 44669
/proc/meminfo: memFree=128665844/131249996 swapFree=33010684/33010684
[pid=44507] ppid=44504 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/44507/stat : 44507 (Hybrid-CASHWMax) S 44504 44507 43154 0 -1 4194304 282 31759 0 0 0 0 89610 47 20 0 1 0 44233580 4427776 768 18446744073709551615 94801382748160 94801383642693 140732613812496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94801383881744 94801383929488 94801405497344 140732613818709 140732613818864 140732613818864 140732613824466 0
/proc/44507/statm: 1081 768 704 219 0 143 0
[pid=44668] ppid=44507 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44668/stat : 44668 (timeout) S 44507 44668 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44323481 2723840 352 18446744073709551615 94362818019328 94362818035841 140728451938384 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94362818050608 94362818052696 94362825142272 140728451942789 140728451942946 140728451942946 140728451948519 0
/proc/44668/statm: 665 352 352 5 0 90 0
[pid=44669] ppid=44668 vsize=217092 memory=176968 CPUtime=3.54 cores=0,2
/proc/44669/stat : 44669 (ExactPR-S9) R 44668 44668 43154 0 -1 4194304 42665 0 0 0 348 6 0 0 20 0 1 0 44323482 222302208 44242 18446744073709551615 94498614861824 94498624161925 140730704024720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94498625947968 94498625987048 94498638819328 140730704026012 140730704026150 140730704026150 140730704031723 0
/proc/44669/statm: 54273 44242 3424 2271 0 48911 0
Current children cumulated CPU time: 900.11 s
Current children cumulated vsize: 224076 KiB
Current children cumulated memory: 181448 KiB
Child status: 0
Real time (s): 902.658
CPU time (s): 900.176
CPU user time (s): 899.62
CPU system time (s): 0.555813
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 230020
Max. memory (cumulated for all children) (KiB): 196080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.62
system time used= 0.555813
maximum resident set size= 210080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 812
involuntary context switches= 2036
# summary of solver processes directly reported to runsolver:
# pid: 44507
# total CPU time (s): 900.176
# total CPU user time (s): 899.62
# total CPU system time (s): 0.555813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.94461 second user time and 4.36669 second system time
The end
Begin job on nodeC024 at 2025-06-30 14:12:37
IDJOB=4484612
IDBENCH=146663
IDSOLVER=3330
FILE ID=nodeC024/4484612-1751285557
RUNJOBID= nodeC024-1751279092-43171
SLURM_JOB_ID= 9594209
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484612-1751285557/watcher-4484612-1751285557 -o /tmp/evaluation-result-4484612-1751285557/solver-4484612-1751285557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43171 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484612-1751285557.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=607678995
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.002
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.665
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.536
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.496
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.736
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.650
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.696
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128510192 kB
MemAvailable: 128870880 kB
Buffers: 3280 kB
Cached: 1166800 kB
SwapCached: 0 kB
Active: 1140544 kB
Inactive: 911296 kB
Active(anon): 899824 kB
Inactive(anon): 0 kB
Active(file): 240720 kB
Inactive(file): 911296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25000 kB
Writeback: 36 kB
AnonPages: 884876 kB
Mapped: 119468 kB
Shmem: 18064 kB
KReclaimable: 95420 kB
Slab: 182728 kB
SReclaimable: 95420 kB
SUnreclaim: 87308 kB
KernelStack: 4336 kB
PageTables: 5024 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1317344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 323584 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC024 at 2025-06-30 14:27:40