Trace number 1849420

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
minisat2 070721/core? (TO) 1200.08 1199.95

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1049.99
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
1.31/1.32	c ==============================================================================
1.31/1.32	c |           |     ORIGINAL     |              LEARNT              |          |
1.31/1.32	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.31/1.32	c ==============================================================================
1.31/1.32	c |         0 | 1291713  3013997 |  387513       0        0     nan |  0.000 % |
8.70/8.76	c |         0 |  547995  2160666 |      --       0       --      -- |     --   | -743716/-853326
8.70/8.77	c ==============================================================================
8.70/8.77	c Result  :   #vars: 68748   #clauses: 547995   #literals: 2160666
8.70/8.77	c CPU time:   8.37 s
8.70/8.77	c ==============================================================================
9.50/9.53	This is MiniSat 2.0 beta
9.50/9.53	WARNING: for repeatability, setting FPU to use double precision
9.50/9.53	============================[ Problem Statistics ]=============================
9.50/9.53	|                                                                             |
9.50/9.53	|  Number of variables:  68748                                                |
9.50/9.53	|  Number of clauses:    547995                                               |
9.91/9.97	|  Parsing time:         0.38         s                                       |
10.00/10.01	============================[ Search Statistics ]==============================
10.00/10.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.00/10.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.00/10.01	===============================================================================
10.00/10.01	|         0 |   68748   547995  2160666 |   182665        0    nan |  0.000 % |
10.00/10.06	|       100 |   68748   547995  2160666 |   200931      100     17 |  0.000 % |
10.10/10.14	|       252 |   68748   547995  2160666 |   221024      252     29 |  0.000 % |
10.50/10.55	|       477 |   68747   547995  2160666 |   243127      476     21 |  0.080 % |
10.60/10.65	|       814 |   68746   547995  2160666 |   267439      812     17 |  0.084 % |
10.90/10.97	|      1320 |   68701   547995  2160666 |   294183     1313     16 |  0.729 % |
11.10/11.13	|      2080 |   68665   547995  2160666 |   323602     2071     21 |  0.825 % |
11.50/11.51	|      3224 |   68663   547995  2160666 |   355962     3214     24 |  0.828 % |
11.80/11.87	|      4932 |   68658   547995  2160666 |   391558     4921     24 |  0.864 % |
12.30/12.36	|      7498 |   68152   534531  2110384 |   430714     7428     28 |  0.877 % |
12.90/12.91	|     11343 |   68128   534531  2110384 |   473785    11271     28 |  0.980 % |
13.40/13.45	|     17110 |   68127   534531  2110384 |   521164    17037     31 |  0.982 % |
14.40/14.49	|     25759 |   68067   532658  2103312 |   573281    25679     32 |  0.995 % |
17.10/17.12	|     38739 |   67828   528126  2086810 |   630609    38642     35 |  1.577 % |
19.50/19.51	|     58200 |   67654   523711  2069795 |   693670    58064     40 |  1.610 % |
23.90/23.91	|     87393 |   67629   523238  2067823 |   763037    87207     39 |  1.629 % |
30.50/30.51	|    131182 |   67600   522889  2066555 |   839340   130989     37 |  1.676 % |
48.01/48.03	|    196868 |   67531   520932  2059297 |   923274   196102     40 |  1.770 % |
76.91/76.96	|    295394 |   67354   517880  2048050 |  1015602   294615     40 |  2.106 % |
127.43/127.42	|    443186 |   67284   516088  2040823 |  1117162   439151     42 |  2.131 % |
225.63/225.70	|    664871 |   67268   516005  2040558 |  1228878   660828     47 |  2.162 % |
433.35/433.34	|    997396 |   67095   511952  2025667 |  1351766   993327     45 |  2.412 % |
824.01/824.00	|   1496185 |   66890   507974  2011139 |  1486943   148980     46 |  2.704 % |
1199.55/1199.43	|   2244374 |   66871   507554  2009794 |  1635637   897148     48 |  2.730 % |
1200.05/1199.95	HOME/SatELiteGTI: line 36: 14959 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-1849420-1244816552/watcher-1849420-1244816552 -o /tmp/evaluation-result-1849420-1244816552/solver-1849420-1244816552 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1849420-1244816552.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.94 1.03 1.00 3/91 14953
/proc/meminfo: memFree=1483824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=820 CPUtime=0
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 79080609 839680 16 4294967295 134512640 135223648 3220130352 3220130184 134808682 0 0 0 0 0 0 0 17 3 0 0 0
/proc/14957/statm: 238 30 24 174 0 63 0

[startup+0.070833 s]
/proc/loadavg: 0.94 1.03 1.00 3/91 14953
/proc/meminfo: memFree=1483824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=10884 CPUtime=0.07
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 2511 0 0 0 7 0 0 0 20 0 1 0 79080609 11145216 2447 4294967295 134512640 135223648 3220130352 3220128920 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 2721 2449 46 174 0 2546 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13300

[startup+0.110828 s]
/proc/loadavg: 0.94 1.03 1.00 3/91 14953
/proc/meminfo: memFree=1483824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=18116 CPUtime=0.11
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 3903 0 0 0 10 1 0 0 21 0 1 0 79080609 18550784 3839 4294967295 134512640 135223648 3220130352 3220129304 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 4529 3839 46 174 0 4354 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20532

[startup+0.310805 s]
/proc/loadavg: 0.94 1.03 1.00 3/91 14953
/proc/meminfo: memFree=1483824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=43240 CPUtime=0.31
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 10461 0 0 0 28 3 0 0 21 0 1 0 79080609 44277760 10397 4294967295 134512640 135223648 3220130352 3220129304 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 10810 10398 46 174 0 10635 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45656

[startup+0.710758 s]
/proc/loadavg: 0.94 1.03 1.00 3/91 14953
/proc/meminfo: memFree=1483824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=115044 CPUtime=0.7
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 22771 0 0 0 59 11 0 0 22 0 1 0 79080609 117805056 22707 4294967295 134512640 135223648 3220130352 3220128936 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 28761 22708 46 174 0 28586 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 117460

[startup+1.51067 s]
/proc/loadavg: 0.95 1.03 1.00 2/93 14958
/proc/meminfo: memFree=1358080/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=190664 CPUtime=1.49
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 46956 0 0 0 121 28 0 0 25 0 1 0 79080609 195239936 43309 4294967295 134512640 135223648 3220130352 3220128020 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 47666 43309 73 174 0 47491 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 193080

[startup+3.11048 s]
/proc/loadavg: 0.95 1.03 1.00 2/93 14958
/proc/meminfo: memFree=1303892/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=198548 CPUtime=3.09
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 48789 0 0 0 278 31 0 0 25 0 1 0 79080609 203313152 45142 4294967295 134512640 135223648 3220130352 3220128368 134586992 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 49637 45142 73 174 0 49462 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 200964

[startup+6.31011 s]
/proc/loadavg: 0.95 1.03 1.00 2/93 14958
/proc/meminfo: memFree=1268196/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2416 CPUtime=0.01
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 368 648 0 0 0 1 0 0 18 0 1 0 79080608 2473984 277 4294967295 134512640 135169312 3215470032 3215468568 3085418222 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14953/statm: 604 277 235 161 0 43 0
[pid=14957] ppid=14953 vsize=212276 CPUtime=6.29
/proc/14957/stat : 14957 (SatELite_releas) R 14953 14953 18729 0 -1 4202496 51936 0 0 0 592 37 0 0 25 0 1 0 79080609 217370624 48289 4294967295 134512640 135223648 3220130352 3220128352 134549027 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14957/statm: 53069 48289 73 174 0 52894 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 214692

[startup+12.7094 s]
/proc/loadavg: 0.95 1.03 1.00 2/93 14959
/proc/meminfo: memFree=1399344/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=35572 CPUtime=3.18
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 8569 0 0 0 309 9 0 0 25 0 1 0 79081562 36425728 8485 4294967295 134512640 135212939 3219206576 3219205136 134538793 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 8893 8485 76 171 0 8721 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37992

[startup+25.5079 s]
/proc/loadavg: 0.96 1.03 1.00 2/93 14962
/proc/meminfo: memFree=1381320/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=53560 CPUtime=15.98
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 13036 0 0 0 1587 11 0 0 25 0 1 0 79081562 54845440 12952 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 13390 12952 76 171 0 13218 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 55980

[startup+51.115 s]
/proc/loadavg: 0.98 1.02 1.00 2/93 15147
/proc/meminfo: memFree=1359192/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=75036 CPUtime=41.59
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 18454 0 0 0 4145 14 0 0 25 0 1 0 79081562 76836864 18370 4294967295 134512640 135212939 3219206576 3219205040 134526668 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 18759 18370 76 171 0 18587 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 77456

[startup+102.329 s]
/proc/loadavg: 0.99 1.02 1.00 2/93 15338
/proc/meminfo: memFree=1324824/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=109552 CPUtime=92.81
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 26943 0 0 0 9257 24 0 0 25 0 1 0 79081562 112181248 26859 4294967295 134512640 135212939 3219206576 3219205040 134526661 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 27388 26859 76 171 0 27216 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 111972

[startup+162.322 s]
/proc/loadavg: 0.99 1.01 1.00 2/93 15526
/proc/meminfo: memFree=1292368/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=143364 CPUtime=152.81
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 35272 0 0 0 15249 32 0 0 25 0 1 0 79081562 146804736 35188 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 35841 35188 76 171 0 35669 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 145784

[startup+222.315 s]
/proc/loadavg: 1.06 1.02 1.00 3/93 15721
/proc/meminfo: memFree=1250016/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=184592 CPUtime=212.81
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 45677 0 0 0 21242 39 0 0 25 0 1 0 79081562 189022208 45593 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 46148 45593 76 171 0 45976 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 187012

[startup+282.308 s]
/proc/loadavg: 1.02 1.02 1.00 4/93 15911
/proc/meminfo: memFree=1227880/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=208136 CPUtime=272.81
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 51283 0 0 0 27237 44 0 0 25 0 1 0 79081562 213131264 51199 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 52034 51199 76 171 0 51862 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 210556

[startup+342.311 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 16102
/proc/meminfo: memFree=1205996/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=229568 CPUtime=332.82
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 56694 0 0 0 33234 48 0 0 25 0 1 0 79081562 235077632 56610 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 57392 56610 76 171 0 57220 0
Current children cumulated CPU time (s) 342.34

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

[pid=14959] ppid=14953 vsize=275064 CPUtime=512.85
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 67685 0 0 0 51233 52 0 0 25 0 1 0 79081562 281665536 67601 4294967295 134512640 135212939 3219206576 3219205040 134526833 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 68766 67601 76 171 0 68594 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 277484

[startup+582.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16860
/proc/meminfo: memFree=1149428/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=287612 CPUtime=572.85
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 70843 0 0 0 57231 54 0 0 25 0 1 0 79081562 294514688 70759 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 71903 70759 76 171 0 71731 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 290032

[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 17055
/proc/meminfo: memFree=1133448/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=303212 CPUtime=632.85
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 74775 0 0 0 63227 58 0 0 25 0 1 0 79081562 310489088 74691 4294967295 134512640 135212939 3219206576 3219204816 134537352 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 75803 74691 76 171 0 75631 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 305632

[startup+702.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 17246
/proc/meminfo: memFree=1117336/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=319112 CPUtime=692.86
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 78831 0 0 0 69226 60 0 0 25 0 1 0 79081562 326770688 78747 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 79778 78747 76 171 0 79606 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 321532

[startup+762.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 17434
/proc/meminfo: memFree=1107632/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=328708 CPUtime=752.87
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 81197 0 0 0 75226 61 0 0 25 0 1 0 79081562 336596992 81113 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 82177 81113 76 171 0 82005 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 331128

[startup+822.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 17625
/proc/meminfo: memFree=1102860/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=812.89
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82381 0 0 0 81227 62 0 0 25 0 1 0 79081562 341385216 82297 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82297 76 171 0 83174 0
Current children cumulated CPU time (s) 822.41
Current children cumulated vsize (KiB) 335804

[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 17814
/proc/meminfo: memFree=1102644/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=872.89
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82381 0 0 0 87226 63 0 0 25 0 1 0 79081562 341385216 82297 4294967295 134512640 135212939 3219206576 3219205040 134526587 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82297 76 171 0 83174 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 335804

[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18004
/proc/meminfo: memFree=1102612/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=932.89
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82381 0 0 0 93226 63 0 0 25 0 1 0 79081562 341385216 82297 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82297 76 171 0 83174 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 335804

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18199
/proc/meminfo: memFree=1102580/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=992.9
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82381 0 0 0 99227 63 0 0 25 0 1 0 79081562 341385216 82297 4294967295 134512640 135212939 3219206576 3219205040 134526811 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82297 76 171 0 83174 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 335804

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 18387
/proc/meminfo: memFree=1102696/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=1052.9
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82382 0 0 0 105227 63 0 0 25 0 1 0 79081562 341385216 82298 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82298 76 171 0 83174 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 335804

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 18578
/proc/meminfo: memFree=1102812/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=1112.91
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82394 0 0 0 111227 64 0 0 25 0 1 0 79081562 341385216 82310 4294967295 134512640 135212939 3219206576 3219205040 134526682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82310 76 171 0 83174 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 335804

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 18769
/proc/meminfo: memFree=1102844/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=1172.93
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82396 0 0 0 117229 64 0 0 25 0 1 0 79081562 341385216 82312 4294967295 134512640 135212939 3219206576 3219205040 134526848 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82312 76 171 0 83174 0
Current children cumulated CPU time (s) 1182.45
Current children cumulated vsize (KiB) 335804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 18772
/proc/meminfo: memFree=1102940/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=1190.53
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82399 0 0 0 118989 64 0 0 25 0 1 0 79081562 341385216 82315 4294967295 134512640 135212939 3219206576 3219205040 134526811 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82315 76 171 0 83174 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 335804

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 18772
/proc/meminfo: memFree=1102940/2074464 swapFree=1959888/1959888
[pid=14953] ppid=14951 vsize=2420 CPUtime=9.52
/proc/14953/stat : 14953 (SatELiteGTI) S 14951 14953 18729 0 -1 4194304 388 57512 0 0 0 1 909 42 20 0 1 0 79080608 2478080 278 4294967295 134512640 135169312 3215470032 3215466248 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14953/statm: 605 278 235 161 0 44 0
[pid=14959] ppid=14953 vsize=333384 CPUtime=1190.53
/proc/14959/stat : 14959 (minisat_static) R 14953 14953 18729 0 -1 4202496 82399 0 0 0 118989 64 0 0 25 0 1 0 79081562 341385216 82315 4294967295 134512640 135212939 3219206576 3219205040 134526811 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14959/statm: 83346 82315 76 171 0 83174 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 335804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.95
CPU time (s): 1200.08
CPU user time (s): 1198.98
CPU system time (s): 1.1
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 335804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.98
system time used= 1.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140381
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= 16
involuntary context switches= 2154

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi07 at 2009-06-12 16:22:32
IDJOB=1849420
IDBENCH=69591
IDSOLVER=690
FILE ID=tipi07/1849420-1244816552
PBS_JOBID=
Free space on /tmp= 15349 MiB

SOLVER NAME= minisat2 070721/core
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1849420-1244816552/watcher-1849420-1244816552 -o /tmp/evaluation-result-1849420-1244816552/solver-1849420-1244816552 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1849420-1244816552.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED= 1020243155

Linux tipi07 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.428
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.428
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.79

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.428
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.428
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.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1483840 kB
Buffers:         44712 kB
Cached:         437036 kB
SwapCached:          0 kB
Active:         140672 kB
Inactive:       352344 kB
HighTotal:     1178688 kB
HighFree:       836012 kB
LowTotal:       895776 kB
LowFree:        647828 kB
SwapTotal:     1959888 kB
SwapFree:      1959888 kB
Dirty:           25660 kB
Writeback:           0 kB
AnonPages:       11020 kB
Mapped:           5296 kB
Slab:            88396 kB
PageTables:        520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    86048 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 15299 MiB
End job on tipi07 at 2009-06-12 16:42:37