0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 6210 14490 | 1862 0 0 nan | 0.000 % |
0.04/0.03 c | 0 | 4553 13016 | -- 0 -- -- | -- | -1655/-1469
0.04/0.03 c ==============================================================================
0.04/0.03 c Result : #vars: 1105 #clauses: 4553 #literals: 13016
0.04/0.03 c CPU time: 0.03 s
0.04/0.03 c ==============================================================================
0.04/0.05 This is MiniSat 2.0 beta
0.04/0.05 WARNING: for repeatability, setting FPU to use double precision
0.04/0.05 ============================[ Problem Statistics ]=============================
0.04/0.05 | |
0.04/0.05 | Number of variables: 1105 |
0.04/0.05 | Number of clauses: 4553 |
0.04/0.05 | Parsing time: 0.00 s |
0.04/0.05 ============================[ Search Statistics ]==============================
0.04/0.05 | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.05 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.05 ===============================================================================
0.04/0.05 | 0 | 1105 4553 13016 | 1517 0 nan | 0.000 % |
0.04/0.06 | 100 | 1072 4553 13016 | 1669 97 19 | 3.353 % |
0.04/0.09 | 251 | 1068 4352 12373 | 1836 240 16 | 3.348 % |
0.05/0.15 | 477 | 1068 4352 12373 | 2020 466 14 | 3.348 % |
0.05/0.21 | 814 | 1068 4352 12373 | 2222 803 14 | 3.348 % |
0.05/0.36 | 1321 | 1068 4352 12373 | 2444 1310 13 | 3.348 % |
0.05/0.47 | 2081 | 1068 4352 12373 | 2688 2070 14 | 3.348 % |
0.05/0.75 | 3220 | 1068 4352 12373 | 2957 1764 13 | 3.348 % |
1.13/1.20 | 4929 | 1068 4352 12373 | 3253 1934 11 | 3.348 % |
1.83/1.90 | 7491 | 1068 4352 12373 | 3578 2811 10 | 3.348 % |
2.83/2.90 | 11336 | 1068 4352 12373 | 3936 2879 10 | 3.348 % |
4.33/4.37 | 17103 | 1067 4346 12356 | 4330 2485 9 | 3.439 % |
6.43/6.48 | 25752 | 1067 4346 12356 | 4763 4286 9 | 3.439 % |
9.83/9.87 | 38726 | 1067 4346 12356 | 5239 4911 9 | 3.439 % |
15.13/15.16 | 58188 | 1067 4346 12356 | 5763 5398 9 | 3.442 % |
23.03/23.07 | 87380 | 1038 4156 11846 | 6339 3842 8 | 6.066 % |
28.53/28.53 ===============================================================================
28.53/28.53 restarts : 16
28.53/28.53 conflicts : 107259 (3765 /sec)
28.53/28.53 decisions : 109730 (1.42 % random) (3852 /sec)
28.53/28.53 propagations : 67189894 (2358368 /sec)
28.53/28.53 conflict literals : 1096809 (91.17 % deleted)
28.53/28.53 Memory used : 2.91 MB
28.53/28.53 CPU time : 28.49 s
28.53/28.53
28.53/28.53 UNSATISFIABLE
28.53/28.53 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820925-1242488556/watcher-1820925-1242488556 -o /tmp/evaluation-result-1820925-1242488556/solver-1820925-1242488556 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820925-1242488556.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.99 1.00 0.99 2/93 11772
/proc/meminfo: memFree=1124668/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2416 CPUtime=0.01
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1013356606 2473984 276 4294967295 134512640 135169312 3218440352 3218438888 3085565678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11772/statm: 604 276 235 161 0 43 0
[pid=11776] ppid=11772 vsize=952 CPUtime=0
/proc/11776/stat : 11776 (SatELite_releas) R 11772 11772 20977 0 -1 4202496 133 0 0 0 0 0 0 0 20 0 1 0 1013356607 974848 69 4294967295 134512640 135223648 3213331376 3213329972 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11776/statm: 238 69 46 174 0 63 0
[startup+0.03252 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 11772
/proc/meminfo: memFree=1124668/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2416 CPUtime=0.01
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1013356606 2473984 276 4294967295 134512640 135169312 3218440352 3218438888 3085565678 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11772/statm: 604 276 235 161 0 43 0
[pid=11776] ppid=11772 vsize=2216 CPUtime=0.03
/proc/11776/stat : 11776 (SatELite_releas) R 11772 11772 20977 0 -1 4202496 429 0 0 0 3 0 0 0 20 0 1 0 1013356607 2269184 365 4294967295 134512640 135223648 3213331376 3213329392 134586643 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11776/statm: 554 365 73 174 0 379 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4632
[startup+0.132489 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 11772
/proc/meminfo: memFree=1124668/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420
[startup+0.322467 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 11772
/proc/meminfo: memFree=1124668/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420
[startup+0.722426 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 11772
/proc/meminfo: memFree=1124668/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420
[startup+1.52235 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11778
/proc/meminfo: memFree=1123536/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2440 CPUtime=1.48
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 329 0 0 0 148 0 0 0 25 0 1 0 1013356611 2498560 263 4294967295 134512640 135213731 3216035504 3216033984 134529996 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 610 263 73 172 0 436 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 4860
[startup+3.12219 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11778
/proc/meminfo: memFree=1123288/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2580 CPUtime=3.08
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 348 0 0 0 308 0 0 0 25 0 1 0 1013356611 2641920 282 4294967295 134512640 135213731 3216035504 3216033968 134523465 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 645 282 73 172 0 471 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 5000
[startup+6.32188 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11778
/proc/meminfo: memFree=1123164/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2712 CPUtime=6.28
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 371 0 0 0 628 0 0 0 25 0 1 0 1013356611 2777088 305 4294967295 134512640 135213731 3216035504 3216033984 134530138 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 678 305 73 172 0 504 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 5132
[startup+12.7212 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11779
/proc/meminfo: memFree=1122772/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2844 CPUtime=12.68
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 415 0 0 0 1268 0 0 0 25 0 1 0 1013356611 2912256 349 4294967295 134512640 135213731 3216035504 3216033760 134537056 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 711 349 73 172 0 537 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 5264
[startup+25.52 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11781
/proc/meminfo: memFree=1122588/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2976 CPUtime=25.48
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 460 0 0 0 2548 0 0 0 25 0 1 0 1013356611 3047424 394 4294967295 134512640 135213731 3216035504 3216033984 134529996 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 744 394 73 172 0 570 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 5396
Solver just ended. Dumping a history of the last processes samples
[startup+27.1198 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11781
/proc/meminfo: memFree=1122588/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2976 CPUtime=27.08
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 460 0 0 0 2708 0 0 0 25 0 1 0 1013356611 3047424 394 4294967295 134512640 135213731 3216035504 3216033760 134536466 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 744 394 73 172 0 570 0
Current children cumulated CPU time (s) 27.13
Current children cumulated vsize (KiB) 5396
[startup+27.9198 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11781
/proc/meminfo: memFree=1122588/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2976 CPUtime=27.88
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 460 0 0 0 2788 0 0 0 25 0 1 0 1013356611 3047424 394 4294967295 134512640 135213731 3216035504 3216033696 134527306 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 744 394 73 172 0 570 0
Current children cumulated CPU time (s) 27.93
Current children cumulated vsize (KiB) 5396
[startup+28.3197 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11781
/proc/meminfo: memFree=1122588/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2976 CPUtime=28.28
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 460 0 0 0 2828 0 0 0 25 0 1 0 1013356611 3047424 394 4294967295 134512640 135213731 3216035504 3216033760 134537012 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 744 394 73 172 0 570 0
Current children cumulated CPU time (s) 28.33
Current children cumulated vsize (KiB) 5396
[startup+28.5197 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 11781
/proc/meminfo: memFree=1122588/2074464 swapFree=1951864/1959888
[pid=11772] ppid=11770 vsize=2420 CPUtime=0.05
/proc/11772/stat : 11772 (SatELiteGTI) S 11770 11772 20977 0 -1 4194304 384 1087 0 0 0 0 5 0 19 0 1 0 1013356606 2478080 278 4294967295 134512640 135169312 3218440352 3218436568 3085565678 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11772/statm: 605 278 235 161 0 44 0
[pid=11778] ppid=11772 vsize=2976 CPUtime=28.48
/proc/11778/stat : 11778 (minisat_static) R 11772 11772 20977 0 -1 4202496 460 0 0 0 2848 0 0 0 25 0 1 0 1013356611 3047424 394 4294967295 134512640 135213731 3216035504 3216033760 134536798 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11778/statm: 744 394 73 172 0 570 0
Current children cumulated CPU time (s) 28.53
Current children cumulated vsize (KiB) 5396
Child status: 20
Real time (s): 28.5337
CPU time (s): 28.54
CPU user time (s): 28.54
CPU system time (s): 0
CPU usage (%): 100.022
Max. virtual memory (cumulated for all children) (KiB): 5396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.54
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2218
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= 920
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi10 at 2009-05-16 17:42:36
IDJOB=1820925
IDBENCH=70774
IDSOLVER=662
FILE ID=tipi10/1820925-1242488556
PBS_JOBID=
Free space on /tmp= 4301 MiB
SOLVER NAME= APTUSAT 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate016.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -restarts=1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820925-1242488556/watcher-1820925-1242488556 -o /tmp/evaluation-result-1820925-1242488556/solver-1820925-1242488556 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820925-1242488556.cnf -restarts=1
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cb3e934c498918abbc8bcf7f964c0d21
RANDOM SEED= 1722755742
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: 1124692 kB
Buffers: 20828 kB
Cached: 822540 kB
SwapCached: 2732 kB
Active: 434140 kB
Inactive: 419120 kB
HighTotal: 1178688 kB
HighFree: 501288 kB
LowTotal: 895776 kB
LowFree: 623404 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 1860 kB
Writeback: 0 kB
AnonPages: 9144 kB
Mapped: 3380 kB
Slab: 87376 kB
PageTables: 424 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= 4301 MiB
End job on tipi10 at 2009-05-16 17:43:04