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 (55402 MiB free)
memory of node 1: 64465 MiB (63030 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518206-1751524809/watcher-4518206-1751524809 -o /tmp/evaluation-result-4518206-1751524809/solver-4518206-1751524809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75351 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518206-1751524809.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77370, runsolver pid=77367
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.20 4.15 4.11 5/273 77374
/proc/meminfo: memFree=121275372/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=19884 memory=5632 CPUtime=0.08 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 595 0 0 0 8 0 0 0 20 0 1 0 68160370 20361216 1408 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 4971 1408 896 2593 0 1864 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26868 KiB
Current children cumulated memory: 10112 KiB
[startup+0.205937 s]*
/proc/loadavg: 4.20 4.15 4.11 5/273 77374
/proc/meminfo: memFree=121283164/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=19884 memory=5632 CPUtime=0.18 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 595 0 0 0 18 0 0 0 20 0 1 0 68160370 20361216 1408 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 4971 1408 896 2593 0 1864 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26868 KiB
Current children cumulated memory: 10112 KiB
[startup+0.305876 s]*
/proc/loadavg: 4.20 4.15 4.11 5/273 77374
/proc/meminfo: memFree=121283164/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=19884 memory=5632 CPUtime=0.28 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 595 0 0 0 28 0 0 0 20 0 1 0 68160370 20361216 1408 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 4971 1408 896 2593 0 1864 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26868 KiB
Current children cumulated memory: 10112 KiB
[startup+0.700242 s]
/proc/loadavg: 4.20 4.15 4.11 5/273 77374
/proc/meminfo: memFree=121279104/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=133980 memory=116044 CPUtime=0.66 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 24560 0 0 0 62 4 0 0 20 0 1 0 68160370 137195520 29011 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 33495 29011 896 2593 0 30388 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 140964 KiB
Current children cumulated memory: 120524 KiB
[startup+1.50023 s]
/proc/loadavg: 4.20 4.15 4.11 5/273 77374
/proc/meminfo: memFree=121262720/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=143484 memory=126724 CPUtime=1.46 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 28482 0 0 0 141 5 0 0 20 0 1 0 68160370 146927616 31681 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 35871 31681 960 2593 0 32764 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 150468 KiB
Current children cumulated memory: 131204 KiB
[startup+3.10579 s]
/proc/loadavg: 4.18 4.14 4.11 5/273 77374
/proc/meminfo: memFree=121262584/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=144012 memory=127236 CPUtime=3.06 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 28612 0 0 0 301 5 0 0 20 0 1 0 68160370 147468288 31809 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 36003 31809 960 2593 0 32896 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 150996 KiB
Current children cumulated memory: 131716 KiB
[startup+6.30022 s]
/proc/loadavg: 4.18 4.14 4.11 5/273 77374
/proc/meminfo: memFree=121262760/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=144144 memory=127364 CPUtime=6.24 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 28653 0 0 0 619 5 0 0 20 0 1 0 68160370 147603456 31841 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 36036 31841 960 2593 0 32929 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 151128 KiB
Current children cumulated memory: 131844 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.11 5/272 77374
/proc/meminfo: memFree=121315996/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=144408 memory=127620 CPUtime=12.62 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 28745 0 0 0 1257 5 0 0 20 0 1 0 68160370 147873792 31905 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 36102 31905 960 2593 0 32995 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 151392 KiB
Current children cumulated memory: 132100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.11 5/272 77374
/proc/meminfo: memFree=121308332/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=148772 memory=130692 CPUtime=25.39 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 29497 0 0 0 2533 6 0 0 20 0 1 0 68160370 152342528 32673 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 37193 32673 960 2593 0 34086 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 155756 KiB
Current children cumulated memory: 135172 KiB
[startup+51.1059 s]
/proc/loadavg: 4.13 4.14 4.11 5/272 77376
/proc/meminfo: memFree=121287152/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=155940 memory=135172 CPUtime=50.92 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 30051 0 0 0 5085 7 0 0 20 0 1 0 68160370 159682560 33793 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 38985 33793 960 2593 0 35878 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 162924 KiB
Current children cumulated memory: 139652 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 77379
/proc/meminfo: memFree=121267444/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/273 77484
/proc/meminfo: memFree=119974224/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=888396 memory=871624 CPUtime=1059.31 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 116067 0 0 0 105842 89 0 0 20 0 1 0 68160370 909717504 217906 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 222099 217906 992 2593 0 218992 0
Current children cumulated CPU time: 1059.31 s
Current children cumulated vsize: 895380 KiB
Current children cumulated memory: 876104 KiB
[startup+1122.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/273 77542
/proc/meminfo: memFree=117994216/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=922616 memory=905944 CPUtime=1119.13 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 124740 0 0 0 111821 92 0 0 20 0 1 0 68160370 944758784 226486 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 230654 226486 992 2593 0 227547 0
Current children cumulated CPU time: 1119.13 s
Current children cumulated vsize: 929600 KiB
Current children cumulated memory: 910424 KiB
[startup+1182.3 s]
/proc/loadavg: 4.00 4.08 4.09 5/271 77600
/proc/meminfo: memFree=118978288/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=946316 memory=929632 CPUtime=1178.95 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 126705 0 0 0 117801 94 0 0 20 0 1 0 68160370 969027584 232408 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 236579 232408 992 2593 0 233472 0
Current children cumulated CPU time: 1178.95 s
Current children cumulated vsize: 953300 KiB
Current children cumulated memory: 934112 KiB
[startup+1198.39 s]
# the end of solver process 77370 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1193.99 s, system=0.993048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.16 4.11 4.10 5/271 77600
/proc/meminfo: memFree=118952200/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=978896 memory=947180 CPUtime=1187.03 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 127058 0 0 0 118608 95 0 0 20 0 1 0 68160370 1002389504 236795 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 244724 236795 992 2593 0 241617 0
Current children cumulated CPU time: 1187.03 s
Current children cumulated vsize: 985880 KiB
Current children cumulated memory: 951660 KiB
[startup+1193.6 s]
/proc/loadavg: 4.15 4.11 4.10 5/271 77600
/proc/meminfo: memFree=118943020/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=946316 memory=929664 CPUtime=1190.22 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 127061 0 0 0 118927 95 0 0 20 0 1 0 68160370 969027584 232416 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 236579 232416 992 2593 0 233472 0
Current children cumulated CPU time: 1190.22 s
Current children cumulated vsize: 953300 KiB
Current children cumulated memory: 934144 KiB
[startup+1196.8 s]
/proc/loadavg: 4.15 4.11 4.10 5/271 77600
/proc/meminfo: memFree=118935832/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=946316 memory=929664 CPUtime=1193.41 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 127061 0 0 0 119246 95 0 0 20 0 1 0 68160370 969027584 232416 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 236579 232416 992 2593 0 233472 0
Current children cumulated CPU time: 1193.41 s
Current children cumulated vsize: 953300 KiB
Current children cumulated memory: 934144 KiB
[startup+1197.6 s]
/proc/loadavg: 4.15 4.11 4.10 5/272 77602
/proc/meminfo: memFree=118936084/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=946316 memory=929664 CPUtime=1194.21 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 127061 0 0 0 119326 95 0 0 20 0 1 0 68160370 969027584 232416 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 236579 232416 992 2593 0 233472 0
Current children cumulated CPU time: 1194.21 s
Current children cumulated vsize: 953300 KiB
Current children cumulated memory: 934144 KiB
[startup+1198 s]*
/proc/loadavg: 4.13 4.10 4.10 5/272 77602
/proc/meminfo: memFree=118936336/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
[pid=77373] ppid=77370 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/77373/stat : 77373 (timeout) S 77370 77373 75334 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 68160369 2723840 352 18446744073709551615 94823933308928 94823933325441 140729589290528 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94823933340208 94823933342296 94823934763008 140729589299606 140729589299746 140729589299746 140729589305319 0
/proc/77373/statm: 665 352 352 5 0 90 0
[pid=77374] ppid=77373 vsize=946316 memory=929664 CPUtime=1194.61 cores=1,3
/proc/77374/stat : 77374 (CASHWMaxSAT-Dis) R 77373 77373 75334 0 -1 4194304 127061 0 0 0 119366 95 0 0 20 0 1 0 68160370 969027584 232416 18446744073709551615 4198400 14817773 140735770654736 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 28692480 140735770659228 140735770659355 140735770659355 140735770664928 0
/proc/77374/statm: 236579 232416 992 2593 0 233472 0
Current children cumulated CPU time: 1194.61 s
Current children cumulated vsize: 953300 KiB
Current children cumulated memory: 934144 KiB
[startup+1198.2 s]
/proc/loadavg: 4.13 4.10 4.10 5/272 77602
/proc/meminfo: memFree=118936336/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=1194.64 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 285 127282 0 0 0 0 119368 96 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.64 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/272 77602
/proc/meminfo: memFree=118936336/131250000 swapFree=33009904/33010684
[pid=77370] ppid=77367 vsize=4324 memory=3072 CPUtime=1194.64 cores=1,3
/proc/77370/stat : 77370 (Hybrid-CASHWMax) S 77367 77370 75334 0 -1 4194304 285 127282 0 0 0 0 119368 96 20 0 1 0 68160368 4427776 768 18446744073709551615 94862608842752 94862609737285 140732334461760 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94862609976336 94862610024080 94862628089856 140732334463319 140732334463473 140732334463473 140732334469075 0
/proc/77370/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.64 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1198.39
CPU time (s): 1194.98
CPU user time (s): 1193.99
CPU system time (s): 0.993048
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 985880
Max. memory (cumulated for all children) (KiB): 951660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.99
system time used= 0.993048
maximum resident set size= 947180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 811
involuntary context switches= 1354
# summary of solver processes directly reported to runsolver:
# pid: 77370
# total CPU time (s): 1194.98
# total CPU user time (s): 1193.99
# total CPU system time (s): 0.993048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.56937 second user time and 5.98966 second system time
The end
Begin job on nodeC033 at 2025-07-03 08:40:09
IDJOB=4518206
IDBENCH=176692
IDSOLVER=3327
FILE ID=nodeC033/4518206-1751524809
RUNJOBID= nodeC033-1751517481-75351
SLURM_JOB_ID= 9598633
Free space on /tmp= 429832 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_500_10000_2_-399276.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518206-1751524809/watcher-4518206-1751524809 -o /tmp/evaluation-result-4518206-1751524809/solver-4518206-1751524809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75351 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518206-1751524809.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=1362975913
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.069
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.061
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 : 3579.335
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.030
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 : 3599.976
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 : 3604.215
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 : 3599.597
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: 121275788 kB
MemAvailable: 127265276 kB
Buffers: 2128 kB
Cached: 6742800 kB
SwapCached: 68 kB
Active: 2897732 kB
Inactive: 6162580 kB
Active(anon): 2327888 kB
Inactive(anon): 5524 kB
Active(file): 569844 kB
Inactive(file): 6157056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25724 kB
Writeback: 0 kB
AnonPages: 2318472 kB
Mapped: 116320 kB
Shmem: 18028 kB
KReclaimable: 203656 kB
Slab: 295412 kB
SReclaimable: 203656 kB
SUnreclaim: 91756 kB
KernelStack: 4368 kB
PageTables: 7744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2795256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1196032 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= 429804 MiB
End job on nodeC033 at 2025-07-03 09:00:08