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 (13174 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407661-1569512043/watcher-4407661-1569512043 -o /tmp/evaluation-result-4407661-1569512043/solver-4407661-1569512043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569509779-15647 --watchdog 2560 xcsp_picat HOME/instance-4407661-1569512043.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=16048, runsolver pid=16045
Current StackSize limit: 8192 KiB
[startup+0.100537 s]*
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=25213932/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=23248 CPUtime=0.1 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 1914 0 0 0 10 0 0 0 20 0 1 0 527475569 2080477184 5812 33554432000 4194304 5870510 140733448391776 140733448391080 4550321 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 5812 841 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23248 KiB
[startup+0.20953 s]*
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=25191280/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=35536 CPUtime=0.21 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 1920 0 0 0 21 0 0 0 20 0 1 0 527475569 2080477184 8884 33554432000 4194304 5870510 140733448391776 140733448391080 4466537 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 8884 841 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35536 KiB
[startup+0.309503 s]*
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=25170800/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=45776 CPUtime=0.3 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 1925 0 0 0 30 0 0 0 20 0 1 0 527475569 2080477184 11444 33554432000 4194304 5870510 140733448391776 140733448391080 4490052 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 11444 841 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 45776 KiB
[startup+0.700413 s]
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=25125372/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=86884 CPUtime=0.69 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 1945 0 0 0 68 1 0 0 20 0 1 0 527475569 2080477184 21721 33554432000 4194304 5870510 140733448391776 140733448391080 4477286 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 21721 841 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 86884 KiB
[startup+1.50042 s]
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=25018876/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=172900 CPUtime=1.49 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 1987 0 0 0 147 2 0 0 20 0 1 0 527475569 2080477184 43225 33554432000 4194304 5870510 140733448391776 140733448391080 4490091 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 43225 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 172900 KiB
[startup+3.10967 s]
/proc/loadavg: 2.09 2.04 1.88 4/197 16049
/proc/meminfo: memFree=24586316/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=344932 CPUtime=3.1 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 2252 0 0 0 306 4 0 0 20 0 1 0 527475569 2080477184 86233 33554432000 4194304 5870510 140733448391776 140733448391080 4522958 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 86233 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 344932 KiB
[startup+6.30041 s]
/proc/loadavg: 2.16 2.06 1.89 4/197 16049
/proc/meminfo: memFree=23966376/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=2031716 memory=707520 CPUtime=6.29 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 3131 0 0 0 620 9 0 0 20 0 1 0 527475569 2080477184 176880 33554432000 4194304 5870510 140733448391776 140733448391144 4815839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 507929 176880 861 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 707520 KiB
[startup+12.7004 s]
/proc/loadavg: 2.15 2.06 1.89 4/197 16049
/proc/meminfo: memFree=21585712/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=3207276 memory=2126568 CPUtime=12.69 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 5389 0 0 0 1241 28 0 0 20 0 1 0 527475569 3284250624 531642 33554432000 4194304 5870510 140733448391776 140733448390744 5246072 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 801819 531642 866 410 0 797292 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3207276 KiB
Current children cumulated memory: 2126568 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 1.89 4/198 16051
/proc/meminfo: memFree=19003448/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=3939732 memory=3141600 CPUtime=25.49 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 131630 0 0 0 2496 53 0 0 20 0 1 0 527475569 4034285568 785400 33554432000 4194304 5870510 140733448391776 140733448390280 5337600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 984933 785400 935 410 0 980406 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3939732 KiB
Current children cumulated memory: 3141600 KiB
[startup+51.11 s]
/proc/loadavg: 2.08 2.05 1.89 4/197 16052
/proc/meminfo: memFree=19106856/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=3888992 memory=3075564 CPUtime=51.1 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 136567 0 0 0 5054 56 0 0 20 0 1 0 527475569 3982327808 768891 33554432000 4194304 5870510 140733448391776 140733448391032 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 972248 768891 941 410 0 967721 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3888992 KiB
Current children cumulated memory: 3075564 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.90 4/197 16055
/proc/meminfo: memFree=19082848/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=3888992 memory=3087940 CPUtime=102.28 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 344638 0 0 0 10161 67 0 0 20 0 1 0 527475569 3982327808 771985 33554432000 4194304 5870510 140733448391776 140733448390888 5281712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 972248 771985 963 410 0 967721 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3888992 KiB
Current children cumulated memory: 3087940 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.90 6/213 16093
/proc/meminfo: memFree=21800760/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3139140 CPUtime=162.28 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 550965 0 0 0 16148 80 0 0 20 0 1 0 527475569 4117762048 784785 33554432000 4194304 5870510 140733448391776 140733448390728 5281796 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 784785 963 410 0 1000786 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3139140 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/199 16137
/proc/meminfo: memFree=22096760/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3131124 CPUtime=222.27 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 781378 0 0 0 22129 98 0 0 20 0 1 0 527475569 4117762048 782781 33554432000 4194304 5870510 140733448391776 140733448390728 5289307 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 782781 963 410 0 1000786 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3131124 KiB
[startup+264.146 s]
# the end of solver process 16048 was just reported to runsolver
# cumulated CPU time of all completed processes: user=262.983 s, system=1.12896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.00 2.03 1.91 3/199 16139
/proc/meminfo: memFree=22088676/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3135220 CPUtime=230.36 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 800065 0 0 0 22937 99 0 0 20 0 1 0 527475569 4117762048 783805 33554432000 4194304 5870510 140733448391776 140733448390728 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 783805 963 410 0 1000786 0
Current children cumulated CPU time: 230.36 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3135220 KiB
[startup+243.2 s]
/proc/loadavg: 2.08 2.04 1.92 3/199 16139
/proc/meminfo: memFree=22090196/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3145460 CPUtime=243.16 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 867904 0 0 0 24213 103 0 0 20 0 1 0 527475569 4117762048 786365 33554432000 4194304 5870510 140733448391776 140733448390728 5262751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 786365 963 410 0 1000786 0
Current children cumulated CPU time: 243.16 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3145460 KiB
[startup+256 s]*
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22064872/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3161844 CPUtime=255.97 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 887741 0 0 0 25492 105 0 0 20 0 1 0 527475569 4117762048 790461 33554432000 4194304 5870510 140733448391776 140733448390728 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 790461 963 410 0 1000786 0
Current children cumulated CPU time: 255.97 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3161844 KiB
[startup+259.2 s]
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22062080/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3163892 CPUtime=259.15 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 899883 0 0 0 25810 105 0 0 20 0 1 0 527475569 4117762048 790973 33554432000 4194304 5870510 140733448391776 140733448390728 5268046 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 790973 963 410 0 1000786 0
Current children cumulated CPU time: 259.15 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3163892 KiB
[startup+262.4 s]
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22061764/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3163892 CPUtime=262.36 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 901168 0 0 0 26130 106 0 0 20 0 1 0 527475569 4117762048 790973 33554432000 4194304 5870510 140733448391776 140733448390728 5282429 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 790973 963 410 0 1000786 0
Current children cumulated CPU time: 262.36 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3163892 KiB
[startup+263.2 s]
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22061764/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3163892 CPUtime=263.16 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 901324 0 0 0 26210 106 0 0 20 0 1 0 527475569 4117762048 790973 33554432000 4194304 5870510 140733448391776 140733448390728 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 790973 963 410 0 1000786 0
Current children cumulated CPU time: 263.16 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3163892 KiB
[startup+263.6 s]
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22061764/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3163892 CPUtime=263.56 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 931615 0 0 0 26248 108 0 0 20 0 1 0 527475569 4117762048 790973 33554432000 4194304 5870510 140733448391776 140733448390728 5282495 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 790973 963 410 0 1000786 0
Current children cumulated CPU time: 263.56 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3163892 KiB
[startup+264 s]*
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22057296/32770624 swapFree=66941828/67108860
[pid=16048] ppid=16045 vsize=4021252 memory=3170368 CPUtime=263.97 cores=0,2,4,6
/proc/16048/stat : 16048 (xcsp_picat) R 16045 16048 15616 0 -1 4202496 939961 0 0 0 26288 109 0 0 20 0 1 0 527475569 4117762048 792592 33554432000 4194304 5870510 140733448391776 140733448390728 5392280 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16846848 140733448397855 140733448397933 140733448397933 140733448400842 0
/proc/16048/statm: 1005313 792592 963 410 0 1000786 0
Current children cumulated CPU time: 263.97 s
Current children cumulated vsize: 4021252 KiB
Current children cumulated memory: 3170368 KiB
[startup+264.11 s]*
/proc/loadavg: 2.06 2.04 1.92 3/199 16141
/proc/meminfo: memFree=22217484/32770624 swapFree=66941828/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 264.146
CPU time (s): 264.112
CPU user time (s): 262.983
CPU system time (s): 1.12896
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 4232868
Max. memory (cumulated for all children) (KiB): 3335824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.983
system time used= 1.12896
maximum resident set size= 3335824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940159
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= 43
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 16048
# total CPU time (s): 264.112
# total CPU user time (s): 262.983
# total CPU system time (s): 1.12896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.90524 second user time and 2.24609 second system time
The end
Begin job on node139 at 2019-09-26 17:36:21
IDJOB=4407661
IDBENCH=131314
IDSOLVER=2873
FILE ID=node139/4407661-1569512043
RUNJOBID= node139-1569509779-15647
PBS_JOBID= 21705785
Free space on /tmp= 5144 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-07.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407661-1569512043/watcher-4407661-1569512043 -o /tmp/evaluation-result-4407661-1569512043/solver-4407661-1569512043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569509779-15647 --watchdog 2560 xcsp_picat HOME/instance-4407661-1569512043.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a5a4a9d4a920730d3bacf5ea7eebaa8b
RANDOM SEED=8362727
node139.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.57
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.57
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.57
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.57
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: 25254156 kB
MemAvailable: 31767168 kB
Buffers: 145372 kB
Cached: 6471160 kB
SwapCached: 64664 kB
Active: 3322564 kB
Inactive: 3362468 kB
Active(anon): 20936 kB
Inactive(anon): 119364 kB
Active(file): 3301628 kB
Inactive(file): 3243104 kB
Unevictable: 109012 kB
Mlocked: 109012 kB
SwapTotal: 67108860 kB
SwapFree: 66941828 kB
Dirty: 6272 kB
Writeback: 0 kB
AnonPages: 113504 kB
Mapped: 22192 kB
Shmem: 63924 kB
Slab: 425616 kB
SReclaimable: 396740 kB
SUnreclaim: 28876 kB
KernelStack: 3408 kB
PageTables: 5564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 527160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 5136 MiB
End job on node139 at 2019-09-26 17:40:45