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 (11539 MiB free)
memory of node 1: 16384 MiB (12569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407666-1569512043/watcher-4407666-1569512043 -o /var/tmp/evaluation-result-4407666-1569512043/solver-4407666-1569512043 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569509600-16879 --watchdog 2560 xcsp_picat HOME/instance-4407666-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
Current StackSize limit: 8192 KiB
solver pid=17273, runsolver pid=17270
[startup+0.100203 s]*
/proc/loadavg: 2.00 2.01 1.86 3/199 17274
/proc/meminfo: memFree=24657684/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=25220 CPUtime=0.1 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1350 0 0 0 10 0 0 0 20 0 1 0 527144346 2080477184 6305 33554432000 4194304 5870510 140726613320672 140726613319976 4429440 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 6305 839 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25220 KiB
[startup+0.210055 s]*
/proc/loadavg: 2.00 2.01 1.86 5/199 17274
/proc/meminfo: memFree=24632984/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=35460 CPUtime=0.21 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1355 0 0 0 21 0 0 0 20 0 1 0 527144346 2080477184 8865 33554432000 4194304 5870510 140726613320672 140726613319976 4479224 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 8865 839 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35460 KiB
[startup+0.309682 s]*
/proc/loadavg: 2.00 2.01 1.86 4/199 17274
/proc/meminfo: memFree=24612748/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=47748 CPUtime=0.3 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1361 0 0 0 30 0 0 0 20 0 1 0 527144346 2080477184 11937 33554432000 4194304 5870510 140726613320672 140726613319976 4479492 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 11937 839 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 47748 KiB
[startup+0.700415 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 17274
/proc/meminfo: memFree=24568032/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=88708 CPUtime=0.69 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1381 0 0 0 68 1 0 0 20 0 1 0 527144346 2080477184 22177 33554432000 4194304 5870510 140726613320672 140726613319976 4848073 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 22177 839 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 88708 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 17274
/proc/meminfo: memFree=24461356/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=174732 CPUtime=1.49 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1423 0 0 0 147 2 0 0 20 0 1 0 527144346 2080477184 43683 33554432000 4194304 5870510 140726613320672 140726613319976 4847984 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 43683 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 174732 KiB
[startup+3.10973 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 17274
/proc/meminfo: memFree=24026044/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=350860 CPUtime=3.09 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 1657 0 0 0 304 5 0 0 20 0 1 0 527144346 2080477184 87715 33554432000 4194304 5870510 140726613320672 140726613319976 4442704 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 87715 841 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 350860 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 17274
/proc/meminfo: memFree=23353020/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=2031716 memory=727784 CPUtime=6.29 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 2229 0 0 0 619 10 0 0 20 0 1 0 527144346 2080477184 181946 33554432000 4194304 5870510 140726613320672 140726613320040 4511994 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 507929 181946 861 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 727784 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 17276
/proc/meminfo: memFree=20804224/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3185940 memory=2176616 CPUtime=12.68 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 3576 0 0 0 1237 31 0 0 20 0 1 0 527144346 3262402560 544154 33554432000 4194304 5870510 140726613320672 140726613319448 5246343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 796485 544154 866 410 0 791958 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 3185940 KiB
Current children cumulated memory: 2176616 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 17276
/proc/meminfo: memFree=18484280/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3913472 memory=3118308 CPUtime=25.48 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 117720 0 0 0 2493 55 0 0 20 0 1 0 527144346 4007395328 779577 33554432000 4194304 5870510 140726613320672 140726613319176 5337297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 978368 779577 937 410 0 973841 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3913472 KiB
Current children cumulated memory: 3118308 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 17277
/proc/meminfo: memFree=18617020/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3051036 CPUtime=51.09 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 129533 0 0 0 5049 60 0 0 20 0 1 0 527144346 3957645312 762759 33554432000 4194304 5870510 140726613320672 140726613319928 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 762759 963 410 0 961695 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3051036 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 17282
/proc/meminfo: memFree=18591800/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3063332 CPUtime=102.27 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 337849 0 0 0 10155 72 0 0 20 0 1 0 527144346 3957645312 765833 33554432000 4194304 5870510 140726613320672 140726613319784 5268821 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 765833 965 410 0 961695 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3063332 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 1.89 3/199 17286
/proc/meminfo: memFree=18485856/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3094052 CPUtime=162.24 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 564485 0 0 0 16140 84 0 0 20 0 1 0 527144346 3957645312 773513 33554432000 4194304 5870510 140726613320672 140726613319784 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773513 965 410 0 961695 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3094052 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 1.90 3/199 17290
/proc/meminfo: memFree=18509744/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3997148 memory=3118628 CPUtime=222.24 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 768835 0 0 0 22125 99 0 0 20 0 1 0 527144346 4093079552 779657 33554432000 4194304 5870510 140726613320672 140726613319624 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 999287 779657 965 410 0 994760 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 3997148 KiB
Current children cumulated memory: 3118628 KiB
[startup+278.31 s]
# the end of solver process 17273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=277.043 s, system=1.16772 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.03 2.04 1.90 7/215 17323
/proc/meminfo: memFree=21269064/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3997148 memory=3126820 CPUtime=230.33 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 801132 0 0 0 22933 100 0 0 20 0 1 0 527144346 4093079552 781705 33554432000 4194304 5870510 140726613320672 140726613319624 5288765 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 999287 781705 965 410 0 994760 0
Current children cumulated CPU time: 230.33 s
Current children cumulated vsize: 3997148 KiB
Current children cumulated memory: 3126820 KiB
[startup+256 s]*
/proc/loadavg: 2.02 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21590840/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3086532 CPUtime=255.92 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 879606 0 0 0 25483 109 0 0 20 0 1 0 527144346 3957645312 771633 33554432000 4194304 5870510 140726613320672 140726613319688 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 771633 965 410 0 961695 0
Current children cumulated CPU time: 255.92 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3086532 KiB
[startup+268.8 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21584644/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3092676 CPUtime=268.71 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 907557 0 0 0 26760 111 0 0 20 0 1 0 527144346 3957645312 773169 33554432000 4194304 5870510 140726613320672 140726613319688 5272433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773169 965 410 0 961695 0
Current children cumulated CPU time: 268.71 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3092676 KiB
[startup+275.2 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21580424/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3092676 CPUtime=275.1 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 944253 0 0 0 27397 113 0 0 20 0 1 0 527144346 3957645312 773169 33554432000 4194304 5870510 140726613320672 140726613319688 5258854 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773169 965 410 0 961695 0
Current children cumulated CPU time: 275.1 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3092676 KiB
[startup+276.8 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21578004/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3094724 CPUtime=276.7 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 944428 0 0 0 27557 113 0 0 20 0 1 0 527144346 3957645312 773681 33554432000 4194304 5870510 140726613320672 140726613319688 5267696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773681 965 410 0 961695 0
Current children cumulated CPU time: 276.7 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3094724 KiB
[startup+277.6 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21586564/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3094724 CPUtime=277.5 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 944523 0 0 0 27637 113 0 0 20 0 1 0 527144346 3957645312 773681 33554432000 4194304 5870510 140726613320672 140726613319688 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773681 965 410 0 961695 0
Current children cumulated CPU time: 277.5 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3094724 KiB
[startup+278 s]*
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21586564/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3094724 CPUtime=277.91 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 945188 0 0 0 27678 113 0 0 20 0 1 0 527144346 3957645312 773681 33554432000 4194304 5870510 140726613320672 140726613319688 5282292 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 773681 965 410 0 961695 0
Current children cumulated CPU time: 277.91 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3094724 KiB
[startup+278.2 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=21586564/32770624 swapFree=66976804/67108860
[pid=17273] ppid=17270 vsize=3864888 memory=3104380 CPUtime=278.1 cores=0,2,4,6
/proc/17273/stat : 17273 (xcsp_picat) R 17270 17273 16848 0 -1 4202496 946261 0 0 0 27697 113 0 0 20 0 1 0 527144346 3957645312 776095 33554432000 4194304 5870510 140726613320672 140726613319688 4804231 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42463232 140726613328903 140726613328985 140726613328985 140726613331910 0
/proc/17273/statm: 966222 776095 965 410 0 961695 0
Current children cumulated CPU time: 278.1 s
Current children cumulated vsize: 3864888 KiB
Current children cumulated memory: 3104380 KiB
[startup+278.3 s]*
/proc/loadavg: 2.01 2.03 1.90 3/199 17357
/proc/meminfo: memFree=24340848/32770624 swapFree=66976804/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): 278.31
CPU time (s): 278.211
CPU user time (s): 277.043
CPU system time (s): 1.16772
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 4208764
Max. memory (cumulated for all children) (KiB): 3336204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.043
system time used= 1.16772
maximum resident set size= 3336204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946382
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= 28
involuntary context switches= 966
# summary of solver processes directly reported to runsolver:
# pid: 17273
# total CPU time (s): 278.211
# total CPU user time (s): 277.043
# total CPU system time (s): 1.16772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20846 second user time and 2.04002 second system time
The end
Begin job on node124 at 2019-09-26 17:33:22
IDJOB=4407666
IDBENCH=131340
IDSOLVER=2873
FILE ID=node124/4407666-1569512043
RUNJOBID= node124-1569509600-16879
PBS_JOBID= 21705791
Free space on /var/tmp= 13516 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-11.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407666-1569512043/watcher-4407666-1569512043 -o /var/tmp/evaluation-result-4407666-1569512043/solver-4407666-1569512043 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569509600-16879 --watchdog 2560 xcsp_picat HOME/instance-4407666-1569512043.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9c9a5599c053099b486050b62d747370
RANDOM SEED=8362727
node124.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.47
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.47
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.47
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.47
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: 24689960 kB
MemAvailable: 31779340 kB
Buffers: 178944 kB
Cached: 7016088 kB
SwapCached: 29076 kB
Active: 3550748 kB
Inactive: 3697172 kB
Active(anon): 43332 kB
Inactive(anon): 83880 kB
Active(file): 3507416 kB
Inactive(file): 3613292 kB
Unevictable: 108340 kB
Mlocked: 108340 kB
SwapTotal: 67108860 kB
SwapFree: 66976804 kB
Dirty: 6284 kB
Writeback: 0 kB
AnonPages: 118944 kB
Mapped: 22668 kB
Shmem: 65488 kB
Slab: 426176 kB
SReclaimable: 397132 kB
SUnreclaim: 29044 kB
KernelStack: 3392 kB
PageTables: 5716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2575588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /var/tmp at the end= 13512 MiB
End job on node124 at 2019-09-26 17:38:00