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 (4125 MiB free)
memory of node 1: 16384 MiB (4716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302963-1533992561/watcher-4302963-1533992561 -o /tmp/evaluation-result-4302963-1533992561/solver-4302963-1533992561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4302963-1533992561.xml
running on 4 cores: 0,2,4,6
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=13417, runsolver pid=13414
Current StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9039040/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2026324 memory=17824 CPUtime=0.1 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2098 0 0 0 10 0 0 0 20 0 1 0 216818982 2074955776 4456 33554432000 4194304 5849708 140726901692016 140726901692016 139795533906813 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506581 4456 715 405 0 503526 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026324 KiB
Current children cumulated memory: 17824 KiB
[startup+0.209752 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9039040/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2026324 memory=17824 CPUtime=0.21 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2098 0 0 0 21 0 0 0 20 0 1 0 216818982 2074955776 4456 33554432000 4194304 5849708 140726901692016 140726901692016 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506581 4456 715 405 0 503526 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026324 KiB
Current children cumulated memory: 17824 KiB
[startup+0.308947 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9039040/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2026324 memory=17824 CPUtime=0.31 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2098 0 0 0 31 0 0 0 20 0 1 0 216818982 2074955776 4456 33554432000 4194304 5849708 140726901692016 140726901692016 5518385 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506581 4456 715 405 0 503526 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026324 KiB
Current children cumulated memory: 17824 KiB
[startup+0.700256 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9038404/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2026776 memory=18224 CPUtime=0.69 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2228 0 0 0 69 0 0 0 20 0 1 0 216818982 2075418624 4556 33554432000 4194304 5849708 140726901692016 140726901692016 5522745 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506694 4556 718 405 0 503639 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026776 KiB
Current children cumulated memory: 18224 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9034952/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2027032 memory=18484 CPUtime=1.49 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2292 0 0 0 149 0 0 0 20 0 1 0 216818982 2075680768 4621 33554432000 4194304 5849708 140726901692016 140726901691112 5471846 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506758 4621 718 405 0 503703 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2027032 KiB
Current children cumulated memory: 18484 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9036988/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2027828 memory=19548 CPUtime=3.09 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 2947 0 0 0 309 0 0 0 20 0 1 0 216818982 2076495872 4887 33554432000 4194304 5849708 140726901692016 140726901691000 5391822 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506957 4887 722 405 0 503902 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027828 KiB
Current children cumulated memory: 19548 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9037604/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2027664 memory=19424 CPUtime=6.29 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 5140 0 0 0 628 1 0 0 20 0 1 0 216818982 2076327936 4856 33554432000 4194304 5849708 140726901692016 140726901691256 5488069 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506916 4856 759 405 0 503861 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2027664 KiB
Current children cumulated memory: 19424 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9032268/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2027528 memory=19288 CPUtime=12.69 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 8437 0 0 0 1265 4 0 0 20 0 1 0 216818982 2076188672 4822 33554432000 4194304 5849708 140726901692016 140726901691112 139795533887325 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506882 4822 759 405 0 503827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2027528 KiB
Current children cumulated memory: 19288 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9026596/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034312 memory=25580 CPUtime=25.49 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 13373 0 0 0 2538 11 0 0 20 0 1 0 216818982 2083135488 6395 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508578 6395 759 405 0 505523 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2034312 KiB
Current children cumulated memory: 25580 KiB
[startup+45.725 s]
# the end of solver process 13417 was just reported to runsolver
# cumulated CPU time of all completed processes: user=45.451 s, system=0.26897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9026596/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034312 memory=25580 CPUtime=25.59 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 13373 0 0 0 2548 11 0 0 20 0 1 0 216818982 2083135488 6395 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508578 6395 759 405 0 505523 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 2034312 KiB
Current children cumulated memory: 25580 KiB
[startup+38.4002 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9023296/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2027108 memory=18704 CPUtime=38.39 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 17750 0 0 0 3818 21 0 0 20 0 1 0 216818982 2075758592 4676 33554432000 4194304 5849708 140726901692016 140726901691256 5534816 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 506777 4676 759 405 0 503722 0
Current children cumulated CPU time: 38.39 s
Current children cumulated vsize: 2027108 KiB
Current children cumulated memory: 18704 KiB
[startup+41.6003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9020452/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034276 memory=25516 CPUtime=41.58 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19430 0 0 0 4137 21 0 0 20 0 1 0 216818982 2083098624 6379 33554432000 4194304 5849708 140726901692016 140726901691256 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508569 6379 759 405 0 505514 0
Current children cumulated CPU time: 41.58 s
Current children cumulated vsize: 2034276 KiB
Current children cumulated memory: 25516 KiB
[startup+43.2003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9016980/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034276 memory=25516 CPUtime=43.19 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19430 0 0 0 4296 23 0 0 20 0 1 0 216818982 2083098624 6379 33554432000 4194304 5849708 140726901692016 140726901691016 5360453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508569 6379 759 405 0 505514 0
Current children cumulated CPU time: 43.19 s
Current children cumulated vsize: 2034276 KiB
Current children cumulated memory: 25516 KiB
[startup+44.8003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9016856/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034276 memory=25516 CPUtime=44.79 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19430 0 0 0 4455 24 0 0 20 0 1 0 216818982 2083098624 6379 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508569 6379 759 405 0 505514 0
Current children cumulated CPU time: 44.79 s
Current children cumulated vsize: 2034276 KiB
Current children cumulated memory: 25516 KiB
[startup+45.2003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9016856/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034276 memory=25516 CPUtime=45.19 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19430 0 0 0 4494 25 0 0 20 0 1 0 216818982 2083098624 6379 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508569 6379 759 405 0 505514 0
Current children cumulated CPU time: 45.19 s
Current children cumulated vsize: 2034276 KiB
Current children cumulated memory: 25516 KiB
[startup+45.6003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9016856/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2034276 memory=25516 CPUtime=45.59 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19430 0 0 0 4533 26 0 0 20 0 1 0 216818982 2083098624 6379 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 508569 6379 759 405 0 505514 0
Current children cumulated CPU time: 45.59 s
Current children cumulated vsize: 2034276 KiB
Current children cumulated memory: 25516 KiB
[startup+45.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13418
/proc/meminfo: memFree=9016856/32770624 swapFree=67108688/67108860
[pid=13417] ppid=13414 vsize=2037640 memory=29144 CPUtime=45.68 cores=0,2,4,6
/proc/13417/stat : 13417 (xcsp_picat) R 13414 13417 12810 0 -1 4202496 19885 0 0 0 4542 26 0 0 20 0 1 0 216818982 2086543360 7286 33554432000 4194304 5849708 140726901692016 140726901690504 139795534356359 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21590016 140726901695670 140726901695748 140726901695748 140726901698506 0
/proc/13417/statm: 509410 7286 759 405 0 506355 0
Current children cumulated CPU time: 45.68 s
Current children cumulated vsize: 2037640 KiB
Current children cumulated memory: 29144 KiB
Child status: 0
Real time (s): 45.725
CPU time (s): 45.7199
CPU user time (s): 45.451
CPU system time (s): 0.26897
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 2037680
Max. memory (cumulated for all children) (KiB): 29440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.451
system time used= 0.26897
maximum resident set size= 29440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19964
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= 2
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 13417
# total CPU time (s): 45.7199
# total CPU user time (s): 45.451
# total CPU system time (s): 0.26897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.182623 second user time and 0.342838 second system time
The end
Begin job on node106 at 2018-08-11 15:02:41
IDJOB=4302963
IDBENCH=141039
IDSOLVER=2778
FILE ID=node106/4302963-1533992561
RUNJOBID= node106-1533989978-12841
PBS_JOBID= 21036938
Free space on /tmp= 39660 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/StillLife/StillLife-wastage-14_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302963-1533992561/watcher-4302963-1533992561 -o /tmp/evaluation-result-4302963-1533992561/solver-4302963-1533992561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4302963-1533992561.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=1255747984
node106.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 : 5334.11
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 : 5334.11
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 : 5334.11
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 : 5334.11
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: 9054128 kB
MemAvailable: 31865248 kB
Buffers: 175412 kB
Cached: 22653984 kB
SwapCached: 0 kB
Active: 9921560 kB
Inactive: 13002608 kB
Active(anon): 41492 kB
Inactive(anon): 105352 kB
Active(file): 9880068 kB
Inactive(file): 12897256 kB
Unevictable: 6996 kB
Mlocked: 6996 kB
SwapTotal: 67108860 kB
SwapFree: 67108688 kB
Dirty: 3252 kB
Writeback: 0 kB
AnonPages: 101236 kB
Mapped: 55620 kB
Shmem: 49632 kB
Slab: 490280 kB
SReclaimable: 462256 kB
SUnreclaim: 28024 kB
KernelStack: 3376 kB
PageTables: 5892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2406436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 39656 MiB
End job on node106 at 2018-08-11 15:03:27