runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62812 MiB free)
memory of node 1: 64465 MiB (63794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523595-1751602168/watcher-4523595-1751602168 -o /tmp/evaluation-result-4523595-1751602168/solver-4523595-1751602168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751602168-84123 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523595-1751602168.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84175, runsolver pid=84163
Current StackSize limit: 8192 KiB
[startup+0.100031 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129461460/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=86128 memory=51712 CPUtime=0.09 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 11903 0 0 0 8 1 0 0 20 0 1 0 75893503 88195072 12928 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 21532 12928 1184 6655 0 11767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 51712 KiB
[startup+0.205364 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=0.19 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13110 0 0 0 18 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+0.305374 s]*
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=0.29 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13111 0 0 0 28 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+0.700173 s]
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440152/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=0.68 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13112 0 0 0 67 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+1.50017 s]
/proc/loadavg: 2.29 3.63 3.93 5/263 84180
/proc/meminfo: memFree=129440328/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=1.48 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13115 0 0 0 147 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+3.10524 s]
/proc/loadavg: 2.43 3.64 3.94 5/263 84180
/proc/meminfo: memFree=129442288/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=3.08 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13115 0 0 0 307 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+6.30017 s]
/proc/loadavg: 2.43 3.64 3.94 5/263 84180
/proc/meminfo: memFree=129442344/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=91012 memory=56576 CPUtime=6.27 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 13117 0 0 0 626 1 0 0 20 0 1 0 75893503 93196288 14144 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+12.7002 s]
/proc/loadavg: 2.99 3.72 3.96 9/267 84184
/proc/meminfo: memFree=128997412/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=263212 memory=186996 CPUtime=14.51 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 40923 0 0 0 1446 5 0 0 20 0 2 0 75893503 269529088 46749 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 65803 46749 3456 6655 0 45967 0
[pid=84175/tid=84184] ppid=84163 vsize=263212 memory=180980 CPUtime=1.87 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 4719 0 0 0 186 1 0 0 20 0 2 0 75894514 269529088 46749 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 14.51 s
Current children cumulated vsize: 263212 KiB
Current children cumulated memory: 186996 KiB
[startup+25.5002 s]
/proc/loadavg: 3.76 3.86 4.00 9/267 84184
/proc/meminfo: memFree=128917928/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=274660 memory=197732 CPUtime=39.91 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 72220 0 0 0 3983 8 0 0 20 0 2 0 75893503 281251840 49433 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 68665 49433 3456 6655 0 49636 0
[pid=84175/tid=84184] ppid=84163 vsize=274660 memory=197604 CPUtime=14.5 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 13263 0 0 0 1448 2 0 0 20 0 2 0 75894514 281251840 49433 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 39.91 s
Current children cumulated vsize: 274660 KiB
Current children cumulated memory: 197732 KiB
[startup+51.1054 s]
/proc/loadavg: 5.20 4.19 4.11 9/267 84185
/proc/meminfo: memFree=128760516/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=298980 memory=248656 CPUtime=89.51 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 135523 0 0 0 8938 13 0 0 20 0 2 0 75893503 306155520 62164 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 74745 62164 3456 6655 0 62137 0
[pid=84175/tid=84184] ppid=84163 vsize=298980 memory=3904959767184567562 CPUtime=38.58 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 39516 0 0 0 3853 5 0 0 20 0 2 0 75894514 306155520 62164 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 89.51 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 248656 KiB
[startup+102.3 s]
/proc/loadavg: 6.87 4.84 4.34 9/269 84191
/proc/meminfo: memFree=128721216/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=304652 memory=257348 CPUtime=191.03 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 158498 0 0 0 19088 15 0 0 20 0 2 0 75893503 311963648 64337 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 76163 64337 3456 6655 0 63881 0
[pid=84175/tid=84184] ppid=84163 vsize=304652 memory=257348 CPUtime=89.12 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 56105 0 0 0 8906 6 0 0 20 0 2 0 75894514 311963648 64337 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 191.03 s
Current children cumulated vsize: 304652 KiB
Current children cumulated memory: 257348 KiB
[startup+162.3 s]
/proc/loadavg: 7.63 5.43 4.57 9/269 84197
/proc/meminfo: memFree=128643684/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=312112 memory=278732 CPUtime=310.17 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 194034 0 0 0 30995 22 0 0 20 0 2 0 75893503 319602688 69683 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 78028 69683 3456 6655 0 68126 0
[pid=84175/tid=84184] ppid=84163 vsize=312112 memory=269164 CPUtime=148.47 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 74929 0 0 0 14836 11 0 0 20 0 2 0 75894514 319602688 69683 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 310.17 s
Current children cumulated vsize: 312112 KiB
Current children cumulated memory: 278732 KiB
[startup+222.3 s]
/proc/loadavg: 7.96 5.93 4.80 9/269 84199
/proc/meminfo: memFree=128568932/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=316640 memory=283324 CPUtime=429.31 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 232507 0 0 0 42903 28 0 0 20 0 2 0 75893503 324239360 70831 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 79160 70831 3456 6655 0 69258 0
[pid=84175/tid=84184] ppid=84163 vsize=316640 memory=269164 CPUtime=207.83 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 94873 0 0 0 20768 15 0 0 20 0 2 0 75894514 324239360 70831 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 429.31 s
Current children cumulated vsize: 316640 KiB
Current children cumulated memory: 283324 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 6.32 5.01 9/269 84201
/proc/meminfo: memFree=128461716/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=341004 memory=307856 CPUtime=548.47 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 244431 0 0 0 54813 34 0 0 20 0 2 0 75893503 349188096 76964 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 85251 76964 3520 6655 0 75349 0
[pid=84175/tid=84184] ppid=84163 vsize=341004 memory=269164 CPUtime=267.21 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 101979 0 0 0 26700 21 0 0 20 0 2 0 75894514 349188096 76964 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 548.47 s
Current children cumulated vsize: 341004 KiB
Current children cumulated memory: 307856 KiB
[startup+342.3 s]
/proc/loadavg: 8.13 6.66 5.21 9/269 84203
/proc/meminfo: memFree=128361228/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=387124 memory=304340 CPUtime=667.64 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 261099 0 0 0 66728 36 0 0 20 0 2 0 75893503 396414976 76085 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 96781 76085 3520 6655 0 74774 0
[pid=84175/tid=84184] ppid=84163 vsize=387124 memory=324172 CPUtime=326.58 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 111351 0 0 0 32636 22 0 0 20 0 2 0 75894514 396414976 76085 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 667.64 s
Current children cumulated vsize: 387124 KiB
Current children cumulated memory: 304340 KiB
[startup+402.3 s]
################
# More data... #
################
Current children cumulated CPU time: 2812.24 s
Current children cumulated vsize: 501016 KiB
Current children cumulated memory: 415092 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.13 7.34 9/269 84262
/proc/meminfo: memFree=127887248/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=494288 memory=403796 CPUtime=2931.33 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 563184 0 0 0 293032 101 0 0 20 0 2 0 75893503 506150912 100949 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 123572 100949 3520 6655 0 100541 0
[pid=84175/tid=84184] ppid=84163 vsize=494288 memory=400372 CPUtime=1460.24 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 260072 0 0 0 145966 58 0 0 20 0 2 0 75894514 506150912 100949 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 2931.33 s
Current children cumulated vsize: 494288 KiB
Current children cumulated memory: 403796 KiB
[startup+1542.3 s]
/proc/loadavg: 8.19 8.14 7.39 9/268 84264
/proc/meminfo: memFree=127778356/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=492276 memory=412196 CPUtime=3050.41 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 608854 0 0 0 304929 112 0 0 20 0 2 0 75893503 504090624 103049 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 123069 103049 3520 6655 0 102598 0
[pid=84175/tid=84184] ppid=84163 vsize=492276 memory=5760 CPUtime=1520.03 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 285600 0 0 0 151937 66 0 0 20 0 2 0 75894514 504090624 103049 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3050.41 s
Current children cumulated vsize: 492276 KiB
Current children cumulated memory: 412196 KiB
[startup+1602.3 s]
/proc/loadavg: 8.17 8.14 7.45 9/267 84266
/proc/meminfo: memFree=127652828/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=502700 memory=430348 CPUtime=3169.5 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 623498 0 0 0 316834 116 0 0 20 0 2 0 75893503 514764800 107587 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 125675 107587 3520 6655 0 106299 0
[pid=84175/tid=84184] ppid=84163 vsize=502700 memory=5760 CPUtime=1579.81 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 294793 0 0 0 157913 68 0 0 20 0 2 0 75894514 514764800 107587 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3169.5 s
Current children cumulated vsize: 502700 KiB
Current children cumulated memory: 430348 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.13 7.49 9/266 84268
/proc/meminfo: memFree=127520904/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=510972 memory=428712 CPUtime=3288.54 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 661056 0 0 0 328731 123 0 0 20 0 2 0 75893503 523235328 107178 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 127743 107178 3520 6655 0 112103 0
[pid=84175/tid=84184] ppid=84163 vsize=510972 memory=432796 CPUtime=1639.58 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 318388 0 0 0 163885 73 0 0 20 0 2 0 75894514 523235328 107178 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3288.54 s
Current children cumulated vsize: 510972 KiB
Current children cumulated memory: 428712 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.12 7.53 9/267 84271
/proc/meminfo: memFree=127417908/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=510892 memory=446332 CPUtime=3407.6 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 746123 0 0 0 340620 140 0 0 20 0 2 0 75893503 523153408 111583 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 127723 111583 3520 6655 0 112083 0
[pid=84175/tid=84184] ppid=84163 vsize=510892 memory=17280 CPUtime=1699.36 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 372786 0 0 0 169853 83 0 0 20 0 2 0 75894514 523153408 111583 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3407.6 s
Current children cumulated vsize: 510892 KiB
Current children cumulated memory: 446332 KiB
[startup+1782.3 s]
/proc/loadavg: 8.08 8.11 7.57 9/267 84273
/proc/meminfo: memFree=127285424/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=524052 memory=451676 CPUtime=3526.64 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 766917 0 0 0 352519 145 0 0 20 0 2 0 75893503 536629248 112919 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 131013 112919 3520 6655 0 115373 0
[pid=84175/tid=84184] ppid=84163 vsize=524052 memory=442456 CPUtime=1759.12 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 391814 0 0 0 175825 87 0 0 20 0 2 0 75894514 536629248 112919 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3526.64 s
Current children cumulated vsize: 524052 KiB
Current children cumulated memory: 451676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.3 s]
/proc/loadavg: 8.10 8.11 7.59 8/267 84276
/proc/meminfo: memFree=127269628/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=520104 memory=456560 CPUtime=3600.05 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) R 84163 84175 84111 0 -1 4194304 788742 0 0 0 359856 149 0 0 20 0 2 0 75893503 532586496 114140 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 130026 114140 3520 6655 0 114386 0
[pid=84175/tid=84184] ppid=84163 vsize=520104 memory=439484 CPUtime=1795.97 cores=1,3
/proc/84175/task/84184/stat : 84184 (LSIPExact) R 84163 84175 84111 0 -1 4194368 405203 0 0 0 179507 90 0 0 20 0 2 0 75894514 532586496 114140 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 520104 KiB
Current children cumulated memory: 456560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1821.32 s]
# the end of solver process 84175 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.5 s, system=1.55703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1820 s]*
/proc/loadavg: 8.10 8.11 7.59 6/262 84286
/proc/meminfo: memFree=127809104/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=454568 memory=379076 CPUtime=3600.12 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) S 84163 84175 84111 0 -1 4194304 796072 229 0 0 359862 150 0 0 20 0 1 0 75893503 465477632 94769 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 113642 94769 3584 6655 0 103707 0
[pid=84278] ppid=84175 vsize=97708 memory=78712 CPUtime=0.6 cores=1,3
/proc/84278/stat : 84278 (Exact) R 84175 84278 84278 0 -1 4194304 17202 0 0 0 57 3 0 0 20 0 1 0 76075441 100052992 19678 18446744073709551615 4198400 8335837 140729905915328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20000768 140729905924276 140729905924637 140729905924637 140729905930191 0
/proc/84278/statm: 24427 19678 1120 1011 0 23194 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 552276 KiB
Current children cumulated memory: 457788 KiB
[startup+1820.8 s]
/proc/loadavg: 8.10 8.11 7.59 6/262 84286
/proc/meminfo: memFree=127809104/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=454568 memory=379076 CPUtime=3600.12 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) S 84163 84175 84111 0 -1 4194304 796072 229 0 0 359862 150 0 0 20 0 1 0 75893503 465477632 94769 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 113642 94769 3584 6655 0 103707 0
[pid=84278] ppid=84175 vsize=102704 memory=85860 CPUtime=1.39 cores=1,3
/proc/84278/stat : 84278 (Exact) R 84175 84278 84278 0 -1 4194304 17941 0 0 0 136 3 0 0 20 0 1 0 76075441 105168896 21465 18446744073709551615 4198400 8335837 140729905915328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20000768 140729905924276 140729905924637 140729905924637 140729905930191 0
/proc/84278/statm: 25676 21465 1120 1011 0 24443 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 557272 KiB
Current children cumulated memory: 464936 KiB
[startup+1821.2 s]
/proc/loadavg: 8.10 8.11 7.59 5/262 84288
/proc/meminfo: memFree=128053324/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=454568 memory=379076 CPUtime=3600.12 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) S 84163 84175 84111 0 -1 4194304 796072 229 0 0 359862 150 0 0 20 0 1 0 75893503 465477632 94769 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 113642 94769 3584 6655 0 103707 0
[pid=84278] ppid=84175 vsize=102704 memory=85860 CPUtime=1.79 cores=1,3
/proc/84278/stat : 84278 (Exact) R 84175 84278 84278 0 -1 4194304 17941 0 0 0 176 3 0 0 20 0 1 0 76075441 105168896 21465 18446744073709551615 4198400 8335837 140729905915328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20000768 140729905924276 140729905924637 140729905924637 140729905930191 0
/proc/84278/statm: 25676 21465 1120 1011 0 24443 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 557272 KiB
Current children cumulated memory: 464936 KiB
[startup+1821.3 s]
/proc/loadavg: 8.10 8.11 7.59 5/262 84288
/proc/meminfo: memFree=128053324/131250000 swapFree=33008356/33010684
[pid=84175] ppid=84163 vsize=454568 memory=379076 CPUtime=3600.12 cores=1,3
/proc/84175/stat : 84175 (LSIPExact) S 84163 84175 84111 0 -1 4194304 796072 229 0 0 359862 150 0 0 20 0 1 0 75893503 465477632 94769 18446744073709551615 93930928582656 93930955839057 140735944911072 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93930964341896 93930964773504 93930990473216 140735944915290 140735944915466 140735944915466 140735944921068 0
/proc/84175/statm: 113642 94769 3584 6655 0 103707 0
[pid=84278] ppid=84175 vsize=102704 memory=85860 CPUtime=1.89 cores=1,3
/proc/84278/stat : 84278 (Exact) R 84175 84278 84278 0 -1 4194304 17941 0 0 0 186 3 0 0 20 0 1 0 76075441 105168896 21465 18446744073709551615 4198400 8335837 140729905915328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20000768 140729905924276 140729905924637 140729905924637 140729905930191 0
/proc/84278/statm: 25676 21465 1120 1011 0 24443 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 557272 KiB
Current children cumulated memory: 464936 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1821.32
CPU time (s): 3602.05
CPU user time (s): 3600.5
CPU system time (s): 1.55703
CPU usage (%): 197.771
Max. virtual memory (cumulated for all children) (KiB): 557272
Max. memory (cumulated for all children) (KiB): 464936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.5
system time used= 1.55703
maximum resident set size= 459640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817537
page faults= 0
swaps= 0
block input operations= 6280
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 511
involuntary context switches= 95617
# summary of solver processes directly reported to runsolver:
# pid: 84175
# total CPU time (s): 3602.05
# total CPU user time (s): 3600.5
# total CPU system time (s): 1.55703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59609 second user time and 8.54553 second system time
The end
Begin job on nodeC014 at 2025-07-04 06:09:29
IDJOB=4523595
IDBENCH=180367
IDSOLVER=3336
FILE ID=nodeC014/4523595-1751602168
RUNJOBID= nodeC014-1751602168-84123
SLURM_JOB_ID= 9598883
Free space on /tmp= 430484 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523595-1751602168/watcher-4523595-1751602168 -o /tmp/evaluation-result-4523595-1751602168/solver-4523595-1751602168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751602168-84123 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523595-1751602168.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f6e958af03e3a467ac7f878ded31fa6
RANDOM SEED=1540944078
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.167
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129650228 kB
MemAvailable: 129694548 kB
Buffers: 696 kB
Cached: 839712 kB
SwapCached: 1628 kB
Active: 408360 kB
Inactive: 508076 kB
Active(anon): 43300 kB
Inactive(anon): 49164 kB
Active(file): 365060 kB
Inactive(file): 458912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 191100 kB
Writeback: 16 kB
AnonPages: 77512 kB
Mapped: 102504 kB
Shmem: 16396 kB
KReclaimable: 119172 kB
Slab: 209468 kB
SReclaimable: 119172 kB
SUnreclaim: 90296 kB
KernelStack: 4000 kB
PageTables: 2800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430308 MiB
End job on nodeC014 at 2025-07-04 06:39:51