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 (61158 MiB free)
memory of node 1: 64465 MiB (63001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490874-1751364026/watcher-4490874-1751364026 -o /tmp/evaluation-result-4490874-1751364026/solver-4490874-1751364026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751360343-50963 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490874-1751364026.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=51716, runsolver pid=51713
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 7.34 7.81 7.85 8/267 51717
/proc/meminfo: memFree=127113276/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=24960 CPUtime=0.09 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5260 0 0 0 9 0 0 0 20 0 1 0 52080177 61243392 6240 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6240 1152 6655 0 5187 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 24960 KiB
[startup+0.20586 s]*
/proc/loadavg: 7.34 7.81 7.85 8/267 51717
/proc/meminfo: memFree=127113276/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=24960 CPUtime=0.19 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5260 0 0 0 19 0 0 0 20 0 1 0 52080177 61243392 6240 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6240 1152 6655 0 5187 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 24960 KiB
[startup+0.30575 s]*
/proc/loadavg: 7.34 7.81 7.85 8/267 51717
/proc/meminfo: memFree=127113276/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=24960 CPUtime=0.29 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5260 0 0 0 29 0 0 0 20 0 1 0 52080177 61243392 6240 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6240 1152 6655 0 5187 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 24960 KiB
[startup+0.700182 s]
/proc/loadavg: 7.34 7.81 7.85 8/267 51717
/proc/meminfo: memFree=127113276/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=25088 CPUtime=0.68 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5265 0 0 0 68 0 0 0 20 0 1 0 52080177 61243392 6272 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6272 1152 6655 0 5187 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 25088 KiB
[startup+1.50017 s]
/proc/loadavg: 7.34 7.81 7.85 8/267 51717
/proc/meminfo: memFree=127113276/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=25088 CPUtime=1.48 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5265 0 0 0 148 0 0 0 20 0 1 0 52080177 61243392 6272 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6272 1152 6655 0 5187 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 25088 KiB
[startup+3.10561 s]
/proc/loadavg: 7.31 7.80 7.85 8/267 51717
/proc/meminfo: memFree=127113792/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=25088 CPUtime=3.08 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5265 0 0 0 308 0 0 0 20 0 1 0 52080177 61243392 6272 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6272 1152 6655 0 5187 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 25088 KiB
[startup+6.30017 s]
/proc/loadavg: 7.31 7.80 7.85 8/267 51717
/proc/meminfo: memFree=127108688/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=59808 memory=25088 CPUtime=6.27 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 5266 0 0 0 627 0 0 0 20 0 1 0 52080177 61243392 6272 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 14952 6272 1152 6655 0 5187 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 25088 KiB
[startup+12.7002 s]
/proc/loadavg: 7.29 7.78 7.84 9/268 51718
/proc/meminfo: memFree=127044784/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=196584 memory=121048 CPUtime=15.01 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 26872 0 0 0 1498 3 0 0 20 0 2 0 52080177 201302016 30262 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 49146 30262 3424 6655 0 29109 0
[pid=51716/tid=51718] ppid=51713 vsize=196584 memory=120024 CPUtime=2.34 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 5937 0 0 0 234 0 0 0 20 0 2 0 52081181 201302016 30262 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 15.01 s
Current children cumulated vsize: 196584 KiB
Current children cumulated memory: 121048 KiB
[startup+25.5002 s]
/proc/loadavg: 7.45 7.79 7.84 9/268 51718
/proc/meminfo: memFree=127012468/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=199024 memory=125144 CPUtime=40.18 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 59921 0 0 0 4013 5 0 0 20 0 2 0 52080177 203800576 31286 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 49756 31286 3520 6655 0 29719 0
[pid=51716/tid=51718] ppid=51713 vsize=199024 memory=125144 CPUtime=14.77 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 17223 0 0 0 1476 1 0 0 20 0 2 0 52081181 203800576 31286 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 40.18 s
Current children cumulated vsize: 199024 KiB
Current children cumulated memory: 125144 KiB
[startup+51.1055 s]
/proc/loadavg: 7.70 7.83 7.85 9/268 51730
/proc/meminfo: memFree=127029152/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=199024 memory=125144 CPUtime=91.03 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 71830 0 0 0 9097 6 0 0 20 0 2 0 52080177 203800576 31286 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 49756 31286 3520 6655 0 29719 0
[pid=51716/tid=51718] ppid=51713 vsize=199024 memory=125144 CPUtime=40.1 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 23712 0 0 0 4008 2 0 0 20 0 2 0 52081181 203800576 31286 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 91.03 s
Current children cumulated vsize: 199024 KiB
Current children cumulated memory: 125144 KiB
[startup+102.3 s]
/proc/loadavg: 7.93 7.87 7.87 9/268 51731
/proc/meminfo: memFree=126946796/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=215468 memory=138036 CPUtime=190.95 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 110511 0 0 0 19085 10 0 0 20 0 2 0 52080177 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 53867 34509 3520 6655 0 35094 0
[pid=51716/tid=51718] ppid=51713 vsize=215468 memory=138036 CPUtime=89.7 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 37590 0 0 0 8967 3 0 0 20 0 2 0 52081181 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 190.95 s
Current children cumulated vsize: 215468 KiB
Current children cumulated memory: 138036 KiB
[startup+162.3 s]
/proc/loadavg: 7.73 7.85 7.86 8/270 51741
/proc/meminfo: memFree=127152796/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=215468 memory=138036 CPUtime=310.13 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 114924 0 0 0 31003 10 0 0 20 0 2 0 52080177 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 53867 34509 3520 6655 0 35094 0
[pid=51716/tid=51718] ppid=51713 vsize=215468 memory=138036 CPUtime=149.08 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 38401 0 0 0 14905 3 0 0 20 0 2 0 52081181 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 310.13 s
Current children cumulated vsize: 215468 KiB
Current children cumulated memory: 138036 KiB
[startup+222.3 s]
/proc/loadavg: 7.38 7.72 7.82 8/268 51790
/proc/meminfo: memFree=127073404/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=215468 memory=138036 CPUtime=429.28 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 139418 0 0 0 42916 12 0 0 20 0 2 0 52080177 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 53867 34509 3520 6655 0 35094 0
[pid=51716/tid=51718] ppid=51713 vsize=215468 memory=138036 CPUtime=208.45 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 50082 0 0 0 20841 4 0 0 20 0 2 0 52081181 220639232 34509 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 429.28 s
Current children cumulated vsize: 215468 KiB
Current children cumulated memory: 138036 KiB
[startup+282.3 s]
/proc/loadavg: 7.18 7.60 7.77 8/268 51792
/proc/meminfo: memFree=127057128/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=215468 memory=138548 CPUtime=548.42 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 142719 0 0 0 54830 12 0 0 20 0 2 0 52080177 220639232 34637 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 53867 34637 3520 6655 0 35094 0
[pid=51716/tid=51718] ppid=51713 vsize=215468 memory=138036 CPUtime=267.83 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 51225 0 0 0 26779 4 0 0 20 0 2 0 52081181 220639232 34637 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 548.42 s
Current children cumulated vsize: 215468 KiB
Current children cumulated memory: 138548 KiB
[startup+342.3 s]
/proc/loadavg: 7.18 7.52 7.73 8/268 51794
/proc/meminfo: memFree=127048264/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=215468 memory=139444 CPUtime=667.55 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 143567 0 0 0 66742 13 0 0 20 0 2 0 52080177 220639232 34861 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 53867 34861 3520 6655 0 35255 0
[pid=51716/tid=51718] ppid=51713 vsize=215468 memory=138036 CPUtime=327.2 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 51552 0 0 0 32716 4 0 0 20 0 2 0 52081181 220639232 34861 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 667.55 s
Current children cumulated vsize: 215468 KiB
Current children cumulated memory: 139444 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 238033 0 0 0 245386 26 0 0 20 0 2 0 52080177 232947712 43853 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 56872 43853 3520 6655 0 43829 0
[pid=51716/tid=51718] ppid=51713 vsize=227488 memory=175412 CPUtime=1217.26 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 97825 0 0 0 121715 11 0 0 20 0 2 0 52081181 232947712 43853 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 2454.12 s
Current children cumulated vsize: 227488 KiB
Current children cumulated memory: 175412 KiB
[startup+1302.3 s]
/proc/loadavg: 7.28 7.07 7.28 8/270 52130
/proc/meminfo: memFree=128257068/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=229304 memory=180660 CPUtime=2573.17 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 239891 0 0 0 257290 27 0 0 20 0 2 0 52080177 234807296 45165 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 57326 45165 3520 6655 0 45140 0
[pid=51716/tid=51718] ppid=51713 vsize=229304 memory=179764 CPUtime=1276.54 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 98922 0 0 0 127643 11 0 0 20 0 2 0 52081181 234807296 45165 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 2573.17 s
Current children cumulated vsize: 229304 KiB
Current children cumulated memory: 180660 KiB
[startup+1362.3 s]
/proc/loadavg: 7.10 7.05 7.26 8/270 52132
/proc/meminfo: memFree=128243260/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=232260 memory=184500 CPUtime=2692.24 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 240919 0 0 0 269197 27 0 0 20 0 2 0 52080177 237834240 46125 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 58065 46125 3520 6655 0 45930 0
[pid=51716/tid=51718] ppid=51713 vsize=232260 memory=184244 CPUtime=1335.85 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 99120 0 0 0 133574 11 0 0 20 0 2 0 52081181 237834240 46125 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 2692.24 s
Current children cumulated vsize: 232260 KiB
Current children cumulated memory: 184500 KiB
[startup+1422.3 s]
/proc/loadavg: 7.14 7.07 7.25 8/271 52140
/proc/meminfo: memFree=128243680/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=232956 memory=187444 CPUtime=2811.34 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 241709 0 0 0 281107 27 0 0 20 0 2 0 52080177 238546944 46861 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 58239 46861 3520 6655 0 46692 0
[pid=51716/tid=51718] ppid=51713 vsize=232956 memory=184244 CPUtime=1395.18 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 99728 0 0 0 139506 12 0 0 20 0 2 0 52081181 238546944 46861 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 2811.34 s
Current children cumulated vsize: 232956 KiB
Current children cumulated memory: 187444 KiB
[startup+1482.3 s]
/proc/loadavg: 7.11 7.07 7.24 8/269 52142
/proc/meminfo: memFree=128219560/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=235108 memory=191028 CPUtime=2930.51 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 242612 0 0 0 293023 28 0 0 20 0 2 0 52080177 240750592 47757 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 58777 47757 3520 6655 0 47635 0
[pid=51716/tid=51718] ppid=51713 vsize=235108 memory=14848 CPUtime=1454.55 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 100097 0 0 0 145443 12 0 0 20 0 2 0 52081181 240750592 47757 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 2930.51 s
Current children cumulated vsize: 235108 KiB
Current children cumulated memory: 191028 KiB
[startup+1542.3 s]
/proc/loadavg: 7.08 7.07 7.23 8/269 52144
/proc/meminfo: memFree=128216280/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=238396 memory=193460 CPUtime=3049.65 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 243204 0 0 0 304937 28 0 0 20 0 2 0 52080177 244117504 48365 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 59599 48365 3520 6655 0 48762 0
[pid=51716/tid=51718] ppid=51713 vsize=238396 memory=14848 CPUtime=1513.9 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 100147 0 0 0 151378 12 0 0 20 0 2 0 52081181 244117504 48365 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 3049.65 s
Current children cumulated vsize: 238396 KiB
Current children cumulated memory: 193460 KiB
[startup+1602.3 s]
/proc/loadavg: 6.75 6.97 7.18 8/269 52146
/proc/meminfo: memFree=128171560/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=240148 memory=198964 CPUtime=3168.82 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 244582 0 0 0 316854 28 0 0 20 0 2 0 52080177 245911552 49741 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 60037 49741 3520 6655 0 49898 0
[pid=51716/tid=51718] ppid=51713 vsize=240148 memory=14848 CPUtime=1573.29 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 100790 0 0 0 157317 12 0 0 20 0 2 0 52081181 245911552 49741 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 3168.82 s
Current children cumulated vsize: 240148 KiB
Current children cumulated memory: 198964 KiB
[startup+1662.3 s]
/proc/loadavg: 6.96 6.99 7.17 8/269 52148
/proc/meminfo: memFree=128167836/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=241428 memory=200500 CPUtime=3287.96 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 244968 0 0 0 328768 28 0 0 20 0 2 0 52080177 247222272 50125 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 60357 50125 3520 6655 0 50218 0
[pid=51716/tid=51718] ppid=51713 vsize=241428 memory=14848 CPUtime=1632.68 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 100871 0 0 0 163255 13 0 0 20 0 2 0 52081181 247222272 50125 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 3287.96 s
Current children cumulated vsize: 241428 KiB
Current children cumulated memory: 200500 KiB
[startup+1722.3 s]
/proc/loadavg: 7.10 7.02 7.17 8/266 52150
/proc/meminfo: memFree=128211664/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=243040 memory=203572 CPUtime=3407.12 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 245751 0 0 0 340683 29 0 0 20 0 2 0 52080177 248872960 50893 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 60760 50893 3520 6655 0 50724 0
[pid=51716/tid=51718] ppid=51713 vsize=243040 memory=200500 CPUtime=1692.06 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 101245 0 0 0 169193 13 0 0 20 0 2 0 52081181 248872960 50893 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 3407.12 s
Current children cumulated vsize: 243040 KiB
Current children cumulated memory: 203572 KiB
[startup+1782.3 s]
/proc/loadavg: 6.81 6.97 7.15 7/267 52156
/proc/meminfo: memFree=128052836/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=245048 memory=206628 CPUtime=3526.26 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) R 51713 51716 50951 0 -1 4194304 247173 0 0 0 352597 29 0 0 20 0 2 0 52080177 250929152 51657 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 61262 51657 3520 6655 0 51496 0
[pid=51716/tid=51718] ppid=51713 vsize=245048 memory=14848 CPUtime=1751.45 cores=1,3
/proc/51716/task/51718/stat : 51718 (LSIPExact) R 51713 51716 50951 0 -1 4194368 102178 0 0 0 175132 13 0 0 20 0 2 0 52081181 250929152 51657 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
Current children cumulated CPU time: 3526.26 s
Current children cumulated vsize: 245048 KiB
Current children cumulated memory: 206628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1838.7 s]
/proc/loadavg: 5.85 6.68 7.03 6/264 52164
/proc/meminfo: memFree=128601156/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=235444 memory=202156 CPUtime=3561.52 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) S 51713 51716 50951 0 -1 4194304 247716 0 0 0 356123 29 0 0 20 0 1 0 52080177 241094656 50539 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 58861 50539 3552 6655 0 49095 0
[pid=52158] ppid=51716 vsize=60220 memory=44196 CPUtime=38.51 cores=1,3
/proc/52158/stat : 52158 (Exact) R 51716 52158 52158 0 -1 4194304 12422 0 0 0 3847 4 0 0 20 0 1 0 52260183 61665280 11049 18446744073709551615 4198400 8335837 140721439287472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29573120 140721439291579 140721439291933 140721439291933 140721439297487 0
/proc/52158/statm: 15055 11049 1120 1011 0 13822 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 295664 KiB
Current children cumulated memory: 246352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1838.72 s]
# the end of solver process 51716 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.72 s, system=0.350338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1838.7 s]
/proc/loadavg: 5.85 6.68 7.03 6/264 52164
/proc/meminfo: memFree=128601156/131249988 swapFree=33010684/33010684
[pid=51716] ppid=51713 vsize=235444 memory=202156 CPUtime=3561.52 cores=1,3
/proc/51716/stat : 51716 (LSIPExact) S 51713 51716 50951 0 -1 4194304 247716 0 0 0 356123 29 0 0 20 0 1 0 52080177 241094656 50539 18446744073709551615 93895143505920 93895170762321 140729911999392 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93895179265160 93895179696768 93895208988672 140729912002906 140729912003082 140729912003082 140729912008684 0
/proc/51716/statm: 58861 50539 3552 6655 0 49095 0
[pid=52158] ppid=51716 vsize=60220 memory=44196 CPUtime=38.51 cores=1,3
/proc/52158/stat : 52158 (Exact) R 51716 52158 52158 0 -1 4194304 12422 0 0 0 3847 4 0 0 20 0 1 0 52260183 61665280 11049 18446744073709551615 4198400 8335837 140721439287472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29573120 140721439291579 140721439291933 140721439291933 140721439297487 0
/proc/52158/statm: 15055 11049 1120 1011 0 13822 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 295664 KiB
Current children cumulated memory: 246352 KiB
Child status: 0
Real time (s): 1838.72
CPU time (s): 3600.07
CPU user time (s): 3599.72
CPU system time (s): 0.350338
CPU usage (%): 195.792
Max. virtual memory (cumulated for all children) (KiB): 309772
Max. memory (cumulated for all children) (KiB): 246352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.350338
maximum resident set size= 207284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 529
involuntary context switches= 36301
# summary of solver processes directly reported to runsolver:
# pid: 51716
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.72
# total CPU system time (s): 0.350338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7809 second user time and 8.70491 second system time
The end
Begin job on nodeC020 at 2025-07-01 12:00:26
IDJOB=4490874
IDBENCH=147630
IDSOLVER=3337
FILE ID=nodeC020/4490874-1751364026
RUNJOBID= nodeC020-1751360343-50963
SLURM_JOB_ID= 9598161
Free space on /tmp= 432812 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490874-1751364026/watcher-4490874-1751364026 -o /tmp/evaluation-result-4490874-1751364026/solver-4490874-1751364026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751360343-50963 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490874-1751364026.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=882210295
nodeC020 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.900
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.79
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 : 3553.826
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
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.79
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.898
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.79
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.863
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.79
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 : 3599.890
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127138868 kB
MemAvailable: 127721860 kB
Buffers: 3280 kB
Cached: 1387340 kB
SwapCached: 0 kB
Active: 2449544 kB
Inactive: 1078936 kB
Active(anon): 2155916 kB
Inactive(anon): 0 kB
Active(file): 293628 kB
Inactive(file): 1078936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45416 kB
Writeback: 28 kB
AnonPages: 2140196 kB
Mapped: 140784 kB
Shmem: 18056 kB
KReclaimable: 99336 kB
Slab: 188000 kB
SReclaimable: 99336 kB
SUnreclaim: 88664 kB
KernelStack: 4384 kB
PageTables: 7392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2540212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432768 MiB
End job on nodeC020 at 2025-07-01 12:31:05