Trace number 1779919

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 1/2009-03-20 (4 threads)UNSAT 398.3 100.542

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
MD5SUMeb4d0d02a25a8a84182ddd3b6d1fa8b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark372.41
Satisfiable
(Un)Satisfiability was proved
Number of variables33090
Number of clauses165828
Sum of the clauses size478271
Maximum clause length9
Minimum clause length1
Number of clauses of size 14268
Number of clauses of size 241089
Number of clauses of size 397665
Number of clauses of size 415752
Number of clauses of size 56916
Number of clauses of size over 5138

Solver Data 

0.00/0.00	c Parsing...
0.12/0.12	c ==============================================================================
0.12/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.12	c ==============================================================================
0.12/0.12	c |         0 |  155258   454459 |   46577       0        0     nan |  0.000 % |
0.72/0.75	c |         0 |   68970   232657 |      --       0       --      -- |     --   | -80730/-205120
0.72/0.75	c ==============================================================================
0.72/0.75	c Result  :   #vars: 7889   #clauses: 68970   #literals: 232657
0.72/0.75	c CPU time:   0.72 s
0.72/0.75	c ==============================================================================
398.19/100.53	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
398.19/100.53	c ============================[ Problem Statistics ]=============================
398.19/100.53	c |                                                                             |
398.19/100.53	c threadId              : 3
398.19/100.53	c restarts              : 335
398.19/100.53	c conflicts             : 286679         (722 /sec)
398.19/100.53	c decisions             : 414394         (2.73 % random) (1044 /sec)
398.19/100.53	c propagations          : 61233679       (154218 /sec)
398.19/100.53	c conflict literals     : 5502520        (33.99 % deleted)
398.19/100.53	c Memory used           : 108.29 MB
398.19/100.53	c CPU time              : 397.06 s
398.19/100.53	
398.19/100.53	c --->m=4, e=8, aimd=1, HOME/3608_many.cnf	time: 99.265	conflicts: 286679       
398.19/100.53	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-1779919-1243528627/watcher-1779919-1243528627 -o /tmp/evaluation-result-1779919-1243528627/solver-1779919-1243528627 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779919-1243528627.cnf aimd 1 

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.95 4.36 4.47 3/96 3608
/proc/meminfo: memFree=2921740/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2416 CPUtime=0
/proc/3608/stat : 3608 (manysat.sh) R 3606 3608 1628 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1106963824 2473984 274 4294967295 134512640 135169312 3220828896 3220827372 3085850484 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/3608/statm: 604 274 231 161 0 43 0
[pid=3609] ppid=3608 vsize=1056 CPUtime=0
/proc/3609/stat : 3609 (SatElite) R 3608 3608 1628 0 -1 4202496 203 0 0 0 0 0 0 0 18 0 1 0 1106963824 1081344 140 4294967295 134512640 135034092 3219194144 3219190488 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3609/statm: 264 140 50 128 0 134 0

[startup+0.014321 s]
/proc/loadavg: 3.95 4.36 4.47 3/96 3608
/proc/meminfo: memFree=2921740/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2416 CPUtime=0
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1106963824 2473984 274 4294967295 134512640 135169312 3220828896 3220827432 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 604 274 231 161 0 43 0
[pid=3609] ppid=3608 vsize=2620 CPUtime=0.02
/proc/3609/stat : 3609 (SatElite) R 3608 3608 1628 0 -1 4202496 554 0 0 0 1 1 0 0 19 0 1 0 1106963824 2682880 491 4294967295 134512640 135034092 3219194144 3219190488 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3609/statm: 655 491 50 128 0 525 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5036

[startup+0.114314 s]
/proc/loadavg: 3.95 4.36 4.47 3/96 3608
/proc/meminfo: memFree=2921740/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2416 CPUtime=0
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1106963824 2473984 274 4294967295 134512640 135169312 3220828896 3220827432 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 604 274 231 161 0 43 0
[pid=3609] ppid=3608 vsize=17676 CPUtime=0.12
/proc/3609/stat : 3609 (SatElite) R 3608 3608 1628 0 -1 4202496 3606 0 0 0 9 3 0 0 20 0 1 0 1106963824 18100224 3543 4294967295 134512640 135034092 3219194144 3219191384 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3609/statm: 4419 3545 50 128 0 4289 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20092

[startup+0.314301 s]
/proc/loadavg: 3.95 4.36 4.47 3/96 3608
/proc/meminfo: memFree=2921740/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2416 CPUtime=0
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1106963824 2473984 274 4294967295 134512640 135169312 3220828896 3220827432 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 604 274 231 161 0 43 0
[pid=3609] ppid=3608 vsize=22212 CPUtime=0.32
/proc/3609/stat : 3609 (SatElite) R 3608 3608 1628 0 -1 4202496 4582 0 0 0 29 3 0 0 20 0 1 0 1106963824 22745088 4519 4294967295 134512640 135034092 3219194144 3219190412 134678376 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3609/statm: 5553 4519 66 128 0 5423 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24628

[startup+0.714274 s]
/proc/loadavg: 3.95 4.36 4.47 3/96 3608
/proc/meminfo: memFree=2921740/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2416 CPUtime=0
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1106963824 2473984 274 4294967295 134512640 135169312 3220828896 3220827432 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 604 274 231 161 0 43 0
[pid=3609] ppid=3608 vsize=24584 CPUtime=0.72
/proc/3609/stat : 3609 (SatElite) R 3608 3608 1628 0 -1 4202496 5348 0 0 0 69 3 0 0 21 0 1 0 1106963824 25174016 4890 4294967295 134512640 135034092 3219194144 3219190592 134569611 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3609/statm: 6146 4890 67 128 0 6016 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 27000

[startup+1.51422 s]
/proc/loadavg: 3.95 4.36 4.47 3/101 3614
/proc/meminfo: memFree=2899892/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=51080 CPUtime=2.18
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 6241 0 0 0 210 8 0 0 17 0 4 0 1106963909 52305920 6174 4294967295 134512640 135305190 3221175088 3221173016 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3611/statm: 12770 6174 79 194 0 12574 0
[pid=3611/tid=3612] ppid=3608 vsize=51080 CPUtime=0.49
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 324 0 0 0 48 1 0 0 17 0 4 0 1106963922 52305920 6174 4294967295 134512640 135305190 3221175088 3083545792 134531061 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=51080 CPUtime=0.52
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 359 0 0 0 51 1 0 0 18 0 4 0 1106963922 52305920 6174 4294967295 134512640 135305190 3221175088 3075156932 134838459 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=51080 CPUtime=0.52
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 367 0 0 0 47 5 0 0 17 0 4 0 1106963922 52305920 6174 4294967295 134512640 135305190 3221175088 3066768576 134528539 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 53500

[startup+3.11412 s]
/proc/loadavg: 3.95 4.36 4.47 6/101 3614
/proc/meminfo: memFree=2891900/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=59460 CPUtime=8.58
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 8160 0 0 0 849 9 0 0 15 0 4 0 1106963909 60887040 8093 4294967295 134512640 135305190 3221175088 3221173208 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3611/statm: 14865 8093 79 194 0 14669 0
[pid=3611/tid=3612] ppid=3608 vsize=59460 CPUtime=2.09
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 659 0 0 0 208 1 0 0 16 0 4 0 1106963922 60887040 8093 4294967295 134512640 135305190 3221175088 3083545792 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=59460 CPUtime=2.12
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 887 0 0 0 211 1 0 0 17 0 4 0 1106963922 60887040 8093 4294967295 134512640 135305190 3221175088 3075157184 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=59460 CPUtime=2.12
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 917 0 0 0 206 6 0 0 15 0 4 0 1106963922 60887040 8094 4294967295 134512640 135305190 3221175088 3066768324 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 61880

[startup+6.3139 s]
/proc/loadavg: 4.20 4.40 4.49 7/101 3614
/proc/meminfo: memFree=2883768/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=66976 CPUtime=21.36
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 9699 0 0 0 2127 9 0 0 17 0 4 0 1106963909 68583424 9632 4294967295 134512640 135305190 3221175088 3221173012 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3611/statm: 16744 9632 79 194 0 16548 0
[pid=3611/tid=3612] ppid=3608 vsize=66976 CPUtime=5.29
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1012 0 0 0 528 1 0 0 16 0 4 0 1106963922 68583424 9632 4294967295 134512640 135305190 3221175088 3083545792 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=66976 CPUtime=5.32
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1344 0 0 0 531 1 0 0 22 0 4 0 1106963922 68583424 9632 4294967295 134512640 135305190 3221175088 3075157184 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=66976 CPUtime=5.32
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1274 0 0 0 526 6 0 0 16 0 4 0 1106963922 68583424 9632 4294967295 134512640 135305190 3221175088 3066768576 134528747 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.2
Current children cumulated vsize (KiB) 69396

[startup+12.7135 s]
/proc/loadavg: 4.18 4.39 4.48 5/101 3619
/proc/meminfo: memFree=2872652/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=75276 CPUtime=46.92
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 11943 0 0 0 4679 13 0 0 25 0 4 0 1106963909 77082624 11876 4294967295 134512640 135305190 3221175088 3221173264 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3611/statm: 18819 11876 79 194 0 18623 0
[pid=3611/tid=3612] ppid=3608 vsize=75276 CPUtime=11.69
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1529 0 0 0 1168 1 0 0 25 0 4 0 1106963922 77082624 11876 4294967295 134512640 135305190 3221175088 3083545792 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=75276 CPUtime=11.72
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1920 0 0 0 1169 3 0 0 25 0 4 0 1106963922 77082624 11876 4294967295 134512640 135305190 3221175088 3075157184 134528788 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=75276 CPUtime=11.7
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 1877 0 0 0 1164 6 0 0 25 0 4 0 1106963922 77082624 11876 4294967295 134512640 135305190 3221175088 3066768576 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.76
Current children cumulated vsize (KiB) 77696

[startup+25.5126 s]
/proc/loadavg: 4.22 4.39 4.48 5/101 3622
/proc/meminfo: memFree=2865516/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=83140 CPUtime=98.1
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 13836 0 0 0 9795 15 0 0 25 0 4 0 1106963909 85135360 13769 4294967295 134512640 135305190 3221175088 3221173264 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3611/statm: 20785 13769 79 194 0 20589 0
[pid=3611/tid=3612] ppid=3608 vsize=83140 CPUtime=24.49
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 2044 0 0 0 2448 1 0 0 25 0 4 0 1106963922 85135360 13769 4294967295 134512640 135305190 3221175088 3083545792 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=83140 CPUtime=24.52
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 2401 0 0 0 2449 3 0 0 25 0 4 0 1106963922 85135360 13769 4294967295 134512640 135305190 3221175088 3075157184 134528274 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=83140 CPUtime=24.5
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 2293 0 0 0 2442 8 0 0 25 0 4 0 1106963922 85135360 13769 4294967295 134512640 135305190 3221175088 3066768576 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.94
Current children cumulated vsize (KiB) 85560

[startup+51.1108 s]
/proc/loadavg: 4.21 4.37 4.47 6/101 3806
/proc/meminfo: memFree=2849764/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=97148 CPUtime=200.05
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 17291 0 0 0 19979 26 0 0 25 0 4 0 1106963909 99479552 17224 4294967295 134512640 135305190 3221175088 3221173056 134548016 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 24287 17224 79 194 0 24091 0
[pid=3611/tid=3612] ppid=3608 vsize=97148 CPUtime=50.06
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 2875 0 0 0 5004 2 0 0 25 0 4 0 1106963922 99479552 17224 4294967295 134512640 135305190 3221175088 3083545792 134528268 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=97148 CPUtime=50.1
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3280 0 0 0 5003 7 0 0 25 0 4 0 1106963922 99479552 17224 4294967295 134512640 135305190 3221175088 3075157184 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=97148 CPUtime=49.97
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3168 0 0 0 4986 11 0 0 25 0 4 0 1106963922 99479552 17224 4294967295 134512640 135305190 3221175088 3066768576 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.89
Current children cumulated vsize (KiB) 99568

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

[startup+76.7091 s]
/proc/loadavg: 4.14 4.34 4.45 5/101 3807
/proc/meminfo: memFree=2843264/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=107036 CPUtime=302.27
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 19505 0 0 0 30194 33 0 0 25 0 4 0 1106963909 109604864 19438 4294967295 134512640 135305190 3221175088 3221173264 134528503 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 26759 19438 79 194 0 26563 0
[pid=3611/tid=3612] ppid=3608 vsize=107036 CPUtime=75.64
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3455 0 0 0 7561 3 0 0 25 0 4 0 1106963922 109604864 19438 4294967295 134512640 135305190 3221175088 3083545792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=107036 CPUtime=75.7
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3799 0 0 0 7562 8 0 0 25 0 4 0 1106963922 109604864 19438 4294967295 134512640 135305190 3221175088 3075157184 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=107036 CPUtime=75.41
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3679 0 0 0 7527 14 0 0 25 0 4 0 1106963922 109604864 19438 4294967295 134512640 135305190 3221175088 3066768576 134528559 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 303.11
Current children cumulated vsize (KiB) 109456

[startup+89.5082 s]
/proc/loadavg: 4.11 4.33 4.45 6/101 3810
/proc/meminfo: memFree=2837820/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=109776 CPUtime=353.4
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20468 0 0 0 35301 39 0 0 25 0 4 0 1106963909 112410624 20401 4294967295 134512640 135305190 3221175088 3221173264 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27444 20401 79 194 0 27248 0
[pid=3611/tid=3612] ppid=3608 vsize=109776 CPUtime=88.43
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3691 0 0 0 8839 4 0 0 25 0 4 0 1106963922 112410624 20401 4294967295 134512640 135305190 3221175088 3083545792 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=109776 CPUtime=88.49
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4099 0 0 0 8838 11 0 0 25 0 4 0 1106963922 112410624 20401 4294967295 134512640 135305190 3221175088 3075157184 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=109776 CPUtime=88.17
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3970 0 0 0 8802 15 0 0 25 0 4 0 1106963922 112410624 20401 4294967295 134512640 135305190 3221175088 3066768576 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 354.24
Current children cumulated vsize (KiB) 112196

[startup+95.9078 s]
/proc/loadavg: 4.10 4.32 4.44 5/101 3811
/proc/meminfo: memFree=2837712/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=110136 CPUtime=378.99
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20542 0 0 0 37860 39 0 0 25 0 4 0 1106963909 112779264 20475 4294967295 134512640 135305190 3221175088 3221173264 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27534 20475 79 194 0 27338 0
[pid=3611/tid=3612] ppid=3608 vsize=110136 CPUtime=94.83
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3712 0 0 0 9479 4 0 0 25 0 4 0 1106963922 112779264 20475 4294967295 134512640 135305190 3221175088 3083545792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=110136 CPUtime=94.89
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4123 0 0 0 9478 11 0 0 25 0 4 0 1106963922 112779264 20475 4294967295 134512640 135305190 3221175088 3075157184 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=110136 CPUtime=94.56
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3970 0 0 0 9441 15 0 0 25 0 4 0 1106963922 112779264 20475 4294967295 134512640 135305190 3221175088 3066768424 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 379.83
Current children cumulated vsize (KiB) 112556

[startup+99.1076 s]
/proc/loadavg: 4.10 4.32 4.44 5/101 3811
/proc/meminfo: memFree=2837464/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=110692 CPUtime=391.78
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20668 0 0 0 39139 39 0 0 25 0 4 0 1106963909 113348608 20601 4294967295 134512640 135305190 3221175088 3221173264 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27673 20601 79 194 0 27477 0
[pid=3611/tid=3612] ppid=3608 vsize=110692 CPUtime=98.03
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3713 0 0 0 9799 4 0 0 25 0 4 0 1106963922 113348608 20601 4294967295 134512640 135305190 3221175088 3083545792 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=110692 CPUtime=98.09
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4181 0 0 0 9798 11 0 0 25 0 4 0 1106963922 113348608 20601 4294967295 134512640 135305190 3221175088 3075157184 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=110692 CPUtime=97.75
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3970 0 0 0 9760 15 0 0 25 0 4 0 1106963922 113348608 20601 4294967295 134512640 135305190 3221175088 3066768368 134547909 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 392.62
Current children cumulated vsize (KiB) 113112

[startup+99.9075 s]
/proc/loadavg: 4.10 4.32 4.44 5/101 3811
/proc/meminfo: memFree=2837464/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=110692 CPUtime=394.97
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20673 0 0 0 39458 39 0 0 25 0 4 0 1106963909 113348608 20606 4294967295 134512640 135305190 3221175088 3221173152 134529382 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27673 20606 79 194 0 27477 0
[pid=3611/tid=3612] ppid=3608 vsize=110692 CPUtime=98.83
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3713 0 0 0 9879 4 0 0 25 0 4 0 1106963922 113348608 20606 4294967295 134512640 135305190 3221175088 3083545680 134529062 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=110692 CPUtime=98.89
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4183 0 0 0 9878 11 0 0 25 0 4 0 1106963922 113348608 20606 4294967295 134512640 135305190 3221175088 3075157072 134529255 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=110692 CPUtime=98.54
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3970 0 0 0 9839 15 0 0 25 0 4 0 1106963922 113348608 20606 4294967295 134512640 135305190 3221175088 3066768292 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 395.81
Current children cumulated vsize (KiB) 113112

[startup+100.307 s]
/proc/loadavg: 4.09 4.31 4.44 6/101 3811
/proc/meminfo: memFree=2837464/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=110880 CPUtime=396.55
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20693 0 0 0 39616 39 0 0 25 0 4 0 1106963909 113541120 20626 4294967295 134512640 135305190 3221175088 3221173264 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27720 20626 79 194 0 27524 0
[pid=3611/tid=3612] ppid=3608 vsize=110880 CPUtime=99.23
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3713 0 0 0 9919 4 0 0 25 0 4 0 1106963922 113541120 20626 4294967295 134512640 135305190 3221175088 3083545792 134528399 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=110880 CPUtime=99.28
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4183 0 0 0 9917 11 0 0 25 0 4 0 1106963922 113541120 20626 4294967295 134512640 135305190 3221175088 3075157184 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=110880 CPUtime=98.94
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3990 0 0 0 9879 15 0 0 25 0 4 0 1106963922 113541120 20626 4294967295 134512640 135305190 3221175088 3066768576 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 397.39
Current children cumulated vsize (KiB) 113300

[startup+100.507 s]
/proc/loadavg: 4.09 4.31 4.44 6/101 3811
/proc/meminfo: memFree=2837464/3368532 swapFree=1954076/1959888
[pid=3608] ppid=3606 vsize=2420 CPUtime=0.84
/proc/3608/stat : 3608 (manysat.sh) S 3606 3608 1628 0 -1 4194304 370 5365 0 0 0 0 80 4 18 0 1 0 1106963824 2478080 275 4294967295 134512640 135169312 3220828896 3220825112 3085848302 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/3608/statm: 605 275 231 161 0 44 0
[pid=3611] ppid=3608 vsize=110880 CPUtime=397.35
/proc/3611/stat : 3611 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202496 20694 0 0 0 39696 39 0 0 25 0 4 0 1106963909 113541120 20627 4294967295 134512640 135305190 3221175088 3221173264 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3611/statm: 27720 20627 79 194 0 27524 0
[pid=3611/tid=3612] ppid=3608 vsize=110880 CPUtime=99.43
/proc/3611/task/3612/stat : 3612 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3713 0 0 0 9939 4 0 0 25 0 4 0 1106963922 113541120 20627 4294967295 134512640 135305190 3221175088 3083545792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3611/tid=3613] ppid=3608 vsize=110880 CPUtime=99.48
/proc/3611/task/3613/stat : 3613 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 4183 0 0 0 9937 11 0 0 25 0 4 0 1106963922 113541120 20627 4294967295 134512640 135305190 3221175088 3075157184 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3611/tid=3614] ppid=3608 vsize=110880 CPUtime=99.14
/proc/3611/task/3614/stat : 3614 (manysat1.1_stat) R 3608 3608 1628 0 -1 4202560 3991 0 0 0 9899 15 0 0 25 0 4 0 1106963922 113541120 20627 4294967295 134512640 135305190 3221175088 3066768240 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 398.19
Current children cumulated vsize (KiB) 113300

Child status: 20
Real time (s): 100.542
CPU time (s): 398.3
CPU user time (s): 397.86
CPU system time (s): 0.44
CPU usage (%): 396.154
Max. virtual memory (cumulated for all children) (KiB): 113300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.86
system time used= 0.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26722
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= 5345
involuntary context switches= 16496

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 18:37:07
IDJOB=1779919
IDBENCH=70941
IDSOLVER=623
FILE ID=tipi44/1779919-1243528627
PBS_JOBID=
Free space on /tmp= 15890 MiB

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

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

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED= 1495577538

Linux tipi44 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.116
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.116
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.10
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2921740 kB
Buffers:        141752 kB
Cached:         196932 kB
SwapCached:       2180 kB
Active:         109944 kB
Inactive:       238552 kB
HighTotal:     2489216 kB
HighFree:      2280096 kB
LowTotal:       879316 kB
LowFree:        641644 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            4828 kB
Writeback:           0 kB
AnonPages:        9284 kB
Mapped:           3652 kB
Slab:            87820 kB
SReclaimable:    77444 kB
SUnreclaim:      10376 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15890 MiB
End job on tipi44 at 2009-05-28 18:38:47