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 (7716 MiB free)
memory of node 1: 16384 MiB (10962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407776-1569512657/watcher-4407776-1569512657 -o /var/tmp/evaluation-result-4407776-1569512657/solver-4407776-1569512657 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569509599-11278 --watchdog 2560 xcsp_picat HOME/instance-4407776-1569512657.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
solver pid=11971, runsolver pid=11968
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19107780/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2031716 memory=23504 CPUtime=0.1 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 1981 0 0 0 10 0 0 0 20 0 1 0 527203995 2080477184 5876 33554432000 4194304 5870510 140723917472800 140723917469944 139686236986368 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 507929 5876 847 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23504 KiB
[startup+0.209798 s]*
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19097792/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2039612 memory=33728 CPUtime=0.21 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 2999 0 0 0 19 2 0 0 20 0 1 0 527203995 2088562688 8432 33554432000 4194304 5870510 140723917472800 140723917471736 139686237007751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 509903 8432 898 410 0 505376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039612 KiB
Current children cumulated memory: 33728 KiB
[startup+0.309681 s]*
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19097048/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2036508 memory=34120 CPUtime=0.31 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 3361 0 0 0 27 4 0 0 20 0 1 0 527203995 2085384192 8530 33554432000 4194304 5870510 140723917472800 140723917471736 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 509127 8530 908 410 0 504600 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036508 KiB
Current children cumulated memory: 34120 KiB
[startup+0.700292 s]
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19097048/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2038172 memory=35680 CPUtime=0.69 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 3760 0 0 0 65 4 0 0 20 0 1 0 527203995 2087088128 8920 33554432000 4194304 5870510 140723917472800 140723917471736 139686242228060 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 509543 8920 934 410 0 505016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038172 KiB
Current children cumulated memory: 35680 KiB
[startup+1.5003 s]
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19092168/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2043360 memory=39820 CPUtime=1.49 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 4755 0 0 0 145 4 0 0 20 0 1 0 527203995 2092400640 9955 33554432000 4194304 5870510 140723917472800 140723917471752 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 510840 9955 934 410 0 506313 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043360 KiB
Current children cumulated memory: 39820 KiB
[startup+3.10961 s]
/proc/loadavg: 1.91 1.97 1.91 3/199 11972
/proc/meminfo: memFree=19082556/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2056148 memory=49392 CPUtime=3.1 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 8861 0 0 0 306 4 0 0 20 0 1 0 527203995 2105495552 12348 33554432000 4194304 5870510 140723917472800 140723917471160 139686236548069 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 514037 12348 935 410 0 509510 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056148 KiB
Current children cumulated memory: 49392 KiB
[startup+6.30038 s]
/proc/loadavg: 2.07 2.00 1.92 3/199 11972
/proc/meminfo: memFree=19066400/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2068796 memory=62932 CPUtime=6.29 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 13103 0 0 0 624 5 0 0 20 0 1 0 527203995 2118447104 15733 33554432000 4194304 5870510 140723917472800 140723917471160 5277382 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 517199 15733 935 410 0 512672 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068796 KiB
Current children cumulated memory: 62932 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.00 1.92 3/199 11972
/proc/meminfo: memFree=19031900/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2070284 memory=68132 CPUtime=12.69 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 18062 0 0 0 1262 7 0 0 20 0 1 0 527203995 2119970816 17033 33554432000 4194304 5870510 140723917472800 140723917471816 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 517571 17033 935 410 0 513044 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2070284 KiB
Current children cumulated memory: 68132 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 2.00 1.93 3/199 11972
/proc/meminfo: memFree=19009900/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119604 memory=112744 CPUtime=25.48 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 23955 0 0 0 2539 9 0 0 20 0 1 0 527203995 2170474496 28186 33554432000 4194304 5870510 140723917472800 140723917471816 5262774 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529901 28186 935 410 0 525374 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2119604 KiB
Current children cumulated memory: 112744 KiB
[startup+51.1099 s]
/proc/loadavg: 2.03 2.00 1.93 3/199 11974
/proc/meminfo: memFree=18990408/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=51.09 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 27891 0 0 0 5098 11 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471368 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/199 11978
/proc/meminfo: memFree=18995512/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=102.28 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 31595 0 0 0 10215 13 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471816 5262756 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+120.511 s]
# the end of solver process 11971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=120.332 s, system=0.164982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.02 2.00 1.93 3/199 11978
/proc/meminfo: memFree=18995512/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=102.38 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 31595 0 0 0 10225 13 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471816 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 102.38 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+108.8 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11978
/proc/meminfo: memFree=18991604/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2168708 memory=151528 CPUtime=108.78 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 31936 0 0 0 10864 14 0 0 20 0 1 0 527203995 2220756992 37882 33554432000 4194304 5870510 140723917472800 140723917471240 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 542177 37882 935 410 0 537650 0
Current children cumulated CPU time: 108.78 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 151528 KiB
[startup+115.2 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=18987444/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=115.18 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 32283 0 0 0 11504 14 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471816 5278096 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 115.18 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+118.4 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=19016924/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=118.38 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 34727 0 0 0 11823 15 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471816 5272962 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 118.38 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+119.2 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=19014876/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2119388 memory=117460 CPUtime=119.18 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 34743 0 0 0 11903 15 0 0 20 0 1 0 527203995 2170253312 29365 33554432000 4194304 5870510 140723917472800 140723917471816 139686242316824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 529847 29365 935 410 0 525320 0
Current children cumulated CPU time: 119.18 s
Current children cumulated vsize: 2119388 KiB
Current children cumulated memory: 117460 KiB
[startup+120 s]*
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=18983348/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2168708 memory=149476 CPUtime=119.99 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 35085 0 0 0 11983 16 0 0 20 0 1 0 527203995 2220756992 37369 33554432000 4194304 5870510 140723917472800 140723917471240 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 542177 37369 935 410 0 537650 0
Current children cumulated CPU time: 119.99 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 149476 KiB
[startup+120.4 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=18983348/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2168708 memory=151524 CPUtime=120.38 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 35086 0 0 0 12022 16 0 0 20 0 1 0 527203995 2220756992 37881 33554432000 4194304 5870510 140723917472800 140723917471240 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 542177 37881 935 410 0 537650 0
Current children cumulated CPU time: 120.38 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 151524 KiB
[startup+120.5 s]
/proc/loadavg: 2.01 2.00 1.93 3/199 11979
/proc/meminfo: memFree=18983348/32770624 swapFree=66997320/67108860
[pid=11971] ppid=11968 vsize=2168708 memory=153572 CPUtime=120.48 cores=1,3,5,7
/proc/11971/stat : 11971 (xcsp_picat) R 11968 11971 11246 0 -1 4202496 35087 0 0 0 12032 16 0 0 20 0 1 0 527203995 2220756992 38393 33554432000 4194304 5870510 140723917472800 140723917471240 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 26443776 140723917476871 140723917476953 140723917476953 140723917479878 0
/proc/11971/statm: 542177 38393 935 410 0 537650 0
Current children cumulated CPU time: 120.48 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 153572 KiB
Child status: 0
Real time (s): 120.511
CPU time (s): 120.497
CPU user time (s): 120.332
CPU system time (s): 0.164982
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 2168708
Max. memory (cumulated for all children) (KiB): 155624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.332
system time used= 0.164982
maximum resident set size= 169608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35341
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= 125
# summary of solver processes directly reported to runsolver:
# pid: 11971
# total CPU time (s): 120.497
# total CPU user time (s): 120.332
# total CPU system time (s): 0.164982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.539151 second user time and 0.889402 second system time
The end
Begin job on node140 at 2019-09-26 17:43:35
IDJOB=4407776
IDBENCH=135026
IDSOLVER=2873
FILE ID=node140/4407776-1569512657
RUNJOBID= node140-1569509599-11278
PBS_JOBID= 21705784
Free space on /var/tmp= 13512 MiB
SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K097.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407776-1569512657/watcher-4407776-1569512657 -o /var/tmp/evaluation-result-4407776-1569512657/solver-4407776-1569512657 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569509599-11278 --watchdog 2560 xcsp_picat HOME/instance-4407776-1569512657.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c736c64a10dc2dd55507b217b8552514
RANDOM SEED=252650524
node140.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: 19128192 kB
MemAvailable: 25242324 kB
Buffers: 163916 kB
Cached: 6070352 kB
SwapCached: 3060 kB
Active: 9678264 kB
Inactive: 3138452 kB
Active(anon): 6589828 kB
Inactive(anon): 64252 kB
Active(file): 3088436 kB
Inactive(file): 3074200 kB
Unevictable: 107040 kB
Mlocked: 107040 kB
SwapTotal: 67108860 kB
SwapFree: 66997320 kB
Dirty: 3648 kB
Writeback: 0 kB
AnonPages: 6707788 kB
Mapped: 24396 kB
Shmem: 63016 kB
Slab: 408912 kB
SReclaimable: 379956 kB
SUnreclaim: 28956 kB
KernelStack: 3760 kB
PageTables: 18316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 7239556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6526976 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /var/tmp at the end= 13508 MiB
End job on node140 at 2019-09-26 17:45:36