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-4268184-1502525050/watcher-4268184-1502525050 -o /tmp/evaluation-result-4268184-1502525050/solver-4268184-1502525050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268184-1502525050.xml
pid=31856
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.04 2.05 2/187 31859
/proc/meminfo: memFree=30827404/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31859/stat : 31859 (runsolver) D 31856 31859 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 100011310 24240128 108 18446744073709551615 4194304 4338465 140729758469696 140729758467336 140350390993623 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 31698944 140729758478529 140729758478921 140729758478921 140729758482378 0
/proc/31859/statm: 5918 108 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.11 2.04 2.05 2/187 31859
/proc/meminfo: memFree=30827404/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=2036 CPUtime=0 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4194304 124 0 0 0 0 0 0 0 20 0 1 0 100011310 2084864 1 18446744073709551615 4194304 5972588 140730025632528 140730025632528 140561517184688 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 510 1 0 435 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2036
[startup+0.200277 s]
/proc/loadavg: 2.11 2.04 2.05 2/187 31859
/proc/meminfo: memFree=30827404/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=27736 CPUtime=0.09 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 1126 0 0 0 9 0 0 0 20 0 1 0 100011310 28401664 964 18446744073709551615 4194304 5972588 140730025632528 140730025629176 5674877 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 6934 964 715 435 0 297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27736
[startup+0.300257 s]
/proc/loadavg: 2.11 2.04 2.05 2/187 31859
/proc/meminfo: memFree=30827404/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=28456 CPUtime=0.19 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 1347 0 0 0 19 0 0 0 20 0 1 0 100011310 29138944 1078 18446744073709551615 4194304 5972588 140730025632528 140730025629176 140561501162469 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 7114 1078 715 435 0 477 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28456
[startup+0.700232 s]
/proc/loadavg: 2.11 2.04 2.05 2/187 31859
/proc/meminfo: memFree=30827404/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=31720 CPUtime=0.59 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 2320 0 0 0 59 0 0 0 20 0 1 0 100011310 32481280 1768 18446744073709551615 4194304 5972588 140730025632528 140730025627112 5418902 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 7930 1768 715 435 0 1293 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 31720
[startup+1.5003 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 31860
/proc/meminfo: memFree=30761248/32770624 swapFree=0/587996
[pid=31859] ppid=31856 vsize=93284 CPUtime=1.39 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 18371 0 0 0 137 2 0 0 20 0 1 0 100011310 95522816 17308 18446744073709551615 4194304 5972588 140730025632528 140730025627112 4935502 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17308 758 435 0 16684 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 93284
[startup+3.10032 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 31860
/proc/meminfo: memFree=30760504/32770624 swapFree=0/587960
[pid=31859] ppid=31856 vsize=93284 CPUtime=2.99 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 34737 0 0 0 296 3 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935454 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 93284
[startup+6.30032 s]
/proc/loadavg: 2.10 2.04 2.05 3/189 31861
/proc/meminfo: memFree=30759812/32770624 swapFree=0/587964
[pid=31859] ppid=31856 vsize=93284 CPUtime=6.19 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 51319 0 0 0 615 4 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935493 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 93284
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.05 3/189 31861
/proc/meminfo: memFree=30760132/32770624 swapFree=0/587964
[pid=31859] ppid=31856 vsize=93284 CPUtime=12.59 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 67792 0 0 0 1254 5 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935463 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 93284
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/189 31861
/proc/meminfo: memFree=30760060/32770624 swapFree=0/587956
[pid=31859] ppid=31856 vsize=93284 CPUtime=25.39 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 100737 0 0 0 2532 7 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935463 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 93284
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 31861
/proc/meminfo: memFree=30759948/32770624 swapFree=0/587940
[pid=31859] ppid=31856 vsize=93284 CPUtime=51 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 117209 0 0 0 5091 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935634 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 93284
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 31863
/proc/meminfo: memFree=30762568/32770624 swapFree=0/587952
[pid=31859] ppid=31856 vsize=93284 CPUtime=102.19 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 133701 0 0 0 10210 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935502 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 93284
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31859 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.406 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 31863
/proc/meminfo: memFree=30762568/32770624 swapFree=0/587952
[pid=31859] ppid=31856 vsize=93284 CPUtime=102.29 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 133701 0 0 0 10220 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935478 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 93284
[startup+115.2 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 31863
/proc/meminfo: memFree=30763188/32770624 swapFree=0/587944
[pid=31859] ppid=31856 vsize=93284 CPUtime=115.08 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 133702 0 0 0 11499 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935502 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 93284
[startup+118.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31864
/proc/meminfo: memFree=30763216/32770624 swapFree=0/587944
[pid=31859] ppid=31856 vsize=93284 CPUtime=118.28 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 134165 0 0 0 11819 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935642 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 118.28
Current children cumulated vsize (KiB) 93284
[startup+121.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 31865
/proc/meminfo: memFree=30762828/32770624 swapFree=0/587940
[pid=31859] ppid=31856 vsize=93284 CPUtime=121.48 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 134207 0 0 0 12139 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4934287 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 121.48
Current children cumulated vsize (KiB) 93284
[startup+123.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31865
/proc/meminfo: memFree=30763340/32770624 swapFree=0/587952
[pid=31859] ppid=31856 vsize=93284 CPUtime=123.09 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 134207 0 0 0 12300 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935454 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 123.09
Current children cumulated vsize (KiB) 93284
[startup+124 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31865
/proc/meminfo: memFree=30763340/32770624 swapFree=0/587952
[pid=31859] ppid=31856 vsize=93284 CPUtime=123.88 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 134207 0 0 0 12379 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935454 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 123.88
Current children cumulated vsize (KiB) 93284
[startup+124.406 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 31865
/proc/meminfo: memFree=30763436/32770624 swapFree=0/587952
[pid=31859] ppid=31856 vsize=93284 CPUtime=124.29 cores=1,3,5,7
/proc/31859/stat : 31859 (cosoco) R 31856 31859 24445 0 -1 4202496 134207 0 0 0 12420 9 0 0 20 0 1 0 100011310 95522816 17312 18446744073709551615 4194304 5972588 140730025632528 140730025629832 4935692 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13828096 140730025640430 140730025640525 140730025640525 140730025643982 0
/proc/31859/statm: 23321 17312 762 435 0 16684 0
Current children cumulated CPU time (s) 124.29
Current children cumulated vsize (KiB) 93284
Child status: 0
Real time (s): 124.46
CPU time (s): 124.35
CPU user time (s): 124.256
CPU system time (s): 0.094003
CPU usage (%): 99.9116
Max. virtual memory (cumulated for all children) (KiB): 93284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.256
system time used= 0.094003
maximum resident set size= 69328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134262
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= 29
involuntary context switches= 43
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.32551 second user time and 0.533331 second system time
The end
Begin job on node134 at 2017-08-12 09:50:14
IDJOB=4268184
IDBENCH=125997
IDSOLVER=2658
FILE ID=node134/4268184-1502525050
RUNJOBID= node134-1502500343-24509
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-24.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268184-1502525050/watcher-4268184-1502525050 -o /tmp/evaluation-result-4268184-1502525050/solver-4268184-1502525050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268184-1502525050.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 12e2e274c64cbf9c8a04283668281b9c
RANDOM SEED=398680833
node134.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.43
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.43
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.43
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.43
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: 30827404 kB
MemAvailable: 31812996 kB
Buffers: 299924 kB
Cached: 985544 kB
SwapCached: 0 kB
Active: 876812 kB
Inactive: 627624 kB
Active(anon): 220816 kB
Inactive(anon): 39408 kB
Active(file): 655996 kB
Inactive(file): 588216 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 4448 kB
Writeback: 4 kB
AnonPages: 218764 kB
Mapped: 55788 kB
Shmem: 41660 kB
Slab: 140760 kB
SReclaimable: 114428 kB
SUnreclaim: 26332 kB
KernelStack: 3360 kB
PageTables: 6184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 494892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /tmp at the end= 62024 MiB
End job on node134 at 2017-08-12 09:52:19