Trace number 1780261

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 0/2009-03-20 (4 threads)UNSAT 1088.24 323.979

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
MD5SUM853982f8646333d217e35d938b7eb00b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark895.28
Satisfiable
(Un)Satisfiability was proved
Number of variables670867
Number of clauses3513333
Sum of the clauses size10259569
Maximum clause length11
Minimum clause length1
Number of clauses of size 159077
Number of clauses of size 2795777
Number of clauses of size 32146608
Number of clauses of size 4393835
Number of clauses of size 5117437
Number of clauses of size over 5599

Solver Data 

0.00/0.00	c Parsing...
2.61/2.65	c ==============================================================================
2.61/2.65	c |           |     ORIGINAL     |              LEARNT              |          |
2.61/2.65	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.61/2.65	c ==============================================================================
2.61/2.65	c |         0 | 3355019  9898785 | 1006505       0        0     nan |  0.000 % |
62.91/62.91	c |         0 | 1504771  5219166 |      --       0       --      -- |     --   | -1498875/-3723973
62.91/62.92	c ==============================================================================
62.91/62.92	c Result  :   #vars: 146997   #clauses: 1504771   #literals: 5219166
62.91/62.92	c CPU time:   62.3 s
62.91/62.92	c ==============================================================================
1088.11/323.91	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
1088.11/323.91	c ============================[ Problem Statistics ]=============================
1088.11/323.91	c |                                                                             |
1088.11/323.91	c threadId              : 2
1088.11/323.91	c restarts              : 19
1088.11/323.91	c conflicts             : 321382         (315 /sec)
1088.11/323.91	c decisions             : 543785         (1.81 % random) (532 /sec)
1088.11/323.91	c propagations          : 261020854      (255567 /sec)
1088.11/323.91	c conflict literals     : 10486817       (41.64 % deleted)
1088.11/323.91	c Memory used           : 545.42 MB
1088.11/323.91	c CPU time              : 1021.34 s
1088.11/323.91	
1088.11/323.91	c --->m=4, e=8, aimd=0, HOME/2271_many.cnf	time: 255.335	conflicts: 321382       
1088.11/323.95	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780261-1243529863/watcher-1780261-1243529863 -o /tmp/evaluation-result-1780261-1243529863/solver-1780261-1243529863 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780261-1243529863.cnf aimd 0 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.76 3.98 4.11 3/109 2271
/proc/meminfo: memFree=2819280/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0

[startup+0.091585 s]
/proc/loadavg: 3.76 3.98 4.11 3/109 2271
/proc/meminfo: memFree=2819280/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.111601 s]
/proc/loadavg: 3.76 3.98 4.11 3/109 2271
/proc/meminfo: memFree=2819280/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.311573 s]
/proc/loadavg: 3.76 3.98 4.11 3/109 2271
/proc/meminfo: memFree=2819280/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.711555 s]
/proc/loadavg: 3.76 3.98 4.11 3/109 2271
/proc/meminfo: memFree=2819280/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+1.51151 s]
/proc/loadavg: 3.76 3.98 4.11 2/111 2273
/proc/meminfo: memFree=2675580/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=230776 CPUtime=1.51
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 48893 0 0 0 127 24 0 0 23 0 1 0 1117649499 236314624 48734 4294967295 134512640 135034092 3212851984 3212848328 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 57694 48735 50 128 0 57564 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 233188

[startup+3.11143 s]
/proc/loadavg: 3.54 3.93 4.09 2/111 2273
/proc/meminfo: memFree=2568872/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=382832 CPUtime=3.11
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 83628 0 0 0 272 39 0 0 25 0 1 0 1117649499 392019968 83469 4294967295 134512640 135034092 3212851984 3212848944 134540968 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 95708 83469 63 128 0 95578 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 385244

[startup+6.31126 s]
/proc/loadavg: 3.54 3.93 4.09 2/111 2273
/proc/meminfo: memFree=2456096/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=428468 CPUtime=6.31
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 91128 0 0 0 590 41 0 0 25 0 1 0 1117649499 438751232 90842 4294967295 134512640 135034092 3212851984 3212848224 134540734 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 107117 90842 66 128 0 106987 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 430880

[startup+12.7109 s]
/proc/loadavg: 3.14 3.83 4.06 2/111 2275
/proc/meminfo: memFree=2455912/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=428468 CPUtime=12.71
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 91147 0 0 0 1229 42 0 0 25 0 1 0 1117649499 438751232 90861 4294967295 134512640 135034092 3212851984 3212848224 134541252 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 107117 90861 66 128 0 106987 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 430880

[startup+25.5103 s]
/proc/loadavg: 2.81 3.74 4.03 2/111 2275
/proc/meminfo: memFree=2456008/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=428016 CPUtime=25.51
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 91228 0 0 0 2509 42 0 0 25 0 1 0 1117649499 438288384 90829 4294967295 134512640 135034092 3212851984 3212848224 134541265 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 107004 90829 66 128 0 106874 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 430428

[startup+51.1089 s]
/proc/loadavg: 2.19 3.52 3.94 3/111 2462
/proc/meminfo: memFree=2455072/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2412 CPUtime=0
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117649499 2469888 273 4294967295 134512640 135169312 3220314720 3220313256 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 603 273 231 161 0 42 0
[pid=2272] ppid=2271 vsize=429932 CPUtime=51.11
/proc/2272/stat : 2272 (SatElite) R 2271 2271 29143 0 -1 4202496 91644 0 0 0 5068 43 0 0 25 0 1 0 1117649499 440250368 90828 4294967295 134512640 135034092 3212851984 3212848224 134540968 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2272/statm: 107483 90828 66 128 0 107353 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 432344

[startup+102.316 s]
/proc/loadavg: 3.36 3.56 3.93 6/114 2473
/proc/meminfo: memFree=2303824/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=492544 CPUtime=139.31
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 113612 0 0 0 13822 109 0 0 25 0 4 0 1117655998 504365056 113351 4294967295 134512640 135305190 3213314992 3213312708 134839991 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2464/statm: 123136 113351 79 194 0 122940 0
[pid=2464/tid=2466] ppid=2271 vsize=492544 CPUtime=34.01
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 4518 0 0 0 3388 13 0 0 25 0 4 0 1117656280 504365056 113351 4294967295 134512640 135305190 3213314992 2999663808 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=492544 CPUtime=34.28
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 5612 0 0 0 3405 23 0 0 25 0 4 0 1117656280 504365056 113351 4294967295 134512640 135305190 3213314992 2991275200 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=492544 CPUtime=34.11
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 5280 0 0 0 3394 17 0 0 25 0 4 0 1117656280 504365056 113351 4294967295 134512640 135305190 3213314992 2982886592 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.3
Current children cumulated vsize (KiB) 494960

[startup+162.313 s]
/proc/loadavg: 3.93 3.69 3.95 5/114 2668
/proc/meminfo: memFree=2278748/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=518860 CPUtime=378.68
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 120204 0 0 0 37737 131 0 0 25 0 4 0 1117655998 531312640 119943 4294967295 134512640 135305190 3213314992 3213313168 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2464/statm: 129715 119943 79 194 0 129519 0
[pid=2464/tid=2466] ppid=2271 vsize=518860 CPUtime=93.94
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 5764 0 0 0 9372 22 0 0 25 0 4 0 1117656280 531312640 119943 4294967295 134512640 135305190 3213314992 2999663808 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=518860 CPUtime=93.98
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7413 0 0 0 9372 26 0 0 25 0 4 0 1117656280 531312640 119943 4294967295 134512640 135305190 3213314992 2991274940 134541434 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=518860 CPUtime=94.03
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 6711 0 0 0 9381 22 0 0 25 0 4 0 1117656280 531312640 119943 4294967295 134512640 135305190 3213314992 2982886592 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 443.67
Current children cumulated vsize (KiB) 521276

[startup+222.31 s]
/proc/loadavg: 4.24 3.83 3.98 6/114 2856
/proc/meminfo: memFree=2265256/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=531668 CPUtime=618.12
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 123453 0 0 0 61659 153 0 0 25 0 4 0 1117655998 544428032 123192 4294967295 134512640 135305190 3213314992 3213313168 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2464/statm: 132917 123192 79 194 0 132721 0
[pid=2464/tid=2466] ppid=2271 vsize=531668 CPUtime=153.79
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 6408 0 0 0 15356 23 0 0 25 0 4 0 1117656280 544428032 123192 4294967295 134512640 135305190 3213314992 2999663808 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=531668 CPUtime=153.78
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8636 0 0 0 15348 30 0 0 25 0 4 0 1117656280 544428032 123192 4294967295 134512640 135305190 3213314992 2991275200 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=531668 CPUtime=153.94
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7330 0 0 0 15364 30 0 0 25 0 4 0 1117656280 544428032 123192 4294967295 134512640 135305190 3213314992 2982886320 134556846 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 683.11
Current children cumulated vsize (KiB) 534084

[startup+282.307 s]
/proc/loadavg: 4.35 3.94 4.01 6/114 3048
/proc/meminfo: memFree=2243772/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=553300 CPUtime=857.43
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 128592 0 0 0 85573 170 0 0 25 0 4 0 1117655998 566579200 128331 4294967295 134512640 135305190 3213314992 3213313168 134528406 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2464/statm: 138325 128331 79 194 0 138129 0
[pid=2464/tid=2466] ppid=2271 vsize=553300 CPUtime=213.56
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7314 0 0 0 21328 28 0 0 25 0 4 0 1117656280 566579200 128331 4294967295 134512640 135305190 3213314992 2999663808 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=553300 CPUtime=213.47
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 10544 0 0 0 21309 38 0 0 25 0 4 0 1117656280 566579200 128331 4294967295 134512640 135305190 3213314992 2991275200 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=553300 CPUtime=213.88
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8280 0 0 0 21356 32 0 0 25 0 4 0 1117656280 566579200 128331 4294967295 134512640 135305190 3213314992 2982886592 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 922.42
Current children cumulated vsize (KiB) 555716

Solver just ended. Dumping a history of the last processes samples

[startup+307.106 s]
/proc/loadavg: 4.50 4.02 4.03 5/114 3235
/proc/meminfo: memFree=2239508/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=557700 CPUtime=956.12
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129421 0 0 0 95435 177 0 0 25 0 4 0 1117655998 571084800 129160 4294967295 134512640 135305190 3213314992 3213313168 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139425 129160 79 194 0 139229 0
[pid=2464/tid=2466] ppid=2271 vsize=557700 CPUtime=238.17
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7510 0 0 0 23787 30 0 0 25 0 4 0 1117656280 571084800 129160 4294967295 134512640 135305190 3213314992 2999663808 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=557700 CPUtime=238.05
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 10999 0 0 0 23764 41 0 0 25 0 4 0 1117656280 571084800 129160 4294967295 134512640 135305190 3213314992 2991275200 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=557700 CPUtime=238.65
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8390 0 0 0 23833 32 0 0 25 0 4 0 1117656280 571084800 129160 4294967295 134512640 135305190 3213314992 2982886592 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1021.11
Current children cumulated vsize (KiB) 560116

[startup+313.515 s]
/proc/loadavg: 4.46 4.02 4.03 5/114 3237
/proc/meminfo: memFree=2239384/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=557972 CPUtime=981.67
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129509 0 0 0 97985 182 0 0 25 0 4 0 1117655998 571363328 129248 4294967295 134512640 135305190 3213314992 3213313168 134528376 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139493 129248 79 194 0 139297 0
[pid=2464/tid=2466] ppid=2271 vsize=557972 CPUtime=244.49
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7510 0 0 0 24419 30 0 0 25 0 4 0 1117656280 571363328 129248 4294967295 134512640 135305190 3213314992 2999663808 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=557972 CPUtime=244.46
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11041 0 0 0 24405 41 0 0 25 0 4 0 1117656280 571363328 129248 4294967295 134512640 135305190 3213314992 2991275200 134528319 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=557972 CPUtime=245.06
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8410 0 0 0 24474 32 0 0 25 0 4 0 1117656280 571363328 129248 4294967295 134512640 135305190 3213314992 2982886592 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1046.66
Current children cumulated vsize (KiB) 560388

[startup+319.905 s]
/proc/loadavg: 4.43 4.02 4.03 5/114 3237
/proc/meminfo: memFree=2239152/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=558332 CPUtime=1007.14
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129598 0 0 0 100529 185 0 0 25 0 4 0 1117655998 571731968 129338 4294967295 134512640 135305190 3213314992 3213312644 134839991 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139583 129338 79 194 0 139387 0
[pid=2464/tid=2466] ppid=2271 vsize=558332 CPUtime=250.83
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7526 0 0 0 25052 31 0 0 25 0 4 0 1117656280 571731968 129338 4294967295 134512640 135305190 3213314992 2999663536 134556752 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=558332 CPUtime=250.85
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11093 0 0 0 25043 42 0 0 25 0 4 0 1117656280 571731968 129338 4294967295 134512640 135305190 3213314992 2991275200 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=558332 CPUtime=251.44
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8424 0 0 0 25112 32 0 0 25 0 4 0 1117656280 571731968 129338 4294967295 134512640 135305190 3213314992 2982886592 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1072.13
Current children cumulated vsize (KiB) 560748

[startup+321.505 s]
/proc/loadavg: 4.43 4.02 4.03 5/114 3237
/proc/meminfo: memFree=2239044/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=558332 CPUtime=1013.52
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129632 0 0 0 101167 185 0 0 25 0 4 0 1117655998 571731968 129371 4294967295 134512640 135305190 3213314992 3213313168 134528480 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139583 129371 79 194 0 139387 0
[pid=2464/tid=2466] ppid=2271 vsize=558332 CPUtime=252.43
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7532 0 0 0 25212 31 0 0 25 0 4 0 1117656280 571731968 129371 4294967295 134512640 135305190 3213314992 2999663808 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=558332 CPUtime=252.45
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11108 0 0 0 25203 42 0 0 25 0 4 0 1117656280 571731968 129371 4294967295 134512640 135305190 3213314992 2991275200 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=558332 CPUtime=253.02
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8430 0 0 0 25270 32 0 0 25 0 4 0 1117656280 571731968 129371 4294967295 134512640 135305190 3213314992 2982886592 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1078.51
Current children cumulated vsize (KiB) 560748

[startup+323.105 s]
/proc/loadavg: 4.39 4.02 4.03 5/114 3237
/proc/meminfo: memFree=2239044/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=558508 CPUtime=1019.92
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129644 0 0 0 101807 185 0 0 25 0 4 0 1117655998 571912192 129383 4294967295 134512640 135305190 3213314992 3213313168 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139627 129383 79 194 0 139431 0
[pid=2464/tid=2466] ppid=2271 vsize=558508 CPUtime=254.03
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7532 0 0 0 25372 31 0 0 25 0 4 0 1117656280 571912192 129383 4294967295 134512640 135305190 3213314992 2999663808 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=558508 CPUtime=254.05
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11120 0 0 0 25363 42 0 0 25 0 4 0 1117656280 571912192 129383 4294967295 134512640 135305190 3213314992 2991275200 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=558508 CPUtime=254.62
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8430 0 0 0 25430 32 0 0 25 0 4 0 1117656280 571912192 129383 4294967295 134512640 135305190 3213314992 2982886592 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1084.91
Current children cumulated vsize (KiB) 560924

[startup+323.505 s]
/proc/loadavg: 4.39 4.02 4.03 6/114 3237
/proc/meminfo: memFree=2239076/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=558508 CPUtime=1021.52
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129648 0 0 0 101967 185 0 0 25 0 4 0 1117655998 571912192 129387 4294967295 134512640 135305190 3213314992 3213313168 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139627 129387 79 194 0 139431 0
[pid=2464/tid=2466] ppid=2271 vsize=558508 CPUtime=254.43
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7532 0 0 0 25412 31 0 0 25 0 4 0 1117656280 571912192 129387 4294967295 134512640 135305190 3213314992 2999663808 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=558508 CPUtime=254.45
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11120 0 0 0 25403 42 0 0 25 0 4 0 1117656280 571912192 129387 4294967295 134512640 135305190 3213314992 2991275200 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=558508 CPUtime=255.02
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8430 0 0 0 25470 32 0 0 25 0 4 0 1117656280 571912192 129387 4294967295 134512640 135305190 3213314992 2982886592 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1086.51
Current children cumulated vsize (KiB) 560924

[startup+323.905 s]
/proc/loadavg: 4.39 4.02 4.03 6/114 3237
/proc/meminfo: memFree=2239076/3368532 swapFree=1959840/1959888
[pid=2271] ppid=2269 vsize=2416 CPUtime=64.99
/proc/2271/stat : 2271 (manysat.sh) S 2269 2271 29143 0 -1 4194304 368 114596 0 0 0 0 6427 72 15 0 1 0 1117649499 2473984 274 4294967295 134512640 135169312 3220314720 3220310936 3085729518 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/2271/statm: 604 274 231 161 0 43 0
[pid=2464] ppid=2271 vsize=558508 CPUtime=1023.12
/proc/2464/stat : 2464 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202496 129653 0 0 0 102127 185 0 0 25 0 4 0 1117655998 571912192 129392 4294967295 134512640 135305190 3213314992 3213313168 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2464/statm: 139627 129392 79 194 0 139431 0
[pid=2464/tid=2466] ppid=2271 vsize=558508 CPUtime=254.83
/proc/2464/task/2466/stat : 2466 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 7532 0 0 0 25452 31 0 0 25 0 4 0 1117656280 571912192 129392 4294967295 134512640 135305190 3213314992 2999663808 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2271 vsize=558508 CPUtime=254.85
/proc/2464/task/2467/stat : 2467 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 11120 0 0 0 25443 42 0 0 25 0 4 0 1117656280 571912192 129392 4294967295 134512640 135305190 3213314992 2991275200 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2464/tid=2468] ppid=2271 vsize=558508 CPUtime=255.42
/proc/2464/task/2468/stat : 2468 (manysat1.1_stat) R 2271 2271 29143 0 -1 4202560 8430 0 0 0 25510 32 0 0 25 0 4 0 1117656280 571912192 129392 4294967295 134512640 135305190 3213314992 2982886592 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1088.11
Current children cumulated vsize (KiB) 560924

Child status: 20
Real time (s): 323.979
CPU time (s): 1088.24
CPU user time (s): 1085.61
CPU system time (s): 2.63
CPU usage (%): 335.899
Max. virtual memory (cumulated for all children) (KiB): 560924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1085.61
system time used= 2.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244909
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= 53150
involuntary context switches= 54290

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:57:43
IDJOB=1780261
IDBENCH=70965
IDSOLVER=620
FILE ID=/1780261-1243529863
PBS_JOBID=
Free space on /tmp= 7917 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780261-1243529863/watcher-1780261-1243529863 -o /tmp/evaluation-result-1780261-1243529863/solver-1780261-1243529863 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1780261-1243529863.cnf aimd 0

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED= 616995432

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2819724 kB
Buffers:         46492 kB
Cached:         402344 kB
SwapCached:          0 kB
Active:         108300 kB
Inactive:       359312 kB
HighTotal:     2489216 kB
HighFree:      2068128 kB
LowTotal:       879316 kB
LowFree:        751596 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           74284 kB
Writeback:           0 kB
AnonPages:       19264 kB
Mapped:           7700 kB
Slab:            71368 kB
SReclaimable:    58660 kB
SUnreclaim:      12708 kB
PageTables:        684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7917 MiB
End job on  at 2009-05-28 19:03:11