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 (13754 MiB free)
memory of node 1: 16384 MiB (15650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395447-1568345353/watcher-4395447-1568345353 -o /tmp/evaluation-result-4395447-1568345353/solver-4395447-1568345353 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395447-1568345353.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=27477, runsolver pid=27474
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27478
/proc/meminfo: memFree=30079596/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2044768 memory=35384 CPUtime=0.09 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 3415 0 0 0 9 0 0 0 20 0 1 0 410783938 2093842432 8846 33554432000 4194304 5870510 140730754385424 140730754383976 5478396 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511192 8846 946 410 0 506665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2044768 KiB
Current children cumulated memory: 35384 KiB
[startup+0.20971 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27478
/proc/meminfo: memFree=30079596/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2044768 memory=35384 CPUtime=0.2 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 3440 0 0 0 20 0 0 0 20 0 1 0 410783938 2093842432 8846 33554432000 4194304 5870510 140730754385424 140730754383976 139761051668151 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511192 8846 946 410 0 506665 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2044768 KiB
Current children cumulated memory: 35384 KiB
[startup+0.308937 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27478
/proc/meminfo: memFree=30079348/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2044860 memory=35544 CPUtime=0.3 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 3459 0 0 0 30 0 0 0 20 0 1 0 410783938 2093936640 8886 33554432000 4194304 5870510 140730754385424 140730754384680 139761052135303 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511215 8886 964 410 0 506688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2044860 KiB
Current children cumulated memory: 35544 KiB
[startup+0.700341 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27478
/proc/meminfo: memFree=30079228/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2045204 memory=35812 CPUtime=0.68 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 3611 0 0 0 68 0 0 0 20 0 1 0 410783938 2094288896 8953 33554432000 4194304 5870510 140730754385424 140730754383960 5406896 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511301 8953 964 410 0 506774 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2045204 KiB
Current children cumulated memory: 35812 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27478
/proc/meminfo: memFree=30078856/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2046164 memory=38656 CPUtime=1.49 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 3840 0 0 0 148 1 0 0 20 0 1 0 410783938 2095271936 9664 33554432000 4194304 5870510 140730754385424 140730754384680 139761052135303 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511541 9664 964 410 0 507014 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046164 KiB
Current children cumulated memory: 38656 KiB
[startup+3.10957 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27480
/proc/meminfo: memFree=30072036/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2048848 memory=41400 CPUtime=3.1 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 5749 0 0 0 309 1 0 0 20 0 1 0 410783938 2098020352 10350 33554432000 4194304 5870510 140730754385424 140730754384440 139761051723633 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 512212 10350 964 410 0 507685 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2048848 KiB
Current children cumulated memory: 41400 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27480
/proc/meminfo: memFree=30074772/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2045492 memory=39064 CPUtime=6.29 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 11372 0 0 0 627 2 0 0 20 0 1 0 410783938 2094583808 9766 33554432000 4194304 5870510 140730754385424 140730754383928 5406480 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 511373 9766 1001 410 0 506846 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045492 KiB
Current children cumulated memory: 39064 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27480
/proc/meminfo: memFree=30029516/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2063744 memory=55752 CPUtime=12.69 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 18664 0 0 0 1265 4 0 0 20 0 1 0 410783938 2113273856 13938 33554432000 4194304 5870510 140730754385424 140730754384232 5281904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 515936 13938 1001 410 0 511409 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2063744 KiB
Current children cumulated memory: 55752 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27480
/proc/meminfo: memFree=29997212/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2079768 memory=68060 CPUtime=25.49 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 24645 0 0 0 2543 6 0 0 20 0 1 0 410783938 2129682432 17015 33554432000 4194304 5870510 140730754385424 140730754383992 5282729 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 519942 17015 1003 410 0 515415 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2079768 KiB
Current children cumulated memory: 68060 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27483
/proc/meminfo: memFree=30009220/32770624 swapFree=67001756/67108860
[pid=27477] ppid=27474 vsize=2063788 memory=55652 CPUtime=51.1 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 37403 0 0 0 5099 11 0 0 20 0 1 0 410783938 2113318912 13913 33554432000 4194304 5870510 140730754385424 140730754384136 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 515947 13913 1003 410 0 511420 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2063788 KiB
Current children cumulated memory: 55652 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27496
/proc/meminfo: memFree=29995836/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2075252 memory=68444 CPUtime=102.3 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 47336 0 0 0 10213 17 0 0 20 0 1 0 410783938 2125058048 17111 33554432000 4194304 5870510 140730754385424 140730754383864 5268821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 518813 17111 1003 410 0 514286 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2075252 KiB
Current children cumulated memory: 68444 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27500
/proc/meminfo: memFree=30004724/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2079780 memory=73056 CPUtime=162.3 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 50133 0 0 0 16210 20 0 0 20 0 1 0 410783938 2129694720 18264 33554432000 4194304 5870510 140730754385424 140730754383992 5289457 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 519945 18264 1003 410 0 515418 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2079780 KiB
Current children cumulated memory: 73056 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27504
/proc/meminfo: memFree=30048968/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2075252 memory=64508 CPUtime=222.31 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 61828 0 0 0 22206 25 0 0 20 0 1 0 410783938 2125058048 16127 33554432000 4194304 5870510 140730754385424 140730754384536 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 518813 16127 1003 410 0 514286 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2075252 KiB
Current children cumulated memory: 64508 KiB
[startup+272.01 s]
# the end of solver process 27477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=271.745 s, system=0.276025 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.01 2.05 3/202 27506
/proc/meminfo: memFree=30044888/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2075252 memory=68604 CPUtime=230.41 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 61830 0 0 0 23016 25 0 0 20 0 1 0 410783938 2125058048 17151 33554432000 4194304 5870510 140730754385424 140730754384536 139761057354688 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 518813 17151 1003 410 0 514286 0
Current children cumulated CPU time: 230.41 s
Current children cumulated vsize: 2075252 KiB
Current children cumulated memory: 68604 KiB
[startup+256 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30044440/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2075248 memory=68536 CPUtime=256.02 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63402 0 0 0 25575 27 0 0 20 0 1 0 410783938 2125053952 17134 33554432000 4194304 5870510 140730754385424 140730754383864 5282297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 518812 17134 1003 410 0 514285 0
Current children cumulated CPU time: 256.02 s
Current children cumulated vsize: 2075248 KiB
Current children cumulated memory: 68536 KiB
[startup+262.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30042392/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=70584 CPUtime=262.41 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63405 0 0 0 26214 27 0 0 20 0 1 0 410783938 2141462528 17646 33554432000 4194304 5870510 140730754385424 140730754383864 5281796 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 17646 1003 410 0 518291 0
Current children cumulated CPU time: 262.41 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 70584 KiB
[startup+268.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30042392/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=72632 CPUtime=268.81 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63407 0 0 0 26854 27 0 0 20 0 1 0 410783938 2141462528 18158 33554432000 4194304 5870510 140730754385424 140730754383864 5275370 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18158 1003 410 0 518291 0
Current children cumulated CPU time: 268.81 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 72632 KiB
[startup+270.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30005280/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=74680 CPUtime=270.41 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63409 0 0 0 27014 27 0 0 20 0 1 0 410783938 2141462528 18670 33554432000 4194304 5870510 140730754385424 140730754383864 5272962 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18670 1003 410 0 518291 0
Current children cumulated CPU time: 270.41 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 74680 KiB
[startup+271.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30003232/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=74680 CPUtime=271.21 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63409 0 0 0 27094 27 0 0 20 0 1 0 410783938 2141462528 18670 33554432000 4194304 5870510 140730754385424 140730754383864 5272345 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18670 1003 410 0 518291 0
Current children cumulated CPU time: 271.21 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 74680 KiB
[startup+271.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30003232/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=74680 CPUtime=271.61 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63409 0 0 0 27134 27 0 0 20 0 1 0 410783938 2141462528 18670 33554432000 4194304 5870510 140730754385424 140730754383864 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18670 1003 410 0 518291 0
Current children cumulated CPU time: 271.61 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 74680 KiB
[startup+271.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30003232/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=74680 CPUtime=271.81 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63409 0 0 0 27154 27 0 0 20 0 1 0 410783938 2141462528 18670 33554432000 4194304 5870510 140730754385424 140730754383864 5281904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18670 1003 410 0 518291 0
Current children cumulated CPU time: 271.81 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 74680 KiB
[startup+271.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27507
/proc/meminfo: memFree=30003232/32770624 swapFree=67001760/67108860
[pid=27477] ppid=27474 vsize=2091272 memory=74680 CPUtime=271.91 cores=0,2,4,6
/proc/27477/stat : 27477 (xcsp_picat) R 27474 27477 22075 0 -1 4202496 63409 0 0 0 27164 27 0 0 20 0 1 0 410783938 2141462528 18670 33554432000 4194304 5870510 140730754385424 140730754383864 5307152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26447872 140730754393119 140730754393197 140730754393197 140730754396106 0
/proc/27477/statm: 522818 18670 1003 410 0 518291 0
Current children cumulated CPU time: 271.91 s
Current children cumulated vsize: 2091272 KiB
Current children cumulated memory: 74680 KiB
Child status: 0
Real time (s): 272.01
CPU time (s): 272.021
CPU user time (s): 271.745
CPU system time (s): 0.276025
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2091272
Max. memory (cumulated for all children) (KiB): 78844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.745
system time used= 0.276025
maximum resident set size= 78844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63438
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= 251
# summary of solver processes directly reported to runsolver:
# pid: 27477
# total CPU time (s): 272.021
# total CPU user time (s): 271.745
# total CPU system time (s): 0.276025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03761 second user time and 2.06551 second system time
The end
Begin job on node136 at 2019-09-13 05:28:29
IDJOB=4395447
IDBENCH=138316
IDSOLVER=2845
FILE ID=node136/4395447-1568345353
RUNJOBID= node136-1568323423-22106
PBS_JOBID= 21701143
Free space on /tmp= 56788 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff62.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395447-1568345353/watcher-4395447-1568345353 -o /tmp/evaluation-result-4395447-1568345353/solver-4395447-1568345353 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395447-1568345353.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8
RANDOM SEED=969539645
node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30110492 kB
MemAvailable: 31681416 kB
Buffers: 86652 kB
Cached: 1764948 kB
SwapCached: 3600 kB
Active: 1110948 kB
Inactive: 965288 kB
Active(anon): 223204 kB
Inactive(anon): 41916 kB
Active(file): 887744 kB
Inactive(file): 923372 kB
Unevictable: 107452 kB
Mlocked: 107452 kB
SwapTotal: 67108860 kB
SwapFree: 67001756 kB
Dirty: 3224 kB
Writeback: 0 kB
AnonPages: 334348 kB
Mapped: 45180 kB
Shmem: 31640 kB
Slab: 180104 kB
SReclaimable: 151284 kB
SUnreclaim: 28820 kB
KernelStack: 3680 kB
PageTables: 6060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2735748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 56784 MiB
End job on node136 at 2019-09-13 05:33:01