Trace number 1820494

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 p-2009-03-18UNSAT 26.03 26.0539

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
MD5SUM7634252332633927f116161c1beb6151
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.03
Satisfiable
(Un)Satisfiability was proved
Number of variables93573
Number of clauses439508
Sum of the clauses size1132510
Maximum clause length403
Minimum clause length1
Number of clauses of size 1190
Number of clauses of size 2347239
Number of clauses of size 388215
Number of clauses of size 41000
Number of clauses of size 5107
Number of clauses of size over 52757

Solver Data 

0.00/0.00	c Parsing...
0.31/0.40	c ==============================================================================
0.31/0.40	c |           |     ORIGINAL     |              LEARNT              |          |
0.31/0.40	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.31/0.40	c ==============================================================================
0.31/0.40	c |         0 |  439298  1132270 |  131789       0        0     nan |  0.000 % |
8.11/8.13	c |         0 |  267244  1574041 |      --       0       --      -- |     --   | -172054/441771
8.11/8.13	c ==============================================================================
8.11/8.13	c Result  :   #vars: 8357   #clauses: 267244   #literals: 1574041
8.11/8.13	c CPU time:   8.05 s
8.11/8.13	c ==============================================================================
8.61/8.66	c This is MiniSat 2.0 beta
8.61/8.66	c WARNING: for repeatability, setting FPU to use double precision
8.61/8.66	c ============================[ Problem Statistics ]=============================
8.61/8.66	c |                                                                             |
8.61/8.66	c |  Number of variables:  8357                                                 |
8.61/8.66	c |  Number of clauses:    267244                                               |
8.79/8.90	c |  Parsing time:         0.20         s                                       |
8.89/8.92	c ============================[ Search Statistics ]==============================
8.89/8.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.89/8.92	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.89/8.92	c ===============================================================================
8.89/8.92	c |         0 |    8357   267244  1574041 |    89081        0    nan |  0.000 % |
8.89/8.96	c |       100 |    8357   267244  1574041 |    89081      100     12 |  0.000 % |
8.99/9.03	c |       200 |    8357   267244  1574041 |    89081      200     16 |  0.000 % |
9.09/9.13	c |       302 |    8357   267244  1574041 |    89081      302     16 |  0.000 % |
9.09/9.17	c |       417 |    8357   267244  1574041 |    89081      417     16 |  0.000 % |
9.39/9.41	c |       517 |    8357   267244  1574041 |    89081      517     18 |  0.000 % |
9.39/9.48	c |       634 |    8357   267244  1574041 |    89081      634     23 |  0.000 % |
9.49/9.60	c |       755 |    8357   267244  1574041 |    89081      755     23 |  0.000 % |
9.59/9.63	c |       855 |    8357   267244  1574041 |    89081      855     22 |  0.000 % |
9.59/9.66	c |       966 |    8357   267244  1574041 |    89081      966     23 |  0.000 % |
9.69/9.75	c |      1087 |    8357   267244  1574041 |    89081     1087     22 |  0.000 % |
9.79/9.83	c |      1221 |    8357   267244  1574041 |    89081     1221     24 |  0.000 % |
9.89/9.95	c |      1321 |    8357   267244  1574041 |    89081     1321     23 |  0.000 % |
9.89/9.98	c |      1432 |    8357   267244  1574041 |    89081     1432     22 |  0.000 % |
9.99/10.07	c |      1553 |    8357   267244  1574041 |    89081     1553     21 |  0.000 % |
10.09/10.14	c |      1703 |    8357   267244  1574041 |    89081     1703     22 |  0.000 % |
10.29/10.35	c |      1849 |    8357   267244  1574041 |    89081     1849     25 |  0.000 % |
10.29/10.40	c |      1950 |    8357   267244  1574041 |    89081     1950     24 |  0.000 % |
10.39/10.45	c |      2060 |    8357   267244  1574041 |    89081     2060     24 |  0.000 % |
10.39/10.50	c |      2181 |    8357   267244  1574041 |    89081     2181     23 |  0.000 % |
10.49/10.59	c |      2315 |    8357   267244  1574041 |    89081     2315     23 |  0.000 % |
10.59/10.69	c |      2461 |    8357   267244  1574041 |    89081     2461     24 |  0.000 % |
10.69/10.75	c |      2622 |    8357   267244  1574041 |    89081     2622     26 |  0.000 % |
10.69/10.77	c |      2722 |    8357   267244  1574041 |    89081     2722     26 |  0.000 % |
10.79/10.89	c |      2832 |    8357   267244  1574041 |    89081     2832     25 |  0.000 % |
10.89/10.97	c |      2953 |    8357   267244  1574041 |    89081     2953     25 |  0.000 % |
10.99/11.03	c |      3086 |    8357   267244  1574041 |    89081     3086     24 |  0.000 % |
11.09/11.15	c |      3232 |    8357   267244  1574041 |    89081     3232     27 |  0.000 % |
11.09/11.19	c |      3392 |    8357   267244  1574041 |    89081     3392     26 |  0.000 % |
11.19/11.28	c |      3572 |    8357   267244  1574041 |    89081     3572     29 |  0.000 % |
11.29/11.35	c |      3672 |    8357   267244  1574041 |    89081     3672     29 |  0.000 % |
11.29/11.38	c |      3782 |    8357   267244  1574041 |    89081     3782     29 |  0.000 % |
11.49/11.51	c |      3904 |    8357   267244  1574041 |    89081     3904     28 |  0.000 % |
11.49/11.58	c |      4038 |    8357   267244  1574041 |    89081     4038     28 |  0.000 % |
11.59/11.67	c |      4187 |    8357   267244  1574041 |    89081     4187     27 |  0.000 % |
11.79/11.82	c |      4348 |    8357   267244  1574041 |    89081     4348     30 |  0.000 % |
11.79/11.89	c |      4525 |    8357   267244  1574041 |    89081     4525     30 |  0.000 % |
11.89/11.96	c |      4718 |    8357   267244  1574041 |    89081     4718     29 |  0.000 % |
11.99/12.01	c |      4818 |    8357   267244  1574041 |    89081     4818     29 |  0.000 % |
12.09/12.14	c |      4928 |    8357   267244  1574041 |    89081     4928     29 |  0.000 % |
12.09/12.15	c |      5050 |    8357   267244  1574041 |    89081     5050     28 |  0.000 % |
12.19/12.24	c |      5188 |    8357   267244  1574041 |    89081     5188     28 |  0.000 % |
12.19/12.29	c |      5335 |    8357   267244  1574041 |    89081     5335     28 |  0.000 % |
12.29/12.31	c |      5495 |    8357   267244  1574041 |    89081     5495     27 |  0.000 % |
12.29/12.37	c |      5671 |    8357   267244  1574041 |    89081     5671     27 |  0.000 % |
12.39/12.46	c |      5866 |    8357   267244  1574041 |    89081     5866     28 |  0.000 % |
12.49/12.53	c |      6078 |    8357   267244  1574041 |    89081     6078     27 |  0.000 % |
12.49/12.56	c |      6183 |    8357   267244  1574041 |    89081     6183     27 |  0.000 % |
12.49/12.60	c |      6294 |    8357   267244  1574041 |    89081     6294     27 |  0.000 % |
12.59/12.69	c |      6419 |    8357   267244  1574041 |    89081     6419     27 |  0.000 % |
12.69/12.74	c |      6552 |    8357   267244  1574041 |    89081     6552     27 |  0.000 % |
12.69/12.76	c |      6698 |    8357   267244  1574041 |    89081     6698     26 |  0.000 % |
12.69/12.79	c |      6859 |    8357   267244  1574041 |    89081     6859     26 |  0.000 % |
12.79/12.84	c |      7035 |    8357   267244  1574041 |    89081     7035     26 |  0.000 % |
12.79/12.87	c |      7230 |    8357   267244  1574041 |    89081     7230     26 |  0.000 % |
12.89/12.93	c |      7442 |    8357   267244  1574041 |    89081     7442     25 |  0.000 % |
12.99/13.08	c |      7675 |    8357   267244  1574041 |    89081     7675     25 |  0.000 % |
13.09/13.12	c |      7775 |    8357   267244  1574041 |    89081     7775     26 |  0.000 % |
13.09/13.16	c |      7885 |    8357   267244  1574041 |    89081     7885     26 |  0.000 % |
13.19/13.22	c |      8008 |    8357   267244  1574041 |    89081     8008     26 |  0.000 % |
13.19/13.25	c |      8142 |    8357   267244  1574041 |    89081     8142     25 |  0.000 % |
13.19/13.28	c |      8288 |    8357   267244  1574041 |    89081     8288     25 |  0.000 % |
13.29/13.31	c |      8448 |    8357   267244  1574041 |    89081     8448     25 |  0.000 % |
13.29/13.35	c |      8624 |    8357   267244  1574041 |    89081     8624     25 |  0.000 % |
13.49/13.55	c |      8817 |    8357   267244  1574041 |    89081     8817     25 |  0.000 % |
13.59/13.68	c |      9029 |    8357   267244  1574041 |    89081     9029     25 |  0.000 % |
13.79/13.84	c |      9262 |    8357   267244  1574041 |    89081     9262     25 |  0.000 % |
13.89/13.99	c |      9518 |    8357   267244  1574041 |    89081     9518     26 |  0.000 % |
13.99/14.02	c |      9620 |    8357   267244  1574041 |    89081     9620     26 |  0.000 % |
13.99/14.08	c |      9730 |    8357   267244  1574041 |    89081     9730     25 |  0.000 % |
14.09/14.13	c |      9852 |    8357   267244  1574041 |    89081     9852     25 |  0.000 % |
14.09/14.17	c |      9987 |    8357   267244  1574041 |    89081     9987     25 |  0.000 % |
14.09/14.20	c |     10133 |    8357   267244  1574041 | 2147483647    10133     25 |  0.000 % |
14.19/14.23	c |     10294 |    8357   267244  1574041 | 2147483647    10294     25 |  0.000 % |
14.19/14.28	c |     10470 |    8357   267244  1574041 | 2147483647    10470     25 |  0.000 % |
14.29/14.38	c |     10663 |    8357   267244  1574041 | 2147483647    10663     25 |  0.000 % |
14.39/14.44	c |     10875 |    8357   267244  1574041 | 2147483647    10875     24 |  0.000 % |
14.49/14.53	c |     11108 |    8357   267244  1574041 | 2147483647    11108     25 |  0.000 % |
14.49/14.59	c |     11364 |    8357   267244  1574041 | 2147483647    11364     25 |  0.000 % |
14.59/14.64	c |     11645 |    8357   267244  1574041 | 2147483647    11645     24 |  0.000 % |
14.59/14.67	c |     11747 |    8357   267244  1574041 | 2147483647    11747     24 |  0.000 % |
14.59/14.69	c |     11857 |    8357   267244  1574041 | 2147483647    11857     24 |  0.000 % |
14.69/14.72	c |     11979 |    8357   267244  1574041 | 2147483647    11979     24 |  0.000 % |
14.69/14.75	c |     12113 |    8357   267244  1574041 | 2147483647    12113     24 |  0.000 % |
14.69/14.77	c |     12259 |    8357   267244  1574041 | 2147483647    12259     24 |  0.000 % |
14.79/14.86	c |     12419 |    8357   267244  1574041 | 2147483647    12419     24 |  0.000 % |
14.89/14.98	c |     12595 |    8357   267244  1574041 | 2147483647    12595     24 |  0.000 % |
14.99/15.02	c |     12793 |    8357   267244  1574041 | 2147483647    12793     24 |  0.000 % |
15.09/15.15	c |     13006 |    8357   267244  1574041 | 2147483647    13006     24 |  0.000 % |
15.09/15.20	c |     13239 |    8357   267244  1574041 | 2147483647    13239     23 |  0.000 % |
15.19/15.28	c |     13495 |    8357   267244  1574041 | 2147483647    13495     23 |  0.000 % |
15.39/15.49	c |     13776 |    8357   267244  1574041 | 2147483647    13776     23 |  0.000 % |
15.49/15.56	c |     14087 |    8357   267244  1574041 | 2147483647    14087     23 |  0.000 % |
15.59/15.63	c |     14188 |    8357   267244  1574041 | 2147483647    14188     23 |  0.000 % |
15.59/15.65	c |     14301 |    8357   267244  1574041 | 2147483647    14301     23 |  0.000 % |
15.69/15.71	c |     14422 |    8357   267244  1574041 | 2147483647    14422     23 |  0.000 % |
15.69/15.74	c |     14555 |    8357   267244  1574041 | 2147483647    14555     23 |  0.000 % |
15.69/15.77	c |     14701 |    8357   267244  1574041 | 2147483647    14701     23 |  0.000 % |
15.79/15.85	c |     14863 |    8357   267244  1574041 | 2147483647    14863     23 |  0.000 % |
15.89/15.97	c |     15040 |    8357   267244  1574041 | 2147483647    15040     23 |  0.000 % |
16.09/16.13	c |     15234 |    8357   267244  1574041 | 2147483647    15234     24 |  0.001 % |
16.19/16.24	c |     15448 |    8357   267244  1574041 | 2147483647    15448     24 |  0.000 % |
16.19/16.28	c |     15681 |    8357   267244  1574041 | 2147483647    15681     24 |  0.000 % |
16.29/16.33	c |     15940 |    8357   267244  1574041 | 2147483647    15940     23 |  0.000 % |
16.39/16.41	c |     16222 |    8357   267244  1574041 | 2147483647    16222     23 |  0.000 % |
16.39/16.49	c |     16531 |    8357   267244  1574041 | 2147483647    16531     23 |  0.000 % |
16.49/16.58	c |     16872 |    8357   267244  1574041 | 2147483647    16872     23 |  0.000 % |
16.49/16.60	c |     16973 |    8357   267244  1574041 | 2147483647    16973     23 |  0.000 % |
16.59/16.63	c |     17083 |    8357   267244  1574041 | 2147483647    17083     23 |  0.000 % |
16.59/16.66	c |     17204 |    8357   267244  1574041 | 2147483647    17204     23 |  0.000 % |
16.69/16.73	c |     17339 |    8357   267244  1574041 | 2147483647    17339     23 |  0.000 % |
16.69/16.80	c |     17485 |    8357   267244  1574041 | 2147483647    17485     23 |  0.000 % |
16.89/16.91	c |     17645 |    8357   267244  1574041 | 2147483647    17645     23 |  0.000 % |
16.99/17.01	c |     17822 |    8357   267244  1574041 | 2147483647    17822     23 |  0.000 % |
16.99/17.05	c |     18015 |    8357   267244  1574041 | 2147483647    18015     23 |  0.000 % |
17.09/17.14	c |     18231 |    8357   267244  1574041 | 2147483647    18231     23 |  0.000 % |
17.19/17.30	c |     18464 |    8357   267244  1574041 | 2147483647    18464     22 |  0.000 % |
17.29/17.40	c |     18722 |    8357   267244  1574041 | 2147483647    18722     22 |  0.000 % |
17.49/17.55	c |     19003 |    8357   267244  1574041 | 2147483647    19003     22 |  0.000 % |
17.59/17.64	c |     19312 |    8357   267244  1574041 | 2147483647    19312     22 |  0.000 % |
17.59/17.69	c |     19652 |    8357   267244  1574041 | 2147483647    19652     22 |  0.000 % |
17.89/18.00	c |     20024 |    8357   267244  1574041 | 2147483647    20024     22 |  0.000 % |
17.99/18.05	c |     20125 |    8357   267244  1574041 | 2147483647    20125     22 |  0.000 % |
17.99/18.09	c |     20239 |    8357   267244  1574041 | 2147483647    20239     22 |  0.000 % |
18.09/18.12	c |     20361 |    8357   267244  1574041 | 2147483647    20361     22 |  0.000 % |
18.09/18.15	c |     20496 |    8357   267244  1574041 | 2147483647    20496     22 |  0.000 % |
18.09/18.19	c |     20642 |    8357   267244  1574041 | 2147483647    20642     22 |  0.000 % |
18.29/18.37	c |     20803 |    8357   267244  1574041 | 2147483647    20803     22 |  0.000 % |
18.39/18.41	c |     20980 |    8357   267244  1574041 | 2147483647    20980     22 |  0.000 % |
18.39/18.48	c |     21173 |    8357   267244  1574041 | 2147483647    21173     22 |  0.000 % |
18.39/18.49	c |     21385 |    8357   267244  1574041 | 2147483647    21385     21 |  0.000 % |
18.59/18.68	c |     21619 |    8357   267244  1574041 | 2147483647    21619     22 |  0.000 % |
18.79/18.84	c |     21876 |    8357   267244  1574041 | 2147483647    21876     22 |  0.000 % |
18.79/18.89	c |     22158 |    8357   267244  1574041 | 2147483647    22158     21 |  0.000 % |
19.09/19.11	c |     22467 |    8357   267244  1574041 | 2147483647    22467     21 |  0.000 % |
19.09/19.20	c |     22808 |    8357   267244  1574041 | 2147483647    22808     21 |  0.000 % |
19.39/19.49	c |     23181 |    8357   267244  1574041 | 2147483647    23181     21 |  0.000 % |
19.59/19.65	c |     23590 |    8357   267244  1574041 | 2147483647    23590     21 |  0.000 % |
19.59/19.68	c |     23694 |    8357   267244  1574041 | 2147483647    23694     21 |  0.000 % |
19.79/19.83	c |     23806 |    8357   267244  1574041 | 2147483647    23806     21 |  0.000 % |
19.79/19.88	c |     23929 |    8357   267244  1574041 | 2147483647    23929     21 |  0.000 % |
19.89/19.97	c |     24062 |    8357   267244  1574041 | 2147483647    24062     21 |  0.000 % |
19.99/20.03	c |     24209 |    8357   267244  1574041 | 2147483647    24209     21 |  0.000 % |
19.99/20.10	c |     24370 |    8357   267244  1574041 | 2147483647    24370     21 |  0.000 % |
20.09/20.19	c |     24546 |    8357   267244  1574041 | 2147483647    24546     21 |  0.000 % |
20.19/20.24	c |     24741 |    8357   267244  1574041 | 2147483647    24741     21 |  0.000 % |
20.19/20.30	c |     24953 |    8357   267244  1574041 | 2147483647    24953     21 |  0.000 % |
20.29/20.35	c |     25186 |    8357   267244  1574041 | 2147483647    25186     21 |  0.000 % |
20.39/20.44	c |     25444 |    8357   267244  1574041 | 2147483647    25444     21 |  0.000 % |
20.39/20.50	c |     25728 |    8357   267244  1574041 | 2147483647    25728     21 |  0.000 % |
20.49/20.58	c |     26037 |    8357   267244  1574041 | 2147483647    26037     21 |  0.000 % |
20.59/20.65	c |     26378 |    8357   267244  1574041 | 2147483647    26378     21 |  0.000 % |
20.69/20.75	c |     26750 |    8357   267244  1574041 | 2147483647    26750     21 |  0.000 % |
20.79/20.90	c |     27159 |    8357   267244  1574041 | 2147483647    27159     20 |  0.000 % |
21.09/21.16	c |     27608 |    8357   267244  1574041 | 2147483647    27608     20 |  0.000 % |
21.09/21.19	c |     27712 |    8357   267244  1574041 | 2147483647    27712     20 |  0.000 % |
21.19/21.21	c |     27823 |    8357   267244  1574041 | 2147483647    27823     20 |  0.000 % |
21.19/21.26	c |     27944 |    8357   267244  1574041 | 2147483647    27944     20 |  0.000 % |
21.19/21.30	c |     28077 |    8357   267244  1574041 | 2147483647    28077     20 |  0.000 % |
21.29/21.34	c |     28223 |    8357   267244  1574041 | 2147483647    28223     20 |  0.000 % |
21.29/21.37	c |     28385 |    8357   267244  1574041 | 2147483647    28385     20 |  0.000 % |
21.39/21.43	c |     28562 |    8357   267244  1574041 | 2147483647    28562     20 |  0.000 % |
21.39/21.48	c |     28756 |    8357   267244  1574041 | 2147483647    28756     20 |  0.000 % |
21.49/21.55	c |     28969 |    8357   267244  1574041 | 2147483647    28969     20 |  0.000 % |
21.59/21.61	c |     29202 |    8357   267244  1574041 | 2147483647    29202     20 |  0.000 % |
21.59/21.68	c |     29458 |    8357   267244  1574041 | 2147483647    29458     20 |  0.000 % |
21.69/21.79	c |     29741 |    8357   267244  1574041 | 2147483647    29741     20 |  0.000 % |
21.89/21.93	c |     30053 |    8357   267244  1574041 | 2147483647    30053     20 |  0.000 % |
21.99/22.03	c |     30392 |    8357   267244  1574041 | 2147483647    30392     20 |  0.000 % |
22.09/22.16	c |     30766 |    8357   267244  1574041 | 2147483647    30766     20 |  0.000 % |
22.19/22.29	c |     31175 |    8357   267244  1574041 | 2147483647    31175     19 |  0.000 % |
22.39/22.41	c |     31625 |    8357   267244  1574041 | 2147483647    31625     19 |  0.000 % |
22.49/22.52	c |     32120 |    8357   267244  1574041 | 2147483647    32120     19 |  0.000 % |
22.49/22.55	c |     32222 |    8357   267244  1574041 | 2147483647    32222     19 |  0.000 % |
22.49/22.59	c |     32332 |    8357   267244  1574041 | 2147483647    32332     19 |  0.000 % |
22.59/22.63	c |     32453 |    8357   267244  1574041 | 2147483647    32453     19 |  0.000 % |
22.59/22.69	c |     32586 |    8357   267244  1574041 | 2147483647    32586     19 |  0.000 % |
22.69/22.73	c |     32732 |    8357   267244  1574041 | 2147483647    32732     19 |  0.000 % |
22.79/22.83	c |     32896 |    8357   267244  1574041 | 2147483647    32896     19 |  0.000 % |
22.79/22.87	c |     33072 |    8357   267244  1574041 | 2147483647    33072     19 |  0.000 % |
22.89/22.92	c |     33266 |    8357   267244  1574041 | 2147483647    33266     19 |  0.000 % |
22.99/23.01	c |     33479 |    8357   267244  1574041 | 2147483647    33479     19 |  0.000 % |
22.99/23.08	c |     33712 |    8357   267244  1574041 | 2147483647    33712     19 |  0.000 % |
23.09/23.13	c |     33969 |    8357   267244  1574041 | 2147483647    33969     19 |  0.000 % |
23.09/23.20	c |     34250 |    8357   267244  1574041 | 2147483647    34250     19 |  0.000 % |
23.29/23.35	c |     34559 |    8357   267244  1574041 | 2147483647    34559     19 |  0.000 % |
23.39/23.47	c |     34898 |    8357   267244  1574041 | 2147483647    34898     19 |  0.000 % |
23.49/23.58	c |     35270 |    8357   267244  1574041 | 2147483647    35270     18 |  0.000 % |
23.59/23.70	c |     35680 |    8357   267244  1574041 | 2147483647    35680     18 |  0.000 % |
23.69/23.80	c |     36129 |    8357   267244  1574041 | 2147483647    36129     18 |  0.000 % |
23.89/23.93	c |     36622 |    8357   267244  1574041 | 2147483647    36622     18 |  0.000 % |
23.99/24.06	c |     37166 |    8357   267244  1574041 | 2147483647    37166     18 |  0.000 % |
23.99/24.09	c |     37266 |    8357   267244  1574041 | 2147483647    37266     18 |  0.000 % |
24.09/24.17	c |     37376 |    8357   267244  1574041 | 2147483647    37376     18 |  0.000 % |
24.19/24.22	c |     37499 |    8357   267244  1574041 | 2147483647    37499     18 |  0.000 % |
24.19/24.29	c |     37636 |    8357   267244  1574041 | 2147483647    37636     18 |  0.000 % |
24.29/24.33	c |     37782 |    8357   267244  1574041 | 2147483647    37782     18 |  0.000 % |
24.29/24.37	c |     37944 |    8357   267244  1574041 | 2147483647    37944     18 |  0.000 % |
24.39/24.42	c |     38120 |    8357   267244  1574041 | 2147483647    38120     18 |  0.000 % |
24.39/24.49	c |     38319 |    8357   267244  1574041 | 2147483647    38319     18 |  0.000 % |
24.49/24.54	c |     38532 |    8357   267244  1574041 | 2147483647    38532     18 |  0.000 % |
24.59/24.63	c |     38765 |    8357   267244  1574041 | 2147483647    38765     18 |  0.000 % |
24.69/24.76	c |     39024 |    8356   267205  1573574 | 2147483647    37152     18 |  0.012 % |
24.79/24.82	c |     39305 |    8356   267205  1573574 | 2147483647    37433     18 |  0.012 % |
24.79/24.90	c |     39615 |    8356   267205  1573574 | 2147483647    37743     18 |  0.012 % |
25.09/25.11	c |     39955 |    8356   267205  1573574 | 2147483647    38083     18 |  0.012 % |
25.19/25.21	c |     40327 |    8356   267205  1573574 | 2147483647    38455     18 |  0.012 % |
25.29/25.36	c |     40738 |    8355   267205  1573574 | 2147483647    38865     18 |  0.024 % |
25.49/25.50	c |     41187 |    8355   267205  1573574 | 2147483647    39314     18 |  0.024 % |
25.59/25.63	c |     41680 |    8355   267205  1573574 | 2147483647    39807     17 |  0.024 % |
25.69/25.77	c |     42222 |    8354   267205  1573574 | 2147483647    40348     17 |  0.036 % |
25.89/25.94	c |     42820 |    8352   267205  1573574 | 2147483647    40944     17 |  0.096 % |
25.89/25.97	c |     42920 |    8351   267205  1573574 | 2147483647    41043     17 |  0.132 % |
25.99/26.00	c |     43030 |    8351   267205  1573574 | 2147483647    41153     17 |  0.132 % |
25.99/26.03	c ===============================================================================
25.99/26.03	c restarts              : 214
25.99/26.03	c conflicts             : 43105          (2492 /sec)
25.99/26.03	c decisions             : 102193         (1.65 % random) (5907 /sec)
25.99/26.03	c propagations          : 16062487       (928467 /sec)
25.99/26.03	c conflict literals     : 732847         (24.31 % deleted)
25.99/26.03	c Memory used           : 22.38 MB
25.99/26.03	c CPU time              : 17.3 s
25.99/26.03	c 
25.99/26.03	s UNSATISFIABLE
25.99/26.03	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-1820494-1242449779/watcher-1820494-1242449779 -o /tmp/evaluation-result-1820494-1242449779/solver-1820494-1242449779 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820494-1242449779.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.99 0.97 0.99 2/96 6348
/proc/meminfo: memFree=1313364/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=952 CPUtime=0
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 137 0 0 0 0 0 0 0 25 0 1 0 1009476315 974848 73 4294967295 134512640 135223648 3213446096 3213444816 134734703 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 238 79 45 174 0 63 0

[startup+0.009122 s]
/proc/loadavg: 0.99 0.97 0.99 2/96 6348
/proc/meminfo: memFree=1313364/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=1568 CPUtime=0.01
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 300 0 0 0 1 0 0 0 25 0 1 0 1009476315 1605632 236 4294967295 134512640 135223648 3213446096 3213444976 134543095 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 425 237 47 174 0 250 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3980

[startup+0.109108 s]
/proc/loadavg: 0.99 0.97 0.99 2/96 6348
/proc/meminfo: memFree=1313364/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=12784 CPUtime=0.11
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 2760 0 0 0 11 0 0 0 25 0 1 0 1009476315 13090816 2696 4294967295 134512640 135223648 3213446096 3213445048 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 3196 2696 47 174 0 3021 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15196

[startup+0.309097 s]
/proc/loadavg: 0.99 0.97 0.99 2/96 6348
/proc/meminfo: memFree=1313364/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=39384 CPUtime=0.31
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 8588 0 0 0 26 5 0 0 25 0 1 0 1009476315 40329216 8524 4294967295 134512640 135223648 3213446096 3213444680 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 9846 8527 47 174 0 9671 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 41796

[startup+0.709075 s]
/proc/loadavg: 0.99 0.97 0.99 2/96 6348
/proc/meminfo: memFree=1313364/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=54556 CPUtime=0.71
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 12445 0 0 0 66 5 0 0 25 0 1 0 1009476315 55865344 12147 4294967295 134512640 135223648 3213446096 3213444096 134548993 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 13639 12147 73 174 0 13464 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 56968

[startup+1.50903 s]
/proc/loadavg: 0.99 0.97 0.99 3/98 6353
/proc/meminfo: memFree=1262508/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=56364 CPUtime=1.51
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 12920 0 0 0 145 6 0 0 25 0 1 0 1009476315 57716736 12622 4294967295 134512640 135223648 3213446096 3213443888 134548984 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 14091 12622 73 174 0 13916 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 58776

[startup+3.10894 s]
/proc/loadavg: 0.99 0.97 0.99 3/98 6353
/proc/meminfo: memFree=1256556/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=59800 CPUtime=3.11
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 13771 0 0 0 304 7 0 0 25 0 1 0 1009476315 61235200 13473 4294967295 134512640 135223648 3213446096 3213444096 134548489 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 14950 13473 73 174 0 14775 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 62212

[startup+6.30876 s]
/proc/loadavg: 0.99 0.97 0.99 3/98 6353
/proc/meminfo: memFree=1239444/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2412 CPUtime=0
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1009476314 2469888 276 4294967295 134512640 135169312 3217170288 3217168824 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 603 276 235 161 0 42 0
[pid=6352] ppid=6348 vsize=70676 CPUtime=6.31
/proc/6352/stat : 6352 (SatELite_releas) R 6348 6348 11066 0 -1 4202496 16336 0 0 0 623 8 0 0 25 0 1 0 1009476315 72372224 15854 4294967295 134512640 135223648 3213446096 3213444192 134585510 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6352/statm: 17669 15854 73 174 0 17494 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 73088

[startup+12.7084 s]
/proc/loadavg: 0.99 0.97 0.99 2/98 6540
/proc/meminfo: memFree=1272140/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2416 CPUtime=8.64
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 385 17946 0 0 0 0 853 11 25 0 1 0 1009476314 2473984 278 4294967295 134512640 135169312 3217170288 3217166504 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 604 278 235 161 0 43 0
[pid=6539] ppid=6348 vsize=19244 CPUtime=4.05
/proc/6539/stat : 6539 (minisat_static) R 6348 6348 11066 0 -1 4202496 4703 0 0 0 398 7 0 0 25 0 1 0 1009477181 19705856 4637 4294967295 134512640 135215339 3217319904 3217317968 134538302 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6539/statm: 4811 4637 73 172 0 4638 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21660

[startup+25.5077 s]
/proc/loadavg: 0.99 0.97 0.99 2/98 6542
/proc/meminfo: memFree=1268672/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2416 CPUtime=8.64
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 385 17946 0 0 0 0 853 11 25 0 1 0 1009476314 2473984 278 4294967295 134512640 135169312 3217170288 3217166504 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 604 278 235 161 0 43 0
[pid=6539] ppid=6348 vsize=22652 CPUtime=16.85
/proc/6539/stat : 6539 (minisat_static) R 6348 6348 11066 0 -1 4202496 5557 0 0 0 1678 7 0 0 25 0 1 0 1009477181 23195648 5491 4294967295 134512640 135215339 3217319904 3217318192 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6539/statm: 5663 5491 73 172 0 5490 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25068

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

[startup+25.9077 s]
/proc/loadavg: 0.99 0.97 0.99 2/98 6542
/proc/meminfo: memFree=1268672/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2416 CPUtime=8.64
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 385 17946 0 0 0 0 853 11 25 0 1 0 1009476314 2473984 278 4294967295 134512640 135169312 3217170288 3217166504 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 604 278 235 161 0 43 0
[pid=6539] ppid=6348 vsize=22828 CPUtime=17.25
/proc/6539/stat : 6539 (minisat_static) R 6348 6348 11066 0 -1 4202496 5571 0 0 0 1718 7 0 0 25 0 1 0 1009477181 23375872 5505 4294967295 134512640 135215339 3217319904 3217318192 134528688 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6539/statm: 5707 5505 73 172 0 5534 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 25244

[startup+26.0077 s]
/proc/loadavg: 0.99 0.97 0.99 2/98 6542
/proc/meminfo: memFree=1268672/2074464 swapFree=1950760/1959888
[pid=6348] ppid=6346 vsize=2416 CPUtime=8.64
/proc/6348/stat : 6348 (SatELiteGTI) S 6346 6348 11066 0 -1 4194304 385 17946 0 0 0 0 853 11 25 0 1 0 1009476314 2473984 278 4294967295 134512640 135169312 3217170288 3217166504 3085111022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6348/statm: 604 278 235 161 0 43 0
[pid=6539] ppid=6348 vsize=22908 CPUtime=17.35
/proc/6539/stat : 6539 (minisat_static) R 6348 6348 11066 0 -1 4202496 5577 0 0 0 1728 7 0 0 25 0 1 0 1009477181 23457792 5511 4294967295 134512640 135215339 3217319904 3217318192 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6539/statm: 5727 5511 73 172 0 5554 0
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (KiB) 25324

Child status: 20
Real time (s): 26.0539
CPU time (s): 26.03
CPU user time (s): 25.83
CPU system time (s): 0.2
CPU usage (%): 99.9084
Max. virtual memory (cumulated for all children) (KiB): 73920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.83
system time used= 0.2
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24188
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= 25
involuntary context switches= 97

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 06:56:19
IDJOB=1820494
IDBENCH=20420
IDSOLVER=657
FILE ID=tipi23/1820494-1242449779
PBS_JOBID=
Free space on /tmp= 9769 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/uts/uts-l05-ipc5-h27-unknown.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820494-1242449779/watcher-1820494-1242449779 -o /tmp/evaluation-result-1820494-1242449779/solver-1820494-1242449779 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820494-1242449779.cnf

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

MD5SUM BENCH= 7634252332633927f116161c1beb6151
RANDOM SEED= 1306924268

Linux tipi23 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.377
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.38

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

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.377
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:       1313868 kB
Buffers:         35732 kB
Cached:         625948 kB
SwapCached:       3700 kB
Active:         315328 kB
Inactive:       358228 kB
HighTotal:     1178688 kB
HighFree:       546684 kB
LowTotal:       895776 kB
LowFree:        767184 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            9460 kB
Writeback:          12 kB
AnonPages:       11172 kB
Mapped:           4472 kB
Slab:            78264 kB
PageTables:        544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9769 MiB
End job on tipi23 at 2009-05-16 06:56:46