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 (54558 MiB free)
memory of node 1: 64465 MiB (52372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527347-1752232206/watcher-4527347-1752232206 -o /tmp/evaluation-result-4527347-1752232206/solver-4527347-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752232205-110832 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527347-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=110879, runsolver pid=110876
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.44 0.17 0.11 4/262 110885
/proc/meminfo: memFree=109497440/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=0.08 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 8 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+0.204772 s]*
/proc/loadavg: 0.44 0.17 0.11 5/266 110889
/proc/meminfo: memFree=109388132/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=0.18 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 18 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+0.304773 s]*
/proc/loadavg: 0.44 0.17 0.11 5/266 110889
/proc/meminfo: memFree=109319396/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=0.28 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 28 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+0.700096 s]
/proc/loadavg: 0.44 0.17 0.11 5/266 110889
/proc/meminfo: memFree=109250788/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=0.67 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 67 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+1.50009 s]
/proc/loadavg: 0.44 0.17 0.11 5/266 110889
/proc/meminfo: memFree=109162164/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=1.47 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 147 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+3.10426 s]
/proc/loadavg: 0.44 0.17 0.11 5/266 110889
/proc/meminfo: memFree=109155244/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=3.07 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 307 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30009 s]
/proc/loadavg: 0.72 0.23 0.13 5/266 110889
/proc/meminfo: memFree=109155496/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=42528 memory=7936 CPUtime=6.26 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 979 0 0 0 626 0 0 0 20 0 1 0 138899310 43548672 1984 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 10632 1984 1152 6655 0 867 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 7936 KiB
[startup+12.7001 s]
/proc/loadavg: 1.07 0.31 0.16 4/261 110911
/proc/meminfo: memFree=108660984/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=135856 memory=43792 CPUtime=15.16 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 7548 0 0 0 1515 1 0 0 20 0 2 0 138899310 139116544 10948 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 33964 10948 3328 6655 0 9362 0
[pid=110879/tid=110897] ppid=110876 vsize=135856 memory=43664 CPUtime=2.51 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 1591 0 0 0 251 0 0 0 20 0 2 0 138900313 139116544 10948 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 135856 KiB
Current children cumulated memory: 43792 KiB
[startup+25.5001 s]
/proc/loadavg: 2.32 0.62 0.27 5/267 110921
/proc/meminfo: memFree=108621448/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=141448 memory=54416 CPUtime=39.61 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 23756 0 0 0 3958 3 0 0 20 0 2 0 138899310 144842752 13604 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 35362 13604 3328 6655 0 12332 0
[pid=110879/tid=110897] ppid=110876 vsize=141448 memory=54416 CPUtime=14.58 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 7643 0 0 0 1458 0 0 0 20 0 2 0 138900313 144842752 13604 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 39.61 s
Current children cumulated vsize: 141448 KiB
Current children cumulated memory: 54416 KiB
[startup+51.1055 s]
/proc/loadavg: 3.86 1.12 0.44 7/266 111057
/proc/meminfo: memFree=108536020/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=161412 memory=84496 CPUtime=89.22 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 39586 0 0 0 8917 5 0 0 20 0 2 0 138899310 165285888 21124 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 40353 21124 3360 6655 0 19632 0
[pid=110879/tid=110897] ppid=110876 vsize=161412 memory=84368 CPUtime=39.32 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 13226 0 0 0 3931 1 0 0 20 0 2 0 138900313 165285888 21124 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 89.22 s
Current children cumulated vsize: 161412 KiB
Current children cumulated memory: 84496 KiB
[startup+102.3 s]
/proc/loadavg: 5.97 2.11 0.81 9/271 111125
/proc/meminfo: memFree=108166344/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=189636 memory=146960 CPUtime=191.04 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 64755 0 0 0 19094 10 0 0 20 0 2 0 138899310 194187264 36740 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 47409 36740 3360 6655 0 35095 0
[pid=110879/tid=110897] ppid=110876 vsize=189636 memory=126608 CPUtime=90.07 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 26074 0 0 0 9004 3 0 0 20 0 2 0 138900313 194187264 36740 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 191.04 s
Current children cumulated vsize: 189636 KiB
Current children cumulated memory: 146960 KiB
[startup+162.3 s]
/proc/loadavg: 7.37 3.22 1.28 9/271 111127
/proc/meminfo: memFree=107769720/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=313560 memory=261224 CPUtime=310.38 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 94961 0 0 0 31020 18 0 0 20 0 2 0 138899310 321085440 65306 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 78390 65306 3360 6655 0 63681 0
[pid=110879/tid=110897] ppid=110876 vsize=313560 memory=253160 CPUtime=149.56 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 41250 0 0 0 14949 7 0 0 20 0 2 0 138900313 321085440 65306 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 310.38 s
Current children cumulated vsize: 313560 KiB
Current children cumulated memory: 261224 KiB
[startup+222.3 s]
/proc/loadavg: 7.83 4.10 1.70 9/271 111130
/proc/meminfo: memFree=107396412/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=435984 memory=372456 CPUtime=429.72 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 131664 0 0 0 42947 25 0 0 20 0 2 0 138899310 446447616 93114 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 108996 93114 3360 6655 0 91649 0
[pid=110879/tid=110897] ppid=110876 vsize=435984 memory=307176 CPUtime=209.04 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 58049 0 0 0 20893 11 0 0 20 0 2 0 138900313 446447616 93114 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 429.72 s
Current children cumulated vsize: 435984 KiB
Current children cumulated memory: 372456 KiB
[startup+282.3 s]
/proc/loadavg: 7.98 4.83 2.11 9/271 111132
/proc/meminfo: memFree=106891360/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=548552 memory=472040 CPUtime=549.06 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 158509 0 0 0 54876 30 0 0 20 0 2 0 138899310 561717248 118010 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 137138 118010 3360 6655 0 116417 0
[pid=110879/tid=110897] ppid=110876 vsize=548552 memory=463464 CPUtime=268.52 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 72362 0 0 0 26838 14 0 0 20 0 2 0 138900313 561717248 118010 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 549.06 s
Current children cumulated vsize: 548552 KiB
Current children cumulated memory: 472040 KiB
[startup+342.3 s]
/proc/loadavg: 8.09 5.44 2.49 9/268 111134
/proc/meminfo: memFree=106525592/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=664644 memory=573416 CPUtime=668.4 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 186137 0 0 0 66803 37 0 0 20 0 2 0 138899310 680595456 143354 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 166161 143354 3360 6655 0 141870 0
[pid=110879/tid=110897] ppid=110876 vsize=664644 memory=458600 CPUtime=328.01 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 86200 0 0 0 32783 18 0 0 20 0 2 0 138900313 680595456 143354 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 668.4 s
Current children cumulated vsize: 664644 KiB
Current children cumulated memory: 573416 KiB
################
# More data... #
################
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 706448 0 0 0 269468 165 0 0 20 0 2 0 138899310 2481557504 592838 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 605849 592838 3360 6655 0 591544 0
[pid=110879/tid=110897] ppid=110876 vsize=2423396 memory=2293536 CPUtime=1338.79 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 344028 0 0 0 133788 91 0 0 20 0 2 0 138900313 2481557504 592838 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 2696.33 s
Current children cumulated vsize: 2423396 KiB
Current children cumulated memory: 2371352 KiB
[startup+1422.3 s]
/proc/loadavg: 7.06 7.14 5.90 8/269 111196
/proc/meminfo: memFree=99151800/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2538412 memory=2468504 CPUtime=2815.62 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 736678 0 0 0 281389 173 0 0 20 0 2 0 138899310 2599333888 617126 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 634603 617126 3360 6655 0 615899 0
[pid=110879/tid=110897] ppid=110876 vsize=2538412 memory=2293536 CPUtime=1398.25 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 359404 0 0 0 139728 97 0 0 20 0 2 0 138900313 2599333888 617126 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 2815.62 s
Current children cumulated vsize: 2538412 KiB
Current children cumulated memory: 2468504 KiB
[startup+1482.3 s]
/proc/loadavg: 7.35 7.19 6.00 8/271 111200
/proc/meminfo: memFree=98794160/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2655684 memory=2568984 CPUtime=2934.92 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 768244 0 0 0 293313 179 0 0 20 0 2 0 138899310 2719420416 642246 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 663921 642246 3360 6655 0 640992 0
[pid=110879/tid=110897] ppid=110876 vsize=2655684 memory=16496 CPUtime=1457.71 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 375044 0 0 0 145670 101 0 0 20 0 2 0 138900313 2719420416 642246 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 2934.92 s
Current children cumulated vsize: 2655684 KiB
Current children cumulated memory: 2568984 KiB
[startup+1542.3 s]
/proc/loadavg: 7.30 7.21 6.08 8/271 111201
/proc/meminfo: memFree=98432208/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2774788 memory=2676888 CPUtime=3054.22 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 798070 0 0 0 305236 186 0 0 20 0 2 0 138899310 2841382912 669222 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 693697 669222 3360 6655 0 667882 0
[pid=110879/tid=110897] ppid=110876 vsize=2774788 memory=2647576 CPUtime=1517.17 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 390596 0 0 0 151612 105 0 0 20 0 2 0 138900313 2841382912 669222 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3054.22 s
Current children cumulated vsize: 2774788 KiB
Current children cumulated memory: 2676888 KiB
[startup+1602.3 s]
/proc/loadavg: 7.17 7.19 6.15 8/271 111203
/proc/meminfo: memFree=98098560/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2826400 memory=2776472 CPUtime=3173.52 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 828024 0 0 0 317160 192 0 0 20 0 2 0 138899310 2894233600 694118 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 706600 694118 3360 6655 0 692756 0
[pid=110879/tid=110897] ppid=110876 vsize=2826400 memory=2647576 CPUtime=1576.62 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 404484 0 0 0 157554 108 0 0 20 0 2 0 138900313 2894233600 694118 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3173.52 s
Current children cumulated vsize: 2826400 KiB
Current children cumulated memory: 2776472 KiB
[startup+1662.3 s]
/proc/loadavg: 7.14 7.17 6.21 8/272 111206
/proc/meminfo: memFree=97743024/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2944076 memory=2879892 CPUtime=3292.82 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 860457 0 0 0 329081 201 0 0 20 0 2 0 138899310 3014733824 719973 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 736019 719973 3360 6655 0 718558 0
[pid=110879/tid=110897] ppid=110876 vsize=2944076 memory=2647576 CPUtime=1636.06 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 420733 0 0 0 163493 113 0 0 20 0 2 0 138900313 3014733824 719973 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3292.82 s
Current children cumulated vsize: 2944076 KiB
Current children cumulated memory: 2879892 KiB
[startup+1722.3 s]
/proc/loadavg: 7.11 7.15 6.27 8/272 111209
/proc/meminfo: memFree=97373468/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=3061780 memory=2983060 CPUtime=3412.11 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 890060 0 0 0 341003 208 0 0 20 0 2 0 138899310 3135262720 745765 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 765445 745765 3360 6655 0 744386 0
[pid=110879/tid=110897] ppid=110876 vsize=3061780 memory=2647576 CPUtime=1695.51 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 436711 0 0 0 169434 117 0 0 20 0 2 0 138900313 3135262720 745765 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3412.11 s
Current children cumulated vsize: 3061780 KiB
Current children cumulated memory: 2983060 KiB
[startup+1782.3 s]
/proc/loadavg: 7.09 7.14 6.32 8/271 111211
/proc/meminfo: memFree=97036944/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=3178504 memory=3083412 CPUtime=3531.41 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 921963 0 0 0 352926 215 0 0 20 0 2 0 138899310 3254788096 770853 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 794626 770853 3360 6655 0 769426 0
[pid=110879/tid=110897] ppid=110876 vsize=3178504 memory=11136 CPUtime=1754.97 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 452496 0 0 0 175376 121 0 0 20 0 2 0 138900313 3254788096 770853 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3531.41 s
Current children cumulated vsize: 3178504 KiB
Current children cumulated memory: 3083412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.8 s]
/proc/loadavg: 7.10 7.14 6.35 8/269 111219
/proc/meminfo: memFree=96814200/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=3206352 memory=3141524 CPUtime=3600 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) R 110876 110879 110812 0 -1 4194304 939720 0 0 0 359780 220 0 0 20 0 2 0 138899310 3283304448 785381 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 801588 785381 3360 6655 0 783986 0
[pid=110879/tid=110897] ppid=110876 vsize=3206352 memory=3139092 CPUtime=1789.16 cores=5,7
/proc/110879/task/110897/stat : 110897 (LSIPExact) R 110876 110879 110812 0 -1 4194368 461437 0 0 0 178792 124 0 0 20 0 2 0 138900313 3283304448 785381 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3206352 KiB
Current children cumulated memory: 3141524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1818.93 s]
# the end of solver process 110879 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.56 s, system=2.52997 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 7.10 7.14 6.35 7/268 111219
/proc/meminfo: memFree=96814200/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2682064 memory=2618004 CPUtime=3600.36 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) S 110876 110879 110812 0 -1 4194304 1188636 229 0 0 359801 235 0 0 20 0 1 0 138899310 2746433536 654501 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 670516 654501 3392 6655 0 660695 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 2682064 KiB
Current children cumulated memory: 2618004 KiB
[startup+1818.4 s]
/proc/loadavg: 7.10 7.14 6.35 7/269 111221
/proc/meminfo: memFree=97273272/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2682064 memory=2618004 CPUtime=3600.36 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) S 110876 110879 110812 0 -1 4194304 1188636 229 0 0 359801 235 0 0 20 0 1 0 138899310 2746433536 654501 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 670516 654501 3392 6655 0 660695 0
[pid=111221] ppid=110879 vsize=88980 memory=71116 CPUtime=1.18 cores=5,7
/proc/111221/stat : 111221 (Exact) R 110879 111221 111221 0 -1 4194304 13018 0 0 0 114 4 0 0 20 0 1 0 139081028 91115520 17779 18446744073709551615 4198400 8335837 140723265786208 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 42323968 140723265792178 140723265792539 140723265792539 140723265798095 0
/proc/111221/statm: 22245 17779 1120 1011 0 21012 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 2771044 KiB
Current children cumulated memory: 2689120 KiB
[startup+1818.8 s]
/proc/loadavg: 7.10 7.14 6.35 7/269 111221
/proc/meminfo: memFree=97273272/131249996 swapFree=33010160/33010684
[pid=110879] ppid=110876 vsize=2682064 memory=2618004 CPUtime=3600.36 cores=5,7
/proc/110879/stat : 110879 (LSIPExact) S 110876 110879 110812 0 -1 4194304 1188636 229 0 0 359801 235 0 0 20 0 1 0 138899310 2746433536 654501 18446744073709551615 94196251217920 94196278475089 140729580071904 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94196286977160 94196287408768 94196300836864 140729580079448 140729580079624 140729580079624 140729580085228 0
/proc/110879/statm: 670516 654501 3392 6655 0 660695 0
[pid=111221] ppid=110879 vsize=91952 memory=73676 CPUtime=1.58 cores=5,7
/proc/111221/stat : 111221 (Exact) R 110879 111221 111221 0 -1 4194304 13667 0 0 0 154 4 0 0 20 0 1 0 139081028 94158848 18419 18446744073709551615 4198400 8335837 140723265786208 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9148648 9230840 42323968 140723265792178 140723265792539 140723265792539 140723265798095 0
/proc/111221/statm: 22988 18419 1120 1011 0 21755 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 2774016 KiB
Current children cumulated memory: 2691680 KiB
Child status: 0
Real time (s): 1818.93
CPU time (s): 3602.09
CPU user time (s): 3599.56
CPU system time (s): 2.52997
CPU usage (%): 198.033
Max. virtual memory (cumulated for all children) (KiB): 3206352
Max. memory (cumulated for all children) (KiB): 3141524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 2.52997
maximum resident set size= 3141780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202848
page faults= 0
swaps= 0
block input operations= 224
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 545
involuntary context switches= 66514
# summary of solver processes directly reported to runsolver:
# pid: 110879
# total CPU time (s): 3602.09
# total CPU user time (s): 3599.56
# total CPU system time (s): 2.52997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.51417 second user time and 7.66139 second system time
The end
Begin job on nodeC032 at 2025-07-11 13:10:07
IDJOB=4527347
IDBENCH=147531
IDSOLVER=3384
FILE ID=nodeC032/4527347-1752232206
RUNJOBID= nodeC032-1752232205-110832
SLURM_JOB_ID= 9682543
Free space on /tmp= 429008 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527347-1752232206/watcher-4527347-1752232206 -o /tmp/evaluation-result-4527347-1752232206/solver-4527347-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752232205-110832 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527347-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=1187949666
nodeC032 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.994
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.69
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.035
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.69
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 : 3589.370
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.69
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 : 3598.106
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.69
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.906
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.69
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.834
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.138
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.69
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.715
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 109542756 kB
MemAvailable: 129594120 kB
Buffers: 2728 kB
Cached: 20727536 kB
SwapCached: 20 kB
Active: 444804 kB
Inactive: 20354292 kB
Active(anon): 83828 kB
Inactive(anon): 3124 kB
Active(file): 360976 kB
Inactive(file): 20351168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 150740 kB
Writeback: 4 kB
AnonPages: 72032 kB
Mapped: 106128 kB
Shmem: 18048 kB
KReclaimable: 356916 kB
Slab: 453648 kB
SReclaimable: 356916 kB
SUnreclaim: 96732 kB
KernelStack: 4144 kB
PageTables: 2964 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 368000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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= 428860 MiB
End job on nodeC032 at 2025-07-11 13:40:26