runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57858 MiB free)
memory of node 1: 64507 MiB (61297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523734-1751603478/watcher-4523734-1751603478 -o /tmp/evaluation-result-4523734-1751603478/solver-4523734-1751603478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86139 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523734-1751603478.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Current StackSize limit: 8192 KiB
solver pid=86875, runsolver pid=86872
[startup+0.100064 s]*
/proc/loadavg: 7.60 7.87 7.66 8/268 86876
/proc/meminfo: memFree=122012648/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=85004 memory=50688 CPUtime=0.09 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 11609 0 0 0 7 2 0 0 20 0 1 0 76025517 87044096 12672 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 21251 12672 1216 6655 0 11486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85004 KiB
Current children cumulated memory: 50688 KiB
[startup+0.205688 s]*
/proc/loadavg: 7.60 7.87 7.66 8/268 86876
/proc/meminfo: memFree=122004836/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=0.19 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12989 0 0 0 17 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+0.30558 s]*
/proc/loadavg: 7.60 7.87 7.66 8/268 86876
/proc/meminfo: memFree=122004836/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=0.29 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12989 0 0 0 27 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+0.70019 s]
/proc/loadavg: 7.60 7.87 7.66 8/267 86876
/proc/meminfo: memFree=122004836/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=0.68 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12990 0 0 0 66 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+1.50018 s]
/proc/loadavg: 7.60 7.87 7.66 8/267 86876
/proc/meminfo: memFree=122005112/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=1.48 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12992 0 0 0 146 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+3.10556 s]
/proc/loadavg: 7.55 7.86 7.66 8/267 86876
/proc/meminfo: memFree=121997252/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=3.08 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12992 0 0 0 306 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+6.30018 s]
/proc/loadavg: 7.55 7.86 7.66 8/267 86876
/proc/meminfo: memFree=121997504/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=90560 memory=56192 CPUtime=6.26 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 12993 0 0 0 624 2 0 0 20 0 1 0 76025517 92733440 14048 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 22640 14048 1216 6655 0 12875 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90560 KiB
Current children cumulated memory: 56192 KiB
[startup+12.7002 s]
/proc/loadavg: 7.55 7.85 7.65 9/268 86877
/proc/meminfo: memFree=121874584/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=255176 memory=182696 CPUtime=14.57 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 37768 0 0 0 1450 7 0 0 20 0 2 0 76025517 261300224 45674 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 63794 45674 3520 6655 0 44086 0
[pid=86875/tid=86877] ppid=86872 vsize=255176 memory=182696 CPUtime=1.92 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 5821 0 0 0 192 0 0 0 20 0 2 0 76026527 261300224 45674 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 255176 KiB
Current children cumulated memory: 182696 KiB
[startup+25.5002 s]
/proc/loadavg: 7.62 7.85 7.66 9/268 86878
/proc/meminfo: memFree=121849916/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=248348 memory=176436 CPUtime=39.97 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 71020 0 0 0 3986 11 0 0 20 0 2 0 76025517 254308352 44109 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 62087 44109 3520 6655 0 42379 0
[pid=86875/tid=86877] ppid=86872 vsize=248348 memory=176436 CPUtime=14.55 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 14357 0 0 0 1454 1 0 0 20 0 2 0 76026527 254308352 44109 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 39.97 s
Current children cumulated vsize: 248348 KiB
Current children cumulated memory: 176436 KiB
[startup+51.1056 s]
/proc/loadavg: 7.75 7.87 7.67 9/268 86878
/proc/meminfo: memFree=121778008/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=283548 memory=237012 CPUtime=89.39 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 95736 0 0 0 8923 16 0 0 20 0 2 0 76025517 290353152 59253 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 70887 59253 3520 6655 0 58051 0
[pid=86875/tid=86877] ppid=86872 vsize=283548 memory=238100 CPUtime=38.47 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 23555 0 0 0 3844 3 0 0 20 0 2 0 76026527 290353152 59253 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 89.39 s
Current children cumulated vsize: 283548 KiB
Current children cumulated memory: 237012 KiB
[startup+102.3 s]
/proc/loadavg: 7.90 7.89 7.69 9/268 86880
/proc/meminfo: memFree=121758260/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=287968 memory=241752 CPUtime=191 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 126592 0 0 0 19081 19 0 0 20 0 2 0 76025517 294879232 60438 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 71992 60438 3520 6655 0 59156 0
[pid=86875/tid=86877] ppid=86872 vsize=287968 memory=241368 CPUtime=89.1 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 41983 0 0 0 8905 5 0 0 20 0 2 0 76026527 294879232 60438 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 191 s
Current children cumulated vsize: 287968 KiB
Current children cumulated memory: 241752 KiB
[startup+162.3 s]
/proc/loadavg: 8.00 7.93 7.72 9/268 86886
/proc/meminfo: memFree=121734256/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=287968 memory=241752 CPUtime=310.15 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 166498 0 0 0 30992 23 0 0 20 0 2 0 76025517 294879232 60438 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 71992 60438 3520 6655 0 59156 0
[pid=86875/tid=86877] ppid=86872 vsize=287968 memory=241752 CPUtime=148.45 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 63142 0 0 0 14838 7 0 0 20 0 2 0 76026527 294879232 60438 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 310.15 s
Current children cumulated vsize: 287968 KiB
Current children cumulated memory: 241752 KiB
[startup+222.3 s]
/proc/loadavg: 8.10 7.97 7.75 9/268 86889
/proc/meminfo: memFree=121666152/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=287968 memory=243832 CPUtime=429.28 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 168514 0 0 0 42904 24 0 0 20 0 2 0 76025517 294879232 60958 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 71992 60958 3520 6655 0 59156 0
[pid=86875/tid=86877] ppid=86872 vsize=287968 memory=243832 CPUtime=207.81 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 64962 0 0 0 20773 8 0 0 20 0 2 0 76026527 294879232 60958 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 429.28 s
Current children cumulated vsize: 287968 KiB
Current children cumulated memory: 243832 KiB
[startup+282.3 s]
/proc/loadavg: 8.09 7.99 7.77 9/268 86891
/proc/meminfo: memFree=121611676/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=289744 memory=246520 CPUtime=548.41 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 202333 0 0 0 54813 28 0 0 20 0 2 0 76025517 296697856 61630 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 72436 61630 3520 6655 0 59834 0
[pid=86875/tid=86877] ppid=86872 vsize=289744 memory=246520 CPUtime=267.16 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 85800 0 0 0 26706 10 0 0 20 0 2 0 76026527 296697856 61630 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 548.41 s
Current children cumulated vsize: 289744 KiB
Current children cumulated memory: 246520 KiB
[startup+342.3 s]
/proc/loadavg: 7.96 7.97 7.78 9/268 86944
/proc/meminfo: memFree=121739460/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=293176 memory=252920 CPUtime=667.55 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 206550 0 0 0 66725 30 0 0 20 0 2 0 76025517 300212224 63230 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 73294 63230 3520 6655 0 61413 0
[pid=86875/tid=86877] ppid=86872 vsize=293176 memory=246520 CPUtime=326.52 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 88026 0 0 0 32641 11 0 0 20 0 2 0 76026527 300212224 63230 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 667.55 s
Current children cumulated vsize: 293176 KiB
Current children cumulated memory: 252920 KiB
[startup+402.3 s]
################
# More data... #
################
Current children cumulated vsize: 510352 KiB
Current children cumulated memory: 426748 KiB
[startup+1542.3 s]
/proc/loadavg: 8.09 8.12 8.03 9/269 87051
/proc/meminfo: memFree=121174652/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=542488 memory=496644 CPUtime=3050.35 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 484519 0 0 0 304914 121 0 0 20 0 2 0 76025517 555507712 124161 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 135622 124161 3584 6655 0 122386 0
[pid=86875/tid=86877] ppid=86872 vsize=542488 memory=0 CPUtime=1513.77 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 298767 0 0 0 151295 82 0 0 20 0 2 0 76026527 555507712 124161 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3050.35 s
Current children cumulated vsize: 542488 KiB
Current children cumulated memory: 496644 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.13 8.04 9/269 87053
/proc/meminfo: memFree=121113688/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=653568 memory=582756 CPUtime=3169.49 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 504737 0 0 0 316818 131 0 0 20 0 2 0 76025517 669253632 145689 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 163392 145689 3584 6655 0 144101 0
[pid=86875/tid=86877] ppid=86872 vsize=653568 memory=14592 CPUtime=1573.1 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 312090 0 0 0 157220 90 0 0 20 0 2 0 76026527 669253632 145689 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3169.49 s
Current children cumulated vsize: 653568 KiB
Current children cumulated memory: 582756 KiB
[startup+1662.3 s]
/proc/loadavg: 7.81 8.05 8.02 8/268 87102
/proc/meminfo: memFree=119309276/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=687264 memory=654852 CPUtime=3288.62 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 523205 0 0 0 328724 138 0 0 20 0 2 0 76025517 703758336 163713 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 171816 163713 3584 6655 0 161962 0
[pid=86875/tid=86877] ppid=86872 vsize=687264 memory=14592 CPUtime=1632.45 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 322179 0 0 0 163152 93 0 0 20 0 2 0 76026527 703758336 163713 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3288.62 s
Current children cumulated vsize: 687264 KiB
Current children cumulated memory: 654852 KiB
[startup+1722.3 s]
/proc/loadavg: 7.42 7.89 7.96 8/268 87104
/proc/meminfo: memFree=118999108/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=780440 memory=739020 CPUtime=3407.78 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 544957 0 0 0 340636 142 0 0 20 0 2 0 76025517 799170560 184755 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 195110 184755 3584 6655 0 182754 0
[pid=86875/tid=86877] ppid=86872 vsize=780440 memory=694408 CPUtime=1691.8 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 336509 0 0 0 169085 95 0 0 20 0 2 0 76026527 799170560 184755 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3407.78 s
Current children cumulated vsize: 780440 KiB
Current children cumulated memory: 739020 KiB
[startup+1782.3 s]
/proc/loadavg: 7.49 7.81 7.92 8/268 87106
/proc/meminfo: memFree=118070276/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=902856 memory=837328 CPUtime=3526.93 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 568145 0 0 0 352545 148 0 0 20 0 2 0 76025517 924524544 209332 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 225714 209332 3584 6655 0 207342 0
[pid=86875/tid=86877] ppid=86872 vsize=902856 memory=811152 CPUtime=1751.14 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 346887 0 0 0 175017 97 0 0 20 0 2 0 76026527 924524544 209332 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3526.93 s
Current children cumulated vsize: 902856 KiB
Current children cumulated memory: 837328 KiB
[startup+1804.36 s]
# the end of solver process 86875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.91 s, system=1.61969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 7.57 7.81 7.93 9/270 87119
/proc/meminfo: memFree=117762384/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=908932 memory=843372 CPUtime=3546.2 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 569349 0 0 0 354472 148 0 0 20 0 2 0 76025517 930746368 210843 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 227233 210843 3584 6655 0 208861 0
[pid=86875/tid=86877] ppid=86872 vsize=908932 memory=-6082785737700381024 CPUtime=1760.74 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 346923 0 0 0 175977 97 0 0 20 0 2 0 76026527 930746368 210843 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3546.2 s
Current children cumulated vsize: 908932 KiB
Current children cumulated memory: 843372 KiB
[startup+1798.4 s]
/proc/loadavg: 7.64 7.82 7.93 9/270 87119
/proc/meminfo: memFree=117710088/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=918460 memory=852876 CPUtime=3558.91 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 570748 0 0 0 355742 149 0 0 20 0 2 0 76025517 940503040 213219 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 229615 213219 3584 6655 0 211243 0
[pid=86875/tid=86877] ppid=86872 vsize=918460 memory=14592 CPUtime=1767.07 cores=4,6
/proc/86875/task/86877/stat : 86877 (LSIPExact) R 86872 86875 86128 0 -1 4194368 346926 0 0 0 176610 97 0 0 20 0 2 0 76026527 940503040 213219 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
Current children cumulated CPU time: 3558.91 s
Current children cumulated vsize: 918460 KiB
Current children cumulated memory: 852876 KiB
[startup+1801.6 s]
/proc/loadavg: 7.64 7.82 7.93 8/270 87121
/proc/meminfo: memFree=117652844/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=921920 memory=857420 CPUtime=3562.49 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) S 86872 86875 86128 0 -1 4194304 642064 227 0 0 356095 154 0 0 20 0 1 0 76025517 944046080 214355 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 230480 214355 3648 6655 0 212834 0
[pid=87121] ppid=86875 vsize=68916 memory=52412 CPUtime=1.27 cores=4,6
/proc/87121/stat : 87121 (Exact) R 86875 87121 87121 0 -1 4194304 16108 0 0 0 124 3 0 0 20 0 1 0 76205547 70569984 13103 18446744073709551615 4198400 8335837 140724362707840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 37650432 140724362709172 140724362709533 140724362709533 140724362715087 0
/proc/87121/statm: 17229 13103 1120 1011 0 15996 0
Current children cumulated CPU time: 3563.76 s
Current children cumulated vsize: 990836 KiB
Current children cumulated memory: 909832 KiB
[startup+1803.2 s]
/proc/loadavg: 7.58 7.81 7.92 8/270 87121
/proc/meminfo: memFree=117652844/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=921920 memory=857420 CPUtime=3562.49 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) S 86872 86875 86128 0 -1 4194304 642064 227 0 0 356095 154 0 0 20 0 1 0 76025517 944046080 214355 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 230480 214355 3648 6655 0 212834 0
[pid=87121] ppid=86875 vsize=68916 memory=52412 CPUtime=2.86 cores=4,6
/proc/87121/stat : 87121 (Exact) R 86875 87121 87121 0 -1 4194304 16110 0 0 0 283 3 0 0 20 0 1 0 76205547 70569984 13103 18446744073709551615 4198400 8335837 140724362707840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 37650432 140724362709172 140724362709533 140724362709533 140724362715087 0
/proc/87121/statm: 17229 13103 1120 1011 0 15996 0
Current children cumulated CPU time: 3565.35 s
Current children cumulated vsize: 990836 KiB
Current children cumulated memory: 909832 KiB
[startup+1804 s]*
/proc/loadavg: 7.58 7.81 7.92 8/270 87121
/proc/meminfo: memFree=117652844/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=921920 memory=857420 CPUtime=3562.49 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) S 86872 86875 86128 0 -1 4194304 642064 227 0 0 356095 154 0 0 20 0 1 0 76025517 944046080 214355 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 230480 214355 3648 6655 0 212834 0
[pid=87121] ppid=86875 vsize=63976 memory=47472 CPUtime=3.67 cores=4,6
/proc/87121/stat : 87121 (Exact) R 86875 87121 87121 0 -1 4194304 17009 0 0 0 364 3 0 0 20 0 1 0 76205547 65511424 11868 18446744073709551615 4198400 8335837 140724362707840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 37650432 140724362709172 140724362709533 140724362709533 140724362715087 0
/proc/87121/statm: 15994 11868 1120 1011 0 14761 0
Current children cumulated CPU time: 3566.16 s
Current children cumulated vsize: 985896 KiB
Current children cumulated memory: 904892 KiB
[startup+1804.2 s]
/proc/loadavg: 7.58 7.81 7.92 8/270 87121
/proc/meminfo: memFree=117652844/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=921920 memory=857420 CPUtime=3562.49 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) S 86872 86875 86128 0 -1 4194304 642064 227 0 0 356095 154 0 0 20 0 1 0 76025517 944046080 214355 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 230480 214355 3648 6655 0 212834 0
[pid=87121] ppid=86875 vsize=63976 memory=47472 CPUtime=3.86 cores=4,6
/proc/87121/stat : 87121 (Exact) R 86875 87121 87121 0 -1 4194304 17009 0 0 0 383 3 0 0 20 0 1 0 76205547 65511424 11868 18446744073709551615 4198400 8335837 140724362707840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 37650432 140724362709172 140724362709533 140724362709533 140724362715087 0
/proc/87121/statm: 15994 11868 1120 1011 0 14761 0
Current children cumulated CPU time: 3566.35 s
Current children cumulated vsize: 985896 KiB
Current children cumulated memory: 904892 KiB
[startup+1804.3 s]
/proc/loadavg: 7.58 7.81 7.92 8/270 87121
/proc/meminfo: memFree=117652844/131249996 swapFree=33003468/33010684
[pid=86875] ppid=86872 vsize=921920 memory=857420 CPUtime=3566.45 cores=4,6
/proc/86875/stat : 86875 (LSIPExact) R 86872 86875 86128 0 -1 4194304 645086 17238 0 0 356096 154 392 3 20 0 1 0 76025517 944046080 214355 18446744073709551615 93831380103168 93831407359569 140727301691968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 93831415862408 93831416294016 93831437254656 140727301699930 140727301700106 140727301700106 140727301705708 0
/proc/86875/statm: 230480 214355 3648 6655 0 212834 0
Current children cumulated CPU time: 3566.45 s
Current children cumulated vsize: 921920 KiB
Current children cumulated memory: 857420 KiB
Child status: 0
Real time (s): 1804.36
CPU time (s): 3566.53
CPU user time (s): 3564.91
CPU system time (s): 1.61969
CPU usage (%): 197.662
Max. virtual memory (cumulated for all children) (KiB): 990836
Max. memory (cumulated for all children) (KiB): 909832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.91
system time used= 1.61969
maximum resident set size= 859404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667365
page faults= 0
swaps= 0
block input operations= 6240
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 533
involuntary context switches= 88398
# summary of solver processes directly reported to runsolver:
# pid: 86875
# total CPU time (s): 3566.53
# total CPU user time (s): 3564.91
# total CPU system time (s): 1.61969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59962 second user time and 8.42023 second system time
The end
Begin job on nodeC021 at 2025-07-04 06:31:18
IDJOB=4523734
IDBENCH=180371
IDSOLVER=3337
FILE ID=nodeC021/4523734-1751603478
RUNJOBID= nodeC021-1751599645-86139
SLURM_JOB_ID= 9598875
Free space on /tmp= 430804 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523734-1751603478/watcher-4523734-1751603478 -o /tmp/evaluation-result-4523734-1751603478/solver-4523734-1751603478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86139 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523734-1751603478.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94de02fa01250a2017b0bd253a5fded
RANDOM SEED=1073979538
nodeC021 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.782
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.56
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.635
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
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.56
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 : 3599.837
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.56
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.733
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.56
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.773
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.56
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 : 3647.720
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.56
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.987
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122015284 kB
MemAvailable: 128476864 kB
Buffers: 1056 kB
Cached: 7194748 kB
SwapCached: 32 kB
Active: 1725308 kB
Inactive: 6732260 kB
Active(anon): 1234388 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6691432 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47752 kB
Writeback: 4 kB
AnonPages: 1258096 kB
Mapped: 135340 kB
Shmem: 13452 kB
KReclaimable: 236532 kB
Slab: 328900 kB
SReclaimable: 236532 kB
SUnreclaim: 92368 kB
KernelStack: 4320 kB
PageTables: 5608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1653896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 804864 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430720 MiB
End job on nodeC021 at 2025-07-04 07:01:23