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 (14395 MiB free)
memory of node 1: 16384 MiB (15165 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394939-1568324220/watcher-4394939-1568324220 -o /tmp/evaluation-result-4394939-1568324220/solver-4394939-1568324220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4394939-1568324220.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15413, runsolver pid=15410
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30254164/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2031716 memory=21452 CPUtime=0.1 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 1971 0 0 0 10 0 0 0 20 0 1 0 408344773 2080477184 5363 33554432000 4194304 5870510 140725640401152 140725640400456 4534878 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 507929 5363 857 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21452 KiB
[startup+0.210193 s]*
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30249820/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2031716 memory=23756 CPUtime=0.21 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 2048 0 0 0 21 0 0 0 20 0 1 0 408344773 2080477184 5939 33554432000 4194304 5870510 140725640401152 140725640400456 4643192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 507929 5939 859 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23756 KiB
[startup+0.310009 s]*
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30249448/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2031716 memory=23756 CPUtime=0.31 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 2048 0 0 0 31 0 0 0 20 0 1 0 408344773 2080477184 5939 33554432000 4194304 5870510 140725640401152 140725640400456 4643027 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 507929 5939 859 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23756 KiB
[startup+0.700374 s]
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30247276/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2073048 memory=71280 CPUtime=0.7 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 11138 0 0 0 68 2 0 0 20 0 1 0 408344773 2122801152 17754 33554432000 4194304 5870510 140725640401152 140725640399880 140645199100901 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 518262 17754 887 410 0 513735 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2073048 KiB
Current children cumulated memory: 71280 KiB
[startup+1.50026 s]
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30152952/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2127424 memory=120816 CPUtime=1.49 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 22194 0 0 0 146 3 0 0 20 0 1 0 408344773 2178482176 30204 33554432000 4194304 5870510 140725640401152 140725640399880 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 531856 30204 926 410 0 527329 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2127424 KiB
Current children cumulated memory: 120816 KiB
[startup+3.10962 s]
/proc/loadavg: 1.96 1.99 1.95 3/206 15414
/proc/meminfo: memFree=30146080/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2127692 memory=121284 CPUtime=3.1 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 22834 0 0 0 306 4 0 0 20 0 1 0 408344773 2178756608 30321 33554432000 4194304 5870510 140725640401152 140725640400408 5407114 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 531923 30321 944 410 0 527396 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2127692 KiB
Current children cumulated memory: 121284 KiB
[startup+6.30026 s]
/proc/loadavg: 1.89 1.97 1.95 3/206 15415
/proc/meminfo: memFree=30150208/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2128228 memory=121888 CPUtime=6.29 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 27907 0 0 0 624 5 0 0 20 0 1 0 408344773 2179305472 30472 33554432000 4194304 5870510 140725640401152 140725640400408 5478381 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 532057 30472 944 410 0 527530 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2128228 KiB
Current children cumulated memory: 121888 KiB
[startup+12.7003 s]
/proc/loadavg: 1.89 1.97 1.95 3/206 15415
/proc/meminfo: memFree=30142552/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2129556 memory=125320 CPUtime=12.68 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 34900 0 0 0 1261 7 0 0 20 0 1 0 408344773 2180665344 31330 33554432000 4194304 5870510 140725640401152 140725640400344 5573422 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 532389 31330 944 410 0 527862 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2129556 KiB
Current children cumulated memory: 125320 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 1.97 1.95 3/206 15415
/proc/meminfo: memFree=30151376/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2125744 memory=117932 CPUtime=25.49 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 60434 0 0 0 2537 12 0 0 20 0 1 0 408344773 2176761856 29483 33554432000 4194304 5870510 140725640401152 140725640400408 5282429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 531436 29483 977 410 0 526909 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2125744 KiB
Current children cumulated memory: 117932 KiB
[startup+51.11 s]
/proc/loadavg: 1.95 1.97 1.95 3/206 15417
/proc/meminfo: memFree=30125116/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2144532 memory=141844 CPUtime=51.1 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 81055 0 0 0 5094 16 0 0 20 0 1 0 408344773 2196000768 35461 33554432000 4194304 5870510 140725640401152 140725640399512 5306810 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 536133 35461 977 410 0 531606 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2144532 KiB
Current children cumulated memory: 141844 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/207 15422
/proc/meminfo: memFree=30086784/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2176936 memory=175344 CPUtime=102.28 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 122809 0 0 0 10208 20 0 0 20 0 1 0 408344773 2229182464 43836 33554432000 4194304 5870510 140725640401152 140725640400168 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 544234 43836 977 410 0 539707 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2176936 KiB
Current children cumulated memory: 175344 KiB
[startup+141.667 s]
# the end of solver process 15413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=141.424 s, system=0.230981 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.05 2.01 1.96 3/207 15422
/proc/meminfo: memFree=30086784/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2176936 memory=175344 CPUtime=102.38 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 122815 0 0 0 10218 20 0 0 20 0 1 0 408344773 2229182464 43836 33554432000 4194304 5870510 140725640401152 140725640400168 5288858 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 544234 43836 977 410 0 539707 0
Current children cumulated CPU time: 102.38 s
Current children cumulated vsize: 2176936 KiB
Current children cumulated memory: 175344 KiB
[startup+128 s]*
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30042396/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=215904 CPUtime=127.99 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 123549 0 0 0 12778 21 0 0 20 0 1 0 408344773 2279686144 53976 33554432000 4194304 5870510 140725640401152 140725640399592 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 53976 977 410 0 552037 0
Current children cumulated CPU time: 127.99 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 215904 KiB
[startup+134.4 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30041652/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=134.38 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 124069 0 0 0 13417 21 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 134.38 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
[startup+137.6 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30048216/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=137.58 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 141042 0 0 0 13736 22 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 137.58 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
[startup+139.2 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30053568/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=139.18 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 142248 0 0 0 13896 22 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 139.18 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
[startup+140.8 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30050052/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=140.78 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 142299 0 0 0 14056 22 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 140.78 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
[startup+141.2 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30059500/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=141.18 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 142305 0 0 0 14096 22 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5258783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 141.18 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
[startup+141.6 s]
/proc/loadavg: 2.03 2.01 1.96 3/207 15427
/proc/meminfo: memFree=30059500/32770624 swapFree=67008676/67108860
[pid=15413] ppid=15410 vsize=2226256 memory=207880 CPUtime=141.58 cores=1,3,5,7
/proc/15413/stat : 15413 (xcsp_picat) R 15410 15413 14854 0 -1 4202496 142347 0 0 0 14136 22 0 0 20 0 1 0 408344773 2279686144 51970 33554432000 4194304 5870510 140725640401152 140725640400168 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35786752 140725640410143 140725640410221 140725640410221 140725640413130 0
/proc/15413/statm: 556564 51970 977 410 0 552037 0
Current children cumulated CPU time: 141.58 s
Current children cumulated vsize: 2226256 KiB
Current children cumulated memory: 207880 KiB
Child status: 0
Real time (s): 141.667
CPU time (s): 141.655
CPU user time (s): 141.424
CPU system time (s): 0.230981
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 2275576
Max. memory (cumulated for all children) (KiB): 246280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.424
system time used= 0.230981
maximum resident set size= 248328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142723
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= 137
# summary of solver processes directly reported to runsolver:
# pid: 15413
# total CPU time (s): 141.655
# total CPU user time (s): 141.424
# total CPU system time (s): 0.230981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.542795 second user time and 1.13627 second system time
The end
Begin job on node132 at 2019-09-12 23:36:11
IDJOB=4394939
IDBENCH=120805
IDSOLVER=2844
FILE ID=node132/4394939-1568324220
RUNJOBID= node132-1568322174-14886
PBS_JOBID= 21701138
Free space on /tmp= 60300 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Rlfap/Rlfap-m1-graphsMod/Rlfap-graph-08-f10.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394939-1568324220/watcher-4394939-1568324220 -o /tmp/evaluation-result-4394939-1568324220/solver-4394939-1568324220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4394939-1568324220.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 53ef449e7d5451b48f2cdc0cd77eaa71
RANDOM SEED=359953304
node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30269884 kB
MemAvailable: 31628168 kB
Buffers: 118592 kB
Cached: 1510204 kB
SwapCached: 8652 kB
Active: 601996 kB
Inactive: 1319748 kB
Active(anon): 291704 kB
Inactive(anon): 28020 kB
Active(file): 310292 kB
Inactive(file): 1291728 kB
Unevictable: 109184 kB
Mlocked: 109184 kB
SwapTotal: 67108860 kB
SwapFree: 67008676 kB
Dirty: 3092 kB
Writeback: 32 kB
AnonPages: 399292 kB
Mapped: 33156 kB
Shmem: 18544 kB
Slab: 173112 kB
SReclaimable: 144200 kB
SUnreclaim: 28912 kB
KernelStack: 3824 kB
PageTables: 6432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2789764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 337920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 136576 kB
DirectMap2M: 33409024 kB
Free space on /tmp at the end= 60300 MiB
End job on node132 at 2019-09-12 23:38:33