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 (10775 MiB free)
memory of node 1: 16384 MiB (12653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407779-1569512712/watcher-4407779-1569512712 -o /var/tmp/evaluation-result-4407779-1569512712/solver-4407779-1569512712 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569509600-16691 --watchdog 2560 xcsp_picat HOME/instance-4407779-1569512712.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=17521, runsolver pid=17518
[startup+0.100162 s]*
/proc/loadavg: 2.10 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23969024/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2031716 memory=25484 CPUtime=0.1 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 1424 0 0 0 10 0 0 0 20 0 1 0 527510704 2080477184 6371 33554432000 4194304 5870510 140721550933120 140721550930264 4429440 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 507929 6371 840 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25484 KiB
[startup+0.210083 s]*
/proc/loadavg: 2.10 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23957236/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2039568 memory=37392 CPUtime=0.2 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 2389 0 0 0 18 2 0 0 20 0 1 0 527510704 2088517632 9348 33554432000 4194304 5870510 140721550933120 140721550930264 140115925725063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 509892 9348 898 410 0 505365 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2039568 KiB
Current children cumulated memory: 37392 KiB
[startup+0.309918 s]*
/proc/loadavg: 2.10 2.07 1.97 4/204 17522
/proc/meminfo: memFree=23958292/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2036584 memory=36116 CPUtime=0.31 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 2723 0 0 0 27 4 0 0 20 0 1 0 527510704 2085462016 9029 33554432000 4194304 5870510 140721550933120 140721550932280 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 509146 9029 908 410 0 504619 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036584 KiB
Current children cumulated memory: 36116 KiB
[startup+0.700288 s]
/proc/loadavg: 2.10 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23957920/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2038248 memory=37692 CPUtime=0.69 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 3096 0 0 0 65 4 0 0 20 0 1 0 527510704 2087165952 9423 33554432000 4194304 5870510 140721550933120 140721550932072 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 509562 9423 934 410 0 505035 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038248 KiB
Current children cumulated memory: 37692 KiB
[startup+1.5003 s]
/proc/loadavg: 2.10 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23955612/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2043340 memory=41776 CPUtime=1.49 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 4159 0 0 0 144 5 0 0 20 0 1 0 527510704 2092380160 10444 33554432000 4194304 5870510 140721550933120 140721550931480 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 510835 10444 934 410 0 506308 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043340 KiB
Current children cumulated memory: 41776 KiB
[startup+3.10984 s]
/proc/loadavg: 2.09 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23942340/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2056400 memory=52552 CPUtime=3.1 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 8621 0 0 0 305 5 0 0 20 0 1 0 527510704 2105753600 13138 33554432000 4194304 5870510 140721550933120 140721550931480 5262896 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 514100 13138 934 410 0 509573 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056400 KiB
Current children cumulated memory: 52552 KiB
[startup+6.30036 s]
/proc/loadavg: 2.09 2.07 1.97 3/204 17522
/proc/meminfo: memFree=23927204/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2068888 memory=68784 CPUtime=6.29 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 12229 0 0 0 623 6 0 0 20 0 1 0 527510704 2118541312 17196 33554432000 4194304 5870510 140721550933120 140721550931480 5282747 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 517222 17196 934 410 0 512695 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068888 KiB
Current children cumulated memory: 68784 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.07 1.97 3/203 17522
/proc/meminfo: memFree=23877772/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2149740 memory=121256 CPUtime=12.69 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 17436 0 0 0 1261 8 0 0 20 0 1 0 527510704 2201333760 30314 33554432000 4194304 5870510 140721550933120 140721550932072 5282759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 537435 30314 934 410 0 532908 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2149740 KiB
Current children cumulated memory: 121256 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 1.97 3/203 17524
/proc/meminfo: memFree=23894036/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2099980 memory=99408 CPUtime=25.49 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 34921 0 0 0 2538 11 0 0 20 0 1 0 527510704 2150379520 24852 33554432000 4194304 5870510 140721550933120 140721550932136 5262565 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 524995 24852 934 410 0 520468 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2099980 KiB
Current children cumulated memory: 99408 KiB
[startup+51.1098 s]
/proc/loadavg: 1.97 2.04 1.96 3/203 17525
/proc/meminfo: memFree=23875612/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118084 CPUtime=51.11 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 38474 0 0 0 5099 12 0 0 20 0 1 0 527510704 2169503744 29521 33554432000 4194304 5870510 140721550933120 140721550931688 5282211 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29521 934 410 0 525137 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118084 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17529
/proc/meminfo: memFree=23848040/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=102.29 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44372 0 0 0 10214 15 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+119.842 s]
# the end of solver process 17521 was just reported to runsolver
# cumulated CPU time of all completed processes: user=119.664 s, system=0.183005 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 1.96 3/203 17529
/proc/meminfo: memFree=23848040/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=102.39 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44372 0 0 0 10224 15 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+108.8 s]
/proc/loadavg: 1.99 2.04 1.96 3/204 17531
/proc/meminfo: memFree=23847376/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2167976 memory=153668 CPUtime=108.8 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44581 0 0 0 10864 16 0 0 20 0 1 0 527510704 2220007424 38417 33554432000 4194304 5870510 140721550933120 140721550931560 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 541994 38417 934 410 0 537467 0
Current children cumulated CPU time: 108.8 s
Current children cumulated vsize: 2167976 KiB
Current children cumulated memory: 153668 KiB
[startup+115.2 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17531
/proc/meminfo: memFree=23847688/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=115.2 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44655 0 0 0 11503 17 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5272202 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 115.2 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+118.4 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17532
/proc/meminfo: memFree=23847680/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=118.39 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44719 0 0 0 11822 17 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5281842 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 118.39 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+119.2 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17532
/proc/meminfo: memFree=23847688/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=119.19 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44720 0 0 0 11902 17 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5262738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 119.19 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+119.6 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17532
/proc/meminfo: memFree=23847688/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2118656 memory=118672 CPUtime=119.59 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44721 0 0 0 11942 17 0 0 20 0 1 0 527510704 2169503744 29668 33554432000 4194304 5870510 140721550933120 140721550932136 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 529664 29668 934 410 0 525137 0
Current children cumulated CPU time: 119.59 s
Current children cumulated vsize: 2118656 KiB
Current children cumulated memory: 118672 KiB
[startup+119.8 s]
/proc/loadavg: 1.99 2.04 1.96 3/203 17532
/proc/meminfo: memFree=23847688/32770624 swapFree=67003180/67108860
[pid=17521] ppid=17518 vsize=2167976 memory=149392 CPUtime=119.8 cores=1,3,5,7
/proc/17521/stat : 17521 (xcsp_picat) R 17518 17521 16659 0 -1 4202496 44781 0 0 0 11962 18 0 0 20 0 1 0 527510704 2220007424 37348 33554432000 4194304 5870510 140721550933120 140721550932136 5262976 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 21585920 140721550939143 140721550939225 140721550939225 140721550942150 0
/proc/17521/statm: 541994 37348 934 410 0 537467 0
Current children cumulated CPU time: 119.8 s
Current children cumulated vsize: 2167976 KiB
Current children cumulated memory: 149392 KiB
Child status: 0
Real time (s): 119.843
CPU time (s): 119.847
CPU user time (s): 119.664
CPU system time (s): 0.183005
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2199060
Max. memory (cumulated for all children) (KiB): 184176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.664
system time used= 0.183005
maximum resident set size= 190408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45052
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= 154
# summary of solver processes directly reported to runsolver:
# pid: 17521
# total CPU time (s): 119.847
# total CPU user time (s): 119.664
# total CPU system time (s): 0.183005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.476083 second user time and 0.972899 second system time
The end
Begin job on node133 at 2019-09-26 17:44:31
IDJOB=4407779
IDBENCH=135033
IDSOLVER=2873
FILE ID=node133/4407779-1569512712
RUNJOBID= node133-1569509600-16691
PBS_JOBID= 21705787
Free space on /var/tmp= 13484 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K100.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407779-1569512712/watcher-4407779-1569512712 -o /var/tmp/evaluation-result-4407779-1569512712/solver-4407779-1569512712 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569509600-16691 --watchdog 2560 xcsp_picat HOME/instance-4407779-1569512712.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 26b9bfa7097c81a56529190245724c1c
RANDOM SEED=244469615
node133.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.18
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.18
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.18
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.18
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: 23990704 kB
MemAvailable: 31690436 kB
Buffers: 186024 kB
Cached: 7576456 kB
SwapCached: 4964 kB
Active: 3945892 kB
Inactive: 3960572 kB
Active(anon): 156884 kB
Inactive(anon): 59120 kB
Active(file): 3789008 kB
Inactive(file): 3901452 kB
Unevictable: 109560 kB
Mlocked: 109560 kB
SwapTotal: 67108860 kB
SwapFree: 67003180 kB
Dirty: 3932 kB
Writeback: 4 kB
AnonPages: 196968 kB
Mapped: 24536 kB
Shmem: 63404 kB
Slab: 467552 kB
SReclaimable: 437732 kB
SUnreclaim: 29820 kB
KernelStack: 3696 kB
PageTables: 5472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2703488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 147456 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /var/tmp at the end= 13480 MiB
End job on node133 at 2019-09-26 17:46:31