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 (10304 MiB free)
memory of node 1: 16384 MiB (15503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395467-1568346001/watcher-4395467-1568346001 -o /tmp/evaluation-result-4395467-1568346001/solver-4395467-1568346001 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568333755-10548 --watchdog 2560 xcsp_picat HOME/instance-4395467-1568346001.xml
running on 4 cores: 1,3,5,7
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=13094, runsolver pid=13091
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 2.21 2.19 2.12 3/199 13095
/proc/meminfo: memFree=26301680/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2044612 memory=35800 CPUtime=0.1 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 4142 0 0 0 9 1 0 0 20 0 1 0 410871549 2093682688 8950 33554432000 4194304 5870510 140736296961728 140736296958872 139688481283975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511153 8950 946 410 0 506626 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2044612 KiB
Current children cumulated memory: 35800 KiB
[startup+0.20982 s]*
/proc/loadavg: 2.21 2.19 2.12 3/199 13095
/proc/meminfo: memFree=26198356/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2044744 memory=38104 CPUtime=0.21 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 4193 0 0 0 20 1 0 0 20 0 1 0 410871549 2093817856 9526 33554432000 4194304 5870510 140736296961728 140736296960744 5406995 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511186 9526 963 410 0 506659 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2044744 KiB
Current children cumulated memory: 38104 KiB
[startup+0.309188 s]*
/proc/loadavg: 2.21 2.19 2.12 4/199 13095
/proc/meminfo: memFree=26105948/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2044876 memory=38104 CPUtime=0.31 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 4202 0 0 0 30 1 0 0 20 0 1 0 410871549 2093953024 9526 33554432000 4194304 5870510 140736296961728 140736296960744 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511219 9526 963 410 0 506692 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2044876 KiB
Current children cumulated memory: 38104 KiB
[startup+0.700281 s]
/proc/loadavg: 2.21 2.19 2.12 3/199 13095
/proc/meminfo: memFree=25919332/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2045128 memory=38476 CPUtime=0.69 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 4334 0 0 0 68 1 0 0 20 0 1 0 410871549 2094211072 9619 33554432000 4194304 5870510 140736296961728 140736296960840 5475079 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511282 9619 964 410 0 506755 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 38476 KiB
[startup+1.50028 s]
/proc/loadavg: 2.21 2.19 2.12 3/199 13095
/proc/meminfo: memFree=25463188/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2046080 memory=39264 CPUtime=1.49 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 4571 0 0 0 148 1 0 0 20 0 1 0 410871549 2095185920 9816 33554432000 4194304 5870510 140736296961728 140736296960840 139688480816665 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511520 9816 964 410 0 506993 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046080 KiB
Current children cumulated memory: 39264 KiB
[startup+3.10955 s]
/proc/loadavg: 2.19 2.18 2.12 3/199 13096
/proc/meminfo: memFree=23601748/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2048888 memory=43000 CPUtime=3.1 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 6713 0 0 0 309 1 0 0 20 0 1 0 410871549 2098061312 10750 33554432000 4194304 5870510 140736296961728 140736296960840 139688480816699 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 512222 10750 964 410 0 507695 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2048888 KiB
Current children cumulated memory: 43000 KiB
[startup+6.30026 s]
/proc/loadavg: 2.19 2.18 2.12 3/200 13098
/proc/meminfo: memFree=25753872/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2045660 memory=40840 CPUtime=6.29 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 11969 0 0 0 626 3 0 0 20 0 1 0 410871549 2094755840 10210 33554432000 4194304 5870510 140736296961728 140736296960744 5475030 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 511415 10210 1001 410 0 506888 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045660 KiB
Current children cumulated memory: 40840 KiB
[startup+12.7004 s]
/proc/loadavg: 2.16 2.18 2.11 3/200 13098
/proc/meminfo: memFree=25109248/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2063656 memory=57664 CPUtime=12.69 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 20657 0 0 0 1264 5 0 0 20 0 1 0 410871549 2113183744 14416 33554432000 4194304 5870510 140736296961728 140736296960536 5281974 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 515914 14416 1002 410 0 511387 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2063656 KiB
Current children cumulated memory: 57664 KiB
[startup+25.5004 s]
/proc/loadavg: 2.14 2.17 2.11 3/199 13098
/proc/meminfo: memFree=22888304/32770624 swapFree=66933896/67108860
[pid=13094] ppid=13091 vsize=2068188 memory=56684 CPUtime=25.49 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 31450 0 0 0 2543 6 0 0 20 0 1 0 410871549 2117824512 14171 33554432000 4194304 5870510 140736296961728 140736296960504 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 517047 14171 1002 410 0 512520 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2068188 KiB
Current children cumulated memory: 56684 KiB
[startup+51.1098 s]
/proc/loadavg: 2.09 2.16 2.11 3/201 13108
/proc/meminfo: memFree=24277280/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2075136 memory=61432 CPUtime=51.1 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 39436 0 0 0 5099 11 0 0 20 0 1 0 410871549 2124939264 15358 33554432000 4194304 5870510 140736296961728 140736296960840 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 518784 15358 1002 410 0 514257 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2075136 KiB
Current children cumulated memory: 61432 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.13 2.11 3/201 13112
/proc/meminfo: memFree=22586940/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2068064 memory=63328 CPUtime=102.29 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 47443 0 0 0 10216 13 0 0 20 0 1 0 410871549 2117697536 15832 33554432000 4194304 5870510 140736296961728 140736296960296 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 517016 15832 1002 410 0 512489 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2068064 KiB
Current children cumulated memory: 63328 KiB
[startup+141.551 s]
# the end of solver process 13094 was just reported to runsolver
# cumulated CPU time of all completed processes: user=141.391 s, system=0.163003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.04 2.13 2.11 3/201 13112
/proc/meminfo: memFree=22586940/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2068064 memory=63328 CPUtime=102.39 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 47443 0 0 0 10226 13 0 0 20 0 1 0 410871549 2117697536 15832 33554432000 4194304 5870510 140736296961728 140736296960296 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 517016 15832 1002 410 0 512489 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 2068064 KiB
Current children cumulated memory: 63328 KiB
[startup+128 s]*
/proc/loadavg: 2.02 2.12 2.10 3/200 13114
/proc/meminfo: memFree=25378376/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=72196 CPUtime=128.01 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54308 0 0 0 12785 16 0 0 20 0 1 0 410871549 2129580032 18049 33554432000 4194304 5870510 140736296961728 140736296960904 5262777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18049 1002 410 0 515390 0
Current children cumulated CPU time: 128.01 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 72196 KiB
[startup+134.4 s]
/proc/loadavg: 2.02 2.12 2.10 3/200 13114
/proc/meminfo: memFree=24708776/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=134.4 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54485 0 0 0 13424 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5281712 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 134.4 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+137.6 s]
/proc/loadavg: 2.02 2.12 2.10 3/200 13114
/proc/meminfo: memFree=22573276/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=137.6 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54485 0 0 0 13744 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5308256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 137.6 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+139.2 s]
/proc/loadavg: 2.02 2.12 2.10 3/200 13114
/proc/meminfo: memFree=24999592/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=139.2 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54485 0 0 0 13904 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5282627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 139.2 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+140.8 s]
/proc/loadavg: 2.02 2.12 2.10 3/201 13116
/proc/meminfo: memFree=24059108/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=140.8 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54493 0 0 0 14064 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 140.8 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+141.2 s]
/proc/loadavg: 2.02 2.12 2.10 3/201 13116
/proc/meminfo: memFree=23119516/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=141.2 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54493 0 0 0 14104 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5282357 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 141.2 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+141.4 s]
/proc/loadavg: 2.02 2.12 2.10 3/201 13116
/proc/meminfo: memFree=23119516/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=141.4 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54493 0 0 0 14124 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5281883 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 141.4 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
[startup+141.5 s]
/proc/loadavg: 2.02 2.12 2.10 3/201 13116
/proc/meminfo: memFree=23119516/32770624 swapFree=66933904/67108860
[pid=13094] ppid=13091 vsize=2079668 memory=74752 CPUtime=141.5 cores=1,3,5,7
/proc/13094/stat : 13094 (xcsp_picat) R 13091 13094 10516 0 -1 4202496 54493 0 0 0 14134 16 0 0 20 0 1 0 410871549 2129580032 18688 33554432000 4194304 5870510 140736296961728 140736296960296 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22700032 140736296969247 140736296969325 140736296969325 140736296972234 0
/proc/13094/statm: 519917 18688 1002 410 0 515390 0
Current children cumulated CPU time: 141.5 s
Current children cumulated vsize: 2079668 KiB
Current children cumulated memory: 74752 KiB
Child status: 0
Real time (s): 141.552
CPU time (s): 141.554
CPU user time (s): 141.391
CPU system time (s): 0.163003
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2091156
Max. memory (cumulated for all children) (KiB): 78372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.391
system time used= 0.163003
maximum resident set size= 78372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54579
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= 39
# summary of solver processes directly reported to runsolver:
# pid: 13094
# total CPU time (s): 141.554
# total CPU user time (s): 141.391
# total CPU system time (s): 0.163003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.580419 second user time and 1.08345 second system time
The end
Begin job on node151 at 2019-09-13 05:39:22
IDJOB=4395467
IDBENCH=138376
IDSOLVER=2845
FILE ID=node151/4395467-1568346001
RUNJOBID= node151-1568333755-10548
PBS_JOBID= 21701159
Free space on /tmp= 56996 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff61.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395467-1568346001/watcher-4395467-1568346001 -o /tmp/evaluation-result-4395467-1568346001/solver-4395467-1568346001 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568333755-10548 --watchdog 2560 xcsp_picat HOME/instance-4395467-1568346001.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 275e9239012ab7a817236ff89c8de286
RANDOM SEED=2009698
node151.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.53
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 : 5335.75
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.53
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 : 5335.75
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.53
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 : 5335.75
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.53
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 : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 26443720 kB
MemAvailable: 27003112 kB
Buffers: 141716 kB
Cached: 708596 kB
SwapCached: 72320 kB
Active: 5273872 kB
Inactive: 493068 kB
Active(anon): 4851780 kB
Inactive(anon): 96488 kB
Active(file): 422092 kB
Inactive(file): 396580 kB
Unevictable: 111208 kB
Mlocked: 111208 kB
SwapTotal: 67108860 kB
SwapFree: 66933896 kB
Dirty: 3120 kB
Writeback: 0 kB
AnonPages: 4959536 kB
Mapped: 37100 kB
Shmem: 23148 kB
Slab: 141664 kB
SReclaimable: 113112 kB
SUnreclaim: 28552 kB
KernelStack: 3520 kB
PageTables: 14564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 9430372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4911104 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 56992 MiB
End job on node151 at 2019-09-13 05:41:43