0.00/0.08 c Outputting solution to console
0.00/0.08 c This is CryptoMiniSat 2.9.0
0.00/0.08 c compiled with gcc version 4.4.5
0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08 c Reading file 'HOME/instance-3370625-1305396699.cnf'
0.00/0.09 c -- header says num vars: 370048
0.00/0.09 c -- header says num clauses: 1118066
0.40/0.57 c -- clauses added: 0 learnts, 1118066 normals, 0 xors
0.40/0.57 c -- vars added 370048
0.40/0.57 c Parsing time: 0.42 s
0.40/0.57 c N st 0 0 370048 342439 717495 0 2705884 0 no data no data --
1.02/1.17 c asymm cl-useful: 64/64/322352 lits-rem:10363 time: 0.59
12.21/12.30 c Flit: 8883 Blit: 13418 bXBeca: 0 bXProp: 23254 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 10.95
12.21/12.34 c Cleaning up after failed var search: 0.04 s
12.31/12.42 c Replacing 23255 vars Replaced 349566 lits Time: 0.07 s
12.41/12.57 c bin-w-bin subsume rem 469 bins time: 0.04 s
12.52/12.69 c subs with bin: 330 lits-rem: 6757 v-fix: 0 time: 0.12 s
17.70/17.87 c Subs w/ non-existent bins: 177 l-rem: 2469 v-fix: 969 done: 27023 time: 5.18 s
17.91/18.09 c Removed useless bin: 3 fixed: 0 props: 20.03M time: 0.22 s
18.80/18.91 c lits-rem: 77 cl-subs: 12101 v-elim: 95148 v-fix: 0 time: 0.80 s
19.50/19.63 c Finding binary XORs T: 0.72 s found: 15433
19.60/19.70 c Replacing 15433 vars Replaced 187050 lits Time: 0.07 s
19.80/19.92 c Finding non-binary XORs: 0.17 s (found: 6617, avg size: 3.0)
19.80/19.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1973 locsubst: 462 time: 0.04
19.80/19.98 c calculated reachability. Time: 0.04
19.90/20.01 c Calc default polars - time: 0.02 s pos: 138508 undec: 211949 neg: 19591
19.90/20.01 c =========================================================================================
19.90/20.01 c types(t): F = full restart, N = normal restart
19.90/20.01 c types(t): S = simplification begin/end, E = solution found
19.90/20.01 c restart types(rt): st = static, dy = dynamic
19.90/20.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19.90/20.01 c B st 0 0 171921 303910 283176 0 1539413 0 no data no data --
22.50/22.65 c E st 5 921 170121 296015 281232 695 1500669 34767 no data no data --
22.50/22.65 c num threads : 1
22.50/22.65 c restarts : 5
22.50/22.65 c dynamic restarts : 0
22.50/22.65 c static restarts : 5
22.50/22.65 c full restarts : 0
22.50/22.65 c total simplify time : 0.03
22.50/22.65 c learnts DL2 : 0
22.50/22.65 c learnts size 2 : 750810
22.50/22.65 c learnts size 1 : 89540 (24.20 % of vars)
22.50/22.65 c filedLit time : 10.99 (49.24 % time)
22.50/22.65 c v-elim SatELite : 95148 (25.71 % vars)
22.50/22.65 c SatELite time : 5.85 (26.21 % time)
22.50/22.65 c v-elim xor : 1973 (0.53 % vars)
22.50/22.65 c xor elim time : 0.04 (0.20 % time)
22.50/22.65 c num binary xor trees : 9707
22.50/22.65 c binxor trees' crown : 38848 (4.00 leafs/tree)
22.50/22.65 c bin xor find time : 0.72
22.50/22.65 c OTF clause improved : 25 (0.03 clauses/conflict)
22.50/22.65 c OTF impr. size diff : 53 (2.12 lits/clause)
22.50/22.65 c OTF cl watch-shrink : 335 (0.36 clauses/conflict)
22.50/22.65 c OTF cl watch-sh-lit : 1431 (4.27 lits/clause)
22.50/22.65 c tried to recurMin cls : 519 (56.35 % of conflicts)
22.50/22.65 c updated cache : 697 (1.34 lits/tried recurMin)
22.50/22.65 c clauses over max glue : 0 (0.00 % of all clauses)
22.50/22.65 c conflicts : 921 (41.25 / sec)
22.50/22.65 c decisions : 3077 (0.00 % random)
22.50/22.65 c bogo-props : 338252882 (15150894.32 / sec)
22.50/22.65 c conflict literals : 40936 (29.66 % deleted)
22.50/22.65 c Memory used : 745.77 MB
22.50/22.65 c CPU time : 22.33 s
22.50/22.65 s UNSATISFIABLE
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-3370625-1305396699/watcher-3370625-1305396699 -o /tmp/evaluation-result-3370625-1305396699/solver-3370625-1305396699 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370625-1305396699.cnf
running on 2 cores: 0,2
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: 3.42 3.90 3.71 3/317 9501
/proc/meminfo: memFree=22875420/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=11796 CPUtime=0 cores=0,2
/proc/9501/stat : 9501 (runsolver) S 9497 9501 8223 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 1 0 729900417 12079104 50 33554432000 4194304 5432360 140736039400592 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/9501/statm: 2949 50 30 303 0 2643 0
[startup+0.059164 s]
/proc/loadavg: 3.42 3.90 3.71 3/317 9501
/proc/meminfo: memFree=22875420/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=8508 CPUtime=0 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) S 9497 9501 8223 0 -1 4194304 97 0 0 0 0 0 0 0 17 0 1 0 729900417 8712192 54 33554432000 4194304 4650387 140735942163872 18446744073709551615 252453142151 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/9501/statm: 2127 54 41 112 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8508
[startup+0.10115 s]
/proc/loadavg: 3.42 3.90 3.71 3/317 9501
/proc/meminfo: memFree=22875420/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=41636 CPUtime=0 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 3875 0 0 0 0 0 0 0 17 0 1 0 729900417 42635264 2834 33554432000 4194304 4650387 140735942163872 18446744073709551615 252458091626 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 10665 2861 330 112 0 5630 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 41636
[startup+0.301112 s]
/proc/loadavg: 3.42 3.90 3.71 3/317 9501
/proc/meminfo: memFree=22875420/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=156820 CPUtime=0.2 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 35416 0 0 0 16 4 0 0 17 0 1 0 729900417 160583680 26752 33554432000 4194304 4650387 140735942163872 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 39205 26752 330 112 0 34170 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 156820
[startup+0.701043 s]
/proc/loadavg: 3.42 3.90 3.71 3/317 9501
/proc/meminfo: memFree=22875420/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=214108 CPUtime=0.61 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 42682 0 0 0 55 6 0 0 17 0 1 0 729900417 219246592 34018 33554432000 4194304 4650387 140735942163872 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 53527 34018 347 112 0 48492 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 214108
[startup+1.50089 s]
/proc/loadavg: 3.42 3.90 3.71 5/322 9509
/proc/meminfo: memFree=22237888/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=219756 CPUtime=1.4 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 50768 0 0 0 133 7 0 0 19 0 1 0 729900417 225030144 39854 33554432000 4194304 4650387 140735942163872 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 54939 39854 353 112 0 49904 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 219756
[startup+3.10059 s]
/proc/loadavg: 3.54 3.91 3.72 5/327 9515
/proc/meminfo: memFree=21548428/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=293504 CPUtime=3 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 65187 0 0 0 291 9 0 0 22 0 1 0 729900417 300548096 54273 33554432000 4194304 4650387 140735942163872 18446744073709551615 4241555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 73376 54273 353 112 0 68341 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 293504
[startup+6.30096 s]
/proc/loadavg: 3.54 3.91 3.72 5/327 9515
/proc/meminfo: memFree=20818812/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=450160 CPUtime=6.21 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 95131 0 0 0 607 14 0 0 25 0 1 0 729900417 460963840 84217 33554432000 4194304 4650387 140735942163872 18446744073709551615 4245091 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 112540 84217 353 112 0 107505 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 450160
[startup+12.7008 s]
/proc/loadavg: 3.83 3.96 3.74 5/327 9542
/proc/meminfo: memFree=20398488/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=692864 CPUtime=12.61 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 146734 0 0 0 1240 21 0 0 25 0 1 0 729900417 709492736 135820 33554432000 4194304 4650387 140735942163872 18446744073709551615 4468051 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 173216 135820 365 112 0 168181 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 692864
Solver just ended. Dumping a history of the last processes samples
[startup+13.2007 s]
/proc/loadavg: 3.83 3.96 3.74 5/327 9542
/proc/meminfo: memFree=20398488/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=720148 CPUtime=13.1 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 153566 0 0 0 1289 21 0 0 25 0 1 0 729900417 737431552 142652 33554432000 4194304 4650387 140735942163872 18446744073709551615 4550048 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 180037 142652 366 112 0 175002 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 720148
[startup+19.6005 s]
/proc/loadavg: 3.85 3.97 3.74 5/327 9542
/proc/meminfo: memFree=20154964/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=763664 CPUtime=19.5 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 165653 0 0 0 1927 23 0 0 25 0 1 0 729900417 781991936 154739 33554432000 4194304 4650387 140735942163872 18446744073709551615 4528925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 190916 154739 370 112 0 185881 0
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (KiB) 763664
[startup+21.2012 s]
/proc/loadavg: 3.85 3.97 3.74 5/327 9542
/proc/meminfo: memFree=20126444/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=763664 CPUtime=21.1 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 166073 0 0 0 2087 23 0 0 25 0 1 0 729900417 781991936 155159 33554432000 4194304 4650387 140735942163872 18446744073709551615 4364463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 190916 155159 379 112 0 185881 0
Current children cumulated CPU time (s) 21.1
Current children cumulated vsize (KiB) 763664
[startup+22.0011 s]
/proc/loadavg: 3.85 3.97 3.74 5/327 9542
/proc/meminfo: memFree=20125832/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=763664 CPUtime=21.9 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 166088 0 0 0 2167 23 0 0 25 0 1 0 729900417 781991936 155174 33554432000 4194304 4650387 140735942163872 18446744073709551615 4364138 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 190916 155174 379 112 0 185881 0
Current children cumulated CPU time (s) 21.9
Current children cumulated vsize (KiB) 763664
[startup+22.401 s]
/proc/loadavg: 3.94 3.98 3.74 5/327 9542
/proc/meminfo: memFree=19936856/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=763664 CPUtime=22.3 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 166291 0 0 0 2207 23 0 0 25 0 1 0 729900417 781991936 155377 33554432000 4194304 4650387 140735942163872 18446744073709551615 4363715 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 190916 155377 379 112 0 185881 0
Current children cumulated CPU time (s) 22.3
Current children cumulated vsize (KiB) 763664
[startup+22.8009 s]
/proc/loadavg: 3.94 3.98 3.74 5/327 9542
/proc/meminfo: memFree=19936856/32951124 swapFree=59305796/67111528
[pid=9501] ppid=9497 vsize=763664 CPUtime=22.7 cores=0,2
/proc/9501/stat : 9501 (strangenight1-s) R 9497 9501 8223 0 -1 4202496 166304 0 0 0 2247 23 0 0 18 0 1 0 729900417 781991936 155389 33554432000 4194304 4650387 140735942163872 18446744073709551615 252457723666 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9501/statm: 190916 155389 390 112 0 185881 0
Current children cumulated CPU time (s) 22.7
Current children cumulated vsize (KiB) 763664
Child status: 20
Real time (s): 22.8915
CPU time (s): 22.8045
CPU user time (s): 22.5366
CPU system time (s): 0.267959
CPU usage (%): 99.6201
Max. virtual memory (cumulated for all children) (KiB): 763664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5366
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166305
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= 49
involuntary context switches= 68
runsolver used 0.06499 second user time and 0.166974 second system time
The end
Begin job on node111 at 2011-05-14 20:11:39
IDJOB=3370625
IDBENCH=88178
IDSOLVER=1847
FILE ID=node111/3370625-1305396699
RUNJOBID= node111-1305396699-9476
PBS_JOBID= 13324403
Free space on /tmp= 73512 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370625-1305396699/watcher-3370625-1305396699 -o /tmp/evaluation-result-3370625-1305396699/solver-3370625-1305396699 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370625-1305396699.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b15321a24257fa4bdfd9c20c782f4c0e
RANDOM SEED=942850341
node111.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.849
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.849
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 : 5428.12
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.849
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.75
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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: 22882464 kB
Buffers: 258112 kB
Cached: 6558192 kB
SwapCached: 13720 kB
Active: 1037528 kB
Inactive: 8807384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22882464 kB
SwapTotal: 67111528 kB
SwapFree: 59305796 kB
Dirty: 185292 kB
Writeback: 0 kB
AnonPages: 3023716 kB
Mapped: 12156 kB
Slab: 123280 kB
PageTables: 36656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 53319056 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= 73408 MiB
End job on node111 at 2011-05-14 20:12:02