runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (14639 MiB free)
memory of node 1: 16384 MiB (14828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395088-1568348723/watcher-4395088-1568348723 -o /tmp/evaluation-result-4395088-1568348723/solver-4395088-1568348723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395088-1568348723.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22075, runsolver pid=22072
[startup+0.100155 s]*
/proc/loadavg: 2.03 2.11 2.09 4/205 22076
/proc/meminfo: memFree=30150552/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2031716 memory=27600 CPUtime=0.1 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 1963 0 0 0 10 0 0 0 20 0 1 0 410795075 2080477184 6900 33554432000 4194304 5870510 140726596608416 140726596605560 4515307 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 507929 6900 853 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27600 KiB
[startup+0.210617 s]*
/proc/loadavg: 2.03 2.11 2.09 3/205 22076
/proc/meminfo: memFree=30150552/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2031716 memory=27600 CPUtime=0.21 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 1963 0 0 0 21 0 0 0 20 0 1 0 410795075 2080477184 6900 33554432000 4194304 5870510 140726596608416 140726596605560 4490052 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 507929 6900 853 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27600 KiB
[startup+0.309818 s]*
/proc/loadavg: 2.03 2.11 2.09 3/205 22076
/proc/meminfo: memFree=30150476/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2031716 memory=27600 CPUtime=0.31 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 1963 0 0 0 31 0 0 0 20 0 1 0 410795075 2080477184 6900 33554432000 4194304 5870510 140726596608416 140726596607720 4429006 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 507929 6900 853 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27600 KiB
[startup+0.700335 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22076
/proc/meminfo: memFree=30148188/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2031716 memory=52176 CPUtime=0.69 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 1976 0 0 0 69 0 0 0 20 0 1 0 410795075 2080477184 13044 33554432000 4194304 5870510 140726596608416 140726596607720 4461683 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 507929 13044 853 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 52176 KiB
[startup+1.50032 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22076
/proc/meminfo: memFree=30101084/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2066988 memory=137276 CPUtime=1.49 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 9690 0 0 0 146 3 0 0 20 0 1 0 410795075 2116595712 34319 33554432000 4194304 5870510 140726596608416 140726596607304 5477179 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516747 34319 945 410 0 512220 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2066988 KiB
Current children cumulated memory: 137276 KiB
[startup+3.10924 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22076
/proc/meminfo: memFree=30041160/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2066988 memory=137392 CPUtime=3.1 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 10044 0 0 0 307 3 0 0 20 0 1 0 410795075 2116595712 34348 33554432000 4194304 5870510 140726596608416 140726596607528 5478371 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516747 34348 948 410 0 512220 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2066988 KiB
Current children cumulated memory: 137392 KiB
[startup+6.30032 s]
/proc/loadavg: 2.03 2.11 2.08 3/205 22076
/proc/meminfo: memFree=30039236/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2067120 memory=137436 CPUtime=6.29 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 10501 0 0 0 626 3 0 0 20 0 1 0 410795075 2116730880 34359 33554432000 4194304 5870510 140726596608416 140726596607528 5562064 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516780 34359 948 410 0 512253 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2067120 KiB
Current children cumulated memory: 137436 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 2.11 2.08 3/205 22078
/proc/meminfo: memFree=30035712/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2067120 memory=138088 CPUtime=12.69 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 10985 0 0 0 1265 4 0 0 20 0 1 0 410795075 2116730880 34522 33554432000 4194304 5870510 140726596608416 140726596607528 5562032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516780 34522 948 410 0 512253 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2067120 KiB
Current children cumulated memory: 138088 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.10 2.08 3/205 22078
/proc/meminfo: memFree=30045384/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2067252 memory=138864 CPUtime=25.49 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 11511 0 0 0 2544 5 0 0 20 0 1 0 410795075 2116866048 34716 33554432000 4194304 5870510 140726596608416 140726596607672 5575057 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516813 34716 948 410 0 512286 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2067252 KiB
Current children cumulated memory: 138864 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.09 2.08 3/205 22080
/proc/meminfo: memFree=30021200/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2067920 memory=143680 CPUtime=51.09 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 12412 0 0 0 5103 6 0 0 20 0 1 0 410795075 2117550080 35920 33554432000 4194304 5870510 140726596608416 140726596607528 5562048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 516980 35920 948 410 0 512453 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2067920 KiB
Current children cumulated memory: 143680 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/205 22085
/proc/meminfo: memFree=30156124/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2081376 memory=156096 CPUtime=102.28 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 20897 0 0 0 10219 9 0 0 20 0 1 0 410795075 2131329024 39024 33554432000 4194304 5870510 140726596608416 140726596606840 5343850 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 520344 39024 958 410 0 515817 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2081376 KiB
Current children cumulated memory: 156096 KiB
[startup+156.583 s]
# the end of solver process 22075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=156.436 s, system=0.128986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.01 2.08 2.08 3/205 22085
/proc/meminfo: memFree=30156124/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2081376 memory=156096 CPUtime=102.38 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 20897 0 0 0 10229 9 0 0 20 0 1 0 410795075 2131329024 39024 33554432000 4194304 5870510 140726596608416 140726596606840 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 520344 39024 958 410 0 515817 0
Current children cumulated CPU time: 102.38 s
Current children cumulated vsize: 2081376 KiB
Current children cumulated memory: 156096 KiB
[startup+128 s]*
/proc/loadavg: 2.00 2.07 2.07 3/206 22089
/proc/meminfo: memFree=30055308/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2159064 memory=227588 CPUtime=127.98 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25424 0 0 0 12787 11 0 0 20 0 1 0 410795075 2210881536 56897 33554432000 4194304 5870510 140726596608416 140726596607528 5274721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 539766 56897 979 410 0 535239 0
Current children cumulated CPU time: 127.98 s
Current children cumulated vsize: 2159064 KiB
Current children cumulated memory: 227588 KiB
[startup+140.8 s]
/proc/loadavg: 2.00 2.07 2.07 3/206 22089
/proc/meminfo: memFree=30046652/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2159064 memory=229636 CPUtime=140.78 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25425 0 0 0 14066 12 0 0 20 0 1 0 410795075 2210881536 57409 33554432000 4194304 5870510 140726596608416 140726596607528 5272491 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 539766 57409 979 410 0 535239 0
Current children cumulated CPU time: 140.78 s
Current children cumulated vsize: 2159064 KiB
Current children cumulated memory: 229636 KiB
[startup+147.2 s]
/proc/loadavg: 2.00 2.07 2.07 3/207 22091
/proc/meminfo: memFree=30050360/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2159064 memory=231684 CPUtime=147.18 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25426 0 0 0 14706 12 0 0 20 0 1 0 410795075 2210881536 57921 33554432000 4194304 5870510 140726596608416 140726596607528 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 539766 57921 979 410 0 535239 0
Current children cumulated CPU time: 147.18 s
Current children cumulated vsize: 2159064 KiB
Current children cumulated memory: 231684 KiB
[startup+150.4 s]
/proc/loadavg: 2.00 2.07 2.07 5/207 22091
/proc/meminfo: memFree=30045024/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2170736 memory=237296 CPUtime=150.37 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25769 0 0 0 15025 12 0 0 20 0 1 0 410795075 2222833664 59324 33554432000 4194304 5870510 140726596608416 140726596606984 5288882 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542684 59324 979 410 0 538157 0
Current children cumulated CPU time: 150.37 s
Current children cumulated vsize: 2170736 KiB
Current children cumulated memory: 237296 KiB
[startup+153.6 s]
/proc/loadavg: 2.00 2.07 2.07 3/206 22091
/proc/meminfo: memFree=30038864/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2170736 memory=239344 CPUtime=153.57 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25770 0 0 0 15345 12 0 0 20 0 1 0 410795075 2222833664 59836 33554432000 4194304 5870510 140726596608416 140726596606984 5282475 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542684 59836 979 410 0 538157 0
Current children cumulated CPU time: 153.57 s
Current children cumulated vsize: 2170736 KiB
Current children cumulated memory: 239344 KiB
[startup+155.2 s]
/proc/loadavg: 2.00 2.07 2.07 3/206 22091
/proc/meminfo: memFree=30038956/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2170736 memory=239344 CPUtime=155.17 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25770 0 0 0 15505 12 0 0 20 0 1 0 410795075 2222833664 59836 33554432000 4194304 5870510 140726596608416 140726596606984 5259107 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542684 59836 979 410 0 538157 0
Current children cumulated CPU time: 155.17 s
Current children cumulated vsize: 2170736 KiB
Current children cumulated memory: 239344 KiB
[startup+156 s]*
/proc/loadavg: 2.00 2.07 2.07 3/206 22091
/proc/meminfo: memFree=30038956/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2171040 memory=239344 CPUtime=155.98 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25771 0 0 0 15586 12 0 0 20 0 1 0 410795075 2223144960 59836 33554432000 4194304 5870510 140726596608416 140726596606984 5282597 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542760 59836 979 410 0 538233 0
Current children cumulated CPU time: 155.98 s
Current children cumulated vsize: 2171040 KiB
Current children cumulated memory: 239344 KiB
[startup+156.4 s]
/proc/loadavg: 2.00 2.07 2.07 3/206 22091
/proc/meminfo: memFree=30038956/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2171040 memory=239344 CPUtime=156.37 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25771 0 0 0 15625 12 0 0 20 0 1 0 410795075 2223144960 59836 33554432000 4194304 5870510 140726596608416 140726596606984 5283102 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542760 59836 979 410 0 538233 0
Current children cumulated CPU time: 156.37 s
Current children cumulated vsize: 2171040 KiB
Current children cumulated memory: 239344 KiB
[startup+156.5 s]
/proc/loadavg: 2.00 2.07 2.07 3/206 22091
/proc/meminfo: memFree=30038956/32770624 swapFree=67008956/67108860
[pid=22075] ppid=22072 vsize=2171040 memory=239344 CPUtime=156.47 cores=0,2,4,6
/proc/22075/stat : 22075 (xcsp_picat) R 22072 22075 14854 0 -1 4202496 25771 0 0 0 15635 12 0 0 20 0 1 0 410795075 2223144960 59836 33554432000 4194304 5870510 140726596608416 140726596606984 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 21372928 140726596617247 140726596617325 140726596617325 140726596620234 0
/proc/22075/statm: 542760 59836 979 410 0 538233 0
Current children cumulated CPU time: 156.47 s
Current children cumulated vsize: 2171040 KiB
Current children cumulated memory: 239344 KiB
Child status: 0
Real time (s): 156.583
CPU time (s): 156.565
CPU user time (s): 156.436
CPU system time (s): 0.128986
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 2171040
Max. memory (cumulated for all children) (KiB): 239344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.436
system time used= 0.128986
maximum resident set size= 241460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25797
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= 4
involuntary context switches= 176
# summary of solver processes directly reported to runsolver:
# pid: 22075
# total CPU time (s): 156.565
# total CPU user time (s): 156.436
# total CPU system time (s): 0.128986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.618862 second user time and 1.1575 second system time
The end
Begin job on node132 at 2019-09-13 06:24:34
IDJOB=4395088
IDBENCH=141693
IDSOLVER=2844
FILE ID=node132/4395088-1568348723
RUNJOBID= node132-1568322174-14885
PBS_JOBID= 21701138
Free space on /tmp= 60300 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP19/hcp/graph197.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395088-1568348723/watcher-4395088-1568348723 -o /tmp/evaluation-result-4395088-1568348723/solver-4395088-1568348723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395088-1568348723.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 037a78a785183bf334685935f46df3ca
RANDOM SEED=1509807691
node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30174408 kB
MemAvailable: 31573844 kB
Buffers: 129920 kB
Cached: 1540396 kB
SwapCached: 8384 kB
Active: 658608 kB
Inactive: 1356328 kB
Active(anon): 344040 kB
Inactive(anon): 28028 kB
Active(file): 314568 kB
Inactive(file): 1328300 kB
Unevictable: 109188 kB
Mlocked: 109188 kB
SwapTotal: 67108860 kB
SwapFree: 67008956 kB
Dirty: 3116 kB
Writeback: 0 kB
AnonPages: 447600 kB
Mapped: 33360 kB
Shmem: 18820 kB
Slab: 174560 kB
SReclaimable: 144804 kB
SUnreclaim: 29756 kB
KernelStack: 3584 kB
PageTables: 6500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2813728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 372736 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 136576 kB
DirectMap2M: 33409024 kB
Free space on /tmp at the end= 60300 MiB
End job on node132 at 2019-09-13 06:27:11