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 (62213 MiB free)
memory of node 1: 64507 MiB (63519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486366-1751308448/watcher-4486366-1751308448 -o /tmp/evaluation-result-4486366-1751308448/solver-4486366-1751308448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42549 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486366-1751308448.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43827, runsolver pid=43824
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 6.71 7.02 7.00 7/264 43828
/proc/meminfo: memFree=128703568/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=82380 memory=47616 CPUtime=0.09 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 10937 0 0 0 7 2 0 0 20 0 1 0 46525084 84357120 11904 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 20595 11904 1120 6655 0 10830 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82380 KiB
Current children cumulated memory: 47616 KiB
[startup+0.205605 s]*
/proc/loadavg: 6.71 7.02 7.00 7/264 43828
/proc/meminfo: memFree=128695504/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=0.2 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 18 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+0.305445 s]*
/proc/loadavg: 6.71 7.02 7.00 7/264 43828
/proc/meminfo: memFree=128695504/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=0.3 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 28 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+0.700164 s]
/proc/loadavg: 6.71 7.02 7.00 7/264 43828
/proc/meminfo: memFree=128679752/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=0.68 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 66 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+1.50015 s]
/proc/loadavg: 6.71 7.02 7.00 7/264 43828
/proc/meminfo: memFree=128679752/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=1.48 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 146 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+3.10524 s]
/proc/loadavg: 6.65 7.00 6.99 7/264 43828
/proc/meminfo: memFree=128679792/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=3.08 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 306 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+6.30016 s]
/proc/loadavg: 6.65 7.00 6.99 7/264 43828
/proc/meminfo: memFree=128679800/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=87528 memory=52864 CPUtime=6.27 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 12251 0 0 0 625 2 0 0 20 0 1 0 46525084 89628672 13216 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 21882 13216 1120 6655 0 12117 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 52864 KiB
[startup+12.7002 s]
/proc/loadavg: 6.60 6.99 6.99 8/265 43829
/proc/meminfo: memFree=128564192/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=265736 memory=184720 CPUtime=14.49 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 45434 0 0 0 1441 8 0 0 20 0 2 0 46525084 272113664 46180 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 66434 46180 3296 6655 0 46026 0
[pid=43827/tid=43829] ppid=43824 vsize=265736 memory=-6584941511378571619 CPUtime=1.84 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 5223 0 0 0 184 0 0 0 20 0 2 0 46526094 272113664 46180 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 265736 KiB
Current children cumulated memory: 184720 KiB
[startup+25.5002 s]
/proc/loadavg: 6.53 6.95 6.98 7/265 43831
/proc/meminfo: memFree=128436632/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=353184 memory=299332 CPUtime=39.9 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 119647 0 0 0 3973 17 0 0 20 0 2 0 46525084 361660416 74833 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 88296 74833 3360 6655 0 76126 0
[pid=43827/tid=43829] ppid=43824 vsize=353184 memory=14720 CPUtime=14.49 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 31455 0 0 0 1446 3 0 0 20 0 2 0 46526094 361660416 74833 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 353184 KiB
Current children cumulated memory: 299332 KiB
[startup+51.1056 s]
/proc/loadavg: 6.35 6.88 6.95 7/266 43832
/proc/meminfo: memFree=128421968/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=354476 memory=305476 CPUtime=90.76 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 123399 0 0 0 9058 18 0 0 20 0 2 0 46525084 362983424 76369 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 88619 76369 3360 6655 0 76449 0
[pid=43827/tid=43829] ppid=43824 vsize=354476 memory=305476 CPUtime=39.83 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 33198 0 0 0 3980 3 0 0 20 0 2 0 46526094 362983424 76369 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 90.76 s
Current children cumulated vsize: 354476 KiB
Current children cumulated memory: 305476 KiB
[startup+102.3 s]
/proc/loadavg: 6.64 6.87 6.94 9/268 43978
/proc/meminfo: memFree=128941304/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=342812 memory=296468 CPUtime=192.48 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 159608 0 0 0 19224 24 0 0 20 0 2 0 46525084 351039488 74117 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 85703 74117 3360 6655 0 73533 0
[pid=43827/tid=43829] ppid=43824 vsize=342812 memory=296468 CPUtime=90.52 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 42650 0 0 0 9048 4 0 0 20 0 2 0 46526094 351039488 74117 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 192.48 s
Current children cumulated vsize: 342812 KiB
Current children cumulated memory: 296468 KiB
[startup+162.3 s]
/proc/loadavg: 7.69 7.12 7.03 9/269 43985
/proc/meminfo: memFree=128786648/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=366776 memory=320032 CPUtime=311.65 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 192087 0 0 0 31137 28 0 0 20 0 2 0 46525084 375578624 80008 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 91694 80008 3360 6655 0 79524 0
[pid=43827/tid=43829] ppid=43824 vsize=366776 memory=296468 CPUtime=149.89 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 54261 0 0 0 14983 6 0 0 20 0 2 0 46526094 375578624 80008 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 311.65 s
Current children cumulated vsize: 366776 KiB
Current children cumulated memory: 320032 KiB
[startup+222.3 s]
/proc/loadavg: 7.95 7.30 7.10 9/269 43987
/proc/meminfo: memFree=128621012/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=366644 memory=320760 CPUtime=430.81 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 228216 0 0 0 43049 32 0 0 20 0 2 0 46525084 375443456 80190 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 91661 80190 3360 6655 0 79491 0
[pid=43827/tid=43829] ppid=43824 vsize=366644 memory=289192 CPUtime=209.25 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 68121 0 0 0 20918 7 0 0 20 0 2 0 46526094 375443456 80190 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 430.81 s
Current children cumulated vsize: 366644 KiB
Current children cumulated memory: 320760 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 7.45 7.16 9/269 43989
/proc/meminfo: memFree=128430272/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=333988 memory=289984 CPUtime=549.96 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 241446 0 0 0 54962 34 0 0 20 0 2 0 46525084 342003712 72496 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 83497 72496 3360 6655 0 71327 0
[pid=43827/tid=43829] ppid=43824 vsize=333988 memory=289216 CPUtime=268.6 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 74747 0 0 0 26852 8 0 0 20 0 2 0 46526094 342003712 72496 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 549.96 s
Current children cumulated vsize: 333988 KiB
Current children cumulated memory: 289984 KiB
[startup+342.3 s]
/proc/loadavg: 8.18 7.60 7.23 9/269 43991
/proc/meminfo: memFree=128191780/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=341804 memory=299780 CPUtime=668.96 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 256332 0 0 0 66861 35 0 0 20 0 2 0 46525084 350007296 74945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 85451 74945 3360 6655 0 73281 0
[pid=43827/tid=43829] ppid=43824 vsize=341804 memory=289216 CPUtime=327.85 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 82652 0 0 0 32776 9 0 0 20 0 2 0 46526094 350007296 74945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 668.96 s
Current children cumulated vsize: 341804 KiB
Current children cumulated memory: 299780 KiB
################
# More data... #
################
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 268551 0 0 0 245628 68 0 0 20 0 2 0 46525084 364867584 80945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 89079 80945 3360 6655 0 79282 0
[pid=43827/tid=43829] ppid=43824 vsize=356316 memory=14720 CPUtime=1218.74 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 90544 0 0 0 121842 32 0 0 20 0 2 0 46526094 364867584 80945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 2456.96 s
Current children cumulated vsize: 356316 KiB
Current children cumulated memory: 323780 KiB
[startup+1302.3 s]
/proc/loadavg: 8.11 8.06 7.80 9/267 44082
/proc/meminfo: memFree=126227836/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=356316 memory=323780 CPUtime=2576.14 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 268724 0 0 0 257546 68 0 0 20 0 2 0 46525084 364867584 80945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 89079 80945 3360 6655 0 79282 0
[pid=43827/tid=43829] ppid=43824 vsize=356316 memory=323780 CPUtime=1278.14 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 90711 0 0 0 127782 32 0 0 20 0 2 0 46526094 364867584 80945 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 2576.14 s
Current children cumulated vsize: 356316 KiB
Current children cumulated memory: 323780 KiB
[startup+1362.3 s]
/proc/loadavg: 8.31 8.11 7.84 9/267 44089
/proc/meminfo: memFree=126029976/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=360352 memory=327704 CPUtime=2695.3 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 272893 0 0 0 269454 76 0 0 20 0 2 0 46525084 369000448 81926 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 90088 81926 3360 6655 0 80291 0
[pid=43827/tid=43829] ppid=43824 vsize=360352 memory=14720 CPUtime=1337.54 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 92643 0 0 0 133714 40 0 0 20 0 2 0 46526094 369000448 81926 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 2695.3 s
Current children cumulated vsize: 360352 KiB
Current children cumulated memory: 327704 KiB
[startup+1422.3 s]
/proc/loadavg: 8.17 8.10 7.85 9/267 44091
/proc/meminfo: memFree=125799948/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=366824 memory=332632 CPUtime=2814.44 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 274092 0 0 0 281361 83 0 0 20 0 2 0 46525084 375627776 83158 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 91706 83158 3360 6655 0 81909 0
[pid=43827/tid=43829] ppid=43824 vsize=366824 memory=14720 CPUtime=1396.91 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 93112 0 0 0 139645 46 0 0 20 0 2 0 46526094 375627776 83158 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 2814.44 s
Current children cumulated vsize: 366824 KiB
Current children cumulated memory: 332632 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.10 7.87 9/267 44093
/proc/meminfo: memFree=125639580/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=366824 memory=332760 CPUtime=2933.59 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 274385 0 0 0 293269 90 0 0 20 0 2 0 46525084 375627776 83190 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 91706 83190 3360 6655 0 81909 0
[pid=43827/tid=43829] ppid=43824 vsize=366824 memory=14720 CPUtime=1456.29 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 93380 0 0 0 145576 53 0 0 20 0 2 0 46526094 375627776 83190 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 2933.59 s
Current children cumulated vsize: 366824 KiB
Current children cumulated memory: 332760 KiB
[startup+1542.3 s]
/proc/loadavg: 8.16 8.11 7.89 9/267 44095
/proc/meminfo: memFree=125443260/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=369064 memory=336344 CPUtime=3052.76 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 275009 0 0 0 305183 93 0 0 20 0 2 0 46525084 377921536 84086 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 92266 84086 3360 6655 0 82469 0
[pid=43827/tid=43829] ppid=43824 vsize=369064 memory=336344 CPUtime=1515.68 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 93441 0 0 0 151512 56 0 0 20 0 2 0 46526094 377921536 84086 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 3052.76 s
Current children cumulated vsize: 369064 KiB
Current children cumulated memory: 336344 KiB
[startup+1602.3 s]
/proc/loadavg: 8.06 8.08 7.91 9/267 44097
/proc/meminfo: memFree=125204248/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=437188 memory=371544 CPUtime=3171.97 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 283802 0 0 0 317099 98 0 0 20 0 2 0 46525084 447680512 92886 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 109297 92886 3360 6655 0 91850 0
[pid=43827/tid=43829] ppid=43824 vsize=437188 memory=338580 CPUtime=1575.08 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 101703 0 0 0 157447 61 0 0 20 0 2 0 46526094 447680512 92886 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 3171.97 s
Current children cumulated vsize: 437188 KiB
Current children cumulated memory: 371544 KiB
[startup+1662.3 s]
/proc/loadavg: 8.06 8.08 7.92 9/267 44110
/proc/meminfo: memFree=125012868/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=437188 memory=377944 CPUtime=3291.19 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 285860 0 0 0 329020 99 0 0 20 0 2 0 46525084 447680512 94486 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 109297 94486 3360 6655 0 93476 0
[pid=43827/tid=43829] ppid=43824 vsize=437188 memory=377944 CPUtime=1634.47 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 103494 0 0 0 163386 61 0 0 20 0 2 0 46526094 447680512 94486 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 3291.19 s
Current children cumulated vsize: 437188 KiB
Current children cumulated memory: 377944 KiB
[startup+1722.3 s]
/proc/loadavg: 8.12 8.10 7.94 9/267 44113
/proc/meminfo: memFree=124753108/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=437188 memory=378072 CPUtime=3410.37 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 285976 0 0 0 340937 100 0 0 20 0 2 0 46525084 447680512 94518 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 109297 94518 3360 6655 0 93476 0
[pid=43827/tid=43829] ppid=43824 vsize=437188 memory=378072 CPUtime=1693.85 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 103518 0 0 0 169323 62 0 0 20 0 2 0 46526094 447680512 94518 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 3410.37 s
Current children cumulated vsize: 437188 KiB
Current children cumulated memory: 378072 KiB
[startup+1782.3 s]
/proc/loadavg: 8.10 8.09 7.95 9/267 44115
/proc/meminfo: memFree=124560648/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=437188 memory=378072 CPUtime=3529.56 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) R 43824 43827 42536 0 -1 4194304 286008 0 0 0 352856 100 0 0 20 0 2 0 46525084 447680512 94518 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 109297 94518 3360 6655 0 93476 0
[pid=43827/tid=43829] ppid=43824 vsize=437188 memory=378072 CPUtime=1753.23 cores=0,2
/proc/43827/task/43829/stat : 43829 (LSIPExact) R 43824 43827 42536 0 -1 4194368 103520 0 0 0 175261 62 0 0 20 0 2 0 46526094 447680512 94518 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
Current children cumulated CPU time: 3529.56 s
Current children cumulated vsize: 437188 KiB
Current children cumulated memory: 378072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1835.3 s]
/proc/loadavg: 7.67 7.98 7.92 8/267 44118
/proc/meminfo: memFree=124374448/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=331188 memory=275032 CPUtime=3564.98 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) S 43824 43827 42536 0 -1 4194304 292065 228 0 0 356397 101 0 0 20 0 1 0 46525084 339136512 68758 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 82797 68758 3392 6655 0 73006 0
[pid=44117] ppid=43827 vsize=118244 memory=109884 CPUtime=35.02 cores=0,2
/proc/44117/stat : 44117 (Exact) R 43827 44117 44117 0 -1 4194304 20950 0 0 0 3496 6 0 0 20 0 1 0 46705099 121081856 27471 18446744073709551615 4198400 8335837 140725883423600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 29921280 140725883431092 140725883431453 140725883431453 140725883437007 0
/proc/44117/statm: 29561 27471 1120 1011 0 28328 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 449432 KiB
Current children cumulated memory: 384916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1835.36 s]
# the end of solver process 43827 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.99 s, system=1.09582 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1835.3 s]
/proc/loadavg: 7.67 7.98 7.92 8/267 44118
/proc/meminfo: memFree=124374448/131250000 swapFree=33010684/33010684
[pid=43827] ppid=43824 vsize=331188 memory=275032 CPUtime=3564.98 cores=0,2
/proc/43827/stat : 43827 (LSIPExact) S 43824 43827 42536 0 -1 4194304 292065 228 0 0 356397 101 0 0 20 0 1 0 46525084 339136512 68758 18446744073709551615 94489440215040 94489467471441 140735200786976 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94489475974280 94489476405888 94489494654976 140735200790874 140735200791050 140735200791050 140735200796652 0
/proc/43827/statm: 82797 68758 3392 6655 0 73006 0
[pid=44117] ppid=43827 vsize=118244 memory=109884 CPUtime=35.02 cores=0,2
/proc/44117/stat : 44117 (Exact) R 43827 44117 44117 0 -1 4194304 20950 0 0 0 3496 6 0 0 20 0 1 0 46705099 121081856 27471 18446744073709551615 4198400 8335837 140725883423600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 29921280 140725883431092 140725883431453 140725883431453 140725883437007 0
/proc/44117/statm: 29561 27471 1120 1011 0 28328 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 449432 KiB
Current children cumulated memory: 384916 KiB
Child status: 0
Real time (s): 1835.36
CPU time (s): 3600.09
CPU user time (s): 3598.99
CPU system time (s): 1.09582
CPU usage (%): 196.151
Max. virtual memory (cumulated for all children) (KiB): 449432
Max. memory (cumulated for all children) (KiB): 384916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.09582
maximum resident set size= 378328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320289
page faults= 0
swaps= 0
block input operations= 5968
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 578
involuntary context switches= 101383
# summary of solver processes directly reported to runsolver:
# pid: 43827
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.99
# total CPU system time (s): 1.09582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88715 second user time and 7.95046 second system time
The end
Begin job on nodeC013 at 2025-06-30 20:34:08
IDJOB=4486366
IDBENCH=147019
IDSOLVER=3337
FILE ID=nodeC013/4486366-1751308448
RUNJOBID= nodeC013-1751302914-42549
SLURM_JOB_ID= 9594288
Free space on /tmp= 432924 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486366-1751308448/watcher-4486366-1751308448 -o /tmp/evaluation-result-4486366-1751308448/solver-4486366-1751308448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42549 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486366-1751308448.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1879827052
nodeC013 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.847
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.67
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.821
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.67
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.857
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.67
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.831
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.67
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.819
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.67
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.836
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.67
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.068
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.67
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.830
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128750684 kB
MemAvailable: 128968168 kB
Buffers: 3280 kB
Cached: 1018976 kB
SwapCached: 0 kB
Active: 1115180 kB
Inactive: 775340 kB
Active(anon): 881548 kB
Inactive(anon): 0 kB
Active(file): 233632 kB
Inactive(file): 775340 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47632 kB
Writeback: 0 kB
AnonPages: 871336 kB
Mapped: 140032 kB
Shmem: 13284 kB
KReclaimable: 95100 kB
Slab: 182164 kB
SReclaimable: 95100 kB
SUnreclaim: 87064 kB
KernelStack: 4256 kB
PageTables: 4852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1268248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 716800 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC013 at 2025-06-30 21:04:44