Trace number 1820483

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
minisat_cumr r-2009-03-18UNSAT 141.85 141.844

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
MD5SUM6197e38464facb30636a5a3ad5b2f0b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark141.85
Satisfiable
(Un)Satisfiability was proved
Number of variables172950
Number of clauses837466
Sum of the clauses size2168190
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2666462
Number of clauses of size 3164950
Number of clauses of size 41526
Number of clauses of size 5129
Number of clauses of size over 54123

Solver Data 

0.00/0.00	c Parsing...
0.72/0.74	c ==============================================================================
0.72/0.74	c |           |     ORIGINAL     |              LEARNT              |          |
0.72/0.74	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.72/0.74	c ==============================================================================
0.72/0.74	c |         0 |  837166  2167854 |  251149       0        0     nan |  0.000 % |
21.12/21.15	c |         0 |  510801  3267506 |      --       0       --      -- |     --   | -326365/1099652
21.12/21.15	c ==============================================================================
21.12/21.15	c Result  :   #vars: 12778   #clauses: 510801   #literals: 3267506
21.12/21.15	c CPU time:   21 s
21.12/21.15	c ==============================================================================
22.12/22.16	c This is MiniSat 2.0 beta
22.12/22.16	c WARNING: for repeatability, setting FPU to use double precision
22.12/22.16	c ============================[ Problem Statistics ]=============================
22.12/22.16	c |                                                                             |
22.12/22.16	c |  Number of variables:  12778                                                |
22.12/22.16	c |  Number of clauses:    510801                                               |
22.16/22.66	c |  Parsing time:         0.42         s                                       |
22.16/22.70	c ============================[ Search Statistics ]==============================
22.16/22.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.16/22.70	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.16/22.70	c ===============================================================================
22.16/22.70	c |         0 |   12778   510801  3267506 |   170267        0    nan |  0.000 % |
23.52/23.52	c |       514 |   12778   510801  3267506 |   170267      514    130 |  0.000 % |
24.52/24.52	c |      1028 |   12778   510801  3267506 |   170267     1028    104 |  0.000 % |
25.32/25.34	c |      1540 |   12778   510801  3267506 |   170267     1540     93 |  0.000 % |
25.62/25.68	c |      2564 |   12778   510801  3267506 |   170267     2564     62 |  0.000 % |
26.02/26.02	c |      3076 |   12778   510801  3267506 |   170267     3076     55 |  0.000 % |
26.12/26.14	c |      3588 |   12778   510801  3267506 |   170267     3588     49 |  0.000 % |
27.52/27.52	c |      4612 |   12778   510801  3267506 |   170267     4612     45 |  0.000 % |
28.82/28.83	c |      6660 |   12778   510801  3267506 |   170267     6660     35 |  0.000 % |
29.32/29.33	c |      7174 |   12778   510801  3267506 |   170267     7174     35 |  0.000 % |
29.92/29.94	c |      7686 |   12778   510801  3267506 |   170267     7686     34 |  0.000 % |
30.82/30.86	c |      8710 |   12778   510801  3267506 |   170267     8710     33 |  0.000 % |
31.22/31.23	c |      9226 |   12778   510801  3267506 |   170267     9226     33 |  0.000 % |
31.62/31.67	c |      9741 |   12778   510801  3267506 |   170267     9741     35 |  0.000 % |
31.92/31.97	c |     10765 |   12778   510801  3267506 | 2147483647    10765     33 |  0.000 % |
33.92/33.99	c |     12815 |   12778   510801  3267506 | 2147483647    12815     33 |  0.000 % |
36.52/36.53	c |     16912 |   12778   510801  3267506 | 2147483647    16912     34 |  0.000 % |
37.12/37.19	c |     17425 |   12778   510801  3267506 | 2147483647    17425     34 |  0.000 % |
37.32/37.40	c |     17937 |   12778   510801  3267506 | 2147483647    17937     36 |  0.000 % |
37.92/37.92	c |     18963 |   12778   510801  3267506 | 2147483647    18963     35 |  0.000 % |
38.42/38.45	c |     19475 |   12778   510801  3267506 | 2147483647    19475     36 |  0.000 % |
38.62/38.69	c |     19987 |   12778   510801  3267506 | 2147483647    19987     35 |  0.000 % |
39.32/39.32	c |     21012 |   12778   510801  3267506 | 2147483647    21012     35 |  0.000 % |
39.72/39.78	c |     23062 |   12778   510801  3267506 | 2147483647    23062     34 |  0.000 % |
39.92/39.91	c |     23574 |   12778   510801  3267506 | 2147483647    23574     33 |  0.000 % |
40.42/40.47	c |     24087 |   12771   510670  3266809 | 2147483647    24085     33 |  0.063 % |
40.62/40.70	c |     25112 |   12771   510670  3266809 | 2147483647    25110     33 |  0.063 % |
40.92/41.01	c |     25625 |   12771   510670  3266809 | 2147483647    25623     32 |  0.063 % |
41.42/41.48	c |     26146 |   12771   510670  3266809 | 2147483647    26143     32 |  0.141 % |
41.72/41.72	c |     27170 |   12771   510670  3266809 | 2147483647    27167     33 |  0.141 % |
43.82/43.83	c |     29220 |   12771   510670  3266809 | 2147483647    29217     33 |  0.141 % |
46.32/46.36	c |     33317 |   12771   510670  3266809 | 2147483647    33314     32 |  0.141 % |
49.32/49.33	c |     41510 |   12760   510164  3263140 | 2147483647    41484     29 |  0.141 % |
49.92/49.92	c |     42022 |   12760   510164  3263140 | 2147483647    41996     29 |  0.141 % |
50.22/50.22	c |     42534 |   12760   510164  3263140 | 2147483647    42508     29 |  0.141 % |
51.02/51.10	c |     43558 |   12760   510164  3263140 | 2147483647    43532     30 |  0.141 % |
51.42/51.48	c |     44070 |   12760   510164  3263140 | 2147483647    44044     30 |  0.141 % |
51.73/51.76	c |     44582 |   12760   510164  3263140 | 2147483647    44556     30 |  0.141 % |
52.92/52.93	c |     45607 |   12760   510164  3263140 | 2147483647    45581     30 |  0.141 % |
54.22/54.30	c |     47658 |   12760   510164  3263140 | 2147483647    47632     31 |  0.141 % |
54.42/54.49	c |     48173 |   12760   510164  3263140 | 2147483647    48147     31 |  0.141 % |
54.62/54.71	c |     48686 |   12760   510164  3263140 | 2147483647    48660     30 |  0.141 % |
55.52/55.54	c |     49710 |   12760   510164  3263140 | 2147483647    49684     30 |  0.141 % |
55.92/55.93	c |     50222 |   12760   510164  3263140 | 2147483647    50196     30 |  0.141 % |
56.22/56.25	c |     50734 |   12760   510164  3263140 | 2147483647    50708     30 |  0.141 % |
57.42/57.41	c |     51760 |   12760   510164  3263140 | 2147483647    51734     30 |  0.141 % |
59.52/59.56	c |     53810 |   12760   510164  3263140 | 2147483647    53784     30 |  0.141 % |
62.62/62.64	c |     57906 |   12760   510164  3263140 | 2147483647    57880     29 |  0.141 % |
63.22/63.28	c |     58418 |   12760   510164  3263140 | 2147483647    58392     29 |  0.141 % |
63.83/63.90	c |     58931 |   12760   510164  3263140 | 2147483647    58905     29 |  0.141 % |
64.93/64.96	c |     59957 |   12760   510164  3263140 | 2147483647    59931     29 |  0.141 % |
65.42/65.43	c |     60474 |   12760   510164  3263140 | 2147483647    60448     29 |  0.141 % |
66.03/66.07	c |     60986 |   12760   510164  3263140 | 2147483647    60960     29 |  0.141 % |
67.13/67.20	c |     62015 |   12760   510164  3263140 | 2147483647    61989     29 |  0.141 % |
69.22/69.31	c |     64065 |   12760   510164  3263140 | 2147483647    64039     29 |  0.141 % |
69.52/69.57	c |     64577 |   12760   510164  3263140 | 2147483647    64551     29 |  0.141 % |
69.92/69.97	c |     65089 |   12760   510164  3263140 | 2147483647    65063     29 |  0.141 % |
70.43/70.47	c |     66114 |   12760   510164  3263140 | 2147483647    66088     28 |  0.141 % |
70.72/70.73	c |     66626 |   12760   510164  3263140 | 2147483647    66600     28 |  0.141 % |
71.12/71.17	c |     67139 |   12760   510164  3263140 | 2147483647    67113     28 |  0.141 % |
71.92/71.95	c |     68163 |   12760   510164  3263140 | 2147483647    68137     28 |  0.141 % |
73.02/73.04	c |     70212 |   12756   510034  3262482 | 2147483647    70185     28 |  0.172 % |
74.72/74.81	c |     74308 |   12756   510034  3262482 | 2147483647    74281     27 |  0.172 % |
79.51/79.58	c |     82500 |   12755   510034  3262482 | 2147483647    82471     26 |  0.211 % |
87.91/87.99	c |     98884 |   12755   510034  3262482 | 2147483647    98855     24 |  0.211 % |
88.31/88.32	c |     99398 |   12751   509834  3260549 | 2147483647    98876     24 |  0.211 % |
88.71/88.78	c |     99911 |   12751   509834  3260549 | 2147483647    99389     24 |  0.211 % |
89.61/89.67	c |    100937 |   12751   509834  3260549 |    99481    80753     20 |  0.211 % |
90.22/90.21	c |    101449 |   12751   509834  3260549 |    99481    81265     20 |  0.211 % |
90.51/90.56	c |    101962 |   12751   509834  3260549 |    99481    81778     20 |  0.211 % |
91.21/91.23	c |    102986 |   12751   509834  3260549 |    99481    82802     20 |  0.211 % |
92.61/92.69	c |    105034 |   12751   509834  3260549 |    99481    84850     20 |  0.211 % |
93.01/93.01	c |    105546 |   12751   509834  3260549 |    99481    85362     20 |  0.211 % |
93.31/93.31	c |    106059 |   12751   509834  3260549 |    99481    85875     20 |  0.211 % |
93.91/93.98	c |    107086 |   12751   509834  3260549 |    99481    86902     20 |  0.211 % |
94.31/94.37	c |    107599 |   12751   509834  3260549 |    99481    87415     20 |  0.211 % |
95.01/95.03	c |    108113 |   12751   509834  3260549 |    99481    87929     20 |  0.211 % |
95.51/95.57	c |    109137 |   12751   509834  3260549 |    99481    88953     20 |  0.211 % |
96.82/96.88	c |    111185 |   12751   509834  3260549 |    89816    71509     16 |  0.211 % |
99.02/99.02	c |    115281 |   12751   509834  3260549 |    89816    75605     16 |  0.211 % |
99.41/99.42	c |    115795 |   12751   509834  3260549 |    89816    76119     16 |  0.211 % |
99.71/99.77	c |    116307 |   12751   509834  3260549 |    89816    76631     16 |  0.211 % |
100.31/100.39	c |    117331 |   12751   509834  3260549 |    89816    77655     16 |  0.211 % |
100.81/100.81	c |    117843 |   12751   509834  3260549 |    89816    78167     16 |  0.211 % |
101.11/101.15	c |    118356 |   12751   509834  3260549 |    89816    78680     16 |  0.211 % |
101.61/101.67	c |    119380 |   12751   509834  3260549 |    89816    79704     16 |  0.211 % |
102.91/102.91	c |    121429 |   12751   509834  3260549 |    80324    60673     13 |  0.211 % |
103.11/103.15	c |    121942 |   12751   509834  3260549 |    80324    61186     13 |  0.211 % |
103.42/103.45	c |    122454 |   12751   509834  3260549 |    80324    61698     13 |  0.211 % |
104.11/104.11	c |    123480 |   12751   509834  3260549 |    80324    62724     13 |  0.211 % |
104.42/104.41	c |    123993 |   12751   509834  3260549 |    80324    63237     13 |  0.211 % |
104.72/104.76	c |    124506 |   12751   509834  3260549 |    80324    63750     13 |  0.211 % |
105.22/105.25	c |    125531 |   12751   509834  3260549 |    80324    64775     14 |  0.211 % |
106.62/106.65	c |    127579 |   12751   509834  3260549 |    80324    66823     14 |  0.211 % |
109.22/109.23	c |    131675 |   12750   509768  3259814 |    67884    52151     13 |  0.219 % |
113.42/113.42	c |    139868 |   12750   509768  3259814 |    67884    60344     13 |  0.219 % |
113.62/113.66	c |    140381 |   12750   509768  3259814 |    60477    60857     13 |  0.219 % |
114.12/114.12	c |    140893 |   12750   509768  3259814 |    60477    43918     13 |  0.219 % |
114.52/114.57	c |    141917 |   12750   509768  3259814 |    60477    44942     13 |  0.219 % |
114.82/114.83	c |    142430 |   12750   509768  3259814 |    60477    45455     13 |  0.219 % |
115.12/115.12	c |    142944 |   12750   509768  3259814 |    60477    45969     13 |  0.219 % |
115.72/115.77	c |    143968 |   12750   509768  3259814 |    60477    46993     13 |  0.219 % |
116.82/116.86	c |    146016 |   12750   509768  3259814 |    60477    49041     13 |  0.219 % |
117.12/117.13	c |    146529 |   12750   509768  3259814 |    60477    49554     13 |  0.219 % |
117.32/117.37	c |    147042 |   12750   509768  3259814 |    60477    50067     13 |  0.219 % |
117.82/117.84	c |    148066 |   12750   509768  3259814 |    60477    51091     13 |  0.219 % |
118.02/118.09	c |    148578 |   12750   509768  3259814 |    60477    51603     13 |  0.219 % |
118.32/118.37	c |    149091 |   12750   509768  3259814 |    60477    52116     13 |  0.219 % |
118.82/118.89	c |    150117 |   12750   509768  3259814 |    53026    53142     13 |  0.219 % |
119.72/119.74	c |    152165 |   12750   509768  3259814 |    53026    38852     12 |  0.219 % |
121.32/121.37	c |    156263 |   12746   509625  3258595 |    53026    42949     12 |  0.250 % |
121.52/121.57	c |    156775 |   12746   509625  3258595 |    53026    43461     12 |  0.250 % |
121.72/121.72	c |    157288 |   12746   509625  3258595 |    53026    43974     12 |  0.250 % |
122.02/122.11	c |    158312 |   12746   509625  3258595 |    53026    44998     12 |  0.250 % |
122.22/122.30	c |    158824 |   12746   509625  3258595 |    53026    45510     12 |  0.250 % |
122.52/122.57	c |    159336 |   12746   509625  3258595 |    53026    46022     12 |  0.250 % |
123.22/123.23	c |    160361 |   12746   509625  3258595 |    46688    31759     12 |  0.250 % |
123.82/123.86	c |    162410 |   12746   509625  3258595 |    46688    33808     12 |  0.250 % |
124.12/124.13	c |    162922 |   12746   509625  3258595 |    46688    34320     12 |  0.250 % |
124.32/124.31	c |    163435 |   12746   509625  3258595 |    46688    34833     12 |  0.250 % |
124.62/124.67	c |    164460 |   12746   509625  3258595 |    46688    35858     12 |  0.250 % |
124.82/124.84	c |    164972 |   12746   509625  3258595 |    46688    36370     12 |  0.250 % |
125.02/125.09	c |    165487 |   12746   509625  3258595 |    46688    36885     12 |  0.250 % |
125.42/125.47	c |    166511 |   12746   509625  3258595 |    46688    37909     12 |  0.250 % |
126.52/126.56	c |    168559 |   12746   509625  3258595 |    46688    39957     12 |  0.250 % |
128.12/128.15	c |    172656 |   12746   509625  3258595 |    41398    30554     12 |  0.250 % |
131.42/131.51	c |    180849 |   12742   509625  3258595 |    37900    25401     11 |  0.282 % |
138.52/138.58	c |    197234 |   12738   509339  3255305 | 2147483647    31230     14 |  0.313 % |
141.72/141.81	c ===============================================================================
141.72/141.81	c restarts              : 128
141.72/141.81	c conflicts             : 206436         (1727 /sec)
141.72/141.81	c decisions             : 390444         (1.77 % random) (3266 /sec)
141.72/141.81	c propagations          : 71948313       (601927 /sec)
141.72/141.81	c conflict literals     : 3852356        (24.64 % deleted)
141.72/141.81	c Memory used           : 47.94 MB
141.72/141.81	c CPU time              : 119.53 s
141.72/141.81	c 
141.72/141.81	s UNSATISFIABLE
141.82/141.81	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-1820483-1242449304/watcher-1820483-1242449304 -o /tmp/evaluation-result-1820483-1242449304/solver-1820483-1242449304 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820483-1242449304.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.97 0.97 0.99 2/97 10118
/proc/meminfo: memFree=662904/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=956 CPUtime=0
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 151 0 0 0 0 0 0 0 25 0 1 0 1009431553 978944 86 4294967295 134512640 135223648 3218581680 3218580560 134543095 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 272 88 45 174 0 97 0

[startup+0.099631 s]
/proc/loadavg: 0.97 0.97 0.99 2/97 10118
/proc/meminfo: memFree=662904/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=12152 CPUtime=0.1
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 2580 0 0 0 10 0 0 0 25 0 1 0 1009431553 12443648 2515 4294967295 134512640 135223648 3218581680 3218580632 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 3038 2515 47 174 0 2863 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14564

[startup+0.119635 s]
/proc/loadavg: 0.97 0.97 0.99 2/97 10118
/proc/meminfo: memFree=662904/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=13736 CPUtime=0.12
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 3082 0 0 0 12 0 0 0 25 0 1 0 1009431553 14065664 3017 4294967295 134512640 135223648 3218581680 3218580296 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 3434 3017 47 174 0 3259 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16148

[startup+0.319616 s]
/proc/loadavg: 0.97 0.97 0.99 2/97 10118
/proc/meminfo: memFree=662904/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=39860 CPUtime=0.32
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 8519 0 0 0 30 2 0 0 25 0 1 0 1009431553 40816640 8454 4294967295 134512640 135223648 3218581680 3218580632 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 9965 8454 47 174 0 9790 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 42272

[startup+0.719593 s]
/proc/loadavg: 0.97 0.97 0.99 2/97 10118
/proc/meminfo: memFree=662904/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=90752 CPUtime=0.72
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 20396 0 0 0 66 6 0 0 25 0 1 0 1009431553 92930048 20331 4294967295 134512640 135223648 3218581680 3218580688 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 22688 20331 47 174 0 22513 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 93164

[startup+1.51955 s]
/proc/loadavg: 0.97 0.97 0.99 3/99 10123
/proc/meminfo: memFree=573336/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=103616 CPUtime=1.52
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 23126 0 0 0 146 6 0 0 25 0 1 0 1009431553 106102784 22631 4294967295 134512640 135223648 3218581680 3218579680 134548993 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 25904 22631 73 174 0 25729 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 106028

[startup+3.11946 s]
/proc/loadavg: 0.97 0.97 0.99 4/99 10123
/proc/meminfo: memFree=566516/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=107308 CPUtime=3.12
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 24039 0 0 0 306 6 0 0 25 0 1 0 1009431553 109883392 23544 4294967295 134512640 135223648 3218581680 3218579680 134548987 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 26827 23544 73 174 0 26652 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 109720

[startup+6.31928 s]
/proc/loadavg: 0.97 0.97 0.99 3/99 10123
/proc/meminfo: memFree=551264/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=113524 CPUtime=6.32
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 25517 0 0 0 621 11 0 0 25 0 1 0 1009431553 116248576 25022 4294967295 134512640 135223648 3218581680 3218579680 134548993 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 28381 25022 73 174 0 28206 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 115936

[startup+12.7189 s]
/proc/loadavg: 0.98 0.97 0.99 2/99 10307
/proc/meminfo: memFree=526492/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2412 CPUtime=0
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1009431553 2469888 276 4294967295 134512640 135169312 3216131696 3216130232 3085029102 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10118/statm: 603 276 235 161 0 42 0
[pid=10122] ppid=10118 vsize=123376 CPUtime=12.72
/proc/10122/stat : 10122 (SatELite_releas) R 10118 10118 16367 0 -1 4202496 27762 0 0 0 1257 15 0 0 25 0 1 0 1009431553 126337024 27267 4294967295 134512640 135223648 3218581680 3218579472 134548993 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10122/statm: 30844 27267 73 174 0 30669 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 125788

[startup+25.5182 s]
/proc/loadavg: 0.98 0.97 0.99 2/99 10309
/proc/meminfo: memFree=579428/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=35264 CPUtime=3.36
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 8560 0 0 0 327 9 0 0 25 0 1 0 1009433769 36110336 8495 4294967295 134512640 135216591 3214583120 3214581312 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 8816 8495 75 172 0 8643 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 37680

[startup+51.1168 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10312
/proc/meminfo: memFree=572920/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=41916 CPUtime=28.96
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 10203 0 0 0 2887 9 0 0 25 0 1 0 1009433769 42921984 10138 4294967295 134512640 135216591 3214583120 3214581312 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 10479 10138 75 172 0 10306 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 44332

[startup+102.314 s]
/proc/loadavg: 0.99 0.97 0.99 3/99 10498
/proc/meminfo: memFree=565596/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=48948 CPUtime=80.16
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11905 0 0 0 8004 12 0 0 25 0 1 0 1009433769 50122752 11840 4294967295 134512640 135216591 3214583120 3214581232 134534440 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12237 11840 75 172 0 12064 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 51364

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

[startup+127.912 s]
/proc/loadavg: 0.99 0.97 0.99 3/99 10504
/proc/meminfo: memFree=565488/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=105.76
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11942 0 0 0 10564 12 0 0 25 0 1 0 1009433769 50266112 11877 4294967295 134512640 135216591 3214583120 3214581312 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11877 75 172 0 12099 0
Current children cumulated CPU time (s) 127.92
Current children cumulated vsize (KiB) 51504

[startup+134.312 s]
/proc/loadavg: 0.99 0.97 0.99 3/99 10687
/proc/meminfo: memFree=565064/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=112.16
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11951 0 0 0 11204 12 0 0 25 0 1 0 1009433769 50266112 11886 4294967295 134512640 135216591 3214583120 3214581312 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11886 75 172 0 12099 0
Current children cumulated CPU time (s) 134.32
Current children cumulated vsize (KiB) 51504

[startup+137.512 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=565112/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=115.36
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11951 0 0 0 11524 12 0 0 25 0 1 0 1009433769 50266112 11886 4294967295 134512640 135216591 3214583120 3214581312 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11886 75 172 0 12099 0
Current children cumulated CPU time (s) 137.52
Current children cumulated vsize (KiB) 51504

[startup+139.112 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=565112/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=116.96
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11951 0 0 0 11684 12 0 0 25 0 1 0 1009433769 50266112 11886 4294967295 134512640 135216591 3214583120 3214581312 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11886 75 172 0 12099 0
Current children cumulated CPU time (s) 139.12
Current children cumulated vsize (KiB) 51504

[startup+140.712 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=565268/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=118.56
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11952 0 0 0 11844 12 0 0 25 0 1 0 1009433769 50266112 11887 4294967295 134512640 135216591 3214583120 3214581312 134529065 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11887 75 172 0 12099 0
Current children cumulated CPU time (s) 140.72
Current children cumulated vsize (KiB) 51504

[startup+141.512 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=565268/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=119.36
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11953 0 0 0 11924 12 0 0 25 0 1 0 1009433769 50266112 11888 4294967295 134512640 135216591 3214583120 3214581312 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11888 75 172 0 12099 0
Current children cumulated CPU time (s) 141.52
Current children cumulated vsize (KiB) 51504

[startup+141.712 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=565268/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2416 CPUtime=22.16
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 385 33479 0 0 0 0 2199 17 20 0 1 0 1009431553 2473984 277 4294967295 134512640 135169312 3216131696 3216127912 3085029102 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10118/statm: 604 277 235 161 0 43 0
[pid=10309] ppid=10118 vsize=49088 CPUtime=119.56
/proc/10309/stat : 10309 (minisat_static) R 10118 10118 16367 0 -1 4202496 11953 0 0 0 11944 12 0 0 25 0 1 0 1009433769 50266112 11888 4294967295 134512640 135216591 3214583120 3214581312 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10309/statm: 12272 11888 75 172 0 12099 0
Current children cumulated CPU time (s) 141.72
Current children cumulated vsize (KiB) 51504

[startup+141.812 s]
/proc/loadavg: 0.99 0.97 0.99 2/99 10687
/proc/meminfo: memFree=574444/2074464 swapFree=1949244/1959888
[pid=10118] ppid=10116 vsize=2932 CPUtime=141.82
/proc/10118/stat : 10118 (SatELiteGTI) S 10116 10118 16367 0 -1 4194304 474 45444 0 0 0 0 14152 30 18 0 1 0 1009431553 3002368 345 4294967295 134512640 135169312 3216131696 3216127080 3085029102 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10118/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 141.82
Current children cumulated vsize (KiB) 2932

Child status: 20
Real time (s): 141.844
CPU time (s): 141.85
CPU user time (s): 141.52
CPU system time (s): 0.33
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 143704

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

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-16 06:48:24
IDJOB=1820483
IDBENCH=20418
IDSOLVER=658
FILE ID=tipi11/1820483-1242449304
PBS_JOBID=
Free space on /tmp= 10583 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820483-1242449304/watcher-1820483-1242449304 -o /tmp/evaluation-result-1820483-1242449304/solver-1820483-1242449304 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820483-1242449304.cnf

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

MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 945193711

Linux tipi11 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.431
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.431
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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.431
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:        663160 kB
Buffers:         33672 kB
Cached:        1276672 kB
SwapCached:       5336 kB
Active:         357508 kB
Inactive:       964756 kB
HighTotal:     1178688 kB
HighFree:       186856 kB
LowTotal:       895776 kB
LowFree:        476304 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:           17124 kB
Writeback:           8 kB
AnonPages:       11120 kB
Mapped:           5164 kB
Slab:            80272 kB
PageTables:        552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97132 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10583 MiB
End job on tipi11 at 2009-05-16 06:50:48