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 (13740 MiB free)
memory of node 1: 16384 MiB (11139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407780-1569512726/watcher-4407780-1569512726 -o /tmp/evaluation-result-4407780-1569512726/solver-4407780-1569512726 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569509600-8666 --watchdog 2560 xcsp_picat HOME/instance-4407780-1569512726.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9856, runsolver pid=9853
[startup+0.100134 s]*
/proc/loadavg: 2.09 2.06 1.96 4/199 9857
/proc/meminfo: memFree=25455932/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2031716 memory=24960 CPUtime=0.1 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 1315 0 0 0 10 0 0 0 20 0 1 0 527543844 2080477184 6240 33554432000 4194304 5870510 140722462524336 140722462521480 140361739406336 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 507929 6240 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24960 KiB
[startup+0.20954 s]*
/proc/loadavg: 2.09 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25442220/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2039640 memory=38916 CPUtime=0.2 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 2249 0 0 0 19 1 0 0 20 0 1 0 527543844 2088591360 9729 33554432000 4194304 5870510 140722462524336 140722462521480 140361739427719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 509910 9729 898 410 0 505383 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2039640 KiB
Current children cumulated memory: 38916 KiB
[startup+0.309572 s]*
/proc/loadavg: 2.09 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25443400/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2036532 memory=37772 CPUtime=0.31 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 2611 0 0 0 28 3 0 0 20 0 1 0 527543844 2085408768 9443 33554432000 4194304 5870510 140722462524336 140722462523432 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 509133 9443 908 410 0 504606 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036532 KiB
Current children cumulated memory: 37772 KiB
[startup+0.700276 s]
/proc/loadavg: 2.09 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25442624/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2038196 memory=39604 CPUtime=0.69 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 3033 0 0 0 66 3 0 0 20 0 1 0 527543844 2087112704 9901 33554432000 4194304 5870510 140722462524336 140722462523432 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 509549 9901 934 410 0 505022 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038196 KiB
Current children cumulated memory: 39604 KiB
[startup+1.5003 s]
/proc/loadavg: 2.09 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25440392/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2043256 memory=43420 CPUtime=1.49 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 4039 0 0 0 146 3 0 0 20 0 1 0 527543844 2092294144 10855 33554432000 4194304 5870510 140722462524336 140722462523432 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 510814 10855 934 410 0 506287 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043256 KiB
Current children cumulated memory: 43420 KiB
[startup+3.10956 s]
/proc/loadavg: 2.08 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25430784/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2056048 memory=51428 CPUtime=3.1 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 8314 0 0 0 306 4 0 0 20 0 1 0 527543844 2105393152 12857 33554432000 4194304 5870510 140722462524336 140722462522696 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 514012 12857 935 410 0 509485 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056048 KiB
Current children cumulated memory: 51428 KiB
[startup+6.30039 s]
/proc/loadavg: 2.08 2.06 1.96 3/199 9857
/proc/meminfo: memFree=25414604/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2068544 memory=69076 CPUtime=6.29 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 11843 0 0 0 624 5 0 0 20 0 1 0 527543844 2118189056 17269 33554432000 4194304 5870510 140722462524336 140722462523288 5304464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 517136 17269 935 410 0 512609 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068544 KiB
Current children cumulated memory: 69076 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 1.96 3/199 9857
/proc/meminfo: memFree=25378180/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2119540 memory=107292 CPUtime=12.69 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 15918 0 0 0 1263 6 0 0 20 0 1 0 527543844 2170408960 26823 33554432000 4194304 5870510 140722462524336 140722462522696 5274526 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 529885 26823 935 410 0 525358 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2119540 KiB
Current children cumulated memory: 107292 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.05 1.96 3/199 9858
/proc/meminfo: memFree=25354244/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2221148 memory=128420 CPUtime=25.49 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 45041 0 0 0 2539 10 0 0 20 0 1 0 527543844 2274455552 32105 33554432000 4194304 5870510 140722462524336 140722462522696 5305252 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 555287 32105 935 410 0 550760 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2221148 KiB
Current children cumulated memory: 128420 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.05 1.96 3/199 9860
/proc/meminfo: memFree=25349392/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128216 CPUtime=51.11 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 53822 0 0 0 5096 15 0 0 20 0 1 0 527543844 2177769472 32054 33554432000 4194304 5870510 140722462524336 140722462523352 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32054 935 410 0 527155 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128216 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25381036/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=102.29 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60026 0 0 0 10211 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5278144 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+110.664 s]
# the end of solver process 9856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=110.472 s, system=0.186003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.06 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25381036/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=102.39 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60026 0 0 0 10221 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5282684 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+105.6 s]
/proc/loadavg: 2.06 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25380352/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=105.59 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60027 0 0 0 10541 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5262756 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 105.59 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+108.8 s]
/proc/loadavg: 2.05 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25374364/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=108.79 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60027 0 0 0 10861 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5262557 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 108.79 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+109.6 s]
/proc/loadavg: 2.05 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25357924/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=109.59 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60027 0 0 0 10941 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 109.59 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+110.4 s]
/proc/loadavg: 2.05 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25357924/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=110.39 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60027 0 0 0 11021 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 5262751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 110.39 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
[startup+110.6 s]
/proc/loadavg: 2.05 2.05 1.97 3/199 9986
/proc/meminfo: memFree=25357924/32770624 swapFree=66956692/67108860
[pid=9856] ppid=9853 vsize=2126728 memory=128504 CPUtime=110.59 cores=1,3,5,7
/proc/9856/stat : 9856 (xcsp_picat) R 9853 9856 8634 0 -1 4202496 60027 0 0 0 11041 18 0 0 20 0 1 0 527543844 2177769472 32126 33554432000 4194304 5870510 140722462524336 140722462523352 140361744667750 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16019456 140722462532639 140722462532717 140722462532717 140722462535626 0
/proc/9856/statm: 531682 32126 935 410 0 527155 0
Current children cumulated CPU time: 110.59 s
Current children cumulated vsize: 2126728 KiB
Current children cumulated memory: 128504 KiB
Child status: 0
Real time (s): 110.664
CPU time (s): 110.658
CPU user time (s): 110.472
CPU system time (s): 0.186003
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 2221148
Max. memory (cumulated for all children) (KiB): 165160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.472
system time used= 0.186003
maximum resident set size= 165492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60242
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= 12
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 9856
# total CPU time (s): 110.658
# total CPU user time (s): 110.472
# total CPU system time (s): 0.186003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.512615 second user time and 0.776245 second system time
The end
Begin job on node151 at 2019-09-26 17:44:45
IDJOB=4407780
IDBENCH=135041
IDSOLVER=2873
FILE ID=node151/4407780-1569512726
RUNJOBID= node151-1569509600-8666
PBS_JOBID= 21705776
Free space on /tmp= 12408 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K104.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407780-1569512726/watcher-4407780-1569512726 -o /tmp/evaluation-result-4407780-1569512726/solver-4407780-1569512726 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569509600-8666 --watchdog 2560 xcsp_picat HOME/instance-4407780-1569512726.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6ed29f3170f2d24d94b936f24e5b4a9d
RANDOM SEED=244469615
node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 25477292 kB
MemAvailable: 31696240 kB
Buffers: 100732 kB
Cached: 6322404 kB
SwapCached: 50572 kB
Active: 2806180 kB
Inactive: 3758464 kB
Active(anon): 109144 kB
Inactive(anon): 103652 kB
Active(file): 2697036 kB
Inactive(file): 3654812 kB
Unevictable: 108108 kB
Mlocked: 108108 kB
SwapTotal: 67108860 kB
SwapFree: 66956692 kB
Dirty: 3568 kB
Writeback: 0 kB
AnonPages: 50244 kB
Mapped: 24300 kB
Shmem: 62540 kB
Slab: 324408 kB
SReclaimable: 295560 kB
SUnreclaim: 28848 kB
KernelStack: 3760 kB
PageTables: 5580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2634260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 12404 MiB
End job on node151 at 2019-09-26 17:46:36