runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63155 MiB free)
memory of node 1: 64465 MiB (63766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488896-1751341236/watcher-4488896-1751341236 -o /tmp/evaluation-result-4488896-1751341236/solver-4488896-1751341236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44999 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488896-1751341236.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45299, runsolver pid=45292
[startup+0.100067 s]*
/proc/loadavg: 6.18 7.59 7.36 5/247 45300
/proc/meminfo: memFree=129963744/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=0.09 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 9 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.212114 s]*
/proc/loadavg: 6.18 7.59 7.36 4/247 45300
/proc/meminfo: memFree=129963744/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=0.2 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 20 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.312121 s]*
/proc/loadavg: 6.18 7.59 7.36 4/249 45304
/proc/meminfo: memFree=129963256/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=0.3 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 30 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+0.700251 s]
/proc/loadavg: 6.18 7.59 7.36 5/248 45309
/proc/meminfo: memFree=129963848/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=0.67 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 67 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+1.50026 s]
/proc/loadavg: 6.18 7.59 7.36 5/246 45328
/proc/meminfo: memFree=129962256/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=1.47 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 147 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+3.1118 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129962900/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=3.08 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 308 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30024 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129963628/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=42532 memory=7936 CPUtime=6.26 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 978 0 0 0 626 0 0 0 20 0 1 0 49802750 43552768 1984 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 10633 1984 1152 6655 0 868 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 7936 KiB
[startup+12.7001 s]
/proc/loadavg: 5.85 7.47 7.33 9/255 45341
/proc/meminfo: memFree=129877704/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=135444 memory=41216 CPUtime=15.19 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 6918 0 0 0 1517 2 0 0 20 0 2 0 49802750 138694656 10304 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 33861 10304 3296 6655 0 8873 0
[pid=45299/tid=45340] ppid=45292 vsize=135444 memory=-6082225003950084453 CPUtime=2.54 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 1159 0 0 0 254 0 0 0 20 0 2 0 49803752 138694656 10304 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 135444 KiB
Current children cumulated memory: 41216 KiB
[startup+25.5002 s]
/proc/loadavg: 6.32 7.50 7.34 9/255 45341
/proc/meminfo: memFree=129832924/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=137460 memory=48384 CPUtime=40.63 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 20139 0 0 0 4060 3 0 0 20 0 2 0 49802750 140759040 12096 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 34365 12096 3328 6655 0 10482 0
[pid=45299/tid=45340] ppid=45292 vsize=137460 memory=16296 CPUtime=15.21 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 6234 0 0 0 1521 0 0 0 20 0 2 0 49803752 140759040 12096 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 40.63 s
Current children cumulated vsize: 137460 KiB
Current children cumulated memory: 48384 KiB
[startup+51.1054 s]
/proc/loadavg: 7.11 7.59 7.37 9/255 45342
/proc/meminfo: memFree=129796832/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=148156 memory=58496 CPUtime=90.01 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 29790 0 0 0 8997 4 0 0 20 0 2 0 49802750 151711744 14624 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 37039 14624 3328 6655 0 13956 0
[pid=45299/tid=45340] ppid=45292 vsize=148156 memory=58496 CPUtime=39.06 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 9903 0 0 0 3906 0 0 0 20 0 2 0 49803752 151711744 14624 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 90.01 s
Current children cumulated vsize: 148156 KiB
Current children cumulated memory: 58496 KiB
[startup+102.3 s]
/proc/loadavg: 7.62 7.65 7.41 9/255 45344
/proc/meminfo: memFree=129753448/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=156952 memory=71680 CPUtime=191.81 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 45658 0 0 0 19175 6 0 0 20 0 2 0 49802750 160718848 17920 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 39238 17920 3328 6655 0 17257 0
[pid=45299/tid=45340] ppid=45292 vsize=156952 memory=63872 CPUtime=89.8 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 16579 0 0 0 8978 2 0 0 20 0 2 0 49803752 160718848 17920 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 191.81 s
Current children cumulated vsize: 156952 KiB
Current children cumulated memory: 71680 KiB
[startup+162.3 s]
/proc/loadavg: 7.77 7.70 7.44 9/254 45346
/proc/meminfo: memFree=129520924/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=193588 memory=131308 CPUtime=307.86 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 59818 0 0 0 30777 9 0 0 20 0 2 0 49802750 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 48397 32827 3328 6655 0 33214 0
[pid=45299/tid=45340] ppid=45292 vsize=193588 memory=16296 CPUtime=147.87 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 23760 0 0 0 14783 4 0 0 20 0 2 0 49803752 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 307.86 s
Current children cumulated vsize: 193588 KiB
Current children cumulated memory: 131308 KiB
[startup+222.3 s]
/proc/loadavg: 8.02 7.79 7.49 9/254 45348
/proc/meminfo: memFree=129486776/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=193588 memory=131308 CPUtime=427.09 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 59925 0 0 0 42700 9 0 0 20 0 2 0 49802750 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 48397 32827 3328 6655 0 33214 0
[pid=45299/tid=45340] ppid=45292 vsize=193588 memory=131308 CPUtime=207.26 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 23786 0 0 0 20722 4 0 0 20 0 2 0 49803752 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 427.09 s
Current children cumulated vsize: 193588 KiB
Current children cumulated memory: 131308 KiB
[startup+282.3 s]
/proc/loadavg: 8.10 7.86 7.54 9/254 45350
/proc/meminfo: memFree=129469044/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=193588 memory=131308 CPUtime=546.4 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 60001 0 0 0 54630 10 0 0 20 0 2 0 49802750 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 48397 32827 3328 6655 0 33214 0
[pid=45299/tid=45340] ppid=45292 vsize=193588 memory=131308 CPUtime=266.72 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 23824 0 0 0 26667 5 0 0 20 0 2 0 49803752 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 546.4 s
Current children cumulated vsize: 193588 KiB
Current children cumulated memory: 131308 KiB
[startup+342.3 s]
/proc/loadavg: 8.15 7.92 7.58 9/254 45352
/proc/meminfo: memFree=129451428/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=193588 memory=131308 CPUtime=665.71 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 60652 0 0 0 66560 11 0 0 20 0 2 0 49802750 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 48397 32827 3328 6655 0 33214 0
[pid=45299/tid=45340] ppid=45292 vsize=193588 memory=16296 CPUtime=326.17 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 23861 0 0 0 32611 6 0 0 20 0 2 0 49803752 198234112 32827 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 665.71 s
Current children cumulated vsize: 193588 KiB
Current children cumulated memory: 131308 KiB
################
# More data... #
################
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 254194 0 0 0 245447 65 0 0 20 0 2 0 49802750 962867200 209651 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 235075 209651 3328 6655 0 210087 0
[pid=45299/tid=45340] ppid=45292 vsize=940300 memory=837068 CPUtime=1220.73 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 120838 0 0 0 122036 37 0 0 20 0 2 0 49803752 962867200 209651 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 2455.12 s
Current children cumulated vsize: 940300 KiB
Current children cumulated memory: 838604 KiB
[startup+1302.3 s]
/proc/loadavg: 8.12 8.14 7.99 9/254 45409
/proc/meminfo: memFree=126590372/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=973100 memory=899916 CPUtime=2574.39 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 270530 0 0 0 257370 69 0 0 20 0 2 0 49802750 996454400 224979 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 243275 224979 3328 6655 0 225499 0
[pid=45299/tid=45340] ppid=45292 vsize=973100 memory=899404 CPUtime=1280.54 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 128581 0 0 0 128015 39 0 0 20 0 2 0 49803752 996454400 224979 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 2574.39 s
Current children cumulated vsize: 973100 KiB
Current children cumulated memory: 899916 KiB
[startup+1362.3 s]
/proc/loadavg: 8.09 8.13 8.00 9/253 45411
/proc/meminfo: memFree=126436968/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=995192 memory=947148 CPUtime=2693.66 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 282658 0 0 0 269294 72 0 0 20 0 2 0 49802750 1019076608 236787 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 248798 236787 3328 6655 0 237217 0
[pid=45299/tid=45340] ppid=45292 vsize=995192 memory=934220 CPUtime=1340.35 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 135016 0 0 0 133995 40 0 0 20 0 2 0 49803752 1019076608 236787 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 2693.66 s
Current children cumulated vsize: 995192 KiB
Current children cumulated memory: 947148 KiB
[startup+1422.3 s]
/proc/loadavg: 8.14 8.13 8.01 9/253 45413
/proc/meminfo: memFree=126262632/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1089880 memory=996600 CPUtime=2812.93 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 295600 0 0 0 281217 76 0 0 20 0 2 0 49802750 1116037120 249150 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 272470 249150 3328 6655 0 250340 0
[pid=45299/tid=45340] ppid=45292 vsize=1089880 memory=18048 CPUtime=1400.15 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 141489 0 0 0 139973 42 0 0 20 0 2 0 49803752 1116037120 249150 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 2812.93 s
Current children cumulated vsize: 1089880 KiB
Current children cumulated memory: 996600 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.12 8.01 9/254 45416
/proc/meminfo: memFree=126087596/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1118116 memory=1052152 CPUtime=2932.19 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 313492 0 0 0 293138 81 0 0 20 0 2 0 49802750 1144950784 263038 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 279529 263038 3328 6655 0 264165 0
[pid=45299/tid=45340] ppid=45292 vsize=1118116 memory=1041400 CPUtime=1459.96 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 149604 0 0 0 145952 44 0 0 20 0 2 0 49803752 1144950784 263038 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 2932.19 s
Current children cumulated vsize: 1118116 KiB
Current children cumulated memory: 1052152 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.11 8.01 9/254 45418
/proc/meminfo: memFree=125932520/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1204648 memory=1098352 CPUtime=3051.47 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 326385 0 0 0 305062 85 0 0 20 0 2 0 49802750 1233559552 274588 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 301162 274588 3328 6655 0 275672 0
[pid=45299/tid=45340] ppid=45292 vsize=1204648 memory=1095664 CPUtime=1519.76 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 156774 0 0 0 151931 45 0 0 20 0 2 0 49803752 1233559552 274588 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 3051.47 s
Current children cumulated vsize: 1204648 KiB
Current children cumulated memory: 1098352 KiB
[startup+1602.3 s]
/proc/loadavg: 8.13 8.12 8.01 9/254 45420
/proc/meminfo: memFree=125760468/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1231544 memory=1155184 CPUtime=3170.73 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 341109 0 0 0 316984 89 0 0 20 0 2 0 49802750 1261101056 288796 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 307886 288796 3328 6655 0 289870 0
[pid=45299/tid=45340] ppid=45292 vsize=1231544 memory=1102448 CPUtime=1579.58 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 164489 0 0 0 157910 48 0 0 20 0 2 0 49803752 1261101056 288796 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 3170.73 s
Current children cumulated vsize: 1231544 KiB
Current children cumulated memory: 1155184 KiB
[startup+1662.3 s]
/proc/loadavg: 8.04 8.09 8.01 9/254 45424
/proc/meminfo: memFree=125610092/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1253892 memory=1201008 CPUtime=3290 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 354057 0 0 0 328908 92 0 0 20 0 2 0 49802750 1283985408 300252 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 313473 300252 3328 6655 0 301241 0
[pid=45299/tid=45340] ppid=45292 vsize=1253892 memory=1102448 CPUtime=1639.38 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 170854 0 0 0 163889 49 0 0 20 0 2 0 49803752 1283985408 300252 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 3290 s
Current children cumulated vsize: 1253892 KiB
Current children cumulated memory: 1201008 KiB
[startup+1722.3 s]
/proc/loadavg: 8.12 8.11 8.01 9/255 45431
/proc/meminfo: memFree=125448436/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1344072 memory=1251004 CPUtime=3409.27 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 370318 0 0 0 340831 96 0 0 20 0 2 0 49802750 1376329728 312751 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 336018 312751 3328 6655 0 313669 0
[pid=45299/tid=45340] ppid=45292 vsize=1344072 memory=1102448 CPUtime=1699.19 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 178705 0 0 0 169869 50 0 0 20 0 2 0 49803752 1376329728 312751 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 3409.27 s
Current children cumulated vsize: 1344072 KiB
Current children cumulated memory: 1251004 KiB
[startup+1782.3 s]
/proc/loadavg: 8.14 8.11 8.02 9/254 45433
/proc/meminfo: memFree=125261712/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1373312 memory=1309372 CPUtime=3528.54 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) R 45292 45299 44987 0 -1 4194304 389173 0 0 0 352753 101 0 0 20 0 2 0 49802750 1406271488 327343 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 343328 327343 3328 6655 0 328283 0
[pid=45299/tid=45340] ppid=45292 vsize=1373312 memory=16296 CPUtime=1758.99 cores=1,3
/proc/45299/task/45340/stat : 45340 (LSIPExact) R 45292 45299 44987 0 -1 4194368 188322 0 0 0 175846 53 0 0 20 0 2 0 49803752 1406271488 327343 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
Current children cumulated CPU time: 3528.54 s
Current children cumulated vsize: 1373312 KiB
Current children cumulated memory: 1309372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1836.5 s]
/proc/loadavg: 6.33 7.67 7.87 5/254 45444
/proc/meminfo: memFree=125265292/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1372572 memory=1322748 CPUtime=3563.86 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) S 45292 45299 44987 0 -1 4194304 449864 229 0 0 356282 104 0 0 20 0 1 0 49802750 1405513728 330687 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 343143 330687 3360 6655 0 329930 0
[pid=45437] ppid=45299 vsize=185808 memory=165112 CPUtime=36.2 cores=1,3
/proc/45437/stat : 45437 (Exact) R 45299 45437 45437 0 -1 4194304 29350 0 0 0 3603 17 0 0 20 0 1 0 49982764 190267392 41278 18446744073709551615 4198400 8335837 140724146367456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 16330752 140724146374836 140724146375197 140724146375197 140724146380751 0
/proc/45437/statm: 46452 41278 1120 1011 0 45219 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1558380 KiB
Current children cumulated memory: 1487860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1836.55 s]
# the end of solver process 45299 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.85 s, system=1.27064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1836.5 s]
/proc/loadavg: 6.33 7.67 7.87 5/254 45444
/proc/meminfo: memFree=125265292/131382120 swapFree=33010160/33010684
[pid=45299] ppid=45292 vsize=1372572 memory=1322748 CPUtime=3563.86 cores=1,3
/proc/45299/stat : 45299 (LSIPExact) S 45292 45299 44987 0 -1 4194304 449864 229 0 0 356282 104 0 0 20 0 1 0 49802750 1405513728 330687 18446744073709551615 94309956243456 94309983499857 140728920402720 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94309992002696 94309992434304 94310015365120 140728920410458 140728920410634 140728920410634 140728920416236 0
/proc/45299/statm: 343143 330687 3360 6655 0 329930 0
[pid=45437] ppid=45299 vsize=185808 memory=165112 CPUtime=36.2 cores=1,3
/proc/45437/stat : 45437 (Exact) R 45299 45437 45437 0 -1 4194304 29350 0 0 0 3603 17 0 0 20 0 1 0 49982764 190267392 41278 18446744073709551615 4198400 8335837 140724146367456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 16330752 140724146374836 140724146375197 140724146375197 140724146380751 0
/proc/45437/statm: 46452 41278 1120 1011 0 45219 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1558380 KiB
Current children cumulated memory: 1487860 KiB
Child status: 0
Real time (s): 1836.55
CPU time (s): 3600.13
CPU user time (s): 3598.85
CPU system time (s): 1.27064
CPU usage (%): 196.026
Max. virtual memory (cumulated for all children) (KiB): 1558380
Max. memory (cumulated for all children) (KiB): 1487860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.27064
maximum resident set size= 1324732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479593
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= 617
involuntary context switches= 108882
# summary of solver processes directly reported to runsolver:
# pid: 45299
# total CPU time (s): 3600.13
# total CPU user time (s): 3598.85
# total CPU system time (s): 1.27064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77659 second user time and 7.66252 second system time
The end
Begin job on nodeC008 at 2025-07-01 05:40:36
IDJOB=4488896
IDBENCH=147534
IDSOLVER=3337
FILE ID=nodeC008/4488896-1751341236
RUNJOBID= nodeC008-1751339396-44999
SLURM_JOB_ID= 9594406
Free space on /tmp= 432972 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.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-4488896-1751341236/watcher-4488896-1751341236 -o /tmp/evaluation-result-4488896-1751341236/solver-4488896-1751341236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44999 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488896-1751341236.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=815592342
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.360
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.205
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129965420 kB
MemAvailable: 129867956 kB
Buffers: 2144 kB
Cached: 712460 kB
SwapCached: 16 kB
Active: 297400 kB
Inactive: 494876 kB
Active(anon): 58960 kB
Inactive(anon): 36636 kB
Active(file): 238440 kB
Inactive(file): 458240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 134296 kB
Writeback: 0 kB
AnonPages: 80788 kB
Mapped: 106012 kB
Shmem: 17920 kB
KReclaimable: 90964 kB
Slab: 173112 kB
SReclaimable: 90964 kB
SUnreclaim: 82148 kB
KernelStack: 3952 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 361768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC008 at 2025-07-01 06:11:13