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: 63837 MiB (63251 MiB free)
memory of node 1: 64465 MiB (63854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515264-1751230610/watcher-4515264-1751230610 -o /tmp/evaluation-result-4515264-1751230610/solver-4515264-1751230610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751230610-28099 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4515264-1751230610.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28140, runsolver pid=28134
[startup+0.100104 s]*
/proc/loadavg: 0.79 1.23 1.82 5/253 28158
/proc/meminfo: memFree=130121264/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=27368 memory=8876 CPUtime=0.06 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 1640 0 0 0 6 0 0 0 20 0 1 0 38739812 28024832 2219 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 6842 2219 736 2416 0 3944 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 34352 KiB
Current children cumulated memory: 13228 KiB
[startup+0.214566 s]*
/proc/loadavg: 0.79 1.23 1.82 4/254 28163
/proc/meminfo: memFree=130107656/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=31768 memory=13228 CPUtime=0.17 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 2726 0 0 0 17 0 0 0 20 0 1 0 38739812 32530432 3307 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 7942 3307 736 2416 0 5044 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 38752 KiB
Current children cumulated memory: 17580 KiB
[startup+0.313326 s]*
/proc/loadavg: 0.79 1.23 1.82 5/260 28170
/proc/meminfo: memFree=130087684/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=32996 memory=14380 CPUtime=0.27 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 2979 0 0 0 27 0 0 0 20 0 1 0 38739812 33787904 3595 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 8249 3595 768 2416 0 5351 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39980 KiB
Current children cumulated memory: 18732 KiB
[startup+0.700541 s]
/proc/loadavg: 0.79 1.23 1.82 5/260 28170
/proc/meminfo: memFree=130051904/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=75384 memory=54884 CPUtime=0.64 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 12085 0 0 0 60 4 0 0 20 0 1 0 38739812 77193216 13721 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 18879 13721 768 2416 0 15981 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 82368 KiB
Current children cumulated memory: 59236 KiB
[startup+1.50051 s]
/proc/loadavg: 0.79 1.23 1.82 5/260 28170
/proc/meminfo: memFree=129901780/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=241604 memory=212784 CPUtime=1.43 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 35007 0 0 0 131 12 0 0 20 0 1 0 38739812 247402496 53196 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 60401 53196 768 2416 0 57503 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 248588 KiB
Current children cumulated memory: 217136 KiB
[startup+3.11347 s]
/proc/loadavg: 0.79 1.23 1.82 5/260 28170
/proc/meminfo: memFree=129473704/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=324528 memory=280808 CPUtime=3.05 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 47043 0 0 0 288 17 0 0 20 0 1 0 38739812 332316672 70202 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 81132 70202 768 2416 0 78234 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 285160 KiB
[startup+6.30046 s]
/proc/loadavg: 1.04 1.28 1.83 5/260 28170
/proc/meminfo: memFree=128850780/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348556 memory=302964 CPUtime=6.23 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 50935 0 0 0 603 20 0 0 20 0 1 0 38739812 356921344 75741 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87139 75741 800 2416 0 84241 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 355540 KiB
Current children cumulated memory: 307316 KiB
[startup+12.7005 s]
/proc/loadavg: 1.36 1.34 1.85 5/260 28171
/proc/meminfo: memFree=126386724/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348556 memory=302964 CPUtime=12.61 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 50993 0 0 0 1241 20 0 0 20 0 1 0 38739812 356921344 75741 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87139 75741 800 2416 0 84241 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 355540 KiB
Current children cumulated memory: 307316 KiB
[startup+25.5005 s]
/proc/loadavg: 1.95 1.47 1.88 5/260 28171
/proc/meminfo: memFree=125015084/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348556 memory=305012 CPUtime=25.37 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 51034 0 0 0 2517 20 0 0 20 0 1 0 38739812 356921344 76253 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87139 76253 800 2416 0 84241 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 355540 KiB
Current children cumulated memory: 309364 KiB
[startup+51.1136 s]
/proc/loadavg: 2.65 1.67 1.94 5/260 28171
/proc/meminfo: memFree=125484724/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=329588 memory=300560 CPUtime=50.91 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 51572 0 0 0 5071 20 0 0 20 0 1 0 38739812 337498112 75140 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 82397 75140 800 2416 0 79499 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 336572 KiB
Current children cumulated memory: 304912 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.07 2.06 5/260 28173
/proc/meminfo: memFree=125468612/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
################
# More data... #
################
/proc/28154/statm: 82415 74078 800 2416 0 79517 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 300664 KiB
[startup+139.593 s]
# the end of solver process 28140 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=138.867 s, system=0.242031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 3.53 2.07 2.06 5/260 28173
/proc/meminfo: memFree=125468612/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=329660 memory=296312 CPUtime=102.03 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52594 0 0 0 10182 21 0 0 20 0 1 0 38739812 337571840 74078 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 82415 74078 800 2416 0 79517 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 300664 KiB
[startup+115.2 s]
/proc/loadavg: 3.64 2.16 2.10 5/260 28173
/proc/meminfo: memFree=125457052/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=329660 memory=296312 CPUtime=114.78 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52602 0 0 0 11457 21 0 0 20 0 1 0 38739812 337571840 74078 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 82415 74078 800 2416 0 79517 0
Current children cumulated CPU time: 114.78 s
Current children cumulated vsize: 336644 KiB
Current children cumulated memory: 300664 KiB
[startup+128 s]*
/proc/loadavg: 3.69 2.22 2.12 5/260 28174
/proc/meminfo: memFree=125448748/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314748 CPUtime=127.56 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52687 0 0 0 12734 22 0 0 20 0 1 0 38739812 356696064 78687 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78687 800 2416 0 84186 0
Current children cumulated CPU time: 127.56 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319100 KiB
[startup+134.4 s]
/proc/loadavg: 3.72 2.25 2.13 5/260 28175
/proc/meminfo: memFree=125439284/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314748 CPUtime=133.93 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52687 0 0 0 13371 22 0 0 20 0 1 0 38739812 356696064 78687 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78687 800 2416 0 84186 0
Current children cumulated CPU time: 133.93 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319100 KiB
[startup+137.6 s]
/proc/loadavg: 3.74 2.28 2.14 5/260 28176
/proc/meminfo: memFree=125427516/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314748 CPUtime=137.11 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52692 0 0 0 13689 22 0 0 20 0 1 0 38739812 356696064 78687 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78687 800 2416 0 84186 0
Current children cumulated CPU time: 137.11 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319100 KiB
[startup+138.4 s]
/proc/loadavg: 3.74 2.28 2.14 5/260 28176
/proc/meminfo: memFree=125421368/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314876 CPUtime=137.91 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52730 0 0 0 13769 22 0 0 20 0 1 0 38739812 356696064 78719 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78719 800 2416 0 84186 0
Current children cumulated CPU time: 137.91 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319228 KiB
[startup+139.2 s]
/proc/loadavg: 3.74 2.28 2.14 5/260 28176
/proc/meminfo: memFree=125422136/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314876 CPUtime=138.71 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52733 0 0 0 13849 22 0 0 20 0 1 0 38739812 356696064 78719 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78719 800 2416 0 84186 0
Current children cumulated CPU time: 138.71 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319228 KiB
[startup+139.4 s]
/proc/loadavg: 3.74 2.28 2.14 5/260 28176
/proc/meminfo: memFree=125422136/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314876 CPUtime=138.91 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52733 0 0 0 13869 22 0 0 20 0 1 0 38739812 356696064 78719 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78719 800 2416 0 84186 0
Current children cumulated CPU time: 138.91 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319228 KiB
[startup+139.5 s]
/proc/loadavg: 3.74 2.28 2.14 5/260 28176
/proc/meminfo: memFree=125422136/131382120 swapFree=33010684/33010684
[pid=28140] ppid=28134 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/28140/stat : 28140 (Hybrid-CASHWMax) S 28134 28140 28087 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 38739808 4427776 736 18446744073709551615 94369138438144 94369139332677 140720692731088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94369139571728 94369139619472 94369159720960 140720692738391 140720692738545 140720692738545 140720692744147 0
/proc/28140/statm: 1081 736 672 219 0 143 0
[pid=28148] ppid=28140 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/28148/stat : 28148 (timeout) S 28140 28148 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 38739811 2723840 352 18446744073709551615 94227849097216 94227849113729 140734120896000 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94227849128496 94227849130584 94227867779072 140734120901024 140734120901154 140734120901154 140734120906727 0
/proc/28148/statm: 665 352 352 5 0 90 0
[pid=28154] ppid=28148 vsize=348336 memory=314876 CPUtime=139 cores=1,3
/proc/28154/stat : 28154 (CASHWMaxSAT-Dis) R 28148 28148 28087 0 -1 4194304 52733 0 0 0 13878 22 0 0 20 0 1 0 38739812 356696064 78719 18446744073709551615 4198400 14093885 140725731220400 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53526528 140725731223974 140725731224091 140725731224091 140725731229664 0
/proc/28154/statm: 87084 78719 800 2416 0 84186 0
Current children cumulated CPU time: 139 s
Current children cumulated vsize: 355320 KiB
Current children cumulated memory: 319228 KiB
Child status: 0
Real time (s): 139.593
CPU time (s): 139.109
CPU user time (s): 138.867
CPU system time (s): 0.242031
CPU usage (%): 99.6538
Max. virtual memory (cumulated for all children) (KiB): 404860
Max. memory (cumulated for all children) (KiB): 359588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.867
system time used= 0.242031
maximum resident set size= 355236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 28140
# total CPU time (s): 139.109
# total CPU user time (s): 138.867
# total CPU system time (s): 0.242031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.793175 second user time and 1.61121 second system time
The end
Begin job on nodeC002 at 2025-06-29 22:56:50
IDJOB=4515264
IDBENCH=164385
IDSOLVER=3331
FILE ID=nodeC002/4515264-1751230610
RUNJOBID= nodeC002-1751230610-28099
SLURM_JOB_ID= 9587702
Free space on /tmp= 433060 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-777800.0.s.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515264-1751230610/watcher-4515264-1751230610 -o /tmp/evaluation-result-4515264-1751230610/solver-4515264-1751230610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751230610-28099 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4515264-1751230610.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 582689c3cf73d4c20a9f41c5c43c97bc
RANDOM SEED=1867412814
nodeC002 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 : 0xb00001f
cpu MHz : 1197.540
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.538
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.222
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130159200 kB
MemAvailable: 129956416 kB
Buffers: 3280 kB
Cached: 607776 kB
SwapCached: 0 kB
Active: 323000 kB
Inactive: 359160 kB
Active(anon): 89064 kB
Inactive(anon): 0 kB
Active(file): 233936 kB
Inactive(file): 359160 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59388 kB
Writeback: 4 kB
AnonPages: 74180 kB
Mapped: 102488 kB
Shmem: 17960 kB
KReclaimable: 87492 kB
Slab: 169896 kB
SReclaimable: 87492 kB
SUnreclaim: 82404 kB
KernelStack: 3856 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 339096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC002 at 2025-06-29 22:59:10