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 (60301 MiB free)
memory of node 1: 64465 MiB (62275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484380-1751283897/watcher-4484380-1751283897 -o /tmp/evaluation-result-4484380-1751283897/solver-4484380-1751283897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38112 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484380-1751283897.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39041, runsolver pid=39038
[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125510472/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=37500 memory=21736 CPUtime=0.07 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 5641 0 0 0 7 0 0 0 20 0 1 0 44067560 38400000 5434 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 9375 5434 896 2593 0 6268 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 26216 KiB
[startup+0.205869 s]*
/proc/loadavg: 4.13 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125510472/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=39352 memory=23656 CPUtime=0.19 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 6084 0 0 0 18 1 0 0 20 0 1 0 44067560 40296448 5914 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 9838 5914 928 2593 0 6731 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46336 KiB
Current children cumulated memory: 28136 KiB
[startup+0.305803 s]*
/proc/loadavg: 4.13 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125510472/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=39484 memory=23656 CPUtime=0.29 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 6091 0 0 0 28 1 0 0 20 0 1 0 44067560 40431616 5914 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 9871 5914 928 2593 0 6764 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46468 KiB
Current children cumulated memory: 28136 KiB
[startup+0.700236 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125510472/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=39484 memory=23784 CPUtime=0.67 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 6117 0 0 0 66 1 0 0 20 0 1 0 44067560 40431616 5946 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 9871 5946 928 2593 0 6764 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 46468 KiB
Current children cumulated memory: 28264 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125510472/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=39748 memory=24040 CPUtime=1.46 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 6168 0 0 0 145 1 0 0 20 0 1 0 44067560 40701952 6010 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 9937 6010 928 2593 0 6830 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 28520 KiB
[startup+3.10566 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125523620/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=51508 memory=35560 CPUtime=3.06 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 9029 0 0 0 304 2 0 0 20 0 1 0 44067560 52744192 8890 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 12877 8890 960 2593 0 9770 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 58492 KiB
Current children cumulated memory: 40040 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 39045
/proc/meminfo: memFree=125521780/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=74956 memory=58640 CPUtime=6.25 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 18663 0 0 0 620 5 0 0 20 0 1 0 44067560 76754944 14660 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 18739 14660 960 2593 0 15632 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 63120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 39045
/proc/meminfo: memFree=125457028/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=79140 memory=62684 CPUtime=12.63 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 27193 0 0 0 1255 8 0 0 20 0 1 0 44067560 81039360 15671 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 19785 15671 960 2593 0 16678 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 86124 KiB
Current children cumulated memory: 67164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 39045
/proc/meminfo: memFree=125329832/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=96652 memory=80968 CPUtime=25.39 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 32306 0 0 0 2529 10 0 0 20 0 1 0 44067560 98971648 20242 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 24163 20242 960 2593 0 21056 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 103636 KiB
Current children cumulated memory: 85448 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 39045
/proc/meminfo: memFree=125286512/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=104944 memory=89164 CPUtime=50.92 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 35455 0 0 0 5080 12 0 0 20 0 1 0 44067560 107462656 22291 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 26236 22291 960 2593 0 23129 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 111928 KiB
Current children cumulated memory: 93644 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 39048
/proc/meminfo: memFree=125239860/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/39045/statm: 104844 101029 960 2593 0 101737 0
Current children cumulated CPU time: 1118.94 s
Current children cumulated vsize: 426360 KiB
Current children cumulated memory: 408596 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/272 39239
/proc/meminfo: memFree=125276764/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39044] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39044/stat : 39044 (timeout) S 39041 39044 38099 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44067559 2723840 352 18446744073709551615 94656758865920 94656758882433 140732227221872 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94656758897200 94656758899288 94656791068672 140732227226006 140732227226146 140732227226146 140732227231719 0
/proc/39044/statm: 665 352 352 5 0 90 0
[pid=39045] ppid=39044 vsize=616996 memory=601336 CPUtime=1178.76 cores=5,7
/proc/39045/stat : 39045 (CASHWMaxSAT-Dis) R 39044 39044 38099 0 -1 4194304 113121 0 0 0 117804 72 0 0 20 0 1 0 44067560 631803904 150334 18446744073709551615 4198400 14817773 140720669010032 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49852416 140720669014428 140720669014555 140720669014555 140720669020128 0
/proc/39045/statm: 154249 150334 960 2593 0 151142 0
Current children cumulated CPU time: 1178.76 s
Current children cumulated vsize: 623980 KiB
Current children cumulated memory: 605816 KiB
[startup+1242.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/273 39246
/proc/meminfo: memFree=126262368/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=210144 memory=160568 CPUtime=44.11 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 41950 0 0 0 4404 7 0 0 20 0 1 0 44187361 215187456 40142 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 52536 40142 3392 2271 0 47174 0
Current children cumulated CPU time: 1238.54 s
Current children cumulated vsize: 217128 KiB
Current children cumulated memory: 165048 KiB
[startup+1302.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 39263
/proc/meminfo: memFree=126611932/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163172 CPUtime=103.94 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 44237 0 0 0 10386 8 0 0 20 0 1 0 44187361 218226688 40793 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40793 3392 2271 0 47916 0
Current children cumulated CPU time: 1298.37 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167652 KiB
[startup+1317.67 s]
# the end of solver process 39041 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1312.85 s, system=0.852969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 4.17 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126613324/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163172 CPUtime=107.23 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 44250 0 0 0 10715 8 0 0 20 0 1 0 44187361 218226688 40793 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40793 3392 2271 0 47916 0
Current children cumulated CPU time: 1301.66 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167652 KiB
[startup+1312 s]*
/proc/loadavg: 4.15 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126574696/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163276 CPUtime=113.62 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 45488 0 0 0 11354 8 0 0 20 0 1 0 44187361 218226688 40819 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40819 3392 2271 0 47916 0
Current children cumulated CPU time: 1308.05 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167756 KiB
[startup+1315.2 s]
/proc/loadavg: 4.14 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126572996/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163276 CPUtime=116.8 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 45488 0 0 0 11672 8 0 0 20 0 1 0 44187361 218226688 40819 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40819 3392 2271 0 47916 0
Current children cumulated CPU time: 1311.23 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167756 KiB
[startup+1316.8 s]
/proc/loadavg: 4.14 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126533412/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163276 CPUtime=118.4 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 45488 0 0 0 11832 8 0 0 20 0 1 0 44187361 218226688 40819 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40819 3392 2271 0 47916 0
Current children cumulated CPU time: 1312.83 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167756 KiB
[startup+1317.2 s]
/proc/loadavg: 4.14 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126533476/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163276 CPUtime=118.8 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 45488 0 0 0 11872 8 0 0 20 0 1 0 44187361 218226688 40819 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40819 3392 2271 0 47916 0
Current children cumulated CPU time: 1313.23 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167756 KiB
[startup+1317.6 s]
/proc/loadavg: 4.14 4.10 4.09 6/272 39303
/proc/meminfo: memFree=126533476/131249996 swapFree=33010684/33010684
[pid=39041] ppid=39038 vsize=4324 memory=3072 CPUtime=1194.43 cores=5,7
/proc/39041/stat : 39041 (Hybrid-CASHWMax) S 39038 39041 38099 0 -1 4194304 283 114094 0 0 0 0 119368 75 20 0 1 0 44067558 4427776 768 18446744073709551615 94727458340864 94727459235397 140734102077776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94727459474448 94727459522192 94727471452160 140734102083927 140734102084081 140734102084081 140734102089683 0
/proc/39041/statm: 1081 768 704 219 0 143 0
[pid=39243] ppid=39041 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39243/stat : 39243 (timeout) S 39041 39243 38099 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44187361 2723840 352 18446744073709551615 94096143568896 94096143585409 140732741248032 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94096143600176 94096143602264 94096149213184 140732741253510 140732741253666 140732741253666 140732741259239 0
/proc/39243/statm: 665 352 352 5 0 90 0
[pid=39244] ppid=39243 vsize=213112 memory=163276 CPUtime=119.2 cores=5,7
/proc/39244/stat : 39244 (ExactPR-S) R 39243 39243 38099 0 -1 4194304 45488 0 0 0 11912 8 0 0 20 0 1 0 44187361 218226688 40819 18446744073709551615 94198642061312 94198651361349 140726324501056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94198653147456 94198653186536 94198687657984 140726324509086 140726324509223 140726324509223 140726324514796 0
/proc/39244/statm: 53278 40819 3392 2271 0 47916 0
Current children cumulated CPU time: 1313.63 s
Current children cumulated vsize: 220096 KiB
Current children cumulated memory: 167756 KiB
Child status: 0
Real time (s): 1317.67
CPU time (s): 1313.7
CPU user time (s): 1312.85
CPU system time (s): 0.852969
CPU usage (%): 99.699
Max. virtual memory (cumulated for all children) (KiB): 738900
Max. memory (cumulated for all children) (KiB): 720876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1312.85
system time used= 0.852969
maximum resident set size= 716396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 899
involuntary context switches= 7047
# summary of solver processes directly reported to runsolver:
# pid: 39041
# total CPU time (s): 1313.7
# total CPU user time (s): 1312.85
# total CPU system time (s): 0.852969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.88765 second user time and 5.55749 second system time
The end
Begin job on nodeC023 at 2025-06-30 13:44:57
IDJOB=4484380
IDBENCH=146656
IDSOLVER=3327
FILE ID=nodeC023/4484380-1751283897
RUNJOBID= nodeC023-1751279092-38112
SLURM_JOB_ID= 9594208
Free space on /tmp= 432984 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484380-1751283897/watcher-4484380-1751283897 -o /tmp/evaluation-result-4484380-1751283897/solver-4484380-1751283897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751279092-38112 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484380-1751283897.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ef7e1a396aea94ad22e53d7673ab3bc9
RANDOM SEED=999307895
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.879
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.466
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.669
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125518840 kB
MemAvailable: 127585460 kB
Buffers: 3280 kB
Cached: 2868916 kB
SwapCached: 0 kB
Active: 2501808 kB
Inactive: 2563208 kB
Active(anon): 2210888 kB
Inactive(anon): 0 kB
Active(file): 290920 kB
Inactive(file): 2563208 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47848 kB
Writeback: 0 kB
AnonPages: 2194632 kB
Mapped: 114832 kB
Shmem: 18064 kB
KReclaimable: 103460 kB
Slab: 190696 kB
SReclaimable: 103460 kB
SUnreclaim: 87236 kB
KernelStack: 4320 kB
PageTables: 7492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2590544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1910784 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC023 at 2025-06-30 14:06:55