0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3284829-1303763034.cnf'
0.00/0.00 c -- header says num vars: 516641
0.00/0.00 c -- header says num clauses: 9436757
1.49/1.94 c -- clauses added: 0 learnts, 9436757 normals, 0 xors
1.49/1.94 c -- vars added 516641
1.49/1.94 c Parsing time: 1.81 s
1.49/1.95 c N st 0 0 516641 321663 8129437 0 18415253 0 no data no data --
1.49/2.61 c asymm cl-useful: 519/674/247225 lits-rem:2328 time: 0.63
10.19/10.29 c Flit: 233 Blit: 93807 bXBeca: 0 bXProp: 810 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 7.48
10.39/10.40 c Cleaning up after failed var search: 0.11 s
10.49/10.55 c Replacing 810 vars Replaced 26619 lits Time: 0.14 s
11.19/11.26 c bin-w-bin subsume rem 884 bins time: 0.53 s
12.39/12.42 c subs with bin: 0 lits-rem: 984 v-fix: 0 time: 1.16 s
15.30/15.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23829 time: 2.91 s
15.49/15.56 c Removed useless bin: 6590 fixed: 0 props: 20.02M time: 0.22 s
16.99/17.00 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 1.44 s
17.89/17.92 c Finding binary XORs T: 0.91 s found: 2248
17.99/18.06 c Replacing 2248 vars Replaced 167161 lits Time: 0.14 s
18.39/18.48 c Finding non-binary XORs: 0.09 s (found: 0, avg size: nan)
18.39/18.48 c calculated reachability. Time: 0.27
18.50/18.54 c Calc default polars - time: 0.05 s pos: 2958 undec: 253132 neg: 260551
18.50/18.54 c =========================================================================================
18.50/18.54 c types(t): F = full restart, N = normal restart
18.50/18.54 c types(t): S = simplification begin/end, E = solution found
18.50/18.54 c restart types(rt): st = static, dy = dynamic
18.50/18.54 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.50/18.54 c B st 0 0 263509 182514 4342283 0 9902860 0 no data no data --
36.59/36.64 c N dy 11 4077 216014 149286 3311573 3667 7614756 2898846 11.31 12.31 --
48.79/48.82 c N dy 20 8441 212479 146275 3223581 7396 7418242 5650678 8.91 9.90 --
58.20/58.21 c N dy 31 12870 208982 143748 3142133 11224 7238409 7117328 8.27 8.71 --
62.69/62.76 c E dy 36 15306 207401 143748 3142193 13558 7238409 7870422 8.01 no data --
62.69/62.76 c num threads : 1
62.69/62.76 c restarts : 36
62.69/62.76 c dynamic restarts : 30
62.69/62.76 c static restarts : 6
62.69/62.76 c full restarts : 0
62.69/62.76 c total simplify time : 0.37
62.69/62.76 c learnts DL2 : 0
62.69/62.76 c learnts size 2 : 8138190
62.69/62.76 c learnts size 1 : 332226 (64.31 % of vars)
62.69/62.76 c filedLit time : 7.59 (12.16 % time)
62.69/62.76 c v-elim SatELite : 7 (0.00 % vars)
62.69/62.76 c SatELite time : 4.57 (7.32 % time)
62.69/62.76 c v-elim xor : 0 (0.00 % vars)
62.69/62.76 c xor elim time : 0.00 (0.00 % time)
62.69/62.76 c num binary xor trees : 2812
62.69/62.76 c binxor trees' crown : 3058 (1.09 leafs/tree)
62.69/62.76 c bin xor find time : 0.91
62.69/62.76 c OTF clause improved : 126 (0.01 clauses/conflict)
62.69/62.76 c OTF impr. size diff : 1406 (11.16 lits/clause)
62.69/62.76 c OTF cl watch-shrink : 10104 (0.66 clauses/conflict)
62.69/62.76 c OTF cl watch-sh-lit : 587572 (58.15 lits/clause)
62.69/62.76 c tried to recurMin cls : 10432 (68.16 % of conflicts)
62.69/62.76 c updated cache : 51695 (4.96 lits/tried recurMin)
62.69/62.76 c clauses over max glue : 0 (0.00 % of all clauses)
62.69/62.76 c conflicts : 15306 (245.12 / sec)
62.69/62.76 c decisions : 158039 (0.00 % random)
62.69/62.76 c bogo-props : 1036741509 (16603137.17 / sec)
62.69/62.76 c conflict literals : 8945826 (34.22 % deleted)
62.69/62.76 c Memory used : 1101.69 MB
62.69/62.76 c CPU time : 62.44 s
62.69/62.76 s UNSATISFIABLE
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-3284829-1303763034/watcher-3284829-1303763034 -o /tmp/evaluation-result-3284829-1303763034/solver-3284829-1303763034 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284829-1303763034.cnf
running on 2 cores: 1,3
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: 2.60 1.64 2.00 5/189 16887
/proc/meminfo: memFree=12525324/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=23008 CPUtime=0 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 1151 0 0 0 0 0 0 0 22 0 1 0 468719617 23560192 992 33554432000 4194304 4650387 140734037888272 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 5752 994 328 112 0 717 0
[startup+0.0445249 s]
/proc/loadavg: 2.60 1.64 2.00 5/189 16887
/proc/meminfo: memFree=12525324/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=37436 CPUtime=0.03 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 2798 0 0 0 3 0 0 0 22 0 1 0 468719617 38334464 2229 33554432000 4194304 4650387 140734037888272 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 9359 2229 330 112 0 4324 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37436
[startup+0.100515 s]
/proc/loadavg: 2.60 1.64 2.00 5/189 16887
/proc/meminfo: memFree=12525324/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=42908 CPUtime=0.08 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 4502 0 0 0 8 0 0 0 22 0 1 0 468719617 43937792 3388 33554432000 4194304 4650387 140734037888272 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 10727 3391 330 112 0 5692 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42908
[startup+0.300501 s]
/proc/loadavg: 2.60 1.64 2.00 5/189 16887
/proc/meminfo: memFree=12525324/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=74856 CPUtime=0.29 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 13426 0 0 0 27 2 0 0 23 0 1 0 468719617 76652544 11172 33554432000 4194304 4650387 140734037888272 18446744073709551615 270338383616 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 18714 11172 330 112 0 13679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74856
[startup+0.7004 s]
/proc/loadavg: 2.60 1.64 2.00 5/189 16887
/proc/meminfo: memFree=12525324/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=140056 CPUtime=0.69 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 31801 0 0 0 65 4 0 0 25 0 1 0 468719617 143417344 27298 33554432000 4194304 4650387 140734037888272 18446744073709551615 4545851 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 35014 27298 330 112 0 29979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140056
[startup+1.50024 s]
/proc/loadavg: 2.60 1.64 2.00 5/190 16888
/proc/meminfo: memFree=12354816/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=312920 CPUtime=1.49 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 69179 0 0 0 139 10 0 0 25 0 1 0 468719617 320430080 60187 33554432000 4194304 4650387 140734037888272 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 78230 60188 330 112 0 73195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 312920
[startup+3.10092 s]
/proc/loadavg: 2.71 1.68 2.01 5/190 16888
/proc/meminfo: memFree=12114068/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=403912 CPUtime=3.09 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 100970 0 0 0 295 14 0 0 25 0 1 0 468719617 413605888 88636 33554432000 4194304 4650387 140734037888272 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 100978 88636 353 112 0 95943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 403912
[startup+6.30029 s]
/proc/loadavg: 2.71 1.68 2.01 5/190 16888
/proc/meminfo: memFree=11977052/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=661016 CPUtime=6.29 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 146739 0 0 0 610 19 0 0 25 0 1 0 468719617 676880384 134405 33554432000 4194304 4650387 140734037888272 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 165254 134405 353 112 0 160219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 661016
[startup+12.701 s]
/proc/loadavg: 2.81 1.72 2.02 5/190 16889
/proc/meminfo: memFree=11650816/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1058324 CPUtime=12.69 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 220415 0 0 0 1240 29 0 0 25 0 1 0 468719617 1083723776 208081 33554432000 4194304 4650387 140734037888272 18446744073709551615 270338049560 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 264581 208083 366 112 0 259546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1058324
[startup+25.5005 s]
/proc/loadavg: 3.08 1.83 2.05 5/190 16889
/proc/meminfo: memFree=11520984/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1062580 CPUtime=25.49 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 221870 0 0 0 2520 29 0 0 25 0 1 0 468719617 1088081920 209536 33554432000 4194304 4650387 140734037888272 18446744073709551615 4367369 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 265645 209536 379 112 0 260610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1062580
[startup+51.1004 s]
/proc/loadavg: 3.39 2.00 2.10 5/190 16890
/proc/meminfo: memFree=11180116/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=51.09 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 228117 0 0 0 5078 31 0 0 25 0 1 0 468719617 1155198976 215783 33554432000 4194304 4650387 140734037888272 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 215783 379 112 0 276996 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1128124
Solver just ended. Dumping a history of the last processes samples
[startup+52.1002 s]
/proc/loadavg: 3.39 2.00 2.10 5/190 16890
/proc/meminfo: memFree=11251168/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=52.09 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 228352 0 0 0 5178 31 0 0 25 0 1 0 468719617 1155198976 216018 33554432000 4194304 4650387 140734037888272 18446744073709551615 4349662 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 216018 379 112 0 276996 0
Current children cumulated CPU time (s) 52.09
Current children cumulated vsize (KiB) 1128124
[startup+58.5009 s]
/proc/loadavg: 3.48 2.07 2.12 5/190 16892
/proc/meminfo: memFree=11171820/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=58.5 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 229585 0 0 0 5818 32 0 0 25 0 1 0 468719617 1155198976 217251 33554432000 4194304 4650387 140734037888272 18446744073709551615 4314849 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 217251 379 112 0 276996 0
Current children cumulated CPU time (s) 58.5
Current children cumulated vsize (KiB) 1128124
[startup+60.1006 s]
/proc/loadavg: 3.48 2.07 2.12 5/190 16892
/proc/meminfo: memFree=11167232/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=60.09 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 229854 0 0 0 5977 32 0 0 25 0 1 0 468719617 1155198976 217520 33554432000 4194304 4650387 140734037888272 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 217520 379 112 0 276996 0
Current children cumulated CPU time (s) 60.09
Current children cumulated vsize (KiB) 1128124
[startup+61.7003 s]
/proc/loadavg: 3.48 2.07 2.12 5/190 16892
/proc/meminfo: memFree=11164628/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=61.69 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 230104 0 0 0 6137 32 0 0 25 0 1 0 468719617 1155198976 217770 33554432000 4194304 4650387 140734037888272 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 217770 379 112 0 276996 0
Current children cumulated CPU time (s) 61.69
Current children cumulated vsize (KiB) 1128124
[startup+62.5011 s]
/proc/loadavg: 3.48 2.07 2.12 5/190 16892
/proc/meminfo: memFree=11160660/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=1128124 CPUtime=62.5 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202496 230219 0 0 0 6218 32 0 0 25 0 1 0 468719617 1155198976 217885 33554432000 4194304 4650387 140734037888272 18446744073709551615 4363391 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16887/statm: 282031 217885 379 112 0 276996 0
Current children cumulated CPU time (s) 62.5
Current children cumulated vsize (KiB) 1128124
[startup+62.9011 s]
/proc/loadavg: 3.48 2.07 2.12 5/190 16892
/proc/meminfo: memFree=11160660/32951124 swapFree=67111528/67111528
[pid=16887] ppid=16885 vsize=0 CPUtime=62.89 cores=1,3
/proc/16887/stat : 16887 (strangenight1-s) R 16885 16887 15473 0 -1 4202500 230269 0 0 0 6255 34 0 0 25 0 1 0 468719617 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16887/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 62.89
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 62.9187
CPU time (s): 62.9184
CPU user time (s): 62.5515
CPU system time (s): 0.366944
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 1128124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.5515
system time used= 0.366944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230269
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= 7
involuntary context switches= 96
runsolver used 0.092985 second user time and 0.247962 second system time
The end
Begin job on node143 at 2011-04-25 22:24:00
IDJOB=3284829
IDBENCH=82364
IDSOLVER=1589
FILE ID=node143/3284829-1303763034
RUNJOBID= node143-1303762995-16711
PBS_JOBID= 13154066
Free space on /tmp= 72092 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284829-1303763034/watcher-3284829-1303763034 -o /tmp/evaluation-result-3284829-1303763034/solver-3284829-1303763034 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284829-1303763034.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=1294742869
node143.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.846
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.69
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.846
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 : 5226.15
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.846
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.74
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.846
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 : 5332.83
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.846
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.75
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.846
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.846
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.846
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12525604 kB
Buffers: 2276676 kB
Cached: 16275084 kB
SwapCached: 0 kB
Active: 8396724 kB
Inactive: 11463892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12525604 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 258348 kB
Writeback: 0 kB
AnonPages: 1307888 kB
Mapped: 16424 kB
Slab: 496848 kB
PageTables: 7868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1722540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72088 MiB
End job on node143 at 2011-04-25 22:25:03