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 (63004 MiB free)
memory of node 1: 64465 MiB (63966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493794-1751156042/watcher-4493794-1751156042 -o /tmp/evaluation-result-4493794-1751156042/solver-4493794-1751156042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22067 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4493794-1751156042.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=22436, runsolver pid=22433
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130013536/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=23412 memory=8132 CPUtime=0.08 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 1724 0 0 0 8 0 0 0 20 0 1 0 31281771 23973888 2033 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 5853 2033 768 2416 0 2955 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30396 KiB
Current children cumulated memory: 12356 KiB
[startup+0.205797 s]*
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130012780/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=23412 memory=8644 CPUtime=0.18 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 1876 0 0 0 18 0 0 0 20 0 1 0 31281771 23973888 2161 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 5853 2161 768 2416 0 2955 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30396 KiB
Current children cumulated memory: 12868 KiB
[startup+0.305753 s]*
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130012528/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=26100 memory=11176 CPUtime=0.27 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 1980 0 0 0 27 0 0 0 20 0 1 0 31281771 26726400 2794 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 6525 2794 768 2416 0 3627 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 33084 KiB
Current children cumulated memory: 15400 KiB
[startup+0.700208 s]
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130012528/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=29112 memory=13352 CPUtime=0.65 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 2521 0 0 0 65 0 0 0 20 0 1 0 31281771 29810688 3338 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 7278 3338 768 2416 0 4380 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 36096 KiB
Current children cumulated memory: 17576 KiB
[startup+1.5002 s]
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130009000/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=31792 memory=17172 CPUtime=1.44 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 2976 0 0 0 144 0 0 0 20 0 1 0 31281771 32555008 4293 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 7948 4293 768 2416 0 5050 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 38776 KiB
Current children cumulated memory: 21396 KiB
[startup+3.10559 s]
/proc/loadavg: 1.73 1.31 2.05 5/277 22440
/proc/meminfo: memFree=130009268/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=36188 memory=21748 CPUtime=3.04 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 3623 0 0 0 304 0 0 0 20 0 1 0 31281771 37056512 5437 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 9047 5437 768 2416 0 6149 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 43172 KiB
Current children cumulated memory: 25972 KiB
[startup+6.30015 s]
/proc/loadavg: 1.91 1.36 2.06 5/277 22440
/proc/meminfo: memFree=129992128/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=38944 memory=21880 CPUtime=6.22 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 3783 0 0 0 622 0 0 0 20 0 1 0 31281771 39878656 5470 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 9736 5470 768 2416 0 6838 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 45928 KiB
Current children cumulated memory: 26104 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 1.42 2.08 5/277 22440
/proc/meminfo: memFree=129992380/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=38944 memory=23416 CPUtime=12.61 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 4160 0 0 0 1261 0 0 0 20 0 1 0 31281771 39878656 5854 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 9736 5854 768 2416 0 6838 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 45928 KiB
Current children cumulated memory: 27640 KiB
[startup+25.5002 s]
/proc/loadavg: 2.57 1.54 2.11 5/277 22490
/proc/meminfo: memFree=129999460/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=43280 memory=28516 CPUtime=25.38 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 4934 0 0 0 2537 1 0 0 20 0 1 0 31281771 44318720 7129 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 10820 7129 768 2416 0 7922 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 50264 KiB
Current children cumulated memory: 32740 KiB
[startup+51.105 s]
/proc/loadavg: 3.06 1.74 2.16 5/277 22541
/proc/meminfo: memFree=129973560/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=57848 memory=34096 CPUtime=50.9 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 6530 0 0 0 5089 1 0 0 20 0 1 0 31281771 59236352 8524 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 14462 8524 768 2416 0 11564 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 64832 KiB
Current children cumulated memory: 38320 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.12 2.27 5/276 22642
/proc/meminfo: memFree=128600212/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=72852 CPUtime=580.43 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12422 0 0 0 58028 15 0 0 20 0 1 0 31281771 95481856 18213 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18213 768 2416 0 20413 0
Current children cumulated CPU time: 580.43 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 77076 KiB
[startup+642.3 s]
/proc/loadavg: 4.07 3.85 3.14 5/274 25110
/proc/meminfo: memFree=129718980/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=640.23 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 64006 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 640.23 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+676.505 s]
# the end of solver process 22436 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=674.16 s, system=0.184322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.06 3.85 3.15 5/274 25110
/proc/meminfo: memFree=129719240/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=650.7 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 65053 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 650.7 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+665.6 s]
/proc/loadavg: 4.12 3.87 3.17 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=663.46 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 66329 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 663.46 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+672 s]*
/proc/loadavg: 4.10 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=669.85 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 66968 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 669.85 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+673.6 s]
/proc/loadavg: 4.10 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=671.44 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 67127 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 671.44 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+675.2 s]
/proc/loadavg: 4.10 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=673.03 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 67286 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 673.03 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+676 s]*
/proc/loadavg: 4.09 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=673.84 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 67367 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 673.84 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+676.4 s]
/proc/loadavg: 4.09 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
[pid=22439] ppid=22436 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/22439/stat : 22439 (timeout) S 22436 22439 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31281770 2723840 320 18446744073709551615 94609035493376 94609035509889 140728486264736 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94609035524656 94609035526744 94609061101568 140728486267296 140728486267426 140728486267426 140728486272999 0
/proc/22439/statm: 665 320 320 5 0 90 0
[pid=22440] ppid=22439 vsize=93244 memory=74900 CPUtime=674.23 cores=4,6
/proc/22440/stat : 22440 (CASHWMaxSAT-Dis) R 22439 22439 22056 0 -1 4194304 12423 0 0 0 67406 17 0 0 20 0 1 0 31281771 95481856 18725 18446744073709551615 4198400 14093885 140723645153792 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36511744 140723645159846 140723645159963 140723645159963 140723645165536 0
/proc/22440/statm: 23311 18725 768 2416 0 20413 0
Current children cumulated CPU time: 674.23 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 79124 KiB
[startup+676.5 s]
/proc/loadavg: 4.09 3.88 3.18 5/274 25112
/proc/meminfo: memFree=129728724/131250000 swapFree=33010684/33010684
[pid=22436] ppid=22433 vsize=4324 memory=2944 CPUtime=674.33 cores=4,6
/proc/22436/stat : 22436 (Hybrid-CASHWMax) S 22433 22436 22056 0 -1 4194304 312 12732 0 0 0 0 67415 18 20 0 1 0 31281769 4427776 736 18446744073709551615 93957689208832 93957690103365 140736498022064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93957690342416 93957690390160 93957693681664 140736498026839 140736498026993 140736498026993 140736498032595 0
/proc/22436/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 674.33 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 676.505
CPU time (s): 674.344
CPU user time (s): 674.16
CPU system time (s): 0.184322
CPU usage (%): 99.6806
Max. virtual memory (cumulated for all children) (KiB): 100228
Max. memory (cumulated for all children) (KiB): 81812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.16
system time used= 0.184322
maximum resident set size= 77716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 472
# summary of solver processes directly reported to runsolver:
# pid: 22436
# total CPU time (s): 674.344
# total CPU user time (s): 674.16
# total CPU system time (s): 0.184322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52601 second user time and 3.0723 second system time
The end
Begin job on nodeC016 at 2025-06-29 02:14:02
IDJOB=4493794
IDBENCH=147873
IDSOLVER=3331
FILE ID=nodeC016/4493794-1751156042
RUNJOBID= nodeC016-1751156026-22067
SLURM_JOB_ID= 9587475
Free space on /tmp= 433016 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493794-1751156042/watcher-4493794-1751156042 -o /tmp/evaluation-result-4493794-1751156042/solver-4493794-1751156042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22067 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4493794-1751156042.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=1615445723
nodeC016 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.691
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.48
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.705
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.48
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 : 3600.025
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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.745
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.48
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.734
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.48
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 : 3600.301
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.48
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.726
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130018072 kB
MemAvailable: 129717640 kB
Buffers: 3280 kB
Cached: 510432 kB
SwapCached: 0 kB
Active: 371528 kB
Inactive: 288876 kB
Active(anon): 164768 kB
Inactive(anon): 0 kB
Active(file): 206760 kB
Inactive(file): 288876 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33168 kB
Writeback: 4 kB
AnonPages: 149852 kB
Mapped: 112540 kB
Shmem: 18072 kB
KReclaimable: 86340 kB
Slab: 169212 kB
SReclaimable: 86340 kB
SUnreclaim: 82872 kB
KernelStack: 4432 kB
PageTables: 3548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 498644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC016 at 2025-06-29 02:25:19