0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3309082-1303986025.cnf
0.00/0.00 c found header 'p cnf 19473 58308'
0.02/0.03 c finished parsing
0.02/0.03 c
0.02/0.03 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.02/0.03 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.02/0.03 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.02/0.03 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.02/0.03 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.02/0.03 c --random=1 --spread=2000 --seed=0 --skip=25
0.02/0.03 c
0.02/0.03 c sizeof vars[0] = 16 alignment = 0 0 MB
0.02/0.03 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.02/0.03 c sizeof occs[0] = 8 alignment = 0 0 MB
0.02/0.03 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.02/0.03 c
0.02/0.03 c starting search after 0.0 seconds
0.02/0.03 c no decision limit
0.02/0.03 c
0.02/0.03 c original/binary fixed eliminated learned agility
0.02/0.03 c seconds variables equivalent conflicts height MB
0.02/0.03 c
0.02/0.03 c * 0.0 58238 19423 50 0 0 0 0 0.0 0 5
0.39/0.47 c s 0.5 25668 6070 603 402 12398 0 0 0.0 0 4
0.39/0.47 c l 0.5 25668 6070 603 402 12398 0 12961 0.0 0 4
0.39/0.48 c N 0.5 25686 6070 603 402 12398 104 104 31.1 26 4
0.39/0.48 c R 0.5 25687 6070 603 402 12398 204 204 31.7 20 4
0.49/0.53 c R 0.5 25920 6069 603 403 12398 809 789 30.2 10 4
0.49/0.56 c B 0.6 26017 6069 603 403 12398 1000 971 30.3 16 5
0.69/0.70 c s 0.7 29573 6066 604 405 12398 1776 1728 29.8 11 5
0.69/0.73 c B 0.7 29579 6066 604 405 12398 2000 1951 29.7 19 5
0.69/0.76 c R 0.8 29632 6066 604 405 12398 2412 2356 29.2 11 5
0.89/0.95 c s 1.0 30686 6059 606 410 12398 3284 3205 30.4 6 5
1.19/1.21 c s 1.2 31311 6056 607 412 12398 5266 5158 29.3 7 5
1.29/1.34 c R 1.3 31317 6056 607 412 12398 6422 6311 28.7 12 6
1.39/1.49 c s 1.5 31478 6054 609 412 12398 7370 7256 28.5 17 5
1.49/1.56 c B 1.6 31491 6053 609 413 12398 8005 7888 28.3 15 6
1.89/1.92 c s 1.9 30451 5898 609 413 12553 9362 8778 28.2 13 6
1.89/1.92 c - 1.9 30451 5898 609 413 12553 9362 12702 28.2 13 6
2.20/2.24 c s 2.2 30775 5896 610 414 12553 11374 10779 27.6 12 6
2.39/2.45 c + 2.5 33036 5808 654 458 12553 12703 13972 27.1 13 7
2.59/2.60 c
2.59/2.60 c original/binary fixed eliminated learned agility
2.59/2.60 c seconds variables equivalent conflicts height MB
2.59/2.60 c
2.59/2.60 c s 2.6 31776 5808 654 458 12553 13554 12885 27.1 7 6
2.59/2.60 c - 2.6 31776 5808 654 458 12553 13554 13833 27.1 7 6
2.89/2.96 c s 3.0 31945 5808 654 458 12553 15643 13905 27.0 11 6
2.89/2.97 c + 3.0 31946 5808 654 458 12553 15718 15216 27.0 19 6
2.99/3.01 c R 3.0 31946 5808 654 458 12553 16052 14273 26.8 5 7
3.39/3.48 c s 3.5 31721 5797 654 458 12564 17655 15170 26.4 7 6
3.79/3.80 c + 3.8 31836 5795 656 458 12564 19645 16737 26.1 14 7
3.79/3.89 c s 3.9 32002 5792 659 458 12564 19956 15581 26.0 8 6
4.30/4.32 c s 4.3 32113 5792 659 458 12564 22173 16766 25.7 4 7
4.59/4.66 c B 4.7 32618 5791 660 458 12564 24011 16775 25.5 10 7
4.69/4.77 c s 4.8 32605 5791 660 458 12564 24373 16794 25.5 5 7
4.79/4.80 c + 4.8 32605 5791 660 458 12564 24556 18410 25.5 18 7
5.29/5.38 c s 5.4 33030 5786 661 458 12568 26789 17980 25.1 13 7
5.79/5.85 c s 5.9 33309 5785 662 458 12568 29299 18571 24.8 16 7
6.09/6.11 c + 6.1 33655 5784 663 458 12568 30695 20251 24.8 10 8
6.29/6.32 c s 6.3 33797 5784 663 458 12568 31636 19390 24.8 7 7
6.89/6.97 c s 7.0 33876 5780 663 458 12572 34001 19332 24.5 9 7
7.39/7.48 c s 7.5 34603 5779 664 458 12572 36415 20261 24.2 8 7
7.79/7.88 c + 7.9 34925 5778 665 458 12572 38366 22276 23.9 10 8
7.89/7.91 c
7.89/7.91 c original/binary fixed eliminated learned agility
7.89/7.91 c seconds variables equivalent conflicts height MB
7.89/7.91 c
7.89/7.91 c R 7.9 34925 5778 665 458 12572 38515 20420 23.8 10 8
7.99/8.01 c s 8.0 34996 5777 666 458 12572 38801 20706 23.8 10 7
8.59/8.64 c s 8.6 35080 5774 666 459 12574 40962 22271 23.5 6 7
9.09/9.15 c s 9.2 35202 5773 667 459 12574 43516 22293 23.2 9 7
9.69/9.73 c s 9.7 35243 5773 667 459 12574 46123 22349 22.8 9 7
10.09/10.10 c + 10.1 35267 5773 667 459 12574 47955 24503 22.6 6 8
10.39/10.40 c s 10.4 35256 5773 667 459 12574 48676 23020 22.4 7 7
10.90/10.98 c s 11.0 35168 5761 671 467 12574 51094 24557 22.1 6 7
11.59/11.60 c s 11.6 35356 5749 675 475 12574 53782 24511 21.9 5 7
12.29/12.34 c s 12.3 35583 5726 691 481 12575 56514 24517 21.6 9 8
12.89/12.94 c s 12.9 38333 5656 722 520 12575 58825 17907 21.3 9 7
12.89/12.94 c - 12.9 38333 5656 722 520 12575 58825 24013 21.3 9 7
12.89/12.94 c + 12.9 38333 5656 722 520 12575 58825 26414 21.3 9 7
13.39/13.48 c s 13.5 38666 5652 723 523 12575 61375 20456 21.0 8 7
13.79/13.88 c 0 13.9 41915 4049 2275 574 12575 63106 22165 20.7 9 8
13.79/13.88 c
13.79/13.88 s UNSATISFIABLE
13.79/13.88 c
13.79/13.88 c 63106 conflicts, 99852 decisions, 33 random
13.79/13.88 c 6 iterations, 207 restarts, 1 skipped
13.79/13.88 c 8 enlarged, 460 shrunken, 617 rescored, 29 rebiased
13.79/13.88 c 28 simplifications, 0 reductions
13.79/13.88 c
13.79/13.88 c vars: 2275 fixed, 574 equiv, 12575 elim, 643 merged
13.79/13.88 c elim: 1174639 resolutions, 8 phases, 8 rounds
13.79/13.88 c sbst: 93% substituted, 0.7% nots, 96.8% ands, 1.7% xors, 0.8% ites
13.79/13.88 c arty: 2.02 and 2.00 xor average arity
13.79/13.88 c prbe: 71837 probed, 50 phases, 6 rounds
13.79/13.88 c prbe: 63 failed, 75 lifted, 178 merged
13.79/13.88 c sccs: 7 non trivial, 0 fixed, 11 merged
13.79/13.88 c hash: 1 units, 454 merged
13.79/13.88 c mins: 1327444 learned, 33% deleted, 25 strong, 42 depth
13.79/13.88 c subs: 539 forward, 897 backward, 11973 doms
13.79/13.88 c strs: 549 forward, 458 backward
13.79/13.88 c doms: 16598 dominators, 11625 high, 171 low
13.79/13.88 c prps: 55654987 propagations, 4.01 megaprops
13.79/13.88 c
13.79/13.88 c 13.9 seconds, 9 MB max, 9 MB recycled
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3309082-1303986025/watcher-3309082-1303986025 -o /tmp/evaluation-result-3309082-1303986025/solver-3309082-1303986025 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309082-1303986025.cnf
running on 2 cores: 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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 1.90 2.49 4/187 23762
/proc/meminfo: memFree=17091444/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=3112 CPUtime=0 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 677 0 0 0 0 0 0 0 24 0 1 0 510200400 3186688 633 33554432000 134512640 135151029 4287928784 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 778 634 65 156 0 621 0
[startup+0.0278249 s]
/proc/loadavg: 1.24 1.90 2.49 4/187 23762
/proc/meminfo: memFree=17091444/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=5616 CPUtime=0.02 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 1357 0 0 0 2 0 0 0 24 0 1 0 510200400 5750784 1280 33554432000 134512640 135151029 4287928784 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 1404 1281 65 156 0 1247 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5616
[startup+0.100802 s]
/proc/loadavg: 1.24 1.90 2.49 4/187 23762
/proc/meminfo: memFree=17091444/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=8572 CPUtime=0.09 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 2139 0 0 0 9 0 0 0 25 0 1 0 510200400 8777728 1996 33554432000 134512640 135151029 4287928784 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2143 1996 80 156 0 1986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8572
[startup+0.300762 s]
/proc/loadavg: 1.24 1.90 2.49 4/187 23762
/proc/meminfo: memFree=17091444/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10632 CPUtime=0.29 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 2984 0 0 0 29 0 0 0 25 0 1 0 510200400 10887168 2506 33554432000 134512640 135151029 4287928784 18446744073709551615 134564545 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2658 2506 80 156 0 2501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10632
[startup+0.700692 s]
/proc/loadavg: 1.24 1.90 2.49 4/187 23762
/proc/meminfo: memFree=17091444/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10764 CPUtime=0.69 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3079 0 0 0 69 0 0 0 25 0 1 0 510200400 11022336 2472 33554432000 134512640 135151029 4287928784 18446744073709551615 134521507 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2691 2472 80 156 0 2534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10764
[startup+1.50055 s]
/proc/loadavg: 1.24 1.90 2.49 5/194 23775
/proc/meminfo: memFree=16973176/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10764 CPUtime=1.49 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3079 0 0 0 149 0 0 0 25 0 1 0 510200400 11022336 2472 33554432000 134512640 135151029 4287928784 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2691 2472 80 156 0 2534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10764
[startup+3.10026 s]
/proc/loadavg: 1.24 1.90 2.49 5/191 23796
/proc/meminfo: memFree=17000976/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=3.09 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 309 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10904
[startup+6.30067 s]
/proc/loadavg: 1.46 1.93 2.49 5/194 23802
/proc/meminfo: memFree=16989172/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=6.29 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 629 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134531763 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10904
[startup+12.7005 s]
/proc/loadavg: 1.67 1.97 2.50 5/194 23802
/proc/meminfo: memFree=16979680/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=12.69 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 1269 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10904
Solver just ended. Dumping a history of the last processes samples
[startup+13.5004 s]
/proc/loadavg: 1.85 2.00 2.51 5/194 23802
/proc/meminfo: memFree=16976816/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=13.49 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 1349 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134554829 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 13.49
Current children cumulated vsize (KiB) 10904
[startup+13.7003 s]
/proc/loadavg: 1.85 2.00 2.51 5/194 23802
/proc/meminfo: memFree=16976816/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=13.69 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 1369 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134574672 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 13.69
Current children cumulated vsize (KiB) 10904
[startup+13.8003 s]
/proc/loadavg: 1.85 2.00 2.51 5/194 23802
/proc/meminfo: memFree=16976816/32951124 swapFree=67111528/67111528
[pid=23762] ppid=23760 vsize=10904 CPUtime=13.79 cores=5,7
/proc/23762/stat : 23762 (precosat) R 23760 23762 23266 0 -1 4202496 3108 0 0 0 1379 0 0 0 25 0 1 0 510200400 11165696 2501 33554432000 134512640 135151029 4287928784 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23762/statm: 2726 2501 80 156 0 2569 0
Current children cumulated CPU time (s) 13.79
Current children cumulated vsize (KiB) 10904
Child status: 20
Real time (s): 13.8866
CPU time (s): 13.8859
CPU user time (s): 13.8809
CPU system time (s): 0.004999
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 11280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8809
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3109
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= 3
involuntary context switches= 29
runsolver used 0.023996 second user time and 0.05999 second system time
The end
Begin job on node133 at 2011-04-28 12:20:25
IDJOB=3309082
IDBENCH=84953
IDSOLVER=1690
FILE ID=node133/3309082-1303986025
RUNJOBID= node133-1303986025-23735
PBS_JOBID= 13168693
Free space on /tmp= 71884 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309082-1303986025/watcher-3309082-1303986025 -o /tmp/evaluation-result-3309082-1303986025/solver-3309082-1303986025 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309082-1303986025.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= aed38f764725bc435a811b081bc99da2
RANDOM SEED=1081246694
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 17091848 kB
Buffers: 2187540 kB
Cached: 13034964 kB
SwapCached: 0 kB
Active: 8800836 kB
Inactive: 6495120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17091848 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11768 kB
Writeback: 0 kB
AnonPages: 72360 kB
Mapped: 15276 kB
Slab: 500200 kB
PageTables: 5616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 219492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71872 MiB
End job on node133 at 2011-04-28 12:20:39