0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 67585 190943 | 20275 0 0 nan | 0.000 % |
0.42/0.46 c | 0 | 63162 204333 | -- 0 -- -- | -- | -3818/15568
0.42/0.46 c ==============================================================================
0.42/0.46 c Result : #vars: 5106 #clauses: 63162 #literals: 204333
0.42/0.46 c CPU time: 0.45 s
0.42/0.46 c ==============================================================================
0.52/0.52 c WARNING: for repeatability, setting FPU to use double precision
0.52/0.53 c Number of variables : 5106
0.52/0.53 c Number of clauses : 63162
0.52/0.56 c Parsing time: 0.03 s
31.02/31.04 c restarts : 321
31.02/31.04 c conflicts : 94706 (3107 /sec)
31.02/31.04 c decisions : 161530 (0.48 % random) (5300 /sec)
31.02/31.04 c propagations : 29669189 (973399 /sec)
31.02/31.04 c conflict literals : 3549346 (53.85 % deleted)
31.02/31.04 c Memory used : 11.96 MB
31.02/31.04 c CPU time : 30.48 s
31.02/31.04 UNSATISFIABLE
31.02/31.04
31.02/31.04 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820784-1242476712/watcher-1820784-1242476712 -o /tmp/evaluation-result-1820784-1242476712/solver-1820784-1242476712 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820784-1242476712.cnf -random-seed=330038728
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: 1.01 1.03 1.00 2/91 31971
/proc/meminfo: memFree=1619796/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2412 CPUtime=0.01
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1012169330 2469888 277 4294967295 134512640 135169312 3215039824 3215038360 3085168366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/31971/statm: 603 277 235 161 0 42 0
[pid=31975] ppid=31971 vsize=948 CPUtime=0
/proc/31975/stat : 31975 (SatELite_releas) R 31971 31971 15108 0 -1 4202496 112 0 0 0 0 0 0 0 20 0 1 0 1012169331 970752 48 4294967295 134512640 135223648 3219278176 3219277080 134736942 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31975/statm: 238 54 44 174 0 63 0
[startup+0.061331 s]
/proc/loadavg: 1.01 1.03 1.00 2/91 31971
/proc/meminfo: memFree=1619796/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2412 CPUtime=0.01
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1012169330 2469888 277 4294967295 134512640 135169312 3215039824 3215038360 3085168366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/31971/statm: 603 277 235 161 0 42 0
[pid=31975] ppid=31971 vsize=7540 CPUtime=0.06
/proc/31975/stat : 31975 (SatELite_releas) R 31971 31971 15108 0 -1 4202496 1503 0 0 0 6 0 0 0 21 0 1 0 1012169331 7720960 1439 4294967295 134512640 135223648 3219278176 3219276528 134609882 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31975/statm: 1885 1443 70 174 0 1710 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9952
[startup+0.111328 s]
/proc/loadavg: 1.01 1.03 1.00 2/91 31971
/proc/meminfo: memFree=1619796/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2412 CPUtime=0.01
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1012169330 2469888 277 4294967295 134512640 135169312 3215039824 3215038360 3085168366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/31971/statm: 603 277 235 161 0 42 0
[pid=31975] ppid=31971 vsize=7608 CPUtime=0.11
/proc/31975/stat : 31975 (SatELite_releas) R 31971 31971 15108 0 -1 4202496 1813 0 0 0 11 0 0 0 21 0 1 0 1012169331 7790592 1617 4294967295 134512640 135223648 3219278176 3219276176 134548987 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31975/statm: 1902 1617 73 174 0 1727 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10020
[startup+0.31131 s]
/proc/loadavg: 1.01 1.03 1.00 2/91 31971
/proc/meminfo: memFree=1619796/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2412 CPUtime=0.01
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 367 647 0 0 1 0 0 0 18 0 1 0 1012169330 2469888 277 4294967295 134512640 135169312 3215039824 3215038360 3085168366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/31971/statm: 603 277 235 161 0 42 0
[pid=31975] ppid=31971 vsize=7872 CPUtime=0.31
/proc/31975/stat : 31975 (SatELite_releas) R 31971 31971 15108 0 -1 4202496 1885 0 0 0 31 0 0 0 21 0 1 0 1012169331 8060928 1689 4294967295 134512640 135223648 3219278176 3219276192 134586745 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31975/statm: 1968 1689 73 174 0 1793 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10284
[startup+0.71128 s]
/proc/loadavg: 1.01 1.03 1.00 2/91 31971
/proc/meminfo: memFree=1619796/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2416
[startup+1.51122 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 31977
/proc/meminfo: memFree=1613936/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=5816 CPUtime=0.99
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 1381 0 0 0 98 1 0 0 20 0 1 0 1012169383 5955584 1316 4294967295 134512640 135212243 3217102768 3217101376 134526526 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 1454 1316 74 171 0 1281 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8232
[startup+3.1111 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 31977
/proc/meminfo: memFree=1612944/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=6752 CPUtime=2.59
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 1601 0 0 0 258 1 0 0 25 0 1 0 1012169383 6914048 1536 4294967295 134512640 135212243 3217102768 3217101376 134526175 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 1688 1536 74 171 0 1515 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9168
[startup+6.31085 s]
/proc/loadavg: 1.01 1.03 1.00 3/93 31977
/proc/meminfo: memFree=1610836/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=8940 CPUtime=5.79
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2145 0 0 0 577 2 0 0 25 0 1 0 1012169383 9154560 2080 4294967295 134512640 135212243 3217102768 3217101376 134526248 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 2235 2080 74 171 0 2062 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11356
[startup+12.7104 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32160
/proc/meminfo: memFree=1608492/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=10032 CPUtime=12.19
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2435 0 0 0 1216 3 0 0 25 0 1 0 1012169383 10272768 2370 4294967295 134512640 135212243 3217102768 3217101472 134538353 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 2508 2370 74 171 0 2335 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12448
[startup+25.5094 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1607232/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=11544 CPUtime=24.99
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2785 0 0 0 2495 4 0 0 25 0 1 0 1012169383 11821056 2720 4294967295 134512640 135212243 3217102768 3217101376 134526248 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 2886 2720 74 171 0 2713 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 13960
Solver just ended. Dumping a history of the last processes samples
[startup+28.7091 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1607108/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=11828 CPUtime=28.19
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2840 0 0 0 2815 4 0 0 25 0 1 0 1012169383 12111872 2775 4294967295 134512640 135212243 3217102768 3217101376 134526086 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 2957 2775 74 171 0 2784 0
Current children cumulated CPU time (s) 28.72
Current children cumulated vsize (KiB) 14244
[startup+30.309 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1606736/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=12240 CPUtime=29.79
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2974 0 0 0 2975 4 0 0 25 0 1 0 1012169383 12533760 2909 4294967295 134512640 135212243 3217102768 3217101184 134529799 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 3060 2909 74 171 0 2887 0
Current children cumulated CPU time (s) 30.32
Current children cumulated vsize (KiB) 14656
[startup+30.709 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1606488/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=12240 CPUtime=30.19
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2974 0 0 0 3015 4 0 0 25 0 1 0 1012169383 12533760 2909 4294967295 134512640 135212243 3217102768 3217101376 134526248 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 3060 2909 74 171 0 2887 0
Current children cumulated CPU time (s) 30.72
Current children cumulated vsize (KiB) 14656
[startup+30.909 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1606488/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=12240 CPUtime=30.39
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2974 0 0 0 3035 4 0 0 25 0 1 0 1012169383 12533760 2909 4294967295 134512640 135212243 3217102768 3217101376 134526236 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 3060 2909 74 171 0 2887 0
Current children cumulated CPU time (s) 30.92
Current children cumulated vsize (KiB) 14656
[startup+31.009 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 32162
/proc/meminfo: memFree=1606488/2074464 swapFree=1952056/1959888
[pid=31971] ppid=31969 vsize=2416 CPUtime=0.53
/proc/31971/stat : 31971 (SatELiteGTI) S 31969 31971 15108 0 -1 4194304 386 2692 0 0 1 0 52 0 15 0 1 0 1012169330 2473984 278 4294967295 134512640 135169312 3215039824 3215036040 3085168366 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31971/statm: 604 278 235 161 0 43 0
[pid=31977] ppid=31971 vsize=12240 CPUtime=30.49
/proc/31977/stat : 31977 (minisat_static) R 31971 31971 15108 0 -1 4202496 2974 0 0 0 3045 4 0 0 25 0 1 0 1012169383 12533760 2909 4294967295 134512640 135212243 3217102768 3217101376 134526248 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31977/statm: 3060 2909 74 171 0 2887 0
Current children cumulated CPU time (s) 31.02
Current children cumulated vsize (KiB) 14656
Child status: 20
Real time (s): 31.0475
CPU time (s): 31.05
CPU user time (s): 31.01
CPU system time (s): 0.04
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 14656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.01
system time used= 0.04
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6338
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= 72
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi24 at 2009-05-16 14:25:12
IDJOB=1820784
IDBENCH=69594
IDSOLVER=659
FILE ID=tipi24/1820784-1242476712
PBS_JOBID=
Free space on /tmp= 10104 MiB
SOLVER NAME= MiniSAT 09z 2009-03-22
BENCH NAME= SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -random-seed=RANDOMSEED
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820784-1242476712/watcher-1820784-1242476712 -o /tmp/evaluation-result-1820784-1242476712/solver-1820784-1242476712 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820784-1242476712.cnf -random-seed=330038728
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 700f8e86139a93fca212e22efa0f7d2b
RANDOM SEED= 330038728
Linux tipi24 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.461
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.461
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: 1619796 kB
Buffers: 22908 kB
Cached: 351100 kB
SwapCached: 3828 kB
Active: 41568 kB
Inactive: 341780 kB
HighTotal: 1178688 kB
HighFree: 908392 kB
LowTotal: 895776 kB
LowFree: 711404 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 2680 kB
Writeback: 172 kB
AnonPages: 8912 kB
Mapped: 3124 kB
Slab: 62820 kB
PageTables: 424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87804 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10104 MiB
End job on tipi24 at 2009-05-16 14:25:43