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
22.15/5.59 s UNSATISFIABLE
22.56/5.63 solver [2] clasp 1.3.6 answered
22.56/5.63 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-3347741-1306176709/watcher-3347741-1306176709 -o /tmp/evaluation-result-3347741-1306176709/solver-3347741-1306176709 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347741-1306176709.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: 12.08 16.77 23.77 1/413 4626
/proc/meminfo: memFree=255126908/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 729157565 18763776 386 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 16 0 0 0
/proc/4626/statm: 4581 386 337 23 0 91 0
[startup+0.103427 s]
/proc/loadavg: 12.08 16.77 23.77 1/413 4626
/proc/meminfo: memFree=255126908/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 729157565 18763776 386 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 16 0 0 0
/proc/4626/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.201446 s]
/proc/loadavg: 12.08 16.77 23.77 1/413 4626
/proc/meminfo: memFree=255126908/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 22 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18324
[startup+0.300411 s]
/proc/loadavg: 12.08 16.77 23.77 1/413 4626
/proc/meminfo: memFree=255126908/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 22 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18324
[startup+0.700427 s]
/proc/loadavg: 12.08 16.77 23.77 1/413 4626
/proc/meminfo: memFree=255126908/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 22 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18324
[startup+1.50043 s]
/proc/loadavg: 12.08 16.77 23.77 5/418 4637
/proc/meminfo: memFree=254586612/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 18 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4627] ppid=4626 vsize=261732 CPUtime=1.48 cores=0
/proc/4627/stat : 4627 (cryptominisat) R 4626 4626 4390 0 -1 4202496 47256 0 0 0 134 14 0 0 20 0 1 0 729157566 268013568 45651 268435456000 4194304 4587354 140735544037328 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4627/statm: 65433 45651 304 96 0 61995 0
[pid=4628] ppid=4626 vsize=227228 CPUtime=1.49 cores=1
/proc/4628/stat : 4628 (clasp) R 4626 4626 4390 0 -1 4202496 65733 0 0 0 131 18 0 0 20 0 1 0 729157566 232681472 51117 268435456000 4194304 4785740 140733541074576 18446744073709551615 4502075 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4628/statm: 56807 51117 311 145 0 53852 0
[pid=4630] ppid=4626 vsize=126916 CPUtime=1.48 cores=3
/proc/4630/stat : 4630 (march_hi) R 4626 4626 4390 0 -1 4194304 29643 0 0 0 137 11 0 0 20 0 1 0 729157566 129961984 29539 268435456000 4194304 4331988 140736766281392 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4630/statm: 31729 29539 112 34 0 30171 0
[pid=4631] ppid=4626 vsize=210892 CPUtime=1.48 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4202496 51497 1238 0 0 135 13 0 0 21 0 1 0 729157566 215953408 51382 268435456000 4194304 4356188 140733612186032 18446744073709551615 4277705 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4631/statm: 52723 51382 129 40 0 51267 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 845092
[startup+3.10052 s]
/proc/loadavg: 12.08 16.77 23.77 5/418 4637
/proc/meminfo: memFree=254269980/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 18 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4627] ppid=4626 vsize=261732 CPUtime=3.08 cores=0
/proc/4627/stat : 4627 (cryptominisat) R 4626 4626 4390 0 -1 4202496 47257 0 0 0 294 14 0 0 25 0 1 0 729157566 268013568 45652 268435456000 4194304 4587354 140735544037328 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4627/statm: 65433 45652 304 96 0 61995 0
[pid=4628] ppid=4626 vsize=280668 CPUtime=3.08 cores=1
/proc/4628/stat : 4628 (clasp) R 4626 4626 4390 0 -1 4202496 79317 0 0 0 287 21 0 0 25 0 1 0 729157566 287404032 64701 268435456000 4194304 4785740 140733541074576 18446744073709551615 258650652667 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4628/statm: 70167 64701 317 145 0 67212 0
[pid=4630] ppid=4626 vsize=343500 CPUtime=3.08 cores=3
/proc/4630/stat : 4630 (march_hi) R 4626 4626 4390 0 -1 4194304 85908 0 0 0 287 21 0 0 25 0 1 0 729157566 351744000 68385 268435456000 4194304 4331988 140736766281392 18446744073709551615 258650611670 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4630/statm: 85875 68385 126 34 0 84317 0
[pid=4631] ppid=4626 vsize=372732 CPUtime=3.07 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4202496 91989 1238 0 0 286 21 0 0 25 0 1 0 729157566 381677568 91842 268435456000 4194304 4356188 140733612186032 18446744073709551615 4210587 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4631/statm: 93183 91842 129 40 0 91727 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 1276956
Solver just ended. Dumping a history of the last processes samples
[startup+3.20151 s]
/proc/loadavg: 12.08 16.77 23.77 5/418 4637
/proc/meminfo: memFree=254269980/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 18 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4627] ppid=4626 vsize=261732 CPUtime=3.18 cores=0
/proc/4627/stat : 4627 (cryptominisat) R 4626 4626 4390 0 -1 4202496 47257 0 0 0 304 14 0 0 25 0 1 0 729157566 268013568 45652 268435456000 4194304 4587354 140735544037328 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4627/statm: 65433 45652 304 96 0 61995 0
[pid=4628] ppid=4626 vsize=283316 CPUtime=3.18 cores=1
/proc/4628/stat : 4628 (clasp) R 4626 4626 4390 0 -1 4202496 80024 0 0 0 297 21 0 0 25 0 1 0 729157566 290115584 65408 268435456000 4194304 4785740 140733541074576 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4628/statm: 70829 65408 317 145 0 67874 0
[pid=4630] ppid=4626 vsize=281064 CPUtime=3.18 cores=3
/proc/4630/stat : 4630 (march_hi) R 4626 4626 4390 0 -1 4194304 88747 0 0 0 295 23 0 0 25 0 1 0 729157566 287809536 52795 268435456000 4194304 4331988 140736766281392 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4630/statm: 70299 52798 126 34 0 68741 0
[pid=4631] ppid=4626 vsize=372732 CPUtime=3.17 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4202496 91989 1238 0 0 296 21 0 0 25 0 1 0 729157566 381677568 91842 268435456000 4194304 4356188 140733612186032 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4631/statm: 93183 91842 129 40 0 91727 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 1217168
[startup+4.80056 s]
/proc/loadavg: 11.43 16.55 23.66 5/418 4637
/proc/meminfo: memFree=253993856/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 18 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4627] ppid=4626 vsize=261732 CPUtime=4.78 cores=0
/proc/4627/stat : 4627 (cryptominisat) R 4626 4626 4390 0 -1 4202496 47271 0 0 0 464 14 0 0 25 0 1 0 729157566 268013568 45666 268435456000 4194304 4587354 140735544037328 18446744073709551615 4238728 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4627/statm: 65433 45666 304 96 0 61995 0
[pid=4628] ppid=4626 vsize=316704 CPUtime=4.78 cores=1
/proc/4628/stat : 4628 (clasp) R 4626 4626 4390 0 -1 4202496 87880 0 0 0 455 23 0 0 25 0 1 0 729157566 324304896 73264 268435456000 4194304 4785740 140733541074576 18446744073709551615 258650613570 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4628/statm: 79176 73264 317 145 0 76221 0
[pid=4630] ppid=4626 vsize=343168 CPUtime=4.78 cores=3
/proc/4630/stat : 4630 (march_hi) R 4626 4626 4390 0 -1 4194304 134141 0 0 0 447 31 0 0 25 0 1 0 729157566 351404032 68346 268435456000 4194304 4331988 140736766281392 18446744073709551615 258650621282 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4630/statm: 85792 68346 129 34 0 84234 0
[pid=4631] ppid=4626 vsize=475960 CPUtime=4.78 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4202496 117796 1238 0 0 450 28 0 0 25 0 1 0 729157566 487383040 117649 268435456000 4194304 4356188 140733612186032 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4631/statm: 118990 117649 129 40 0 117534 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 1415888
[startup+5.20057 s]
/proc/loadavg: 11.43 16.55 23.66 5/418 4637
/proc/meminfo: memFree=253993856/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=0.18 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 1518 0 0 0 0 14 4 15 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4627] ppid=4626 vsize=284188 CPUtime=5.19 cores=0
/proc/4627/stat : 4627 (cryptominisat) R 4626 4626 4390 0 -1 4202496 53096 0 0 0 503 16 0 0 25 0 1 0 729157566 291008512 51491 268435456000 4194304 4587354 140735544037328 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4627/statm: 71047 51493 305 96 0 67609 0
[pid=4628] ppid=4626 vsize=211564 CPUtime=5.19 cores=1
/proc/4628/stat : 4628 (clasp) R 4626 4626 4390 0 -1 4202496 87894 0 0 0 495 24 0 0 25 0 1 0 729157566 216641536 48818 268435456000 4194304 4785740 140733541074576 18446744073709551615 258650604936 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4628/statm: 52891 48818 331 145 0 49936 0
[pid=4630] ppid=4626 vsize=343292 CPUtime=5.18 cores=3
/proc/4630/stat : 4630 (march_hi) R 4626 4626 4390 0 -1 4194304 152567 0 0 0 483 35 0 0 25 0 1 0 729157566 351531008 68384 268435456000 4194304 4331988 140736766281392 18446744073709551615 4219163 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4630/statm: 85823 68384 127 34 0 84265 0
[pid=4631] ppid=4626 vsize=590648 CPUtime=5.17 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4202496 146468 1238 0 0 485 32 0 0 25 0 1 0 729157566 604823552 146321 268435456000 4194304 4356188 140733612186032 18446744073709551615 4278468 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4631/statm: 147662 146321 129 40 0 146206 0
Current children cumulated CPU time (s) 20.91
Current children cumulated vsize (KiB) 1448016
[startup+5.61968 s]
/proc/loadavg: 11.43 16.55 23.66 5/418 4637
/proc/meminfo: memFree=253828488/264257624 swapFree=67111528/67111528
[pid=4626] ppid=4624 vsize=18324 CPUtime=16.97 cores=0-31
/proc/4626/stat : 4626 (ppfolio) S 4624 4626 4390 0 -1 4202496 514 322559 0 0 0 0 1605 92 15 0 1 0 729157565 18763776 387 268435456000 4194304 4287625 140735809905376 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/4626/statm: 4581 387 338 23 0 91 0
[pid=4631] ppid=4626 vsize=0 CPUtime=5.59 cores=4-31
/proc/4631/stat : 4631 (plingeling) R 4626 4626 4390 0 -1 4203524 146468 1238 0 0 524 35 0 0 25 0 1 0 729157566 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/4631/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 22.56
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 5.6325
CPU time (s): 22.6126
CPU user time (s): 21.3068
CPU system time (s): 1.3058
CPU usage (%): 401.466
Max. virtual memory (cumulated for all children) (KiB): 1491104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3068
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470799
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= 771
involuntary context switches= 34
runsolver used 0.019996 second user time and 0.111982 second system time
The end
Begin job on node200 at 2011-05-23 20:51:51
IDJOB=3347741
IDBENCH=88185
IDSOLVER=1808
FILE ID=node200/3347741-1306176709
RUNJOBID= node200-1306176428-4404
PBS_JOBID= 13388025
Free space on /tmp= 62016 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-25-U-7061.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347741-1306176709/watcher-3347741-1306176709 -o /tmp/evaluation-result-3347741-1306176709/solver-3347741-1306176709 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347741-1306176709.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 23c04ef615431bf15ef9eafe9b944fb8
RANDOM SEED=1977899139
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: 255127320 kB
Buffers: 462552 kB
Cached: 8242240 kB
SwapCached: 0 kB
Active: 7786900 kB
Inactive: 986820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255127320 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 41252 kB
Writeback: 0 kB
AnonPages: 69696 kB
Mapped: 14532 kB
Slab: 255416 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187436 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= 62000 MiB
End job on node200 at 2011-05-23 20:51:57