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-3365695-1305315981.cnf
0.00/0.00 c found header 'p cnf 96526 325263'
0.19/0.22 c finished parsing
0.19/0.22 c
0.19/0.22 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.22 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.22 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.22 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.22 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.22 c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.22 c
0.19/0.22 c sizeof vars[0] = 16 alignment = 0 1 MB
0.19/0.22 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.19/0.22 c sizeof occs[0] = 8 alignment = 0 1 MB
0.19/0.22 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.19/0.22 c
0.19/0.22 c starting search after 0.2 seconds
0.19/0.22 c no decision limit
0.19/0.23 c
0.19/0.23 c original/binary fixed eliminated learned agility
0.19/0.23 c seconds variables equivalent conflicts height MB
0.19/0.23 c
0.19/0.23 c * 0.2 321254 90481 1494 4551 0 0 0 0.0 0 27
1.89/1.96 c s 2.0 209101 34322 5466 9690 47048 0 0 0.0 0 23
1.89/1.96 c l 2.0 209101 34322 5466 9690 47048 0 161415 0.0 0 23
1.89/1.97 c R 2.0 209285 34322 5466 9690 47048 100 99 71.2 18 24
1.89/1.99 c R 2.0 209861 34322 5466 9690 47048 200 194 84.3 6 24
1.99/2.08 c R 2.1 215821 34322 5466 9690 47048 803 792 67.6 18 24
2.09/2.13 c B 2.1 216168 34322 5466 9690 47048 1000 987 75.7 10 24
2.49/2.57 c B 2.6 262911 31907 6391 11180 47048 2001 1978 71.7 6 28
2.59/2.63 c R 2.6 263816 31901 6391 11186 47048 2410 2384 71.9 3 28
4.59/4.62 c s 4.6 220018 28518 7012 11809 49187 7308 6435 62.0 3 24
4.59/4.62 c - 4.6 220018 28518 7012 11809 49187 7308 135589 62.0 3 24
4.69/4.78 c B 4.8 221136 28463 7037 11839 49187 8002 7125 60.7 2 25
4.99/5.00 c R 5.0 222029 28417 7070 11852 49187 9593 8709 60.1 23 26
7.19/7.25 c s 7.3 214608 27831 7202 12096 49397 17071 16079 76.6 1 25
7.19/7.25 c - 7.3 214608 27831 7202 12096 49397 17071 132878 76.6 1 25
7.70/7.72 c R 7.7 215429 27780 7235 12114 49397 19216 18214 82.6 18 27
8.59/8.60 c B 8.6 225178 27520 7405 12204 49397 24012 22997 81.0 7 29
10.19/10.21 c s 10.2 200342 25623 7769 12491 50643 27775 22330 95.7 2 25
10.19/10.21 c - 10.2 200342 25623 7769 12491 50643 27775 124906 95.7 2 25
13.19/13.28 c
13.19/13.28 c original/binary fixed eliminated learned agility
13.19/13.28 c seconds variables equivalent conflicts height MB
13.19/13.28 c
13.19/13.28 c s 13.3 204835 25259 7945 12580 50742 40338 34751 111.7 1 27
13.19/13.28 c - 13.3 204835 25259 7945 12580 50742 40338 123657 111.7 1 27
16.59/16.69 c s 16.7 192508 24104 8133 12637 51652 51869 44659 111.8 5 27
16.59/16.69 c - 16.7 192508 24104 8133 12637 51652 51869 119948 111.8 5 27
19.99/20.05 c s 20.1 187966 23071 8396 12952 52107 63495 48608 108.0 3 27
19.99/20.05 c - 20.1 187966 23071 8396 12952 52107 63495 113951 108.0 3 27
20.19/20.24 c B 20.2 189666 22997 8415 13007 52107 64019 49132 107.9 7 28
23.39/23.47 c s 23.5 180634 22367 8452 13107 52600 75347 59040 104.7 8 28
23.39/23.47 c - 23.5 180634 22367 8452 13107 52600 75347 112812 104.7 8 28
27.09/27.11 c s 27.1 180752 22257 8467 13150 52652 87889 71474 100.6 3 30
29.19/29.21 c R 29.2 183110 22207 8487 13180 52652 95645 79229 97.9 2 34
31.19/31.29 c s 31.3 178109 21753 8512 13244 53017 99706 65674 96.3 3 29
31.19/31.29 c - 31.3 178109 21753 8512 13244 53017 99706 111684 96.3 3 29
31.29/31.36 c 0 31.4 178301 21174 9087 13248 53017 99866 65828 96.2 3 30
31.29/31.36 c
31.29/31.36 s UNSATISFIABLE
31.29/31.36 c
31.29/31.36 c 99866 conflicts, 364504 decisions, 178 random
31.29/31.36 c 6 iterations, 349 restarts, 3 skipped
31.29/31.36 c 0 enlarged, 13588 shrunken, 976 rescored, 43 rebiased
31.29/31.36 c 10 simplifications, 0 reductions
31.29/31.36 c
31.29/31.36 c vars: 9087 fixed, 13248 equiv, 53017 elim, 13764 merged
31.29/31.36 c elim: 4416671 resolutions, 10 phases, 5 rounds
31.29/31.36 c sbst: 93% substituted, 6.1% nots, 75.6% ands, 16.4% xors, 1.9% ites
31.29/31.36 c arty: 2.03 and 2.00 xor average arity
31.29/31.36 c prbe: 242680 probed, 74 phases, 4 rounds
31.29/31.36 c prbe: 1500 failed, 2956 lifted, 2433 merged
31.29/31.36 c sccs: 52 non trivial, 26 fixed, 147 merged
31.29/31.36 c hash: 276 units, 11184 merged
31.29/31.36 c mins: 1838976 learned, 46% deleted, 163 strong, 54 depth
31.29/31.36 c subs: 32421 forward, 43394 backward, 74143 doms
31.29/31.36 c strs: 29537 forward, 5401 backward
31.29/31.36 c doms: 90012 dominators, 52982 high, 54 low
31.29/31.36 c prps: 85392618 propagations, 2.72 megaprops
31.29/31.36 c
31.29/31.36 c 31.4 seconds, 39 MB max, 29 MB recycled
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-3365695-1305315981/watcher-3365695-1305315981 -o /tmp/evaluation-result-3365695-1305315981/solver-3365695-1305315981 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365695-1305315981.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 1.87 1.09 3/262 13943
/proc/meminfo: memFree=23486300/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=5164 CPUtime=0 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 1113 0 0 0 0 0 0 0 23 0 1 0 643196306 5287936 1070 33554432000 134512640 135151029 4286808160 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13943/statm: 1291 1071 60 156 0 1134 0
[startup+0.0609541 s]
/proc/loadavg: 2.08 1.87 1.09 3/262 13943
/proc/meminfo: memFree=23486300/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=14932 CPUtime=0.05 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 3700 0 0 0 5 0 0 0 23 0 1 0 643196306 15290368 3559 33554432000 134512640 135151029 4286808160 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13943/statm: 3733 3560 65 156 0 3576 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14932
[startup+0.10094 s]
/proc/loadavg: 2.08 1.87 1.09 3/262 13943
/proc/meminfo: memFree=23486300/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=19024 CPUtime=0.09 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 4747 0 0 0 9 0 0 0 23 0 1 0 643196306 19480576 4606 33554432000 134512640 135151029 4286808160 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 4756 4607 65 156 0 4599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19024
[startup+0.300907 s]
/proc/loadavg: 2.08 1.87 1.09 3/262 13943
/proc/meminfo: memFree=23486300/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=34912 CPUtime=0.29 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 9083 0 0 0 29 0 0 0 25 0 1 0 643196306 35749888 8555 33554432000 134512640 135151029 4286808160 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 8728 8556 80 156 0 8571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34912
[startup+0.700845 s]
/proc/loadavg: 2.08 1.87 1.09 3/262 13943
/proc/meminfo: memFree=23486300/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=39172 CPUtime=0.69 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 12022 0 0 0 68 1 0 0 25 0 1 0 643196306 40112128 9616 33554432000 134512640 135151029 4286808160 18446744073709551615 134680430 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 9793 9616 80 156 0 9636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39172
[startup+1.50072 s]
/proc/loadavg: 2.08 1.87 1.09 3/263 13944
/proc/meminfo: memFree=23442396/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=48776 CPUtime=1.49 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 14747 0 0 0 148 1 0 0 25 0 1 0 643196306 49946624 11955 33554432000 134512640 135151029 4286808160 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 12194 11955 80 156 0 12037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48776
[startup+3.10042 s]
/proc/loadavg: 2.08 1.87 1.09 3/263 13944
/proc/meminfo: memFree=23441568/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=45012 CPUtime=3.09 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 15327 0 0 0 308 1 0 0 25 0 1 0 643196306 46092288 10789 33554432000 134512640 135151029 4286808160 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11253 10789 80 156 0 11096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45012
[startup+6.30082 s]
/proc/loadavg: 2.08 1.87 1.09 3/263 13944
/proc/meminfo: memFree=23439932/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=45396 CPUtime=6.29 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 17906 0 0 0 627 2 0 0 25 0 1 0 643196306 46485504 10844 33554432000 134512640 135151029 4286808160 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11349 10844 80 156 0 11192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45396
[startup+12.7007 s]
/proc/loadavg: 2.06 1.87 1.10 3/263 13944
/proc/meminfo: memFree=23435488/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=45652 CPUtime=12.69 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 22291 0 0 0 1267 2 0 0 25 0 1 0 643196306 46747648 10918 33554432000 134512640 135151029 4286808160 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11413 10918 80 156 0 11256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45652
[startup+25.5003 s]
/proc/loadavg: 2.05 1.88 1.11 3/263 13944
/proc/meminfo: memFree=23428180/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=45844 CPUtime=25.49 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 30171 0 0 0 2546 3 0 0 25 0 1 0 643196306 46944256 10969 33554432000 134512640 135151029 4286808160 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11461 10969 80 156 0 11304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45844
Solver just ended. Dumping a history of the last processes samples
[startup+28.7008 s]
/proc/loadavg: 2.05 1.88 1.11 3/263 13944
/proc/meminfo: memFree=23426688/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=46132 CPUtime=28.69 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 32150 0 0 0 2865 4 0 0 25 0 1 0 643196306 47239168 11036 33554432000 134512640 135151029 4286808160 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11533 11036 80 156 0 11376 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 46132
[startup+30.3005 s]
/proc/loadavg: 2.05 1.88 1.11 3/263 13944
/proc/meminfo: memFree=23425820/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=47020 CPUtime=30.29 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 32301 0 0 0 3025 4 0 0 25 0 1 0 643196306 48148480 11187 33554432000 134512640 135151029 4286808160 18446744073709551615 134554531 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11755 11187 80 156 0 11598 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 47020
[startup+31.1003 s]
/proc/loadavg: 2.05 1.88 1.11 3/263 13944
/proc/meminfo: memFree=23424704/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=49384 CPUtime=31.09 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 33967 0 0 0 3105 4 0 0 25 0 1 0 643196306 50569216 11897 33554432000 134512640 135151029 4286808160 18446744073709551615 134548014 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 12346 11897 80 156 0 12189 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 49384
[startup+31.3003 s]
/proc/loadavg: 2.05 1.88 1.11 3/263 13944
/proc/meminfo: memFree=23424704/32951124 swapFree=61565116/67111528
[pid=13943] ppid=13941 vsize=45364 CPUtime=31.29 cores=0,2,4,6
/proc/13943/stat : 13943 (precosat) R 13941 13943 13696 0 -1 4202496 34097 0 0 0 3125 4 0 0 25 0 1 0 643196306 46452736 10893 33554432000 134512640 135151029 4286808160 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/13943/statm: 11341 10893 80 156 0 11184 0
Current children cumulated CPU time (s) 31.29
Current children cumulated vsize (KiB) 45364
Child status: 20
Real time (s): 31.3706
CPU time (s): 31.3692
CPU user time (s): 31.3252
CPU system time (s): 0.043993
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 50196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3252
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34098
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= 2
involuntary context switches= 113
runsolver used 0.077988 second user time and 0.184971 second system time
The end
Begin job on node134 at 2011-05-13 21:46:21
IDJOB=3365695
IDBENCH=82357
IDSOLVER=1843
FILE ID=node134/3365695-1305315981
RUNJOBID= node134-1305315243-13714
PBS_JOBID= 13324298
Free space on /tmp= 39152 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-11.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365695-1305315981/watcher-3365695-1305315981 -o /tmp/evaluation-result-3365695-1305315981/solver-3365695-1305315981 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365695-1305315981.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=1017359973
node134.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.831
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.831
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.67
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.831
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.83
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.831
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 : 7186.06
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.831
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.80
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.831
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.831
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.75
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.831
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23486340 kB
Buffers: 209272 kB
Cached: 5539276 kB
SwapCached: 13768 kB
Active: 1074420 kB
Inactive: 8180488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23486340 kB
SwapTotal: 67111528 kB
SwapFree: 61565116 kB
Dirty: 6608 kB
Writeback: 0 kB
AnonPages: 3500360 kB
Mapped: 12828 kB
Slab: 116568 kB
PageTables: 31364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 39065812 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= 39152 MiB
End job on node134 at 2011-05-13 21:46:53