runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241917-1500652990/watcher-4241917-1500652990 -o /tmp/evaluation-result-4241917-1500652990/solver-4241917-1500652990 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241917-1500652990.xml
pid=3125
running on 8 cores: 0,2,4,6,8,10,12,14
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 3/242 3128
/proc/meminfo: memFree=32020604/32770624 swapFree=6268/209500
[pid=3128] ppid=3125 vsize=30292 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 1790 0 0 0 1 0 0 0 20 0 1 0 567451 31019008 1624 33554432000 4194304 5970956 140736783489760 140736783486360 5417055 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 7573 1624 712 434 0 937 0
[startup+0.100138 s]
/proc/loadavg: 2.06 2.04 2.00 3/242 3128
/proc/meminfo: memFree=32020604/32770624 swapFree=6268/209500
[pid=3128] ppid=3125 vsize=61448 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 7686 0 0 0 8 1 0 0 20 0 1 0 567451 62922752 8494 33554432000 4194304 5970956 140736783489760 140736783486584 5279679 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 15362 8494 752 434 0 8726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61448
[startup+0.200449 s]
/proc/loadavg: 2.06 2.04 2.00 3/242 3128
/proc/meminfo: memFree=32020604/32770624 swapFree=6268/209500
[pid=3128] ppid=3125 vsize=110716 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 16224 0 0 0 16 3 0 0 20 0 1 0 567451 113373184 21144 33554432000 4194304 5970956 140736783489760 140736783486584 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 27679 21144 752 434 0 21043 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 110716
[startup+0.300396 s]
/proc/loadavg: 2.06 2.04 2.00 3/242 3128
/proc/meminfo: memFree=32020604/32770624 swapFree=6268/209500
[pid=3128] ppid=3125 vsize=199588 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 25425 0 0 0 25 4 0 0 20 0 1 0 567451 204378112 36448 33554432000 4194304 5970956 140736783489760 140736783487160 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 49897 36448 752 434 0 43261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 199588
[startup+0.700361 s]
/proc/loadavg: 2.06 2.04 2.00 3/242 3128
/proc/meminfo: memFree=32020604/32770624 swapFree=6268/209500
[pid=3128] ppid=3125 vsize=467916 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 56272 0 0 0 59 10 0 0 20 0 1 0 567451 479145984 93911 33554432000 4194304 5970956 140736783489760 140736783486584 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 116979 93911 752 434 0 110343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 467916
[startup+1.50033 s]
/proc/loadavg: 2.06 2.04 2.00 3/243 3129
/proc/meminfo: memFree=31423092/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=874376 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 112568 0 0 0 128 20 0 0 20 0 1 0 567451 895361024 206370 33554432000 4194304 5970956 140736783489760 140736783486584 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 218594 206436 752 434 0 211958 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 874376
[startup+3.10032 s]
/proc/loadavg: 2.06 2.04 2.00 3/243 3129
/proc/meminfo: memFree=30809304/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=1988560 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 224726 0 0 0 267 42 0 0 20 0 1 0 567451 2036285440 425773 33554432000 4194304 5970956 140736783489760 140736783486584 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 497140 425773 752 434 0 490504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1988560
[startup+6.30031 s]
/proc/loadavg: 2.06 2.04 2.00 3/243 3129
/proc/meminfo: memFree=29012592/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=3677148 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 441662 0 0 0 543 86 0 0 20 0 1 0 567451 3765399552 858946 33554432000 4194304 5970956 140736783489760 140736783486584 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 919287 858946 752 434 0 912651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3677148
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3128 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40039 s]
/proc/loadavg: 2.06 2.04 2.00 3/243 3129
/proc/meminfo: memFree=29012592/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=3702560 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 448125 0 0 0 552 87 0 0 20 0 1 0 567451 3791421440 871536 33554432000 4194304 5970956 140736783489760 140736783486584 5279748 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 925640 871536 752 434 0 919004 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 3702560
[startup+9.60027 s]
/proc/loadavg: 2.05 2.04 2.00 3/243 3129
/proc/meminfo: memFree=27254860/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=5703184 CPUtime=9.58 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 659034 0 0 0 828 130 0 0 20 0 1 0 567451 5840060416 1297523 33554432000 4194304 5970956 140736783489760 140736783486584 140461183441451 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 1425829 1297523 752 434 0 1419193 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 5703184
[startup+11.2003 s]
/proc/loadavg: 2.05 2.04 2.00 3/243 3129
/proc/meminfo: memFree=26096308/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=7550652 CPUtime=11.18 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202496 748013 0 0 0 968 150 0 0 20 0 1 0 567451 7731867648 1478344 33554432000 4194304 5970956 140736783489760 140736783487016 4913105 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33665024 140736783496380 140736783496515 140736783496515 140736783499214 0
/proc/3128/statm: 1887663 1478344 758 434 0 1881027 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 7550652
[startup+11.6002 s]
/proc/loadavg: 2.05 2.04 2.00 3/243 3129
/proc/meminfo: memFree=26096308/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=0 CPUtime=11.58 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202500 753989 0 0 0 1006 152 0 0 20 0 1 0 567451 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 0
[startup+11.8003 s]
/proc/loadavg: 2.05 2.04 2.00 3/243 3129
/proc/meminfo: memFree=26096308/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=0 CPUtime=11.78 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202500 753989 0 0 0 1006 172 0 0 20 0 1 0 567451 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 0
[startup+11.9003 s]
/proc/loadavg: 2.05 2.04 2.00 3/243 3129
/proc/meminfo: memFree=26096308/32770624 swapFree=6268/209472
[pid=3128] ppid=3125 vsize=0 CPUtime=11.88 cores=0,2,4,6,8,10,12,14
/proc/3128/stat : 3128 (cosoco) R 3125 3128 2456 0 -1 4202500 753989 0 0 0 1006 182 0 0 20 0 1 0 567451 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 11.9385
CPU time (s): 11.9252
CPU user time (s): 10.0623
CPU system time (s): 1.86289
CPU usage (%): 99.8884
Max. virtual memory (cumulated for all children) (KiB): 7555632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0623
system time used= 1.86289
maximum resident set size= 5919324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753989
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= 14
involuntary context switches= 604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036966 second user time and 0.079894 second system time
The end
Begin job on node123 at 2017-07-21 18:03:10
IDJOB=4241917
IDBENCH=131533
IDSOLVER=2621
FILE ID=node123/4241917-1500652990
RUNJOBID= node123-1500648174-2489
PBS_JOBID= 20623297
Free space on /tmp= 62008 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241917-1500652990/watcher-4241917-1500652990 -o /tmp/evaluation-result-4241917-1500652990/solver-4241917-1500652990 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241917-1500652990.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 98d2d58aab7f5f40944baaa5254cf1ac
RANDOM SEED=993501368
node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.12
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.12
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.12
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.12
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
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.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
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 : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2400.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
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 : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
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.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 32020620 kB
MemAvailable: 32002320 kB
Buffers: 30144 kB
Cached: 263920 kB
SwapCached: 0 kB
Active: 157304 kB
Inactive: 218116 kB
Active(anon): 84092 kB
Inactive(anon): 8616 kB
Active(file): 73212 kB
Inactive(file): 209500 kB
Unevictable: 6268 kB
Mlocked: 6268 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2544 kB
Writeback: 0 kB
AnonPages: 86992 kB
Mapped: 30120 kB
Shmem: 8840 kB
Slab: 61320 kB
SReclaimable: 29644 kB
SUnreclaim: 31676 kB
KernelStack: 4224 kB
PageTables: 5176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 356080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 62008 MiB
End job on node123 at 2017-07-21 18:03:22