Trace number 1821692

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-21? (TO) 1200.03 1199.93

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
MD5SUMe868383f091c36fa9594c670095c9824
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of clauses91646
Sum of the clauses size272553
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22569
Number of clauses of size 389054
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.03/0.06	c ==============================================================================
0.03/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.06	c ==============================================================================
0.03/0.06	c |         0 |   91646   272553 |   27493       0        0     nan |  0.000 % |
0.62/0.66	c |         0 |   90841   386353 |      --       0       --      -- |     --   | -805/113800
0.62/0.66	c ==============================================================================
0.62/0.66	c Result  :   #vars: 958   #clauses: 90841   #literals: 386353
0.62/0.66	c CPU time:   0.65 s
0.62/0.66	c ==============================================================================
0.72/0.78	This is MiniSat 2.0 beta
0.72/0.78	WARNING: for repeatability, setting FPU to use double precision
0.72/0.78	============================[ Problem Statistics ]=============================
0.72/0.78	|                                                                             |
0.72/0.78	|  Number of variables:  958                                                  |
0.72/0.78	|  Number of clauses:    90841                                                |
0.79/0.83	|  Parsing time:         0.05         s                                       |
0.79/0.84	============================[ Search Statistics ]==============================
0.79/0.84	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.84	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.79/0.84	===============================================================================
0.79/0.84	|         0 |     958    90841   386353 |    30280        0    nan |  0.000 % |
0.79/0.89	|       100 |     958    90841   386353 |    33308      100     47 |  0.011 % |
0.79/0.92	|       251 |     958    90841   386353 |    36639      251     46 |  0.001 % |
0.79/0.97	|       479 |     958    90841   386353 |    40303      479     49 |  0.011 % |
1.02/1.04	|       817 |     958    90841   386353 |    44333      817     49 |  0.003 % |
1.22/1.24	|      1323 |     958    90841   386353 |    48766     1323     45 |  0.003 % |
1.42/1.44	|      2082 |     958    90841   386353 |    53643     2082     45 |  0.003 % |
1.72/1.77	|      3221 |     958    90841   386353 |    59007     3221     47 |  0.000 % |
2.23/2.25	|      4929 |     958    90841   386353 |    64908     4929     49 |  0.003 % |
3.33/3.36	|      7492 |     958    90841   386353 |    71399     7492     51 |  0.003 % |
4.52/4.59	|     11339 |     958    90841   386353 |    78539    11339     52 |  0.003 % |
7.02/7.06	|     17105 |     958    90841   386353 |    86393    17105     46 |  0.002 % |
12.92/12.99	|     25754 |     958    90841   386353 |    95032    25754     43 |  0.001 % |
22.52/22.51	|     38728 |     958    90841   386353 |   104535    38728     42 |  0.001 % |
46.72/46.77	|     58189 |     958    90841   386353 |   114989    58189     39 |  0.001 % |
92.13/92.20	|     87381 |     958    90841   386353 |   126488    87381     36 |  0.001 % |
173.63/173.61	|    131170 |     958    90841   386353 |   139137    21542     32 |  0.001 % |
273.04/273.02	|    196856 |     958    90841   386353 |   153051    87228     33 |  0.001 % |
469.56/469.58	|    295382 |     958    90841   386353 |   168356    54256     35 |  0.001 % |
735.38/735.32	|    443171 |     958    90841   386353 |   185191    50759     38 |  0.001 % |
1089.60/1089.59	|    664855 |     958    90841   386353 |   203710   104795     35 |  0.001 % |
1200.02/1199.92	HOME/SatELiteGTI: line 36: 21120 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821692-1242553444/watcher-1821692-1242553444 -o /tmp/evaluation-result-1821692-1242553444/solver-1821692-1242553444 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821692-1242553444.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: 0.92 0.99 0.99 2/91 21114
/proc/meminfo: memFree=878432/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2416 CPUtime=0.01
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1019842536 2473984 276 4294967295 134512640 135169312 3219612096 3219610632 3084869358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21114/statm: 604 276 235 161 0 43 0
[pid=21118] ppid=21114 vsize=948 CPUtime=0
/proc/21118/stat : 21118 (SatELite_releas) R 21114 21114 15108 0 -1 4202496 116 0 0 0 0 0 0 0 20 0 1 0 1019842537 970752 52 4294967295 134512640 135223648 3218903296 3218902344 134818064 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21118/statm: 238 54 44 174 0 63 0

[startup+0.022598 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 21114
/proc/meminfo: memFree=878432/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2416 CPUtime=0.01
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1019842536 2473984 276 4294967295 134512640 135169312 3219612096 3219610632 3084869358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21114/statm: 604 276 235 161 0 43 0
[pid=21118] ppid=21114 vsize=2948 CPUtime=0.02
/proc/21118/stat : 21118 (SatELite_releas) R 21114 21114 15108 0 -1 4202496 591 0 0 0 2 0 0 0 20 0 1 0 1019842537 3018752 527 4294967295 134512640 135223648 3218903296 3218901872 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21118/statm: 737 532 46 174 0 562 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5364

[startup+0.112591 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 21114
/proc/meminfo: memFree=878432/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2416 CPUtime=0.01
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1019842536 2473984 276 4294967295 134512640 135169312 3219612096 3219610632 3084869358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21114/statm: 604 276 235 161 0 43 0
[pid=21118] ppid=21114 vsize=8060 CPUtime=0.11
/proc/21118/stat : 21118 (SatELite_releas) R 21114 21114 15108 0 -1 4202496 1892 0 0 0 10 1 0 0 20 0 1 0 1019842537 8253440 1828 4294967295 134512640 135223648 3218903296 3218901248 134563693 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21118/statm: 2015 1829 73 174 0 1840 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10476

[startup+0.312575 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 21114
/proc/meminfo: memFree=878432/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2416 CPUtime=0.01
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1019842536 2473984 276 4294967295 134512640 135169312 3219612096 3219610632 3084869358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21114/statm: 604 276 235 161 0 43 0
[pid=21118] ppid=21114 vsize=10448 CPUtime=0.31
/proc/21118/stat : 21118 (SatELite_releas) R 21114 21114 15108 0 -1 4202496 2457 0 0 0 30 1 0 0 21 0 1 0 1019842537 10698752 2393 4294967295 134512640 135223648 3218903296 3218901392 134585507 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21118/statm: 2612 2393 73 174 0 2437 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12864

[startup+0.712544 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 21114
/proc/meminfo: memFree=878432/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2416 CPUtime=0.01
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1019842536 2473984 276 4294967295 134512640 135169312 3219612096 3219610632 3084869358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21114/statm: 604 276 235 161 0 43 0
[pid=21118] ppid=21114 vsize=9684 CPUtime=0.71
/proc/21118/stat : 21118 (SatELite_releas) R 21114 21114 15108 0 -1 4202496 2459 0 0 0 70 1 0 0 22 0 1 0 1019842537 9916416 2216 4294967295 134512640 135223648 3218903296 3218900092 134688245 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21118/statm: 2421 2216 74 174 0 2246 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12100

[startup+1.51248 s]
/proc/loadavg: 0.92 0.99 0.99 2/93 21120
/proc/meminfo: memFree=870496/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=6832 CPUtime=0.73
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 1650 0 0 0 73 0 0 0 20 0 1 0 1019842615 6995968 1585 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 1708 1585 71 172 0 1535 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9252

[startup+3.11236 s]
/proc/loadavg: 0.92 0.99 0.99 4/93 21120
/proc/meminfo: memFree=869380/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=8028 CPUtime=2.33
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 1948 0 0 0 233 0 0 0 25 0 1 0 1019842615 8220672 1883 4294967295 134512640 135216011 3214128352 3214126704 134527419 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 2007 1883 71 172 0 1834 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10448

[startup+6.31212 s]
/proc/loadavg: 0.93 0.99 0.99 3/93 21120
/proc/meminfo: memFree=867056/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=10020 CPUtime=5.53
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 2429 0 0 0 553 0 0 0 25 0 1 0 1019842615 10260480 2364 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 2505 2364 71 172 0 2332 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12440

[startup+12.7116 s]
/proc/loadavg: 0.93 0.99 0.99 2/93 21121
/proc/meminfo: memFree=864964/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=11776 CPUtime=11.93
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 2882 0 0 0 1193 0 0 0 25 0 1 0 1019842615 12058624 2817 4294967295 134512640 135216011 3214128352 3214126496 134537318 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 2944 2817 71 172 0 2771 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14196

[startup+25.5106 s]
/proc/loadavg: 0.95 0.99 0.99 2/93 21122
/proc/meminfo: memFree=861852/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=14940 CPUtime=24.73
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 3664 0 0 0 2473 0 0 0 25 0 1 0 1019842615 15298560 3599 4294967295 134512640 135216011 3214128352 3214126704 134527957 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 3735 3599 71 172 0 3562 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 17360

[startup+51.1187 s]
/proc/loadavg: 0.96 0.99 0.99 2/93 21125
/proc/meminfo: memFree=858320/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=18532 CPUtime=50.34
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 4549 0 0 0 5034 0 0 0 25 0 1 0 1019842615 18976768 4484 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 4633 4484 71 172 0 4460 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 20952

[startup+102.315 s]
/proc/loadavg: 0.98 0.99 0.99 2/93 21311
/proc/meminfo: memFree=852144/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=24388 CPUtime=101.54
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 5972 0 0 0 10153 1 0 0 25 0 1 0 1019842615 24973312 5907 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 6097 5907 71 172 0 5924 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 26808

[startup+162.32 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 21503
/proc/meminfo: memFree=847052/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=29020 CPUtime=161.55
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 7152 0 0 0 16154 1 0 0 25 0 1 0 1019842615 29716480 7087 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 7255 7087 71 172 0 7082 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 31440

[startup+222.316 s]
/proc/loadavg: 0.99 0.99 0.99 3/93 21691
/proc/meminfo: memFree=846440/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=29420 CPUtime=221.55
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 7262 0 0 0 22154 1 0 0 25 0 1 0 1019842615 30126080 7197 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 7355 7197 71 172 0 7182 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 31840

[startup+282.311 s]
/proc/loadavg: 1.09 1.02 1.00 3/93 21879
/proc/meminfo: memFree=846316/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=29624 CPUtime=281.55
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 7286 0 0 0 28152 3 0 0 25 0 1 0 1019842615 30334976 7221 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 7406 7221 71 172 0 7233 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 32044

[startup+342.316 s]
/proc/loadavg: 1.03 1.01 1.00 3/93 22065
/proc/meminfo: memFree=845572/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=30384 CPUtime=341.56
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 7451 0 0 0 34150 6 0 0 25 0 1 0 1019842615 31113216 7386 4294967295 134512640 135216011 3214128352 3214126704 134527341 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 7596 7386 71 172 0 7423 0
Current children cumulated CPU time (s) 342.35

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

/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=35612 CPUtime=521.58
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 8690 0 0 0 52146 12 0 0 25 0 1 0 1019842615 36466688 8625 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 8903 8625 71 172 0 8730 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 38032

[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 22824
/proc/meminfo: memFree=839936/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=36132 CPUtime=581.58
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 8780 0 0 0 58146 12 0 0 25 0 1 0 1019842615 36999168 8715 4294967295 134512640 135216011 3214128352 3214126704 134527474 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 9033 8715 71 172 0 8860 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 38552

[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 23010
/proc/meminfo: memFree=839440/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=36600 CPUtime=641.58
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 8911 0 0 0 64146 12 0 0 25 0 1 0 1019842615 37478400 8846 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 9150 8846 71 172 0 8977 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 39020

[startup+702.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 23199
/proc/meminfo: memFree=838100/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=37912 CPUtime=701.59
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 9237 0 0 0 70146 13 0 0 25 0 1 0 1019842615 38821888 9172 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 9478 9172 71 172 0 9305 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 40332

[startup+762.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 23387
/proc/meminfo: memFree=838316/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=38060 CPUtime=761.59
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 9259 0 0 0 76145 14 0 0 25 0 1 0 1019842615 38973440 9194 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 9515 9194 71 172 0 9342 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 40480

[startup+822.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 23579
/proc/meminfo: memFree=838316/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=38060 CPUtime=821.59
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 9263 0 0 0 82145 14 0 0 25 0 1 0 1019842615 38973440 9198 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21120/statm: 9515 9198 71 172 0 9342 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 40480

[startup+882.315 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 23767
/proc/meminfo: memFree=837936/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=38648 CPUtime=881.6
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 9389 0 0 0 88144 16 0 0 25 0 1 0 1019842615 39575552 9324 4294967295 134512640 135216011 3214128352 3214126704 134527533 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 9662 9324 71 172 0 9489 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 41068

[startup+942.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 23953
/proc/meminfo: memFree=835604/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=41216 CPUtime=941.6
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10038 0 0 0 94138 22 0 0 25 0 1 0 1019842615 42205184 9973 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 10304 9973 71 172 0 10131 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 43636

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24142
/proc/meminfo: memFree=833720/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=43220 CPUtime=1001.61
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10520 0 0 0 100136 25 0 0 25 0 1 0 1019842615 44257280 10455 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 10805 10455 71 172 0 10632 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 45640

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 24330
/proc/meminfo: memFree=833216/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=43580 CPUtime=1061.61
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10605 0 0 0 106136 25 0 0 25 0 1 0 1019842615 44625920 10540 4294967295 134512640 135216011 3214128352 3214126704 134527301 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 10895 10540 71 172 0 10722 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 46000

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 24518
/proc/meminfo: memFree=832628/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=44148 CPUtime=1121.62
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10741 0 0 0 112137 25 0 0 25 0 1 0 1019842615 45207552 10676 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 11037 10676 71 172 0 10864 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 46568

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 24710
/proc/meminfo: memFree=832348/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=44360 CPUtime=1181.63
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10770 0 0 0 118138 25 0 0 25 0 1 0 1019842615 45424640 10705 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 11090 10705 71 172 0 10917 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 46780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 24894
/proc/meminfo: memFree=832008/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=44360 CPUtime=1199.23
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10773 0 0 0 119898 25 0 0 25 0 1 0 1019842615 45424640 10708 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 11090 10708 71 172 0 10917 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 46780

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 24894
/proc/meminfo: memFree=832008/2074464 swapFree=1952056/1959888
[pid=21114] ppid=21112 vsize=2420 CPUtime=0.79
/proc/21114/stat : 21114 (SatELiteGTI) S 21112 21114 15108 0 -1 4194304 384 3106 0 0 0 0 77 2 15 0 1 0 1019842536 2478080 277 4294967295 134512640 135169312 3219612096 3219608312 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21114/statm: 605 277 235 161 0 44 0
[pid=21120] ppid=21114 vsize=44360 CPUtime=1199.23
/proc/21120/stat : 21120 (minisat_static) R 21114 21114 15108 0 -1 4202496 10773 0 0 0 119898 25 0 0 25 0 1 0 1019842615 45424640 10708 4294967295 134512640 135216011 3214128352 3214126704 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21120/statm: 11090 10708 71 172 0 10917 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 46780

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.75
CPU system time (s): 0.28
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 46780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14541
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= 19
involuntary context switches= 692

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-17 11:44:04
IDJOB=1821692
IDBENCH=71066
IDSOLVER=661
FILE ID=tipi24/1821692-1242553444
PBS_JOBID=
Free space on /tmp= 9656 MiB

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

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

MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED= 1810226615

Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        878556 kB
Buffers:         52488 kB
Cached:        1028952 kB
SwapCached:       3828 kB
Active:         301500 kB
Inactive:       789432 kB
HighTotal:     1178688 kB
HighFree:       230828 kB
LowTotal:       895776 kB
LowFree:        647728 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            2952 kB
Writeback:           0 kB
AnonPages:        8744 kB
Mapped:           3088 kB
Slab:            97364 kB
PageTables:        548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9656 MiB
End job on tipi24 at 2009-05-17 12:04:04