runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58118 MiB free)
memory of node 1: 64507 MiB (61283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523826-1751603874/watcher-4523826-1751603874 -o /tmp/evaluation-result-4523826-1751603874/solver-4523826-1751603874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86138 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523826-1751603874.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86992, runsolver pid=86989
[startup+0.10006 s]*
/proc/loadavg: 7.56 7.86 7.75 8/267 86993
/proc/meminfo: memFree=122219832/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=85828 memory=51456 CPUtime=0.09 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 11815 0 0 0 7 2 0 0 20 0 1 0 76065084 87887872 12864 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 21457 12864 1216 6655 0 11692 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85828 KiB
Current children cumulated memory: 51456 KiB
[startup+0.20563 s]*
/proc/loadavg: 7.56 7.86 7.75 8/267 86993
/proc/meminfo: memFree=122211768/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=0.2 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 12998 0 0 0 18 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+0.305565 s]*
/proc/loadavg: 7.56 7.86 7.75 8/267 86993
/proc/meminfo: memFree=122211768/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=0.3 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 12998 0 0 0 28 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+0.700175 s]
/proc/loadavg: 7.56 7.86 7.75 8/267 86993
/proc/meminfo: memFree=122211768/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=0.69 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 13000 0 0 0 67 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+1.50018 s]
/proc/loadavg: 7.56 7.86 7.75 8/267 86993
/proc/meminfo: memFree=122212020/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=1.48 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 13000 0 0 0 146 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+3.10546 s]
/proc/loadavg: 7.52 7.85 7.74 8/267 86993
/proc/meminfo: memFree=122212096/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=3.08 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 13002 0 0 0 306 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+6.30017 s]
/proc/loadavg: 7.52 7.85 7.74 8/267 86993
/proc/meminfo: memFree=122211088/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=90596 memory=56192 CPUtime=6.27 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 13002 0 0 0 625 2 0 0 20 0 1 0 76065084 92770304 14048 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+12.7002 s]
/proc/loadavg: 7.52 7.84 7.74 9/268 86994
/proc/meminfo: memFree=122113872/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=257112 memory=185020 CPUtime=14.63 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 36395 0 0 0 1457 6 0 0 20 0 2 0 76065084 263282688 46255 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 64278 46255 3552 6655 0 44654 0
[pid=86992/tid=86994] ppid=86989 vsize=257112 memory=185020 CPUtime=1.97 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 4875 0 0 0 197 0 0 0 20 0 2 0 76066091 263282688 46255 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 257112 KiB
Current children cumulated memory: 185020 KiB
[startup+25.5002 s]
/proc/loadavg: 7.59 7.84 7.74 9/268 86994
/proc/meminfo: memFree=122098652/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=246440 memory=174880 CPUtime=40.03 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 63919 0 0 0 3995 8 0 0 20 0 2 0 76065084 252354560 43720 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 61610 43720 3552 6655 0 41986 0
[pid=86992/tid=86994] ppid=86989 vsize=246440 memory=174880 CPUtime=14.61 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 15137 0 0 0 1460 1 0 0 20 0 2 0 76066091 252354560 43720 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 40.03 s
Current children cumulated vsize: 246440 KiB
Current children cumulated memory: 174880 KiB
[startup+51.1057 s]
/proc/loadavg: 8.02 7.92 7.77 9/268 86994
/proc/meminfo: memFree=122071540/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=275952 memory=212240 CPUtime=89.58 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 104453 0 0 0 8943 15 0 0 20 0 2 0 76065084 282574848 53060 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 68988 53060 3552 6655 0 58835 0
[pid=86992/tid=86994] ppid=86989 vsize=275952 memory=224916 CPUtime=39.28 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 33720 0 0 0 3925 3 0 0 20 0 2 0 76066091 282574848 53060 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 89.58 s
Current children cumulated vsize: 275952 KiB
Current children cumulated memory: 212240 KiB
[startup+102.3 s]
/proc/loadavg: 8.13 7.98 7.81 9/267 86996
/proc/meminfo: memFree=121960088/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=289908 memory=244908 CPUtime=191.23 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 140811 0 0 0 19104 19 0 0 20 0 2 0 76065084 296865792 61227 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 72477 61227 3552 6655 0 62324 0
[pid=86992/tid=86994] ppid=86989 vsize=289908 memory=244908 CPUtime=90.29 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 52095 0 0 0 9023 6 0 0 20 0 2 0 76066091 296865792 61227 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 191.23 s
Current children cumulated vsize: 289908 KiB
Current children cumulated memory: 244908 KiB
[startup+162.3 s]
/proc/loadavg: 8.12 8.00 7.83 9/267 86998
/proc/meminfo: memFree=121933832/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=289908 memory=244908 CPUtime=310.35 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 162443 0 0 0 31013 22 0 0 20 0 2 0 76065084 296865792 61227 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 72477 61227 3552 6655 0 62324 0
[pid=86992/tid=86994] ppid=86989 vsize=289908 memory=244908 CPUtime=150.07 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 63185 0 0 0 14999 8 0 0 20 0 2 0 76066091 296865792 61227 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 310.35 s
Current children cumulated vsize: 289908 KiB
Current children cumulated memory: 244908 KiB
[startup+222.3 s]
/proc/loadavg: 8.10 8.01 7.84 9/267 87000
/proc/meminfo: memFree=121866712/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=318516 memory=281860 CPUtime=429.45 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 191927 0 0 0 42914 31 0 0 20 0 2 0 76065084 326160384 70465 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 79629 70465 3552 6655 0 69863 0
[pid=86992/tid=86994] ppid=86989 vsize=318516 memory=281860 CPUtime=209.83 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 77343 0 0 0 20968 15 0 0 20 0 2 0 76066091 326160384 70465 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 429.45 s
Current children cumulated vsize: 318516 KiB
Current children cumulated memory: 281860 KiB
[startup+282.3 s]
/proc/loadavg: 8.11 8.04 7.87 9/267 87003
/proc/meminfo: memFree=121762420/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=385560 memory=299912 CPUtime=548.59 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 221143 0 0 0 54821 38 0 0 20 0 2 0 76065084 394813440 74978 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 96390 74978 3552 6655 0 74333 0
[pid=86992/tid=86994] ppid=86989 vsize=385560 memory=282372 CPUtime=269.61 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 94577 0 0 0 26940 21 0 0 20 0 2 0 76066091 394813440 74978 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 548.59 s
Current children cumulated vsize: 385560 KiB
Current children cumulated memory: 299912 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 8.04 7.88 9/267 87005
/proc/meminfo: memFree=121712628/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=399360 memory=317432 CPUtime=667.73 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 224595 0 0 0 66734 39 0 0 20 0 2 0 76065084 408944640 79358 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 99840 79358 3552 6655 0 78730 0
[pid=86992/tid=86994] ppid=86989 vsize=399360 memory=14592 CPUtime=329.39 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 96306 0 0 0 32917 22 0 0 20 0 2 0 76066091 408944640 79358 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 667.73 s
Current children cumulated vsize: 399360 KiB
Current children cumulated memory: 317432 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=86992] ppid=86989 vsize=557888 memory=491764 CPUtime=2336.2 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 386501 0 0 0 233551 69 0 0 20 0 2 0 76065084 571277312 122941 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 139472 122941 3552 6655 0 121811 0
[pid=86992/tid=86994] ppid=86989 vsize=557888 memory=474356 CPUtime=1166.46 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 198688 0 0 0 116604 42 0 0 20 0 2 0 76066091 571277312 122941 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2336.2 s
Current children cumulated vsize: 557888 KiB
Current children cumulated memory: 491764 KiB
[startup+1242.3 s]
/proc/loadavg: 8.14 8.13 8.04 9/269 87054
/proc/meminfo: memFree=121047660/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=561188 memory=499960 CPUtime=2455.42 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 388547 0 0 0 245473 69 0 0 20 0 2 0 76065084 574656512 124990 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 140297 124990 3552 6655 0 123847 0
[pid=86992/tid=86994] ppid=86989 vsize=561188 memory=498680 CPUtime=1226.28 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 199466 0 0 0 122586 42 0 0 20 0 2 0 76066091 574656512 124990 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2455.42 s
Current children cumulated vsize: 561188 KiB
Current children cumulated memory: 499960 KiB
[startup+1302.3 s]
/proc/loadavg: 7.47 7.93 7.98 8/268 87103
/proc/meminfo: memFree=119112052/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=566236 memory=508792 CPUtime=2574.59 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 398357 0 0 0 257383 76 0 0 20 0 2 0 76065084 579825664 127198 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 141559 127198 3552 6655 0 126061 0
[pid=86992/tid=86994] ppid=86989 vsize=566236 memory=508792 CPUtime=1286.08 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 204371 0 0 0 128566 42 0 0 20 0 2 0 76066091 579825664 127198 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2574.59 s
Current children cumulated vsize: 566236 KiB
Current children cumulated memory: 508792 KiB
[startup+1362.3 s]
/proc/loadavg: 7.29 7.79 7.92 8/268 87105
/proc/meminfo: memFree=118827656/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=574404 memory=524396 CPUtime=2693.78 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 401150 0 0 0 269302 76 0 0 20 0 2 0 76065084 588189696 131099 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 143601 131099 3552 6655 0 130011 0
[pid=86992/tid=86994] ppid=86989 vsize=574404 memory=521196 CPUtime=1345.9 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 205569 0 0 0 134547 43 0 0 20 0 2 0 76066091 588189696 131099 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2693.78 s
Current children cumulated vsize: 574404 KiB
Current children cumulated memory: 524396 KiB
[startup+1422.3 s]
/proc/loadavg: 7.52 7.78 7.91 8/270 87168
/proc/meminfo: memFree=117491644/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=578588 memory=529260 CPUtime=2813 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 401950 0 0 0 281222 78 0 0 20 0 2 0 76065084 592474112 132315 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 144647 132315 3552 6655 0 131286 0
[pid=86992/tid=86994] ppid=86989 vsize=578588 memory=528364 CPUtime=1405.71 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 205903 0 0 0 140527 44 0 0 20 0 2 0 76066091 592474112 132315 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2813 s
Current children cumulated vsize: 578588 KiB
Current children cumulated memory: 529260 KiB
[startup+1482.3 s]
/proc/loadavg: 7.27 7.67 7.86 8/270 87170
/proc/meminfo: memFree=117277404/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=590392 memory=548012 CPUtime=2932.27 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 403579 0 0 0 293148 79 0 0 20 0 2 0 76065084 604561408 137003 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 147598 137003 3552 6655 0 135961 0
[pid=86992/tid=86994] ppid=86989 vsize=590392 memory=536604 CPUtime=1465.54 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 206625 0 0 0 146510 44 0 0 20 0 2 0 76066091 604561408 137003 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 2932.27 s
Current children cumulated vsize: 590392 KiB
Current children cumulated memory: 548012 KiB
[startup+1542.3 s]
/proc/loadavg: 7.78 7.73 7.87 9/270 87172
/proc/meminfo: memFree=116126456/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=594924 memory=557660 CPUtime=3051.47 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 405470 0 0 0 305068 79 0 0 20 0 2 0 76065084 609202176 139415 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 148731 139415 3552 6655 0 138333 0
[pid=86992/tid=86994] ppid=86989 vsize=594924 memory=557660 CPUtime=1525.35 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 207864 0 0 0 152491 44 0 0 20 0 2 0 76066091 609202176 139415 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 3051.47 s
Current children cumulated vsize: 594924 KiB
Current children cumulated memory: 557660 KiB
[startup+1602.3 s]
/proc/loadavg: 8.33 7.89 7.92 9/270 87178
/proc/meminfo: memFree=116037712/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=594924 memory=557660 CPUtime=3170.63 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 405488 0 0 0 316984 79 0 0 20 0 2 0 76065084 609202176 139415 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 148731 139415 3552 6655 0 138333 0
[pid=86992/tid=86994] ppid=86989 vsize=594924 memory=557660 CPUtime=1585.14 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 207870 0 0 0 158470 44 0 0 20 0 2 0 76066091 609202176 139415 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 3170.63 s
Current children cumulated vsize: 594924 KiB
Current children cumulated memory: 557660 KiB
[startup+1662.3 s]
/proc/loadavg: 8.16 7.93 7.93 9/268 87180
/proc/meminfo: memFree=115981540/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=596164 memory=560604 CPUtime=3289.78 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 409766 0 0 0 328898 80 0 0 20 0 2 0 76065084 610471936 140151 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 149041 140151 3552 6655 0 139075 0
[pid=86992/tid=86994] ppid=86989 vsize=596164 memory=560604 CPUtime=1644.92 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 210655 0 0 0 164448 44 0 0 20 0 2 0 76066091 610471936 140151 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 3289.78 s
Current children cumulated vsize: 596164 KiB
Current children cumulated memory: 560604 KiB
[startup+1722.3 s]
/proc/loadavg: 7.52 7.82 7.89 7/265 87231
/proc/meminfo: memFree=113643704/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=608996 memory=573800 CPUtime=3408.89 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 421773 0 0 0 340802 87 0 0 20 0 2 0 76065084 623611904 143450 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 152249 143450 3552 6655 0 142346 0
[pid=86992/tid=86994] ppid=86989 vsize=608996 memory=560604 CPUtime=1704.69 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 215118 0 0 0 170420 49 0 0 20 0 2 0 76066091 623611904 143450 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 3408.89 s
Current children cumulated vsize: 608996 KiB
Current children cumulated memory: 573800 KiB
[startup+1782.3 s]
/proc/loadavg: 7.21 7.67 7.84 7/268 87238
/proc/meminfo: memFree=113324496/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=608996 memory=573936 CPUtime=3528.05 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) R 86989 86992 86128 0 -1 4194304 429235 0 0 0 352716 89 0 0 20 0 2 0 76065084 623611904 143484 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 152249 143484 3552 6655 0 142346 0
[pid=86992/tid=86994] ppid=86989 vsize=608996 memory=573936 CPUtime=1764.48 cores=0,2
/proc/86992/task/86994/stat : 86994 (LSIPExact) R 86989 86992 86128 0 -1 4194368 218884 0 0 0 176397 51 0 0 20 0 2 0 76066091 623611904 143484 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
Current children cumulated CPU time: 3528.05 s
Current children cumulated vsize: 608996 KiB
Current children cumulated memory: 573936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1837 s]*
/proc/loadavg: 6.55 7.42 7.74 6/268 87240
/proc/meminfo: memFree=113069916/131249996 swapFree=33003468/33010684
[pid=86992] ppid=86989 vsize=609408 memory=541716 CPUtime=3563.45 cores=0,2
/proc/86992/stat : 86992 (LSIPExact) S 86989 86992 86128 0 -1 4194304 444851 228 0 0 356255 90 0 0 20 0 1 0 76065084 624033792 135429 18446744073709551615 94404222939136 94404250195537 140724918702240 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94404258698376 94404259129984 94404269969408 140724918704474 140724918704650 140724918704650 140724918710252 0
/proc/86992/statm: 152352 135429 3584 6655 0 142449 0
[pid=87240] ppid=86992 vsize=132472 memory=104400 CPUtime=36.63 cores=0,2
/proc/87240/stat : 87240 (Exact) R 86992 87240 87240 0 -1 4194304 25904 0 0 0 3655 8 0 0 20 0 1 0 76245107 135651328 26100 18446744073709551615 4198400 8335837 140727195423312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 13639680 140727195424948 140727195425309 140727195425309 140727195430863 0
/proc/87240/statm: 33118 26100 1120 1011 0 31885 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 741880 KiB
Current children cumulated memory: 646116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1837.06 s]
# the end of solver process 86992 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.15 s, system=1.01043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1837.06
CPU time (s): 3600.16
CPU user time (s): 3599.15
CPU system time (s): 1.01043
CPU usage (%): 195.974
Max. virtual memory (cumulated for all children) (KiB): 741880
Max. memory (cumulated for all children) (KiB): 646116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 1.01043
maximum resident set size= 576012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479205
page faults= 0
swaps= 0
block input operations= 6248
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 622
involuntary context switches= 112388
# summary of solver processes directly reported to runsolver:
# pid: 86992
# total CPU time (s): 3600.16
# total CPU user time (s): 3599.15
# total CPU system time (s): 1.01043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59586 second user time and 8.71318 second system time
The end
Begin job on nodeC021 at 2025-07-04 06:37:54
IDJOB=4523826
IDBENCH=180376
IDSOLVER=3337
FILE ID=nodeC021/4523826-1751603874
RUNJOBID= nodeC021-1751599645-86138
SLURM_JOB_ID= 9598875
Free space on /tmp= 430804 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523826-1751603874/watcher-4523826-1751603874 -o /tmp/evaluation-result-4523826-1751603874/solver-4523826-1751603874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86138 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523826-1751603874.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
RANDOM SEED=1957070755
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.944
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.515
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122267460 kB
MemAvailable: 128729028 kB
Buffers: 1056 kB
Cached: 7194736 kB
SwapCached: 32 kB
Active: 1517244 kB
Inactive: 6732248 kB
Active(anon): 1026324 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6691420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47632 kB
Writeback: 24 kB
AnonPages: 1050040 kB
Mapped: 136576 kB
Shmem: 13452 kB
KReclaimable: 236532 kB
Slab: 328984 kB
SReclaimable: 236532 kB
SUnreclaim: 92452 kB
KernelStack: 4268 kB
PageTables: 5476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1439220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430700 MiB
End job on nodeC021 at 2025-07-04 07:08:31