Trace number 1821350

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
BinMiniSat 2009-03-21UNSAT 809.21 809.179

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 benchmark518.98
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.11/0.14	c ==============================================================================
0.11/0.14	c |           |     ORIGINAL     |              LEARNT              |          |
0.11/0.14	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.11/0.14	c ==============================================================================
0.11/0.14	c |         0 |  155258   454459 |   46577       0        0     nan |  0.000 % |
1.11/1.16	c |         0 |   68970   232657 |      --       0       --      -- |     --   | -80730/-205120
1.11/1.16	c ==============================================================================
1.11/1.16	c Result  :   #vars: 7889   #clauses: 68970   #literals: 232657
1.11/1.16	c CPU time:   1.12 s
1.11/1.16	c ==============================================================================
1.21/1.24	This is MiniSat 2.0 beta
1.21/1.24	WARNING: for repeatability, setting FPU to use double precision
1.21/1.24	============================[ Problem Statistics ]=============================
1.21/1.24	|                                                                             |
1.21/1.25	|  Number of variables:  7889                                                 |
1.21/1.25	|  Number of clauses:    68970                                                |
1.21/1.29	|  Parsing time:         0.03         s                                       |
1.21/1.29	============================[ Search Statistics ]==============================
1.21/1.29	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.21/1.29	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.21/1.29	===============================================================================
1.21/1.29	|         0 |    7889    68970   232657 |    22990        0    nan |  0.000 % |
1.21/1.30	|       100 |    7889    68970   232657 |    25289      100      7 |  0.000 % |
1.25/1.32	|       250 |    7888    68970   232657 |    27817      249      9 |  0.013 % |
1.25/1.34	|       475 |    7888    68970   232657 |    30599      474     11 |  0.013 % |
1.25/1.36	|       812 |    7888    68970   232657 |    33659      811     12 |  0.013 % |
1.25/1.39	|      1318 |    7888    68970   232657 |    37025     1317     12 |  0.013 % |
1.25/1.44	|      2077 |    7888    68970   232657 |    40728     2076     14 |  0.013 % |
1.25/1.51	|      3216 |    7888    68827   231966 |    44801     3215     14 |  0.013 % |
1.25/1.64	|      4924 |    7888    68827   231966 |    49281     4923     14 |  0.013 % |
1.25/1.87	|      7486 |    7888    68827   231966 |    54209     7485     16 |  0.013 % |
2.21/2.21	|     11331 |    7887    68811   231933 |    59630    11329     15 |  0.025 % |
2.91/2.90	|     17097 |    7886    68795   231900 |    65593    17094     17 |  0.038 % |
4.01/4.08	|     25746 |    7881    68770   231840 |    72152    25740     16 |  0.101 % |
7.11/7.11	|     38720 |    7879    68453   230376 |    79367    38712     17 |  0.127 % |
13.81/13.84	|     58182 |    7875    68396   230250 |    87304    58171     17 |  0.177 % |
28.62/28.70	|     87374 |    7871    68371   230190 |    96034    87357     18 |  0.254 % |
47.11/47.13	|    131163 |    7864    68264   229944 |   105638    55697     21 |  0.317 % |
88.52/88.59	|    196847 |    7856    68176   229740 |   116202    37516     19 |  0.418 % |
155.42/155.41	|    295373 |    7838    67922   229165 |   127822    44167     19 |  0.646 % |
258.43/258.44	|    443164 |    7813    67637   228462 |   140604    90775     21 |  0.989 % |
412.54/412.56	|    664849 |    7777    65570   218435 |   154665    73997     20 |  1.420 % |
729.14/729.13	|    997374 |    7719    64383   215102 |   170131   143988     20 |  2.168 % |
809.15/809.17	===============================================================================
809.15/809.17	restarts              : 22
809.15/809.17	conflicts             : 1052958        (1303 /sec)
809.15/809.17	decisions             : 1444481        (1.80 % random) (1788 /sec)
809.15/809.17	propagations          : 248547957      (307658 /sec)
809.15/809.17	conflict literals     : 21863825       (40.35 % deleted)
809.15/809.17	Memory used           : 28.04 MB
809.15/809.17	CPU time              : 807.87 s
809.15/809.17	
809.15/809.17	UNSATISFIABLE
809.15/809.17	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-1821350-1242522021/watcher-1821350-1242522021 -o /tmp/evaluation-result-1821350-1242522021/solver-1821350-1242522021 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821350-1242522021.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.09 1.04 0.98 2/91 11017
/proc/meminfo: memFree=1131792/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2416 CPUtime=0
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1016702490 2473984 276 4294967295 134512640 135169312 3216522960 3216521496 3085680366 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11017/statm: 604 276 235 161 0 43 0
[pid=11021] ppid=11017 vsize=956 CPUtime=0
/proc/11021/stat : 11021 (SatELite_releas) R 11017 11017 9090 0 -1 4202496 125 0 0 0 0 0 0 0 25 0 1 0 1016702491 978944 61 4294967295 134512640 135223648 3220724416 3220722868 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11021/statm: 239 62 47 174 0 64 0

[startup+0.087406 s]
/proc/loadavg: 1.09 1.04 0.98 2/91 11017
/proc/meminfo: memFree=1131792/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2416 CPUtime=0
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1016702490 2473984 276 4294967295 134512640 135169312 3216522960 3216521496 3085680366 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11017/statm: 604 276 235 161 0 43 0
[pid=11021] ppid=11017 vsize=10616 CPUtime=0.09
/proc/11021/stat : 11021 (SatELite_releas) R 11017 11017 9090 0 -1 4202496 2344 0 0 0 6 3 0 0 25 0 1 0 1016702491 10870784 2280 4294967295 134512640 135223648 3220724416 3220723368 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11021/statm: 2654 2280 47 174 0 2479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13032

[startup+0.107392 s]
/proc/loadavg: 1.09 1.04 0.98 2/91 11017
/proc/meminfo: memFree=1131792/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2416 CPUtime=0
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1016702490 2473984 276 4294967295 134512640 135169312 3216522960 3216521496 3085680366 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11017/statm: 604 276 235 161 0 43 0
[pid=11021] ppid=11017 vsize=12580 CPUtime=0.11
/proc/11021/stat : 11021 (SatELite_releas) R 11017 11017 9090 0 -1 4202496 2822 0 0 0 8 3 0 0 25 0 1 0 1016702491 12881920 2758 4294967295 134512640 135223648 3220724416 3220722984 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11021/statm: 3145 2759 47 174 0 2970 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14996

[startup+0.307382 s]
/proc/loadavg: 1.09 1.04 0.98 2/91 11017
/proc/meminfo: memFree=1131792/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2416 CPUtime=0
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1016702490 2473984 276 4294967295 134512640 135169312 3216522960 3216521496 3085680366 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11017/statm: 604 276 235 161 0 43 0
[pid=11021] ppid=11017 vsize=21988 CPUtime=0.31
/proc/11021/stat : 11021 (SatELite_releas) R 11017 11017 9090 0 -1 4202496 4522 0 0 0 27 4 0 0 25 0 1 0 1016702491 22515712 4458 4294967295 134512640 135223648 3220724416 3220722496 134548446 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11021/statm: 5497 4458 72 174 0 5322 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 24404

[startup+0.707365 s]
/proc/loadavg: 1.09 1.04 0.98 2/91 11017
/proc/meminfo: memFree=1131792/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2416 CPUtime=0
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1016702490 2473984 276 4294967295 134512640 135169312 3216522960 3216521496 3085680366 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11017/statm: 604 276 235 161 0 43 0
[pid=11021] ppid=11017 vsize=21732 CPUtime=0.71
/proc/11021/stat : 11021 (SatELite_releas) R 11017 11017 9090 0 -1 4202496 4874 0 0 0 67 4 0 0 25 0 1 0 1016702491 22253568 4414 4294967295 134512640 135223648 3220724416 3220722432 134586691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11021/statm: 5433 4414 73 174 0 5258 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 24148

[startup+1.50733 s]
/proc/loadavg: 1.09 1.04 0.98 2/93 11022
/proc/meminfo: memFree=1112036/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 2420

[startup+3.10725 s]
/proc/loadavg: 1.08 1.04 0.98 2/93 11023
/proc/meminfo: memFree=1123692/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=7548 CPUtime=1.86
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 1778 0 0 0 185 1 0 0 25 0 1 0 1016702615 7729152 1712 4294967295 134512640 135216011 3219515904 3219514256 134527289 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 1887 1712 71 172 0 1714 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9968

[startup+6.3071 s]
/proc/loadavg: 1.08 1.04 0.98 2/93 11023
/proc/meminfo: memFree=1121468/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=9164 CPUtime=5.06
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 2193 0 0 0 504 2 0 0 25 0 1 0 1016702615 9383936 2127 4294967295 134512640 135216011 3219515904 3219514256 134527496 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 2291 2127 71 172 0 2118 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11584

[startup+12.7068 s]
/proc/loadavg: 1.07 1.04 0.98 2/93 11206
/proc/meminfo: memFree=1118784/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=11248 CPUtime=11.46
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 2724 0 0 0 1143 3 0 0 25 0 1 0 1016702615 11517952 2658 4294967295 134512640 135216011 3219515904 3219514256 134527533 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 2812 2658 71 172 0 2639 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 13668

[startup+25.5062 s]
/proc/loadavg: 1.06 1.04 0.98 2/93 11206
/proc/meminfo: memFree=1116124/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=14056 CPUtime=24.26
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 3399 0 0 0 2423 3 0 0 25 0 1 0 1016702615 14393344 3333 4294967295 134512640 135216011 3219515904 3219514256 134527269 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 3514 3333 71 172 0 3341 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 16476

[startup+51.105 s]
/proc/loadavg: 1.04 1.03 0.98 2/93 11210
/proc/meminfo: memFree=1113864/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=16288 CPUtime=49.86
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 3936 0 0 0 4981 5 0 0 25 0 1 0 1016702615 16678912 3870 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 4072 3870 71 172 0 3899 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 18708

[startup+102.312 s]
/proc/loadavg: 1.01 1.03 0.98 2/93 11395
/proc/meminfo: memFree=1110896/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=19348 CPUtime=101.07
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 4715 0 0 0 10102 5 0 0 25 0 1 0 1016702615 19812352 4649 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 4837 4649 71 172 0 4664 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 21768

[startup+162.31 s]
/proc/loadavg: 1.00 1.02 0.98 2/93 11584
/proc/meminfo: memFree=1109276/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=20600 CPUtime=161.07
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 5027 0 0 0 16101 6 0 0 25 0 1 0 1016702615 21094400 4961 4294967295 134512640 135216011 3219515904 3219514256 134527395 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 5150 4961 71 172 0 4977 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 23020

[startup+222.317 s]
/proc/loadavg: 1.00 1.01 0.98 2/93 11771
/proc/meminfo: memFree=1108292/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=21916 CPUtime=221.08
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 5341 0 0 0 22102 6 0 0 25 0 1 0 1016702615 22441984 5275 4294967295 134512640 135216011 3219515904 3219514256 134527269 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11023/statm: 5479 5275 71 172 0 5306 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 24336

[startup+282.314 s]
/proc/loadavg: 1.00 1.01 0.98 2/93 11964
/proc/meminfo: memFree=1107724/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=22272 CPUtime=281.08
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 5405 0 0 0 28102 6 0 0 25 0 1 0 1016702615 22806528 5339 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11023/statm: 5568 5339 71 172 0 5395 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 24692

[startup+342.311 s]
/proc/loadavg: 1.00 1.00 0.98 2/93 12154
/proc/meminfo: memFree=1106532/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=24044 CPUtime=341.08
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 5804 0 0 0 34102 6 0 0 25 0 1 0 1016702615 24621056 5738 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11023/statm: 6011 5738 71 172 0 5838 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 26464

[startup+402.308 s]

################
# More data... #
################


[startup+462.315 s]
/proc/loadavg: 1.00 1.00 0.98 2/93 12529
/proc/meminfo: memFree=1105804/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=24708 CPUtime=461.08
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 5941 0 0 0 46100 8 0 0 25 0 1 0 1016702615 25300992 5875 4294967295 134512640 135216011 3219515904 3219514256 134527336 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 6177 5875 71 172 0 6004 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 27128

[startup+522.322 s]
/proc/loadavg: 1.10 1.03 0.99 2/93 12716
/proc/meminfo: memFree=1104696/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=26068 CPUtime=521.09
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6292 0 0 0 52101 8 0 0 25 0 1 0 1016702615 26693632 6226 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 6517 6226 71 172 0 6344 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 28488

[startup+582.32 s]
/proc/loadavg: 1.03 1.02 0.99 3/93 12905
/proc/meminfo: memFree=1104408/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=26496 CPUtime=581.09
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6387 0 0 0 58101 8 0 0 25 0 1 0 1016702615 27131904 6321 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 6624 6321 71 172 0 6451 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 28916

[startup+642.327 s]
/proc/loadavg: 1.01 1.02 0.99 3/94 13093
/proc/meminfo: memFree=1104316/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=26828 CPUtime=641.1
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6459 0 0 0 64102 8 0 0 25 0 1 0 1016702615 27471872 6393 4294967295 134512640 135216011 3219515904 3219514256 134527529 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 6707 6393 71 172 0 6534 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 29248

[startup+702.314 s]
/proc/loadavg: 1.00 1.01 0.99 3/93 13283
/proc/meminfo: memFree=1103704/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=27004 CPUtime=701.09
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6518 0 0 0 70101 8 0 0 25 0 1 0 1016702615 27652096 6452 4294967295 134512640 135216011 3219515904 3219514256 134527531 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 6751 6452 71 172 0 6578 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 29424

[startup+762.321 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13472
/proc/meminfo: memFree=1102208/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28304 CPUtime=761.1
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6867 0 0 0 76102 8 0 0 25 0 1 0 1016702615 28983296 6801 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7076 6801 71 172 0 6903 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 30724

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

[startup+767.921 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13472
/proc/meminfo: memFree=1102092/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28568 CPUtime=766.7
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6910 0 0 0 76662 8 0 0 25 0 1 0 1016702615 29253632 6844 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7142 6844 71 172 0 6969 0
Current children cumulated CPU time (s) 767.95
Current children cumulated vsize (KiB) 30988

[startup+793.519 s]
/proc/loadavg: 1.00 1.00 0.99 3/94 13501
/proc/meminfo: memFree=1101760/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=792.3
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 79222 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527341 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 793.55
Current children cumulated vsize (KiB) 31128

[startup+799.919 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13658
/proc/meminfo: memFree=1101816/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=798.7
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 79862 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527283 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 799.95
Current children cumulated vsize (KiB) 31128

[startup+803.119 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13659
/proc/meminfo: memFree=1101816/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=801.9
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 80182 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 803.15
Current children cumulated vsize (KiB) 31128

[startup+806.319 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13659
/proc/meminfo: memFree=1101832/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=805.1
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 80502 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527341 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 806.35
Current children cumulated vsize (KiB) 31128

[startup+807.919 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13659
/proc/meminfo: memFree=1101864/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=806.7
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 80662 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 807.95
Current children cumulated vsize (KiB) 31128

[startup+808.719 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13659
/proc/meminfo: memFree=1101864/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=807.5
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 80742 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527320 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 808.75
Current children cumulated vsize (KiB) 31128

[startup+809.119 s]
/proc/loadavg: 1.00 1.00 0.99 3/93 13659
/proc/meminfo: memFree=1101864/2074464 swapFree=1953004/1959888
[pid=11017] ppid=11015 vsize=2420 CPUtime=1.25
/proc/11017/stat : 11017 (SatELiteGTI) S 11015 11017 9090 0 -1 4194304 385 6017 0 0 0 0 119 6 18 0 1 0 1016702490 2478080 278 4294967295 134512640 135169312 3216522960 3216519176 3085680366 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11017/statm: 605 278 235 161 0 44 0
[pid=11023] ppid=11017 vsize=28708 CPUtime=807.9
/proc/11023/stat : 11023 (minisat_static) R 11017 11017 9090 0 -1 4202496 6935 0 0 0 80782 8 0 0 25 0 1 0 1016702615 29396992 6869 4294967295 134512640 135216011 3219515904 3219514256 134527301 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11023/statm: 7177 6869 71 172 0 7004 0
Current children cumulated CPU time (s) 809.15
Current children cumulated vsize (KiB) 31128

Child status: 20
Real time (s): 809.179
CPU time (s): 809.21
CPU user time (s): 809.06
CPU system time (s): 0.15
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 31128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 809.06
system time used= 0.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13620
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= 4974

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-17 03:00:21
IDJOB=1821350
IDBENCH=70941
IDSOLVER=661
FILE ID=tipi19/1821350-1242522021
PBS_JOBID=
Free space on /tmp= 9097 MiB

SOLVER NAME= BinMiniSat 2009-03-21
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821350-1242522021/watcher-1821350-1242522021 -o /tmp/evaluation-result-1821350-1242522021/solver-1821350-1242522021 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821350-1242522021.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED= 107435334

Linux tipi19 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.426
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.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.426
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.426
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:       1131808 kB
Buffers:         27756 kB
Cached:         824440 kB
SwapCached:       2992 kB
Active:         181092 kB
Inactive:       680552 kB
HighTotal:     1178688 kB
HighFree:       431084 kB
LowTotal:       895776 kB
LowFree:        700724 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            4684 kB
Writeback:           0 kB
AnonPages:        8936 kB
Mapped:           3240 kB
Slab:            71864 kB
PageTables:        456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9097 MiB
End job on tipi19 at 2009-05-17 03:13:51