0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
35.41/7.11 s UNSATISFIABLE
35.41/7.15 solver [2] clasp 1.3.6 answered
35.41/7.15 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347435-1305159955/watcher-3347435-1305159955 -o /tmp/evaluation-result-3347435-1305159955/solver-3347435-1305159955 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347435-1305159955.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 20.14 26.81 27.40 1/413 13716
/proc/meminfo: memFree=255753980/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[startup+0.07669 s]
/proc/loadavg: 20.14 26.81 27.40 1/413 13716
/proc/meminfo: memFree=255753980/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100673 s]
/proc/loadavg: 20.14 26.81 27.40 1/413 13716
/proc/meminfo: memFree=255753980/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300692 s]
/proc/loadavg: 20.14 26.81 27.40 1/413 13716
/proc/meminfo: memFree=255753980/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700712 s]
/proc/loadavg: 20.14 26.81 27.40 1/413 13716
/proc/meminfo: memFree=255753980/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50073 s]
/proc/loadavg: 20.14 26.81 27.40 6/419 13727
/proc/meminfo: memFree=255352772/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[pid=13717] ppid=13716 vsize=142332 CPUtime=1.48 cores=0
/proc/13717/stat : 13717 (cryptominisat) R 13716 13716 13690 0 -1 4202496 27869 0 0 0 139 9 0 0 20 0 1 0 627482053 145747968 27010 268435456000 4194304 4587354 140733659297056 18446744073709551615 4237677 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13717/statm: 35583 27010 304 96 0 32145 0
[pid=13718] ppid=13716 vsize=154296 CPUtime=1.48 cores=1
/proc/13718/stat : 13718 (clasp) R 13716 13716 13690 0 -1 4202496 41847 0 0 0 137 11 0 0 20 0 1 0 627482053 157999104 34295 268435456000 4194304 4785740 140737293126624 18446744073709551615 4487104 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13718/statm: 38574 34295 317 145 0 35619 0
[pid=13719] ppid=13716 vsize=505892 CPUtime=1.48 cores=2
/proc/13719/stat : 13719 (TNM) R 13716 13716 13690 0 -1 4202496 20349 0 0 0 142 6 0 0 20 0 1 0 627482053 518033408 20248 268435456000 134512640 134534564 4289460480 18446744073709551615 134527201 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13719/statm: 126473 20255 92 6 0 125138 0
[pid=13720] ppid=13716 vsize=153184 CPUtime=1.49 cores=3
/proc/13720/stat : 13720 (march_hi) R 13716 13716 13690 0 -1 4194304 35906 0 0 0 138 11 0 0 20 0 1 0 627482054 156860416 27386 268435456000 4194304 4331988 140734895661728 18446744073709551615 258650351067 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13720/statm: 38296 27386 124 34 0 36738 0
[pid=13721] ppid=13716 vsize=132576 CPUtime=1.49 cores=4-31
/proc/13721/stat : 13721 (plingeling) R 13716 13716 13690 0 -1 4202496 31922 1238 0 0 139 9 0 1 21 0 1 0 627482054 135757824 31803 268435456000 4194304 4356188 140734143921088 18446744073709551615 4278631 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/13721/statm: 33144 31803 129 40 0 31688 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 1106604
[startup+3.1008 s]
/proc/loadavg: 20.14 26.81 27.40 6/419 13727
/proc/meminfo: memFree=255020688/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[pid=13717] ppid=13716 vsize=206436 CPUtime=3.08 cores=0
/proc/13717/stat : 13717 (cryptominisat) R 13716 13716 13690 0 -1 4202496 43855 0 0 0 296 12 0 0 25 0 1 0 627482053 211390464 42996 268435456000 4194304 4587354 140733659297056 18446744073709551615 4421062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13717/statm: 51609 42996 310 96 0 48171 0
[pid=13718] ppid=13716 vsize=189352 CPUtime=3.08 cores=1
/proc/13718/stat : 13718 (clasp) R 13716 13716 13690 0 -1 4202496 50063 0 0 0 295 13 0 0 25 0 1 0 627482053 193896448 42511 268435456000 4194304 4785740 140737293126624 18446744073709551615 4499381 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13718/statm: 47338 42511 317 145 0 44383 0
[pid=13719] ppid=13716 vsize=515000 CPUtime=3.08 cores=2
/proc/13719/stat : 13719 (TNM) R 13716 13716 13690 0 -1 4202496 32924 0 0 0 299 9 0 0 25 0 1 0 627482053 527360000 32822 268435456000 134512640 134534564 4289460480 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13719/statm: 128750 32822 95 6 0 127415 0
[pid=13720] ppid=13716 vsize=160724 CPUtime=3.08 cores=3
/proc/13720/stat : 13720 (march_hi) R 13716 13716 13690 0 -1 4202496 94244 0 0 0 286 22 0 0 25 0 1 0 627482054 164581376 30170 268435456000 4194304 4331988 140734895661728 18446744073709551615 258654413172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13720/statm: 40181 30170 139 34 0 38623 0
[pid=13721] ppid=13716 vsize=344560 CPUtime=3.08 cores=4-31
/proc/13721/stat : 13721 (plingeling) R 13716 13716 13690 0 -1 4202496 84952 1238 0 0 288 19 0 1 25 0 1 0 627482054 352829440 84799 268435456000 4194304 4356188 140734143921088 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/13721/statm: 86140 84799 129 40 0 84684 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 1434396
[startup+6.30092 s]
/proc/loadavg: 18.93 26.44 27.28 6/419 13727
/proc/meminfo: memFree=254573988/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[pid=13717] ppid=13716 vsize=208408 CPUtime=6.28 cores=0
/proc/13717/stat : 13717 (cryptominisat) R 13716 13716 13690 0 -1 4202496 44296 0 0 0 616 12 0 0 25 0 1 0 627482053 213409792 43437 268435456000 4194304 4587354 140733659297056 18446744073709551615 4421117 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13717/statm: 52102 43437 310 96 0 48664 0
[pid=13718] ppid=13716 vsize=167456 CPUtime=6.28 cores=1
/proc/13718/stat : 13718 (clasp) R 13716 13716 13690 0 -1 4202496 50115 0 0 0 615 13 0 0 25 0 1 0 627482053 171474944 37423 268435456000 4194304 4785740 140737293126624 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13718/statm: 41864 37423 338 145 0 38909 0
[pid=13719] ppid=13716 vsize=515000 CPUtime=6.28 cores=2
/proc/13719/stat : 13719 (TNM) R 13716 13716 13690 0 -1 4202496 32924 0 0 0 619 9 0 0 25 0 1 0 627482053 527360000 32822 268435456000 134512640 134534564 4289460480 18446744073709551615 134529944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13719/statm: 128750 32822 95 6 0 127415 0
[pid=13720] ppid=13716 vsize=205784 CPUtime=6.28 cores=3
/proc/13720/stat : 13720 (march_hi) R 13716 13716 13690 0 -1 4202496 216351 0 0 0 581 47 0 0 25 0 1 0 627482054 210722816 41424 268435456000 4194304 4331988 140734895661728 18446744073709551615 4252197 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13720/statm: 51446 41424 142 34 0 49888 0
[pid=13721] ppid=13716 vsize=678828 CPUtime=6.29 cores=4-31
/proc/13721/stat : 13721 (plingeling) R 13716 13716 13690 0 -1 4202496 168519 1238 0 0 591 37 0 1 25 0 1 0 627482054 695119872 168366 268435456000 4194304 4356188 140734143921088 18446744073709551615 4277417 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/13721/statm: 169707 168366 129 40 0 168251 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1793800
Solver just ended. Dumping a history of the last processes samples
[startup+6.7009 s]
/proc/loadavg: 18.93 26.44 27.28 6/419 13727
/proc/meminfo: memFree=254465996/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[pid=13717] ppid=13716 vsize=208332 CPUtime=6.68 cores=0
/proc/13717/stat : 13717 (cryptominisat) R 13716 13716 13690 0 -1 4202496 44374 0 0 0 656 12 0 0 25 0 1 0 627482053 213331968 40776 268435456000 4194304 4587354 140733659297056 18446744073709551615 258650604725 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13717/statm: 52083 40776 313 96 0 48645 0
[pid=13718] ppid=13716 vsize=167456 CPUtime=6.68 cores=1
/proc/13718/stat : 13718 (clasp) R 13716 13716 13690 0 -1 4202496 50132 0 0 0 655 13 0 0 25 0 1 0 627482053 171474944 37440 268435456000 4194304 4785740 140737293126624 18446744073709551615 4416852 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13718/statm: 41864 37440 338 145 0 38909 0
[pid=13719] ppid=13716 vsize=515000 CPUtime=6.68 cores=2
/proc/13719/stat : 13719 (TNM) R 13716 13716 13690 0 -1 4202496 32924 0 0 0 659 9 0 0 25 0 1 0 627482053 527360000 32822 268435456000 134512640 134534564 4289460480 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13719/statm: 128750 32822 95 6 0 127415 0
[pid=13720] ppid=13716 vsize=167468 CPUtime=6.69 cores=3
/proc/13720/stat : 13720 (march_hi) R 13716 13716 13690 0 -1 4202496 232361 0 0 0 618 51 0 0 25 0 1 0 627482054 171487232 31853 268435456000 4194304 4331988 140734895661728 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13720/statm: 41867 31857 144 34 0 40309 0
[pid=13721] ppid=13716 vsize=678828 CPUtime=6.69 cores=4-31
/proc/13721/stat : 13721 (plingeling) R 13716 13716 13690 0 -1 4202496 168519 1238 0 0 631 37 0 1 25 0 1 0 627482054 695119872 168366 268435456000 4194304 4356188 140734143921088 18446744073709551615 4278631 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/13721/statm: 169707 168366 129 40 0 168251 0
Current children cumulated CPU time (s) 33.42
Current children cumulated vsize (KiB) 1755408
[startup+7.10092 s]
/proc/loadavg: 18.93 26.44 27.28 6/419 13727
/proc/meminfo: memFree=254465996/264257624 swapFree=67111528/67111528
[pid=13716] ppid=13714 vsize=18324 CPUtime=0 cores=0-31
/proc/13716/stat : 13716 (ppfolio) S 13714 13716 13690 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 627482053 18763776 385 268435456000 4194304 4287625 140736183380784 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 12 0 0 0
/proc/13716/statm: 4581 385 337 23 0 91 0
[pid=13717] ppid=13716 vsize=233912 CPUtime=7.09 cores=0
/proc/13717/stat : 13717 (cryptominisat) R 13716 13716 13690 0 -1 4202496 53143 0 0 0 694 15 0 0 25 0 1 0 627482053 239525888 49545 268435456000 4194304 4587354 140733659297056 18446744073709551615 4372590 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13717/statm: 58478 49545 315 96 0 55040 0
[pid=13718] ppid=13716 vsize=125000 CPUtime=7.08 cores=1
/proc/13718/stat : 13718 (clasp) R 13716 13716 13690 0 -1 4202496 50146 0 0 0 695 13 0 0 25 0 1 0 627482053 128000000 27097 268435456000 4194304 4785740 140737293126624 18446744073709551615 258650611653 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13718/statm: 31250 27097 352 145 0 28295 0
[pid=13719] ppid=13716 vsize=515000 CPUtime=7.08 cores=2
/proc/13719/stat : 13719 (TNM) R 13716 13716 13690 0 -1 4202496 32924 0 0 0 699 9 0 0 25 0 1 0 627482053 527360000 32822 268435456000 134512640 134534564 4289460480 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13719/statm: 128750 32822 95 6 0 127415 0
[pid=13720] ppid=13716 vsize=625480 CPUtime=7.08 cores=3
/proc/13720/stat : 13720 (march_hi) R 13716 13716 13690 0 -1 4202496 271855 0 0 0 650 58 0 0 25 0 1 0 627482054 640491520 64244 268435456000 4194304 4331988 140734895661728 18446744073709551615 258650613536 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13720/statm: 156370 64244 149 34 0 154812 0
[pid=13721] ppid=13716 vsize=678828 CPUtime=7.08 cores=4-31
/proc/13721/stat : 13721 (plingeling) R 13716 13716 13690 0 -1 4202496 168519 1238 0 0 670 37 0 1 25 0 1 0 627482054 695119872 168366 268435456000 4194304 4356188 140734143921088 18446744073709551615 4278302 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/13721/statm: 169707 168366 129 40 0 168251 0
Current children cumulated CPU time (s) 35.41
Current children cumulated vsize (KiB) 2196544
Child status: 0
Real time (s): 7.15694
CPU time (s): 35.6086
CPU user time (s): 34.1528
CPU system time (s): 1.45578
CPU usage (%): 497.539
Max. virtual memory (cumulated for all children) (KiB): 2204496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1528
system time used= 1.45578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578618
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= 868
involuntary context switches= 56
runsolver used 0.022996 second user time and 0.12898 second system time
The end
Begin job on node200 at 2011-05-12 02:25:56
IDJOB=3347435
IDBENCH=82444
IDSOLVER=1808
FILE ID=node200/3347435-1305159955
RUNJOBID= node200-1305159955-13704
PBS_JOBID= 13282075
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347435-1305159955/watcher-3347435-1305159955 -o /tmp/evaluation-result-3347435-1305159955/solver-3347435-1305159955 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347435-1305159955.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=418037035
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255754392 kB
Buffers: 424556 kB
Cached: 7661620 kB
SwapCached: 0 kB
Active: 7235432 kB
Inactive: 919352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255754392 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26192 kB
Writeback: 0 kB
AnonPages: 70288 kB
Mapped: 13484 kB
Slab: 249292 kB
PageTables: 4000 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 208252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62024 MiB
End job on node200 at 2011-05-12 02:26:04