0.00/0.00 c Parsing...
0.21/0.22 c ==============================================================================
0.21/0.22 c | | ORIGINAL | LEARNT | |
0.21/0.22 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.21/0.22 c ==============================================================================
0.21/0.22 c | 0 | 224225 581126 | 67267 0 0 nan | 0.000 % |
1.01/1.11 c | 0 | 162065 548412 | -- 0 -- -- | -- | -62160/-32714
1.01/1.11 c ==============================================================================
1.01/1.11 c Result : #vars: 28271 #clauses: 162065 #literals: 548412
1.01/1.11 c CPU time: 1.05 s
1.01/1.11 c ==============================================================================
1.31/1.30 This is MiniSat 2.0 beta
1.31/1.30 WARNING: for repeatability, setting FPU to use double precision
1.31/1.30 ============================[ Problem Statistics ]=============================
1.31/1.30 | |
1.31/1.31 | Number of variables: 28271 |
1.31/1.31 | Number of clauses: 162065 |
1.31/1.43 | Parsing time: 0.11 s |
1.31/1.44 ============================[ Search Statistics ]==============================
1.31/1.44 | Conflicts | ORIGINAL | LEARNT | Progress |
1.31/1.44 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.31/1.44 ===============================================================================
1.31/1.44 | 0 | 28271 162065 548412 | 54021 0 nan | 0.000 % |
1.31/1.71 | 101 | 28266 162065 548412 | 59423 95 56 | 0.032 % |
2.81/2.89 | 252 | 28265 162065 548412 | 65366 246 104 | 0.032 % |
4.71/4.74 | 478 | 28262 162002 548231 | 71902 469 113 | 0.032 % |
6.50/6.50 | 815 | 28262 162002 548231 | 79093 806 87 | 0.032 % |
6.50/6.54 | 1322 | 28262 162002 548231 | 87002 1313 55 | 0.032 % |
12.00/12.01 | 2081 | 28262 162002 548231 | 95702 2072 44 | 0.032 % |
22.10/22.12 | 3221 | 28262 162002 548231 | 105272 3212 46 | 0.032 % |
40.01/40.11 ===============================================================================
40.01/40.11 restarts : 8
40.01/40.11 conflicts : 4808 (124 /sec)
40.01/40.11 decisions : 21314 (1.84 % random) (550 /sec)
40.01/40.11 propagations : 34950096 (901705 /sec)
40.01/40.11 conflict literals : 232248 (49.82 % deleted)
40.01/40.11 Memory used : 13.61 MB
40.01/40.11 CPU time : 38.76 s
40.01/40.11
40.01/40.11 UNSATISFIABLE
40.11/40.11 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821081-1242505869/watcher-1821081-1242505869 -o /tmp/evaluation-result-1821081-1242505869/solver-1821081-1242505869 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821081-1242505869.cnf -restarts=1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.95 0.97 0.99 2/93 2225
/proc/meminfo: memFree=948308/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2416 CPUtime=0
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1015087951 2473984 277 4294967295 134512640 135169312 3219011872 3219010408 3085639406 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2225/statm: 604 277 235 161 0 43 0
[pid=2229] ppid=2225 vsize=952 CPUtime=0
/proc/2229/stat : 2229 (SatELite_releas) R 2225 2225 20977 0 -1 4202496 123 0 0 0 0 0 0 0 25 0 1 0 1015087951 974848 59 4294967295 134512640 135223648 3216414368 3216412964 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2229/statm: 238 62 45 174 0 63 0
[startup+0.065145 s]
/proc/loadavg: 0.95 0.97 0.99 2/93 2225
/proc/meminfo: memFree=948308/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2416 CPUtime=0
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1015087951 2473984 277 4294967295 134512640 135169312 3219011872 3219010408 3085639406 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2225/statm: 604 277 235 161 0 43 0
[pid=2229] ppid=2225 vsize=18676 CPUtime=0.07
/proc/2229/stat : 2229 (SatELite_releas) R 2225 2225 20977 0 -1 4202496 3327 0 0 0 4 3 0 0 25 0 1 0 1015087951 19124224 3117 4294967295 134512640 135223648 3216414368 3216412952 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2229/statm: 4669 3118 47 174 0 4494 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21092
[startup+0.105139 s]
/proc/loadavg: 0.95 0.97 0.99 2/93 2225
/proc/meminfo: memFree=948308/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2416 CPUtime=0
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1015087951 2473984 277 4294967295 134512640 135169312 3219011872 3219010408 3085639406 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2225/statm: 604 277 235 161 0 43 0
[pid=2229] ppid=2225 vsize=22892 CPUtime=0.11
/proc/2229/stat : 2229 (SatELite_releas) R 2225 2225 20977 0 -1 4202496 4373 0 0 0 8 3 0 0 25 0 1 0 1015087951 23441408 4163 4294967295 134512640 135223648 3216414368 3216413320 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2229/statm: 5723 4164 47 174 0 5548 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25308
[startup+0.30512 s]
/proc/loadavg: 0.95 0.97 0.99 2/93 2225
/proc/meminfo: memFree=948308/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2416 CPUtime=0
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1015087951 2473984 277 4294967295 134512640 135169312 3219011872 3219010408 3085639406 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2225/statm: 604 277 235 161 0 43 0
[pid=2229] ppid=2225 vsize=35456 CPUtime=0.31
/proc/2229/stat : 2229 (SatELite_releas) R 2225 2225 20977 0 -1 4202496 7659 0 0 0 25 6 0 0 25 0 1 0 1015087951 36306944 7248 4294967295 134512640 135223648 3216414368 3216412136 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2229/statm: 8864 7249 72 174 0 8689 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 37872
[startup+0.70508 s]
/proc/loadavg: 0.95 0.97 0.99 2/93 2225
/proc/meminfo: memFree=948308/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2416 CPUtime=0
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1015087951 2473984 277 4294967295 134512640 135169312 3219011872 3219010408 3085639406 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2225/statm: 604 277 235 161 0 43 0
[pid=2229] ppid=2225 vsize=42412 CPUtime=0.71
/proc/2229/stat : 2229 (SatELite_releas) R 2225 2225 20977 0 -1 4202496 9296 0 0 0 65 6 0 0 25 0 1 0 1015087951 43429888 8885 4294967295 134512640 135223648 3216414368 3216412368 134548440 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2229/statm: 10603 8885 73 174 0 10428 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 44828
[startup+1.505 s]
/proc/loadavg: 0.95 0.97 0.99 2/95 2230
/proc/meminfo: memFree=909496/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2420
[startup+3.10485 s]
/proc/loadavg: 0.95 0.97 0.99 2/95 2231
/proc/meminfo: memFree=930204/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=12688 CPUtime=1.8
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 2969 0 0 0 178 2 0 0 25 0 1 0 1015088081 12992512 2904 4294967295 134512640 135213731 3218065568 3218064048 134530208 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3172 2904 73 172 0 2998 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 15108
[startup+6.30453 s]
/proc/loadavg: 0.95 0.97 0.99 2/95 2231
/proc/meminfo: memFree=929708/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=12952 CPUtime=4.99
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3063 0 0 0 496 3 0 0 25 0 1 0 1015088081 13262848 2998 4294967295 134512640 135213731 3218065568 3218063760 134527064 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3238 2998 74 172 0 3064 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15372
[startup+12.7039 s]
/proc/loadavg: 0.96 0.97 0.99 2/95 2231
/proc/meminfo: memFree=929540/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13348 CPUtime=11.39
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3133 0 0 0 1136 3 0 0 25 0 1 0 1015088081 13668352 3068 4294967295 134512640 135213731 3218065568 3218064048 134530117 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3337 3068 74 172 0 3163 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15768
[startup+25.5026 s]
/proc/loadavg: 0.96 0.97 0.99 2/95 2233
/proc/meminfo: memFree=929016/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13744 CPUtime=24.19
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3237 0 0 0 2416 3 0 0 25 0 1 0 1015088081 14073856 3172 4294967295 134512640 135213731 3218065568 3218063888 134528809 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3436 3172 74 172 0 3262 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16164
Solver just ended. Dumping a history of the last processes samples
[startup+31.912 s]
/proc/loadavg: 0.97 0.97 0.99 3/95 2233
/proc/meminfo: memFree=928852/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13932 CPUtime=30.6
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3270 0 0 0 3057 3 0 0 25 0 1 0 1015088081 14266368 3205 4294967295 134512640 135213731 3218065568 3218064048 134530157 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3483 3205 74 172 0 3309 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 16352
[startup+35.1117 s]
/proc/loadavg: 0.97 0.97 0.99 2/95 2234
/proc/meminfo: memFree=928728/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13932 CPUtime=33.8
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3270 0 0 0 3377 3 0 0 25 0 1 0 1015088081 14266368 3205 4294967295 134512640 135213731 3218065568 3218063824 134536833 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3483 3205 74 172 0 3309 0
Current children cumulated CPU time (s) 35.11
Current children cumulated vsize (KiB) 16352
[startup+38.3114 s]
/proc/loadavg: 0.97 0.97 0.99 2/95 2234
/proc/meminfo: memFree=928728/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13932 CPUtime=37
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3270 0 0 0 3697 3 0 0 25 0 1 0 1015088081 14266368 3205 4294967295 134512640 135213731 3218065568 3218064048 134530171 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3483 3205 74 172 0 3309 0
Current children cumulated CPU time (s) 38.31
Current children cumulated vsize (KiB) 16352
[startup+39.1113 s]
/proc/loadavg: 0.97 0.97 0.99 2/95 2235
/proc/meminfo: memFree=928720/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13932 CPUtime=37.8
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3270 0 0 0 3777 3 0 0 25 0 1 0 1015088081 14266368 3205 4294967295 134512640 135213731 3218065568 3218064048 134530034 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3483 3205 74 172 0 3309 0
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (KiB) 16352
[startup+39.9112 s]
/proc/loadavg: 0.97 0.97 0.99 2/95 2235
/proc/meminfo: memFree=928744/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=13932 CPUtime=38.6
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202496 3270 0 0 0 3857 3 0 0 25 0 1 0 1015088081 14266368 3205 4294967295 134512640 135213731 3218065568 3218063824 134536959 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 3483 3205 74 172 0 3309 0
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (KiB) 16352
[startup+40.1112 s]
/proc/loadavg: 0.97 0.97 0.99 2/95 2235
/proc/meminfo: memFree=928744/2074464 swapFree=1951864/1959888
[pid=2225] ppid=2223 vsize=2420 CPUtime=1.31
/proc/2225/stat : 2225 (SatELiteGTI) S 2223 2225 20977 0 -1 4194304 386 10448 0 0 0 0 123 8 18 0 1 0 1015087951 2478080 278 4294967295 134512640 135169312 3219011872 3219008088 3085639406 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2225/statm: 605 278 235 161 0 44 0
[pid=2231] ppid=2225 vsize=0 CPUtime=38.8
/proc/2231/stat : 2231 (minisat_static) R 2225 2225 20977 0 -1 4202500 3284 0 0 0 3876 4 0 0 25 0 1 0 1015088081 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2231/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (KiB) 2420
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2225 and gives
# childrusage.ru_utime.tv_sec=39
# childrusage.ru_utime.tv_usec=990000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120000
# CPU time returned by wait4() is 40.11
# while last known CPU time is 40.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 40.1177
CPU time (s): 40.11
CPU user time (s): 39.99
CPU system time (s): 0.12
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 45548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.99
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14391
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= 20
involuntary context switches= 741
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi10 at 2009-05-16 22:31:09
IDJOB=1821081
IDBENCH=70825
IDSOLVER=662
FILE ID=tipi10/1821081-1242505869
PBS_JOBID=
Free space on /tmp= 4164 MiB
SOLVER NAME= APTUSAT 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-06.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -restarts=1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821081-1242505869/watcher-1821081-1242505869 -o /tmp/evaluation-result-1821081-1242505869/solver-1821081-1242505869 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821081-1242505869.cnf -restarts=1
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54bbde63bf0c9b14dd4e32426eab0a42
RANDOM SEED= 660748304
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 948308 kB
Buffers: 24880 kB
Cached: 987492 kB
SwapCached: 2732 kB
Active: 467052 kB
Inactive: 555140 kB
HighTotal: 1178688 kB
HighFree: 335836 kB
LowTotal: 895776 kB
LowFree: 612472 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 5908 kB
Writeback: 0 kB
AnonPages: 9316 kB
Mapped: 3132 kB
Slab: 95000 kB
PageTables: 496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4164 MiB
End job on tipi10 at 2009-05-16 22:31:49