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 (15270 MiB free)
memory of node 1: 16384 MiB (14903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394971-1568331951/watcher-4394971-1568331951 -o /tmp/evaluation-result-4394971-1568331951/solver-4394971-1568331951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4394971-1568331951.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
Current StackSize limit: 8192 KiB
solver pid=29094, runsolver pid=29091
[startup+0.100112 s]*
/proc/loadavg: 2.04 2.06 2.05 3/199 29095
/proc/meminfo: memFree=30876652/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=24492 CPUtime=0.1 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1686 0 0 0 10 0 0 0 20 0 1 0 409451225 2080477184 6123 33554432000 4194304 5870510 140735097879888 140735097877032 4460278 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 6123 839 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24492 KiB
[startup+0.209843 s]*
/proc/loadavg: 2.04 2.06 2.05 4/199 29095
/proc/meminfo: memFree=30864364/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=36780 CPUtime=0.21 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1692 0 0 0 20 1 0 0 20 0 1 0 409451225 2080477184 9195 33554432000 4194304 5870510 140735097879888 140735097877032 4632823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 9195 839 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36780 KiB
[startup+0.30968 s]*
/proc/loadavg: 2.04 2.06 2.05 3/199 29095
/proc/meminfo: memFree=30856172/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=47020 CPUtime=0.31 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1697 0 0 0 30 1 0 0 20 0 1 0 409451225 2080477184 11755 33554432000 4194304 5870510 140735097879888 140735097877032 139669155138560 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 11755 839 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 47020 KiB
[startup+0.700324 s]
/proc/loadavg: 2.04 2.06 2.05 3/199 29095
/proc/meminfo: memFree=30838200/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=81836 CPUtime=0.69 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1714 0 0 0 68 1 0 0 20 0 1 0 409451225 2080477184 20459 33554432000 4194304 5870510 140735097879888 140735097879192 4429546 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 20459 839 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 81836 KiB
[startup+1.50031 s]
/proc/loadavg: 2.04 2.06 2.05 3/199 29095
/proc/meminfo: memFree=30788816/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=161744 CPUtime=1.49 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1753 0 0 0 146 3 0 0 20 0 1 0 409451225 2080477184 40436 33554432000 4194304 5870510 140735097879888 140735097879192 4520559 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 40436 839 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 161744 KiB
[startup+3.10966 s]
/proc/loadavg: 2.04 2.06 2.05 3/199 29095
/proc/meminfo: memFree=30591776/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=319440 CPUtime=3.09 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 1910 0 0 0 304 5 0 0 20 0 1 0 409451225 2080477184 79860 33554432000 4194304 5870510 140735097879888 140735097879192 4761768 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 79860 839 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 319440 KiB
[startup+6.3003 s]
/proc/loadavg: 2.04 2.06 2.05 3/199 29097
/proc/meminfo: memFree=30271788/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2031716 memory=661456 CPUtime=6.29 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 2086 0 0 0 618 11 0 0 20 0 1 0 409451225 2080477184 165364 33554432000 4194304 5870510 140735097879888 140735097879192 4458467 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 507929 165364 839 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 661456 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.06 2.05 3/199 29098
/proc/meminfo: memFree=29348324/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=2374208 memory=1559524 CPUtime=12.68 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 5590 0 0 0 1241 27 0 0 20 0 1 0 409451225 2431188992 389881 33554432000 4194304 5870510 140735097879888 140735097879208 5246382 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 593552 389881 862 410 0 589025 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2374208 KiB
Current children cumulated memory: 1559524 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.05 2.05 3/199 29098
/proc/meminfo: memFree=28376444/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3462392 memory=2591944 CPUtime=25.48 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 120608 0 0 0 2479 69 0 0 20 0 1 0 409451225 3545489408 647986 33554432000 4194304 5870510 140735097879888 140735097878968 4475201 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 865598 647986 874 410 0 861071 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3462392 KiB
Current children cumulated memory: 2591944 KiB
[startup+51.1098 s]
/proc/loadavg: 2.08 2.07 2.05 3/200 29100
/proc/meminfo: memFree=28019352/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3674292 memory=2889228 CPUtime=51.09 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 191807 0 0 0 5023 86 0 0 20 0 1 0 409451225 3762475008 722307 33554432000 4194304 5870510 140735097879888 140735097878232 5337357 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 918573 722307 886 410 0 914046 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3674292 KiB
Current children cumulated memory: 2889228 KiB
[startup+102.301 s]
/proc/loadavg: 1.99 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28324680/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3333020 memory=2555228 CPUtime=102.27 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 387109 0 0 0 10121 106 0 0 20 0 1 0 409451225 3413012480 638807 33554432000 4194304 5870510 140735097879888 140735097878872 5281745 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 833255 638807 907 410 0 828728 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3333020 KiB
Current children cumulated memory: 2555228 KiB
[startup+118.491 s]
# the end of solver process 29094 was just reported to runsolver
# cumulated CPU time of all completed processes: user=117.33 s, system=1.13475 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 1.99 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28324680/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3333020 memory=2555312 CPUtime=102.37 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 387135 0 0 0 10131 106 0 0 20 0 1 0 409451225 3413012480 638828 33554432000 4194304 5870510 140735097879888 140735097878872 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 833255 638828 907 410 0 828728 0
Current children cumulated CPU time: 102.37 s
Current children cumulated vsize: 3333020 KiB
Current children cumulated memory: 2555312 KiB
[startup+108.8 s]
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28322456/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3305848 memory=2533768 CPUtime=108.77 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 405258 0 0 0 10769 108 0 0 20 0 1 0 409451225 3385188352 633442 33554432000 4194304 5870510 140735097879888 140735097878872 5269272 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 826462 633442 907 410 0 821935 0
Current children cumulated CPU time: 108.77 s
Current children cumulated vsize: 3305848 KiB
Current children cumulated memory: 2533768 KiB
[startup+115.2 s]
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28326504/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3355168 memory=2570092 CPUtime=115.17 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 415153 0 0 0 11408 109 0 0 20 0 1 0 409451225 3435692032 642523 33554432000 4194304 5870510 140735097879888 140735097878328 139669154697972 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 838792 642523 907 410 0 834265 0
Current children cumulated CPU time: 115.17 s
Current children cumulated vsize: 3355168 KiB
Current children cumulated memory: 2570092 KiB
[startup+116.8 s]
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28326504/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3355168 memory=2572140 CPUtime=116.77 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 415243 0 0 0 11568 109 0 0 20 0 1 0 409451225 3435692032 643035 33554432000 4194304 5870510 140735097879888 140735097878328 5288833 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 838792 643035 907 410 0 834265 0
Current children cumulated CPU time: 116.77 s
Current children cumulated vsize: 3355168 KiB
Current children cumulated memory: 2572140 KiB
[startup+117.6 s]
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28322416/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3355168 memory=2572140 CPUtime=117.57 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 415277 0 0 0 11648 109 0 0 20 0 1 0 409451225 3435692032 643035 33554432000 4194304 5870510 140735097879888 140735097878328 5282709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 838792 643035 907 410 0 834265 0
Current children cumulated CPU time: 117.57 s
Current children cumulated vsize: 3355168 KiB
Current children cumulated memory: 2572140 KiB
[startup+118 s]*
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28322228/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3355168 memory=2572140 CPUtime=117.98 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 415342 0 0 0 11689 109 0 0 20 0 1 0 409451225 3435692032 643035 33554432000 4194304 5870510 140735097879888 140735097878328 5272392 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 838792 643035 907 410 0 834265 0
Current children cumulated CPU time: 117.98 s
Current children cumulated vsize: 3355168 KiB
Current children cumulated memory: 2572140 KiB
[startup+118.4 s]
/proc/loadavg: 2.00 2.04 2.04 3/198 29104
/proc/meminfo: memFree=28322228/32770624 swapFree=66921000/67108860
[pid=29094] ppid=29091 vsize=3355168 memory=2572140 CPUtime=118.37 cores=0,2,4,6
/proc/29094/stat : 29094 (xcsp_picat) R 29091 29094 27155 0 -1 4202496 415399 0 0 0 11728 109 0 0 20 0 1 0 409451225 3435692032 643035 33554432000 4194304 5870510 140735097879888 140735097878328 5263528 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 35610624 140735097881631 140735097881709 140735097881709 140735097884618 0
/proc/29094/statm: 838792 643035 907 410 0 834265 0
Current children cumulated CPU time: 118.37 s
Current children cumulated vsize: 3355168 KiB
Current children cumulated memory: 2572140 KiB
Child status: 0
Real time (s): 118.491
CPU time (s): 118.465
CPU user time (s): 117.33
CPU system time (s): 1.13475
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 3995856
Max. memory (cumulated for all children) (KiB): 3191404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.33
system time used= 1.13475
maximum resident set size= 3191404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 199
# summary of solver processes directly reported to runsolver:
# pid: 29094
# total CPU time (s): 118.465
# total CPU user time (s): 117.33
# total CPU system time (s): 1.13475
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.480808 second user time and 0.946211 second system time
The end
Begin job on node107 at 2019-09-13 00:43:56
IDJOB=4394971
IDBENCH=126913
IDSOLVER=2844
FILE ID=node107/4394971-1568331951
RUNJOBID= node107-1568318150-27186
PBS_JOBID= 21701137
Free space on /tmp= 55672 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0600-int.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394971-1568331951/watcher-4394971-1568331951 -o /tmp/evaluation-result-4394971-1568331951/solver-4394971-1568331951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4394971-1568331951.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 944fe5e858b8dc1e5468427caea6b95a
RANDOM SEED=828694813
node107.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: 30897476 kB
MemAvailable: 31274628 kB
Buffers: 123344 kB
Cached: 523068 kB
SwapCached: 80260 kB
Active: 935536 kB
Inactive: 347036 kB
Active(anon): 565284 kB
Inactive(anon): 100300 kB
Active(file): 370252 kB
Inactive(file): 246736 kB
Unevictable: 110040 kB
Mlocked: 110040 kB
SwapTotal: 67108860 kB
SwapFree: 66921000 kB
Dirty: 32532 kB
Writeback: 0 kB
AnonPages: 667132 kB
Mapped: 34480 kB
Shmem: 20748 kB
Slab: 180712 kB
SReclaimable: 151996 kB
SUnreclaim: 28716 kB
KernelStack: 3472 kB
PageTables: 6528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 3051380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 344064 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= 55672 MiB
End job on node107 at 2019-09-13 00:45:54