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-3401146-1306285118.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.34 c asymm cl-useful: 0/12103/29291 lits-rem:0 time: 0.32
0.39/0.42 c Flit: 21 Blit: 0 bXBeca: 0 bXProp: 60 Bins: 0 BRemL: 0 BRemN: 0 P: 3.7M T: 0.08
0.39/0.42 c Replacing 60 vars Replaced 19728 lits Time: 0.00 s
0.39/0.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.39/0.43 c bin-w-bin subsume rem 129 bins time: 0.00 s
0.39/0.43 c subs with bin: 314 lits-rem: 10 v-fix: 0 time: 0.00 s
0.39/0.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4540 time: 0.01 s
0.39/0.44 c Removed useless bin: 0 fixed: 0 props: 0.74M time: 0.00 s
0.39/0.49 c lits-rem: 0 cl-subs: 4 v-elim: 518 v-fix: 0 time: 0.05 s
0.49/0.50 c Finding binary XORs T: 0.00 s found: 0
0.49/0.51 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
0.49/0.51 c calculated reachability. Time: 0.00
0.49/0.51 c Calc default polars - time: 0.00 s pos: 196 undec: 718 neg: 3826
0.49/0.51 c =========================================================================================
0.49/0.51 c types(t): F = full restart, N = normal restart
0.49/0.51 c types(t): S = simplification begin/end, E = solution found
0.49/0.51 c restart types(rt): st = static, dy = dynamic
0.49/0.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.49/0.51 c B st 0 0 4022 29607 9878 0 188428 0 no data no data
0.59/0.68 c N dy 17 4145 4020 29607 10017 3953 188428 109278 7.74 8.27
0.79/0.87 c N dy 40 8181 4018 29607 10110 5458 188428 117136 8.22 8.82
0.99/1.08 c N dy 62 12227 4014 29607 10186 5297 188428 87546 8.32 8.81
1.19/1.27 c N dy 86 16301 4014 29607 10285 9240 188428 197003 8.32 9.13
1.48/1.50 c N dy 110 20370 4011 29607 10341 7774 188428 137771 8.37 9.00
1.69/1.79 c N dy 127 24524 4010 29607 10408 11815 188428 247966 8.32 8.79
1.79/1.83 c F st 132 25002 4010 29607 10418 12275 188427 260869 8.33 no data
1.79/1.88 c Finding binary XORs T: 0.00 s found: 0
2.09/2.15 c N dy 138 30005 4010 29597 10399 10513 188247 195801 8.33 no data
2.09/2.15 c S st 138 30005 4010 29597 10399 10513 188247 195801 8.33 no data
2.09/2.21 c S st 138 30505 4010 29597 10420 10992 188247 207605 8.33 no data
2.09/2.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.39/2.44 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 115419 BRemL: 102858 BRemN: 0 P: 6.8M T: 0.23
2.39/2.44 c blocked clauses removed: 0 vars: 0 tried: 4009 T: 0.00 s
2.39/2.44 c bin-w-bin subsume rem 1 bins time: 0.00 s
2.39/2.45 c subs with bin: 116 lits-rem: 226 v-fix: 0 time: 0.00 s
2.39/2.46 c Subs w/ non-existent bins: 4 l-rem: 67 v-fix: 0 done: 4009 time: 0.01 s
2.39/2.46 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.00 s
2.39/2.48 c lits-rem: 0 cl-subs: 118 v-elim: 92 v-fix: 0 time: 0.02 s
2.39/2.50 c subs with bin: 139 lits-rem: 1826 v-fix: 0 time: 0.01 s
2.49/2.52 c lits-rem: 233 cl-subs: 432 v-elim: 0 v-fix: 0 time: 0.02 s
2.69/2.79 c asymm cl-useful: 1/17467/29570 lits-rem:1 time: 0.27
2.69/2.79 c calculated reachability. Time: 0.00
2.69/2.79 c N dy 138 30505 3917 29570 22149 5472 188945 90864 8.33 no data
2.69/2.79 c Finding binary XORs T: 0.00 s found: 0
2.99/3.02 c N dy 164 34547 3917 29570 22159 9465 188945 191848 8.39 10.00
3.19/3.26 c N dy 187 38552 3911 29570 22175 8178 188945 148994 8.43 10.09
3.49/3.54 c N dy 214 42708 3911 29570 22182 12289 188945 259737 8.51 9.05
3.69/3.79 c S st 231 45757 3910 29570 22191 7740 188941 102972 8.51 7.27
3.79/3.84 c S st 231 46261 3910 29570 22191 8243 188941 116004 8.51 no data
3.79/3.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3.89/3.98 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1359 BRemL: 931 BRemN: 0 P: 6.1M T: 0.15
3.89/3.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.89/3.99 c bin-w-bin subsume rem 10 bins time: 0.00 s
3.89/4.00 c subs with bin: 114 lits-rem: 27 v-fix: 0 time: 0.00 s
3.99/4.00 c Subs w/ non-existent bins: 1 l-rem: 11 v-fix: 0 done: 3909 time: 0.01 s
3.99/4.01 c Removed useless bin: 1 fixed: 0 props: 0.31M time: 0.00 s
3.99/4.02 c lits-rem: 0 cl-subs: 39 v-elim: 10 v-fix: 0 time: 0.01 s
3.99/4.04 c subs with bin: 111 lits-rem: 258 v-fix: 0 time: 0.01 s
3.99/4.05 c lits-rem: 112 cl-subs: 269 v-elim: 0 v-fix: 0 time: 0.01 s
3.99/4.06 c vivif2 -- cl tried 29417 cl shrink 13 lits rem 15 time: 0.01
3.99/4.06 c vivif2 -- cl tried 7025 cl shrink 387 lits rem 849 time: 0.00
4.41/4.44 c asymm cl-useful: 52/9895/29417 lits-rem:58 time: 0.38
4.41/4.44 c calculated reachability. Time: 0.00
4.41/4.44 c N dy 231 46261 3899 29417 22095 7025 188023 99258 8.51 no data
4.69/4.72 c N dy 244 50436 3896 29417 22123 11107 188023 210576 8.40 8.95
4.99/5.03 c N dy 268 54470 3892 29417 22139 15073 188023 318912 8.42 12.89
5.19/5.22 c Finding binary XORs T: 0.00 s found: 0
5.29/5.36 c N dy 287 58521 3887 29407 21866 9786 187891 147095 8.40 8.86
5.59/5.67 c N dy 314 62589 3886 29407 21878 13806 187891 265203 8.44 8.93
5.99/6.03 c N dy 336 66677 3882 29407 21901 17810 187891 383894 8.46 9.19
6.19/6.29 c S st 348 69391 3876 29407 21920 10450 187891 139236 8.46 5.83
6.29/6.34 c S st 348 69895 3876 29407 21920 10953 187891 154527 8.46 no data
6.29/6.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
6.39/6.50 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3318 BRemL: 3064 BRemN: 0 P: 6.8M T: 0.16
6.39/6.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.39/6.51 c bin-w-bin subsume rem 23 bins time: 0.00 s
6.49/6.51 c subs with bin: 659 lits-rem: 247 v-fix: 0 time: 0.01 s
6.49/6.52 c Subs w/ non-existent bins: 192 l-rem: 15 v-fix: 0 done: 3871 time: 0.01 s
6.49/6.53 c Removed useless bin: 3 fixed: 0 props: 0.32M time: 0.00 s
6.49/6.54 c lits-rem: 0 cl-subs: 133 v-elim: 45 v-fix: 0 time: 0.01 s
6.49/6.56 c subs with bin: 478 lits-rem: 1284 v-fix: 0 time: 0.01 s
6.49/6.57 c lits-rem: 303 cl-subs: 338 v-elim: 0 v-fix: 0 time: 0.01 s
6.49/6.58 c vivif2 -- cl tried 28453 cl shrink 62 lits rem 73 time: 0.01
6.49/6.58 c vivif2 -- cl tried 6542 cl shrink 896 lits rem 1514 time: 0.00
6.89/6.94 c asymm cl-useful: 195/18556/28451 lits-rem:326 time: 0.36
6.89/6.94 c calculated reachability. Time: 0.00
6.89/6.94 c N dy 348 69895 3826 28397 21480 6536 182532 87398 8.46 no data
6.89/6.94 c Finding binary XORs T: 0.00 s found: 0
7.19/7.23 c N dy 371 74404 3824 28397 21502 10978 182532 205850 8.42 8.88
7.49/7.60 c N dy 399 79213 3818 28397 21515 15722 182532 335730 8.43 8.94
7.98/8.09 c N dy 433 84761 3815 28397 21534 11584 182531 171976 8.47 9.04
8.29/8.31 c F st 446 87500 3811 28397 21553 14261 182531 239759 8.47 no data
8.49/8.59 c N st 451 90797 3768 28129 20682 14041 180682 258830 8.47 no data
8.99/9.07 c E dy 462 95545 3747 28129 20715 18618 180682 357735 8.44 5.63
8.99/9.07 c num threads : 1
8.99/9.07 c restarts : 462
8.99/9.07 c dynamic restarts : 444
8.99/9.07 c static restarts : 18
8.99/9.07 c full restarts : 2
8.99/9.07 c total simplify time : 0.02
8.99/9.07 c learnts DL2 : 0
8.99/9.07 c learnts size 2 : 133131
8.99/9.07 c learnts size 1 : 747 (15.76 % of vars)
8.99/9.07 c filedLit time : 0.62 (6.85 % time)
8.99/9.07 c v-elim SatELite : 665 (14.03 % vars)
8.99/9.07 c SatELite time : 0.14 (1.54 % time)
8.99/9.07 c v-elim xor : 0 (0.00 % vars)
8.99/9.07 c xor elim time : 0.00 (0.06 % time)
8.99/9.07 c num binary xor trees : 60
8.99/9.07 c binxor trees' crown : 60 (1.00 leafs/tree)
8.99/9.07 c bin xor find time : 0.01
8.99/9.07 c OTF clause improved : 1129 (0.01 clauses/conflict)
8.99/9.07 c OTF impr. size diff : 1480 (1.31 lits/clause)
8.99/9.07 c OTF cl watch-shrink : 59064 (0.62 clauses/conflict)
8.99/9.07 c OTF cl watch-sh-lit : 178903 (3.03 lits/clause)
8.99/9.07 c tried to recurMin cls : 35667 (37.33 % of conflicts)
8.99/9.07 c updated cache : 0 (0.00 lits/tried recurMin)
8.99/9.07 c clauses over max glue : 0 (0.00 % of all clauses)
8.99/9.07 c conflicts : 95545 (10554.40 / sec)
8.99/9.07 c decisions : 159136 (1.66 % random)
8.99/9.07 c bogo-props : 558567288 (61702258.89 / sec)
8.99/9.07 c conflict literals : 2569011 (36.49 % deleted)
8.99/9.07 c Memory used : 57.07 MB
8.99/9.07 c CPU time : 9.05 s
8.99/9.07 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-3401146-1306285118/watcher-3401146-1306285118 -o /tmp/evaluation-result-3401146-1306285118/solver-3401146-1306285118 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3401146-1306285118.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.01 2.04 2.00 1/468 1891
/proc/meminfo: memFree=12824608/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=29908 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 753 0 0 0 0 0 0 0 25 0 1 0 740111472 30625792 694 33554432000 4194304 4580011 140735522998384 18446744073709551615 4489100 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 7477 694 322 95 0 2459 0
[startup+0.056477 s]
/proc/loadavg: 2.01 2.04 2.00 1/468 1891
/proc/meminfo: memFree=12824608/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=33092 CPUtime=0.05 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 1797 0 0 0 5 0 0 0 25 0 1 0 740111472 33886208 1640 33554432000 4194304 4580011 140735522998384 18446744073709551615 4294181 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 8273 1640 339 95 0 3255 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33092
[startup+0.100442 s]
/proc/loadavg: 2.01 2.04 2.00 1/468 1891
/proc/meminfo: memFree=12824608/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=33092 CPUtime=0.09 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 1815 0 0 0 9 0 0 0 25 0 1 0 740111472 33886208 1658 33554432000 4194304 4580011 140735522998384 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 8273 1658 339 95 0 3255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33092
[startup+0.300484 s]
/proc/loadavg: 2.01 2.04 2.00 1/468 1891
/proc/meminfo: memFree=12824608/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=33224 CPUtime=0.29 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 1849 0 0 0 29 0 0 0 25 0 1 0 740111472 34021376 1692 33554432000 4194304 4580011 140735522998384 18446744073709551615 4295858 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 8306 1692 339 95 0 3288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33224
[startup+0.700414 s]
/proc/loadavg: 2.01 2.04 2.00 1/468 1891
/proc/meminfo: memFree=12824608/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=41412 CPUtime=0.69 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 4399 0 0 0 69 0 0 0 18 0 1 0 740111472 42405888 3775 33554432000 4194304 4580011 140735522998384 18446744073709551615 4294656 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 10353 3775 365 95 0 5335 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41412
[startup+1.50017 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1902
/proc/meminfo: memFree=12760264/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=43484 CPUtime=1.48 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 5613 0 0 0 148 0 0 0 19 0 1 0 740111472 44527616 3883 33554432000 4194304 4580011 140735522998384 18446744073709551615 4294344 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 10871 3883 365 95 0 5853 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43484
[startup+3.10088 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1929
/proc/meminfo: memFree=12779992/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58300 CPUtime=3.09 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 7988 0 0 0 308 1 0 0 22 0 1 0 740111472 59699200 5683 33554432000 4194304 4580011 140735522998384 18446744073709551615 4484357 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14575 5683 368 95 0 9557 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58300
[startup+6.30043 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1930
/proc/meminfo: memFree=12752212/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58500 CPUtime=6.29 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 10118 0 0 0 628 1 0 0 25 0 1 0 740111472 59904000 5755 33554432000 4194304 4580011 140735522998384 18446744073709551615 4305943 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14625 5755 368 95 0 9607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58500
Solver just ended. Dumping a history of the last processes samples
[startup+7.90115 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1930
/proc/meminfo: memFree=12751616/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58500 CPUtime=7.89 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 10515 0 0 0 788 1 0 0 25 0 1 0 740111472 59904000 6152 33554432000 4194304 4580011 140735522998384 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14625 6152 368 95 0 9607 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 58500
[startup+8.70101 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1930
/proc/meminfo: memFree=12751864/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58436 CPUtime=8.7 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 11143 0 0 0 868 2 0 0 25 0 1 0 740111472 59838464 5984 33554432000 4194304 4580011 140735522998384 18446744073709551615 4293150 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14609 5984 368 95 0 9591 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 58436
[startup+8.90098 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1930
/proc/meminfo: memFree=12751864/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58436 CPUtime=8.89 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 11191 0 0 0 887 2 0 0 25 0 1 0 740111472 59838464 6032 33554432000 4194304 4580011 140735522998384 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14609 6032 368 95 0 9591 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 58436
[startup+9.00084 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 1930
/proc/meminfo: memFree=12751864/32950928 swapFree=67042960/67111528
[pid=1891] ppid=1889 vsize=58436 CPUtime=8.99 cores=0,2,4,6
/proc/1891/stat : 1891 (strangenight2-s) R 1889 1891 1662 0 -1 4202496 11207 0 0 0 897 2 0 0 25 0 1 0 740111472 59838464 6048 33554432000 4194304 4580011 140735522998384 18446744073709551615 4295663 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1891/statm: 14609 6048 368 95 0 9591 0
Current children cumulated CPU time (s) 8.99
Current children cumulated vsize (KiB) 58436
Child status: 20
Real time (s): 9.07811
CPU time (s): 9.07662
CPU user time (s): 9.05262
CPU system time (s): 0.023996
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 58500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05262
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11230
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= 13
involuntary context switches= 68
runsolver used 0.055991 second user time and 0.097985 second system time
The end
Begin job on node125 at 2011-05-25 02:58:38
IDJOB=3401146
IDBENCH=83454
IDSOLVER=1887
FILE ID=node125/3401146-1306285118
RUNJOBID= node125-1306280115-1680
PBS_JOBID= 13457861
Free space on /tmp= 73484 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3401146-1306285118/watcher-3401146-1306285118 -o /tmp/evaluation-result-3401146-1306285118/solver-3401146-1306285118 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3401146-1306285118.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e53b8f4e61e6411a209ad63833d35585
RANDOM SEED=2022543479
node125.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.828
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.65
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.828
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 : 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.828
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: 32950928 kB
MemFree: 12824888 kB
Buffers: 306724 kB
Cached: 5868224 kB
SwapCached: 55652 kB
Active: 10762696 kB
Inactive: 9017724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12824888 kB
SwapTotal: 67111528 kB
SwapFree: 67042960 kB
Dirty: 6660 kB
Writeback: 0 kB
AnonPages: 13550016 kB
Mapped: 43112 kB
Slab: 216460 kB
PageTables: 61704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 130003292 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= 73480 MiB
End job on node125 at 2011-05-25 02:58:47