0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 3.0.0
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3290899-1303783389.cnf'
0.00/0.00 c -- header says num vars: 4740
0.00/0.00 c -- header says num clauses: 41379
0.00/0.01 c -- clauses added: 0 learnts, 41379 normals, 0 xors
0.00/0.01 c -- vars added 4740
0.00/0.01 c Parsing time: 0.01 s
0.00/0.01 c N st 0 0 4740 29396 11759 0 183338 0 no data no data
0.29/0.36 c asymm cl-useful: 0/12103/29291 lits-rem:0 time: 0.35
0.39/0.45 c Flit: 21 Blit: 0 bXBeca: 0 bXProp: 60 Bins: 0 BRemL: 0 BRemN: 0 P: 3.7M T: 0.09
0.39/0.46 c Replacing 60 vars Replaced 19728 lits Time: 0.00 s
0.39/0.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.39/0.47 c bin-w-bin subsume rem 129 bins time: 0.00 s
0.39/0.47 c subs with bin: 314 lits-rem: 10 v-fix: 0 time: 0.00 s
0.39/0.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4540 time: 0.01 s
0.39/0.48 c Removed useless bin: 0 fixed: 0 props: 0.74M time: 0.00 s
0.49/0.54 c lits-rem: 0 cl-subs: 4 v-elim: 518 v-fix: 0 time: 0.05 s
0.49/0.54 c Finding binary XORs T: 0.00 s found: 0
0.49/0.55 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
0.49/0.55 c calculated reachability. Time: 0.00
0.49/0.56 c Calc default polars - time: 0.00 s pos: 196 undec: 718 neg: 3826
0.49/0.56 c =========================================================================================
0.49/0.56 c types(t): F = full restart, N = normal restart
0.49/0.56 c types(t): S = simplification begin/end, E = solution found
0.49/0.56 c restart types(rt): st = static, dy = dynamic
0.49/0.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.49/0.56 c B st 0 0 4022 29607 9878 0 188428 0 no data no data
0.69/0.73 c N dy 17 4145 4020 29607 10017 3953 188428 109278 7.74 8.27
0.89/0.93 c N dy 40 8181 4018 29607 10110 5458 188428 117136 8.22 8.82
1.09/1.15 c N dy 62 12227 4014 29607 10186 5297 188428 87546 8.32 8.81
1.29/1.34 c N dy 86 16301 4014 29607 10285 9240 188428 197003 8.32 9.13
1.48/1.58 c N dy 110 20370 4011 29607 10341 7774 188428 137771 8.37 9.00
1.78/1.88 c N dy 127 24524 4010 29607 10408 11815 188428 247966 8.32 8.79
1.88/1.92 c F st 132 25002 4010 29607 10418 12275 188427 260869 8.33 no data
1.88/1.98 c Finding binary XORs T: 0.00 s found: 0
2.19/2.26 c N dy 138 30005 4010 29597 10399 10513 188247 195801 8.33 no data
2.19/2.26 c S st 138 30005 4010 29597 10399 10513 188247 195801 8.33 no data
2.28/2.32 c S st 138 30505 4010 29597 10420 10992 188247 207605 8.33 no data
2.28/2.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.48/2.57 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 115419 BRemL: 102858 BRemN: 0 P: 6.8M T: 0.25
2.48/2.58 c blocked clauses removed: 0 vars: 0 tried: 4009 T: 0.00 s
2.48/2.58 c bin-w-bin subsume rem 1 bins time: 0.00 s
2.48/2.59 c subs with bin: 116 lits-rem: 226 v-fix: 0 time: 0.01 s
2.58/2.60 c Subs w/ non-existent bins: 4 l-rem: 67 v-fix: 0 done: 4009 time: 0.01 s
2.58/2.60 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.00 s
2.58/2.62 c lits-rem: 0 cl-subs: 118 v-elim: 92 v-fix: 0 time: 0.02 s
2.58/2.64 c subs with bin: 139 lits-rem: 1826 v-fix: 0 time: 0.01 s
2.58/2.67 c lits-rem: 233 cl-subs: 432 v-elim: 0 v-fix: 0 time: 0.02 s
2.88/2.96 c asymm cl-useful: 1/17467/29570 lits-rem:1 time: 0.29
2.88/2.96 c calculated reachability. Time: 0.00
2.88/2.96 c N dy 138 30505 3917 29570 22149 5472 188945 90864 8.33 no data
2.88/2.97 c Finding binary XORs T: 0.00 s found: 0
3.19/3.20 c N dy 164 34547 3917 29570 22159 9465 188945 191848 8.39 10.00
3.38/3.45 c N dy 187 38552 3911 29570 22175 8178 188945 148994 8.43 10.09
3.68/3.73 c N dy 214 42708 3911 29570 22182 12289 188945 259737 8.51 9.05
3.88/3.99 c S st 231 45757 3910 29570 22191 7740 188941 102972 8.51 7.27
3.98/4.04 c S st 231 46261 3910 29570 22191 8243 188941 116004 8.51 no data
3.98/4.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
4.18/4.21 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1359 BRemL: 931 BRemN: 0 P: 6.1M T: 0.17
4.18/4.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4.18/4.22 c bin-w-bin subsume rem 10 bins time: 0.00 s
4.18/4.23 c subs with bin: 114 lits-rem: 27 v-fix: 0 time: 0.00 s
4.18/4.23 c Subs w/ non-existent bins: 1 l-rem: 11 v-fix: 0 done: 3909 time: 0.01 s
4.18/4.24 c Removed useless bin: 1 fixed: 0 props: 0.31M time: 0.00 s
4.18/4.25 c lits-rem: 0 cl-subs: 39 v-elim: 10 v-fix: 0 time: 0.01 s
4.18/4.27 c subs with bin: 111 lits-rem: 258 v-fix: 0 time: 0.01 s
4.18/4.29 c lits-rem: 112 cl-subs: 269 v-elim: 0 v-fix: 0 time: 0.01 s
4.18/4.29 c vivif2 -- cl tried 29417 cl shrink 13 lits rem 15 time: 0.01
4.29/4.30 c vivif2 -- cl tried 7025 cl shrink 387 lits rem 849 time: 0.00
4.68/4.70 c asymm cl-useful: 52/9895/29417 lits-rem:58 time: 0.40
4.68/4.70 c calculated reachability. Time: 0.00
4.68/4.70 c N dy 231 46261 3899 29417 22095 7025 188023 99258 8.51 no data
4.88/4.99 c N dy 244 50436 3896 29417 22123 11107 188023 210576 8.40 8.95
5.28/5.32 c N dy 268 54470 3892 29417 22139 15073 188023 318912 8.42 12.89
5.49/5.51 c Finding binary XORs T: 0.00 s found: 0
5.59/5.66 c N dy 287 58521 3887 29407 21866 9786 187891 147095 8.40 8.86
5.89/5.98 c N dy 314 62589 3886 29407 21878 13806 187891 265203 8.44 8.93
6.29/6.36 c N dy 336 66677 3882 29407 21901 17810 187891 383894 8.46 9.19
6.60/6.63 c S st 348 69391 3876 29407 21920 10450 187891 139236 8.46 5.83
6.60/6.68 c S st 348 69895 3876 29407 21920 10953 187891 154527 8.46 no data
6.60/6.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
6.79/6.87 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3318 BRemL: 3064 BRemN: 0 P: 6.8M T: 0.18
6.79/6.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.79/6.87 c bin-w-bin subsume rem 23 bins time: 0.00 s
6.79/6.88 c subs with bin: 659 lits-rem: 247 v-fix: 0 time: 0.01 s
6.79/6.89 c Subs w/ non-existent bins: 192 l-rem: 15 v-fix: 0 done: 3871 time: 0.01 s
6.79/6.89 c Removed useless bin: 3 fixed: 0 props: 0.32M time: 0.00 s
6.89/6.91 c lits-rem: 0 cl-subs: 133 v-elim: 45 v-fix: 0 time: 0.02 s
6.89/6.93 c subs with bin: 478 lits-rem: 1284 v-fix: 0 time: 0.01 s
6.89/6.94 c lits-rem: 303 cl-subs: 338 v-elim: 0 v-fix: 0 time: 0.01 s
6.89/6.95 c vivif2 -- cl tried 28453 cl shrink 62 lits rem 73 time: 0.01
6.89/6.96 c vivif2 -- cl tried 6542 cl shrink 896 lits rem 1514 time: 0.00
7.29/7.34 c asymm cl-useful: 195/18556/28451 lits-rem:326 time: 0.38
7.29/7.34 c calculated reachability. Time: 0.00
7.29/7.34 c N dy 348 69895 3826 28397 21480 6536 182532 87398 8.46 no data
7.29/7.35 c Finding binary XORs T: 0.00 s found: 0
7.60/7.64 c N dy 371 74404 3824 28397 21502 10978 182532 205850 8.42 8.88
7.99/8.03 c N dy 399 79213 3818 28397 21515 15722 182532 335730 8.43 8.94
8.48/8.54 c N dy 433 84761 3815 28397 21534 11584 182531 171976 8.47 9.04
8.69/8.77 c F st 446 87500 3811 28397 21553 14261 182531 239759 8.47 no data
8.98/9.05 c N st 451 90797 3768 28129 20682 14041 180682 258830 8.47 no data
9.48/9.56 c E dy 462 95545 3747 28129 20715 18618 180682 357735 8.44 5.63
9.48/9.56 c num threads : 1
9.48/9.56 c restarts : 462
9.48/9.56 c dynamic restarts : 444
9.48/9.56 c static restarts : 18
9.48/9.56 c full restarts : 2
9.48/9.56 c total simplify time : 0.02
9.48/9.56 c learnts DL2 : 0
9.48/9.56 c learnts size 2 : 133131
9.48/9.56 c learnts size 1 : 747 (15.76 % of vars)
9.48/9.56 c filedLit time : 0.69 (7.28 % time)
9.48/9.56 c v-elim SatELite : 665 (14.03 % vars)
9.48/9.56 c SatELite time : 0.16 (1.63 % time)
9.48/9.56 c v-elim xor : 0 (0.00 % vars)
9.48/9.56 c xor elim time : 0.01 (0.05 % time)
9.48/9.56 c num binary xor trees : 60
9.48/9.56 c binxor trees' crown : 60 (1.00 leafs/tree)
9.48/9.56 c bin xor find time : 0.02
9.48/9.56 c OTF clause improved : 1129 (0.01 clauses/conflict)
9.48/9.56 c OTF impr. size diff : 1480 (1.31 lits/clause)
9.48/9.56 c OTF cl watch-shrink : 59064 (0.62 clauses/conflict)
9.48/9.56 c OTF cl watch-sh-lit : 178903 (3.03 lits/clause)
9.48/9.56 c tried to recurMin cls : 35667 (37.33 % of conflicts)
9.48/9.56 c updated cache : 0 (0.00 lits/tried recurMin)
9.48/9.56 c clauses over max glue : 0 (0.00 % of all clauses)
9.48/9.56 c conflicts : 95545 (10012.52 / sec)
9.48/9.56 c decisions : 159136 (1.66 % random)
9.48/9.56 c bogo-props : 558567288 (58534390.34 / sec)
9.48/9.56 c conflict literals : 2569011 (36.49 % deleted)
9.48/9.56 c Memory used : 57.11 MB
9.48/9.56 c CPU time : 9.54 s
9.48/9.56 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-3290899-1303783389/watcher-3290899-1303783389 -o /tmp/evaluation-result-3290899-1303783389/solver-3290899-1303783389 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3290899-1303783389.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: 4.11 4.03 3.64 5/189 7164
/proc/meminfo: memFree=20206788/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=29952 CPUtime=0 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 768 0 0 0 0 0 0 0 25 0 1 0 489936874 30670848 707 33554432000 4194304 4627331 140736669860672 18446744073709551615 4360952 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 7488 707 320 106 0 2459 0
[startup+0.013016 s]
/proc/loadavg: 4.11 4.03 3.64 5/189 7164
/proc/meminfo: memFree=20206788/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=32120 CPUtime=0 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 1381 0 0 0 0 0 0 0 25 0 1 0 489936874 32890880 1222 33554432000 4194304 4627331 140736669860672 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 8030 1223 323 106 0 3001 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 32120
[startup+0.101008 s]
/proc/loadavg: 4.11 4.03 3.64 5/189 7164
/proc/meminfo: memFree=20206788/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=33136 CPUtime=0.09 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 1815 0 0 0 9 0 0 0 25 0 1 0 489936874 33931264 1656 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309552 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 8284 1656 342 106 0 3255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33136
[startup+0.300961 s]
/proc/loadavg: 4.11 4.03 3.64 5/189 7164
/proc/meminfo: memFree=20206788/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=33268 CPUtime=0.29 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 1849 0 0 0 29 0 0 0 25 0 1 0 489936874 34066432 1690 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309283 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 8317 1690 342 106 0 3288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33268
[startup+0.700888 s]
/proc/loadavg: 4.11 4.03 3.64 5/189 7164
/proc/meminfo: memFree=20206788/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=41456 CPUtime=0.69 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 4383 0 0 0 69 0 0 0 25 0 1 0 489936874 42450944 3757 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309110 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 10364 3757 373 106 0 5335 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41456
[startup+1.50076 s]
/proc/loadavg: 4.11 4.03 3.64 5/190 7165
/proc/meminfo: memFree=20191428/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=43528 CPUtime=1.48 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 5576 0 0 0 148 0 0 0 25 0 1 0 489936874 44572672 3844 33554432000 4194304 4627331 140736669860672 18446744073709551615 4330095 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 10882 3844 374 106 0 5853 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43528
[startup+3.10047 s]
/proc/loadavg: 4.11 4.03 3.64 5/190 7165
/proc/meminfo: memFree=20189568/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=48816 CPUtime=3.08 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 7707 0 0 0 308 0 0 0 25 0 1 0 489936874 49987584 5400 33554432000 4194304 4627331 140736669860672 18446744073709551615 4308592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 12204 5400 379 106 0 7175 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48816
[startup+6.30091 s]
/proc/loadavg: 4.10 4.03 3.65 5/190 7166
/proc/meminfo: memFree=20179480/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=58428 CPUtime=6.29 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 9640 0 0 0 628 1 0 0 25 0 1 0 489936874 59830272 6002 33554432000 4194304 4627331 140736669860672 18446744073709551615 4308250 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 14607 6002 379 106 0 9578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58428
Solver just ended. Dumping a history of the last processes samples
[startup+7.90062 s]
/proc/loadavg: 4.10 4.03 3.65 5/190 7166
/proc/meminfo: memFree=20185928/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=58544 CPUtime=7.89 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 10390 0 0 0 788 1 0 0 25 0 1 0 489936874 59949056 6025 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 14636 6025 379 106 0 9607 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 58544
[startup+8.70048 s]
/proc/loadavg: 4.10 4.03 3.65 5/190 7166
/proc/meminfo: memFree=20185276/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=58480 CPUtime=8.69 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 11011 0 0 0 868 1 0 0 25 0 1 0 489936874 59883520 5850 33554432000 4194304 4627331 140736669860672 18446744073709551615 4308387 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 14620 5850 379 106 0 9591 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 58480
[startup+9.10041 s]
/proc/loadavg: 4.10 4.03 3.65 5/190 7166
/proc/meminfo: memFree=20185276/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=58480 CPUtime=9.08 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 11133 0 0 0 907 1 0 0 25 0 1 0 489936874 59883520 5972 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309360 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 14620 5972 379 106 0 9591 0
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (KiB) 58480
[startup+9.50035 s]
/proc/loadavg: 4.10 4.03 3.65 5/190 7166
/proc/meminfo: memFree=20185276/32951124 swapFree=67111464/67111528
[pid=7164] ppid=7162 vsize=58480 CPUtime=9.48 cores=5,7
/proc/7164/stat : 7164 (strangenight2-s) R 7162 7164 6373 0 -1 4202496 11221 0 0 0 947 1 0 0 25 0 1 0 489936874 59883520 6060 33554432000 4194304 4627331 140736669860672 18446744073709551615 4309292 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7164/statm: 14620 6060 379 106 0 9591 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 58480
Child status: 20
Real time (s): 9.56814
CPU time (s): 9.56454
CPU user time (s): 9.54455
CPU system time (s): 0.019996
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 58544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.54455
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11242
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= 11
involuntary context switches= 15
runsolver used 0.014997 second user time and 0.041993 second system time
The end
Begin job on node136 at 2011-04-26 04:03:09
IDJOB=3290899
IDBENCH=83454
IDSOLVER=1587
FILE ID=node136/3290899-1303783389
RUNJOBID= node136-1303782152-6394
PBS_JOBID= 13157229
Free space on /tmp= 72372 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290899-1303783389/watcher-3290899-1303783389 -o /tmp/evaluation-result-3290899-1303783389/solver-3290899-1303783389 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3290899-1303783389.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e53b8f4e61e6411a209ad63833d35585
RANDOM SEED=1078874871
node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 20207068 kB
Buffers: 1724696 kB
Cached: 9673780 kB
SwapCached: 60 kB
Active: 5441088 kB
Inactive: 6722080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20207068 kB
SwapTotal: 67111528 kB
SwapFree: 67111464 kB
Dirty: 6644 kB
Writeback: 0 kB
AnonPages: 764148 kB
Mapped: 16204 kB
Slab: 514944 kB
PageTables: 6936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1059772 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= 72368 MiB
End job on node136 at 2011-04-26 04:03:19