Trace number 1849566

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/coreUNSAT 1147.65 1147.56

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
MD5SUM370a08d01be1cc652e9a09ab1aafdced
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark209.24
Satisfiable
(Un)Satisfiability was proved
Number of variables315617
Number of clauses1522583
Sum of the clauses size4407119
Maximum clause length11
Minimum clause length1
Number of clauses of size 132077
Number of clauses of size 2403677
Number of clauses of size 3835608
Number of clauses of size 4197035
Number of clauses of size 553887
Number of clauses of size over 5299

Solver Data

0.00/0.00	c Parsing...
1.32/1.40	c ==============================================================================
1.32/1.40	c |           |     ORIGINAL     |              LEARNT              |          |
1.32/1.40	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.32/1.40	c ==============================================================================
1.32/1.40	c |         0 | 1433869  4205935 |  430160       0        0     nan |  0.000 % |
40.92/40.92	c |         0 |  506124  1856371 |      --       0       --      -- |     --   | -749772/-1863718
40.92/40.92	c ==============================================================================
40.92/40.92	c Result  :   #vars: 48547   #clauses: 506124   #literals: 1856371
40.92/40.92	c CPU time:   40.57 s
40.92/40.92	c ==============================================================================
41.52/41.58	This is MiniSat 2.0 beta
41.52/41.58	WARNING: for repeatability, setting FPU to use double precision
41.52/41.58	============================[ Problem Statistics ]=============================
41.52/41.58	|                                                                             |
41.52/41.58	|  Number of variables:  48547                                                |
41.52/41.58	|  Number of clauses:    506124                                               |
41.92/41.91	|  Parsing time:         0.29         s                                       |
41.92/41.94	============================[ Search Statistics ]==============================
41.92/41.94	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.92/41.94	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
41.92/41.94	===============================================================================
41.92/41.94	|         0 |   48547   506124  1856371 |   168708        0    nan |  0.000 % |
41.92/41.96	|       100 |   48541   506124  1856371 |   185578       98      8 |  0.124 % |
41.92/41.99	|       250 |   48541   506124  1856371 |   204136      248     11 |  0.124 % |
42.02/42.02	|       475 |   48534   506124  1856371 |   224550      472     13 |  0.152 % |
42.02/42.07	|       812 |   48529   506124  1856371 |   247005      809     15 |  0.152 % |
42.22/42.25	|      1318 |   48496   506124  1856371 |   271705     1298     14 |  0.307 % |
42.52/42.56	|      2079 |   48495   506124  1856371 |   298876     2058     15 |  0.325 % |
42.72/42.77	|      3220 |   48211   506124  1856371 |   328764     3187     15 |  1.825 % |
42.82/42.89	|      4928 |   48210   506124  1856371 |   361640     4894     16 |  1.942 % |
43.22/43.24	|      7490 |   48156   506124  1856371 |   397804     7449     16 |  2.540 % |
44.22/44.27	|     11334 |   47266   465908  1636908 |   437585     9874     16 |  2.962 % |
44.82/44.85	|     17100 |   47266   465908  1636908 |   481343    15640     21 |  2.962 % |
45.72/45.75	|     25749 |   47266   465908  1636908 |   529477    24289     21 |  2.962 % |
47.12/47.18	|     38726 |   47108   454706  1568002 |   582425    33143     22 |  2.989 % |
50.32/50.33	|     58187 |   46966   454436  1566520 |   640668    52597     22 |  3.434 % |
60.53/60.54	|     87379 |   46877   450112  1543564 |   704735    81703     24 |  3.446 % |
88.82/88.82	|    131169 |   46870   450073  1543435 |   775208   125490     24 |  3.454 % |
132.83/132.85	|    196854 |   46841   449626  1541042 |   852729   191156     26 |  3.514 % |
255.63/255.62	|    295383 |   46823   449533  1540737 |   938002   289676     28 |  3.551 % |
511.87/511.90	|    443173 |   46779   446250  1527019 |  1031802   396630     28 |  3.642 % |
1067.01/1066.92	|    664857 |   46762   446123  1526595 |  1134983   618293     30 |  3.677 % |
1147.62/1147.53	===============================================================================
1147.62/1147.53	restarts              : 21
1147.62/1147.53	conflicts             : 695297         (629 /sec)
1147.62/1147.53	decisions             : 1079384        (1.72 % random) (976 /sec)
1147.62/1147.53	propagations          : 367570960      (332445 /sec)
1147.62/1147.53	conflict literals     : 20368068       (47.08 % deleted)
1147.62/1147.53	Memory used           : 123.47 MB
1147.62/1147.53	CPU time              : 1105.66 s
1147.62/1147.53	
1147.62/1147.53	UNSATISFIABLE
1147.62/1147.54	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-1849566-1244840262/watcher-1849566-1244840262 -o /tmp/evaluation-result-1849566-1244840262/solver-1849566-1244840262 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1849566-1244840262.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.00 1.00 1.00 2/91 26759
/proc/meminfo: memFree=1701636/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=952 CPUtime=0
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 115 0 0 0 0 0 0 0 25 0 1 0 81446031 974848 50 4294967295 134512640 135223648 3219099968 3219098872 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 238 50 40 174 0 63 0

[startup+0.09609 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 26759
/proc/meminfo: memFree=1701636/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=28768 CPUtime=0.1
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 4456 0 0 0 7 3 0 0 25 0 1 0 81446031 29458432 4295 4294967295 134512640 135223648 3219099968 3219098920 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 7192 4295 47 174 0 7017 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31184

[startup+0.116088 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 26759
/proc/meminfo: memFree=1701636/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=30612 CPUtime=0.12
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 4987 0 0 0 9 3 0 0 25 0 1 0 81446031 31346688 4826 4294967295 134512640 135223648 3219099968 3219098920 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 7653 4827 47 174 0 7478 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33028

[startup+0.316072 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 26759
/proc/meminfo: memFree=1701636/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=47412 CPUtime=0.32
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 10200 0 0 0 27 5 0 0 25 0 1 0 81446031 48549888 10039 4294967295 134512640 135223648 3219099968 3219098920 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 11853 10039 47 174 0 11678 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 49828

[startup+0.716039 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 26759
/proc/meminfo: memFree=1701636/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=103092 CPUtime=0.72
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 20429 0 0 0 60 12 0 0 25 0 1 0 81446031 105566208 20268 4294967295 134512640 135223648 3219099968 3219098920 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 25773 20268 47 174 0 25598 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 105508

[startup+1.51597 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26764
/proc/meminfo: memFree=1596832/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=171324 CPUtime=1.52
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 36849 0 0 0 129 23 0 0 25 0 1 0 81446031 175435776 36675 4294967295 134512640 135223648 3219099968 3219098384 134576622 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 42831 36676 67 174 0 42656 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 173740

[startup+3.11584 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26764
/proc/meminfo: memFree=1551076/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=202892 CPUtime=3.12
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 41176 0 0 0 286 26 0 0 25 0 1 0 81446031 207761408 41002 4294967295 134512640 135223648 3219099968 3219098064 134585544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 50723 41002 72 174 0 50548 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 205308

[startup+6.31558 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26764
/proc/meminfo: memFree=1538228/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=202892 CPUtime=6.32
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 41202 0 0 0 606 26 0 0 25 0 1 0 81446031 207761408 41028 4294967295 134512640 135223648 3219099968 3219098048 134548331 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 50723 41028 72 174 0 50548 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 205308

[startup+12.7151 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26764
/proc/meminfo: memFree=1538036/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=202740 CPUtime=12.72
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 41237 0 0 0 1246 26 0 0 25 0 1 0 81446031 207605760 41025 4294967295 134512640 135223648 3219099968 3219098048 134548563 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 50685 41025 72 174 0 50510 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 205156

[startup+25.514 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26949
/proc/meminfo: memFree=1537920/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2416 CPUtime=0
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 81446030 2473984 277 4294967295 134512640 135169312 3216561888 3216560424 3085123310 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/26759/statm: 604 277 235 161 0 43 0
[pid=26763] ppid=26759 vsize=203612 CPUtime=25.52
/proc/26763/stat : 26763 (SatELite_releas) R 26759 26759 17865 0 -1 4202496 41313 0 0 0 2526 26 0 0 25 0 1 0 81446031 208498688 41063 4294967295 134512640 135223648 3219099968 3219098048 134548574 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26763/statm: 50903 41063 72 174 0 50728 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 206028

[startup+51.1119 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26953
/proc/meminfo: memFree=1643756/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=34540 CPUtime=9.54
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 8237 0 0 0 947 7 0 0 25 0 1 0 81450188 35368960 8127 4294967295 134512640 135212939 3217569824 3217568000 134529346 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 8635 8127 76 171 0 8463 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 36960

[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27142
/proc/meminfo: memFree=1630580/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=47784 CPUtime=60.75
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 11464 0 0 0 6064 11 0 0 25 0 1 0 81450188 48930816 11354 4294967295 134512640 135212939 3217569824 3217568288 134527098 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 11946 11354 76 171 0 11774 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 50204

[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27334
/proc/meminfo: memFree=1619484/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=59092 CPUtime=120.75
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 14278 0 0 0 12063 12 0 0 25 0 1 0 81450188 60510208 14168 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 14773 14168 76 171 0 14601 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 61512

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27529
/proc/meminfo: memFree=1611740/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=66900 CPUtime=180.75
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 16264 0 0 0 18061 14 0 0 25 0 1 0 81450188 68505600 16154 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 16725 16154 76 171 0 16553 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 69320

[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27717
/proc/meminfo: memFree=1605208/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=73116 CPUtime=240.76
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 17843 0 0 0 24054 22 0 0 25 0 1 0 81450188 74870784 17733 4294967295 134512640 135212939 3217569824 3217568288 134526754 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 18279 17733 76 171 0 18107 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 75536

[startup+342.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27908
/proc/meminfo: memFree=1600920/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=77928 CPUtime=300.76
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 18891 0 0 0 30051 25 0 0 25 0 1 0 81450188 79798272 18781 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26953/statm: 19482 18781 76 171 0 19310 0
Current children cumulated CPU time (s) 342.34

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


[startup+762.324 s]
/proc/loadavg: 1.01 1.00 1.00 3/93 29240
/proc/meminfo: memFree=1572216/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=108012 CPUtime=720.81
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 26293 0 0 0 72050 31 0 0 25 0 1 0 81450188 110604288 26183 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 27003 26183 76 171 0 26831 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 110432

[startup+822.319 s]
/proc/loadavg: 1.06 1.01 1.00 2/93 29431
/proc/meminfo: memFree=1568084/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=111344 CPUtime=780.81
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 27143 0 0 0 78050 31 0 0 25 0 1 0 81450188 114016256 27033 4294967295 134512640 135212939 3217569824 3217568288 134526674 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 27836 27033 76 171 0 27664 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 113764

[startup+882.324 s]
/proc/loadavg: 1.02 1.01 1.00 3/93 29619
/proc/meminfo: memFree=1563396/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=115888 CPUtime=840.82
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 28303 0 0 0 84051 31 0 0 25 0 1 0 81450188 118669312 28193 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 28972 28193 76 171 0 28800 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 118308

[startup+942.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29814
/proc/meminfo: memFree=1559340/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=119820 CPUtime=900.81
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 29290 0 0 0 90048 33 0 0 25 0 1 0 81450188 122695680 29180 4294967295 134512640 135212939 3217569824 3217568288 134526759 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 29955 29180 76 171 0 29783 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 122240

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30003
/proc/meminfo: memFree=1557236/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=122312 CPUtime=960.82
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 29905 0 0 0 96046 36 0 0 25 0 1 0 81450188 125247488 29795 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 30578 29795 76 171 0 30406 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 124732

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30193
/proc/meminfo: memFree=1554756/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=124684 CPUtime=1020.83
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30505 0 0 0 102044 39 0 0 25 0 1 0 81450188 127676416 30395 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31171 30395 76 171 0 30999 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 127104

[startup+1122.31 s]
/proc/loadavg: 1.10 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552584/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126296 CPUtime=1080.83
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30915 0 0 0 108044 39 0 0 25 0 1 0 81450188 129327104 30805 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31574 30805 76 171 0 31402 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 128716

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

[startup+1126.31 s]
/proc/loadavg: 1.09 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552740/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126296 CPUtime=1084.83
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30915 0 0 0 108444 39 0 0 25 0 1 0 81450188 129327104 30805 4294967295 134512640 135212939 3217569824 3217568288 134526685 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31574 30805 76 171 0 31402 0
Current children cumulated CPU time (s) 1126.41
Current children cumulated vsize (KiB) 128716

[startup+1139.11 s]
/proc/loadavg: 1.07 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1097.63
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 109724 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526757 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1139.21
Current children cumulated vsize (KiB) 128848

[startup+1142.32 s]
/proc/loadavg: 1.07 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1100.84
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 110045 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526848 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1142.42
Current children cumulated vsize (KiB) 128848

[startup+1145.52 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1104.04
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 110365 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526736 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1145.62
Current children cumulated vsize (KiB) 128848

[startup+1146.32 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1104.84
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 110445 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526627 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1146.42
Current children cumulated vsize (KiB) 128848

[startup+1147.12 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1105.64
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 110525 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1147.22
Current children cumulated vsize (KiB) 128848

[startup+1147.52 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 30384
/proc/meminfo: memFree=1552780/2074464 swapFree=1959860/1959888
[pid=26759] ppid=26757 vsize=2420 CPUtime=41.58
/proc/26759/stat : 26759 (SatELiteGTI) S 26757 26759 17865 0 -1 4194304 386 51545 0 0 0 0 4117 41 18 0 1 0 81446030 2478080 278 4294967295 134512640 135169312 3216561888 3216558104 3085123310 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26759/statm: 605 278 235 161 0 44 0
[pid=26953] ppid=26759 vsize=126428 CPUtime=1106.04
/proc/26953/stat : 26953 (minisat_static) R 26759 26759 17865 0 -1 4202496 30936 0 0 0 110565 39 0 0 25 0 1 0 81450188 129462272 30826 4294967295 134512640 135212939 3217569824 3217568288 134526797 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26953/statm: 31607 30826 76 171 0 31435 0
Current children cumulated CPU time (s) 1147.62
Current children cumulated vsize (KiB) 128848

Child status: 20
Real time (s): 1147.56
CPU time (s): 1147.65
CPU user time (s): 1146.83
CPU system time (s): 0.82
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 210736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.83
system time used= 0.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83153
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= 21
involuntary context switches= 1452

runsolver used 0 second user time and 0 second system time

The end

Launcher Data

Begin job on tipi08 at 2009-06-12 22:57:42
IDJOB=1849566
IDBENCH=70967
IDSOLVER=690
FILE ID=tipi08/1849566-1244840262
PBS_JOBID=
Free space on /tmp= 15239 MiB

SOLVER NAME= minisat2 070721/core
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1849566-1244840262/watcher-1849566-1244840262 -o /tmp/evaluation-result-1849566-1244840262/solver-1849566-1244840262 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1849566-1244840262.cnf

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

MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED= 2097478606

Linux tipi08 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.464
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.464
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.464
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.464
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:       1701660 kB
Buffers:         22092 kB
Cached:         288312 kB
SwapCached:          4 kB
Active:          91380 kB
Inactive:       230436 kB
HighTotal:     1178688 kB
HighFree:       888624 kB
LowTotal:       895776 kB
LowFree:        813036 kB
SwapTotal:     1959888 kB
SwapFree:      1959860 kB
Dirty:           33056 kB
Writeback:           0 kB
AnonPages:       11392 kB
Mapped:           5500 kB
Slab:            41396 kB
PageTables:        480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    85844 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 15239 MiB
End job on tipi08 at 2009-06-12 23:16:53