Trace number 1820482

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 180.36 180.399

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.78	c ==============================================================================
0.72/0.78	c |           |     ORIGINAL     |              LEARNT              |          |
0.72/0.78	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.72/0.78	c ==============================================================================
0.72/0.78	c |         0 |  837166  2167854 |  251149       0        0     nan |  0.000 % |
22.22/22.29	c |         0 |  510801  3267506 |      --       0       --      -- |     --   | -326365/1099652
22.22/22.29	c ==============================================================================
22.22/22.29	c Result  :   #vars: 12778   #clauses: 510801   #literals: 3267506
22.22/22.29	c CPU time:   22.06 s
22.22/22.29	c ==============================================================================
23.28/23.33	c This is MiniSat 2.0 beta
23.28/23.33	c WARNING: for repeatability, setting FPU to use double precision
23.28/23.33	c ============================[ Problem Statistics ]=============================
23.28/23.33	c |                                                                             |
23.28/23.34	c |  Number of variables:  12778                                                |
23.28/23.34	c |  Number of clauses:    510801                                               |
23.29/23.83	c |  Parsing time:         0.46         s                                       |
23.29/23.86	c ============================[ Search Statistics ]==============================
23.29/23.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.29/23.86	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
23.29/23.86	c ===============================================================================
23.29/23.86	c |         0 |   12778   510801  3267506 |   170267        0    nan |  0.000 % |
23.29/24.03	c |       100 |   12778   510801  3267506 |   170267      100     11 |  0.000 % |
24.18/24.23	c |       200 |   12778   510801  3267506 |   170267      200     16 |  0.000 % |
24.18/24.30	c |       300 |   12778   510801  3267506 |   170267      300     52 |  0.000 % |
24.28/24.35	c |       410 |   12778   510801  3267506 |   170267      410     43 |  0.000 % |
24.28/24.37	c |       511 |   12778   510801  3267506 |   170267      511     36 |  0.000 % |
24.48/24.52	c |       622 |   12778   510801  3267506 |   170267      622     34 |  0.000 % |
24.68/24.73	c |       744 |   12778   510801  3267506 |   170267      744     33 |  0.000 % |
24.68/24.77	c |       844 |   12778   510801  3267506 |   170267      844     65 |  0.000 % |
24.78/24.82	c |       954 |   12777   510801  3267506 |   170267      953     70 |  0.031 % |
24.78/24.84	c |      1075 |   12777   510801  3267506 |   170267     1074     64 |  0.031 % |
24.78/24.86	c |      1208 |   12777   510801  3267506 |   170267     1207     59 |  0.031 % |
24.98/25.03	c |      1308 |   12777   510801  3267506 |   170267     1307     56 |  0.031 % |
24.98/25.11	c |      1418 |   12777   510801  3267506 |   170267     1417     55 |  0.031 % |
25.08/25.14	c |      1539 |   12777   510801  3267506 |   170267     1537     51 |  0.063 % |
25.08/25.18	c |      1677 |   12777   510801  3267506 |   170267     1675     49 |  0.063 % |
25.18/25.24	c |      1824 |   12777   510801  3267506 |   170267     1822     48 |  0.063 % |
25.28/25.34	c |      1924 |   12777   510801  3267506 |   170267     1922     47 |  0.063 % |
25.38/25.42	c |      2037 |   12777   510801  3267506 |   170267     2035     46 |  0.063 % |
25.38/25.47	c |      2158 |   12777   510801  3267506 |   170267     2156     44 |  0.063 % |
25.48/25.56	c |      2292 |   12777   510801  3267506 |   170267     2290     45 |  0.063 % |
25.58/25.67	c |      2448 |   12777   510801  3267506 |   170267     2446     43 |  0.063 % |
25.58/25.71	c |      2609 |   12777   510801  3267506 |   170267     2607     41 |  0.063 % |
25.78/25.85	c |      2709 |   12777   510801  3267506 |   170267     2707     41 |  0.063 % |
25.88/25.94	c |      2820 |   12777   510801  3267506 |   170267     2818     40 |  0.063 % |
25.98/26.11	c |      2943 |   12777   510801  3267506 |   170267     2941     39 |  0.063 % |
26.08/26.20	c |      3077 |   12777   510801  3267506 |   170267     3075     40 |  0.063 % |
26.18/26.30	c |      3226 |   12777   510801  3267506 |   170267     3224     39 |  0.063 % |
26.28/26.40	c |      3386 |   12777   510801  3267506 |   170267     3384     38 |  0.063 % |
26.38/26.47	c |      3562 |   12777   510801  3267506 |   170267     3560     37 |  0.063 % |
26.48/26.57	c |      3663 |   12777   510801  3267506 |   170267     3661     37 |  0.063 % |
26.58/26.64	c |      3773 |   12777   510801  3267506 |   170267     3771     36 |  0.063 % |
26.68/26.77	c |      3896 |   12777   510801  3267506 |   170267     3894     36 |  0.063 % |
26.78/26.89	c |      4030 |   12777   510801  3267506 |   170267     4028     35 |  0.063 % |
26.88/26.94	c |      4177 |   12777   510801  3267506 |   170267     4175     34 |  0.063 % |
26.88/26.99	c |      4337 |   12777   510801  3267506 |   170267     4335     34 |  0.063 % |
26.98/27.04	c |      4513 |   12777   510801  3267506 |   170267     4511     33 |  0.063 % |
27.08/27.12	c |      4707 |   12777   510801  3267506 |   170267     4705     32 |  0.063 % |
27.08/27.19	c |      4807 |   12777   510801  3267506 |   170267     4805     32 |  0.063 % |
27.28/27.32	c |      4925 |   12777   510801  3267506 |   170267     4923     36 |  0.063 % |
27.28/27.40	c |      5047 |   12777   510801  3267506 |   170267     5045     39 |  0.063 % |
27.48/27.52	c |      5182 |   12777   510801  3267506 |   170267     5180     38 |  0.063 % |
27.58/27.63	c |      5331 |   12777   510801  3267506 |   170267     5329     38 |  0.063 % |
27.68/27.72	c |      5491 |   12770   510484  3265605 |   170267     5489     37 |  0.063 % |
27.68/27.81	c |      5667 |   12770   510484  3265605 |   170267     5665     37 |  0.063 % |
27.98/28.07	c |      5860 |   12770   510484  3265605 |   170267     5858     37 |  0.063 % |
28.08/28.19	c |      6072 |   12770   510484  3265605 |   170267     6070     38 |  0.063 % |
28.18/28.28	c |      6173 |   12770   510484  3265605 |   170267     6171     38 |  0.063 % |
28.28/28.41	c |      6285 |   12770   510484  3265605 |   170267     6283     37 |  0.063 % |
28.38/28.43	c |      6409 |   12770   510484  3265605 |   170267     6407     37 |  0.063 % |
28.48/28.61	c |      6542 |   12770   510484  3265605 |   170267     6540     37 |  0.063 % |
28.58/28.71	c |      6690 |   12770   510484  3265605 |   170267     6688     36 |  0.063 % |
28.68/28.74	c |      6850 |   12770   510484  3265605 |   170267     6848     36 |  0.063 % |
28.88/28.99	c |      7026 |   12770   510484  3265605 |   170267     7024     35 |  0.063 % |
29.28/29.34	c |      7219 |   12770   510484  3265605 |   170267     7217     36 |  0.063 % |
29.48/29.57	c |      7433 |   12770   510484  3265605 |   170267     7431     35 |  0.063 % |
29.78/29.89	c |      7666 |   12770   510484  3265605 |   170267     7664     35 |  0.063 % |
29.98/30.04	c |      7767 |   12770   510484  3265605 |   170267     7765     35 |  0.063 % |
30.08/30.16	c |      7877 |   12770   510484  3265605 |   170267     7875     35 |  0.063 % |
30.08/30.20	c |      7999 |   12770   510484  3265605 |   170267     7997     35 |  0.063 % |
30.18/30.24	c |      8134 |   12770   510484  3265605 |   170267     8132     35 |  0.063 % |
30.38/30.44	c |      8280 |   12770   510484  3265605 |   170267     8278     35 |  0.063 % |
30.48/30.54	c |      8440 |   12770   510484  3265605 |   170267     8438     35 |  0.063 % |
30.58/30.65	c |      8616 |   12770   510484  3265605 |   170267     8614     34 |  0.063 % |
30.68/30.72	c |      8811 |   12770   510484  3265605 |   170267     8809     37 |  0.063 % |
30.78/30.90	c |      9024 |   12770   510484  3265605 |   170267     9022     41 |  0.063 % |
31.28/31.40	c |      9266 |   12770   510484  3265605 |   170267     9264     42 |  0.063 % |
31.98/32.04	c |      9531 |   12770   510484  3265605 |   170267     9529     43 |  0.063 % |
32.08/32.19	c |      9631 |   12770   510484  3265605 |   170267     9629     43 |  0.063 % |
32.08/32.21	c |      9741 |   12770   510484  3265605 |   170267     9739     43 |  0.063 % |
32.18/32.26	c |      9862 |   12770   510484  3265605 |   170267     9860     43 |  0.063 % |
32.28/32.35	c |      9996 |   12770   510484  3265605 |   170267     9994     42 |  0.063 % |
32.28/32.39	c |     10148 |   12770   510484  3265605 | 2147483647    10146     42 |  0.063 % |
32.38/32.48	c |     10308 |   12770   510484  3265605 | 2147483647    10306     42 |  0.063 % |
32.68/32.72	c |     10485 |   12770   510484  3265605 | 2147483647    10483     41 |  0.063 % |
32.98/33.03	c |     10681 |   12770   510484  3265605 | 2147483647    10679     41 |  0.063 % |
33.38/33.43	c |     10898 |   12770   510484  3265605 | 2147483647    10896     42 |  0.063 % |
33.68/33.74	c |     11136 |   12770   510484  3265605 | 2147483647    11134     42 |  0.063 % |
33.78/33.82	c |     11393 |   12770   510484  3265605 | 2147483647    11391     41 |  0.063 % |
34.08/34.19	c |     11674 |   12770   510484  3265605 | 2147483647    11672     41 |  0.063 % |
34.18/34.31	c |     11774 |   12770   510484  3265605 | 2147483647    11772     41 |  0.063 % |
34.28/34.40	c |     11885 |   12770   510484  3265605 | 2147483647    11883     41 |  0.063 % |
34.38/34.47	c |     12008 |   12770   510484  3265605 | 2147483647    12006     40 |  0.063 % |
34.48/34.52	c |     12141 |   12770   510484  3265605 | 2147483647    12139     40 |  0.063 % |
34.58/34.64	c |     12287 |   12770   510484  3265605 | 2147483647    12285     40 |  0.063 % |
34.68/34.78	c |     12449 |   12770   510484  3265605 | 2147483647    12447     40 |  0.063 % |
34.78/34.90	c |     12626 |   12770   510484  3265605 | 2147483647    12624     39 |  0.063 % |
34.98/35.04	c |     12826 |   12770   510484  3265605 | 2147483647    12824     39 |  0.063 % |
35.08/35.20	c |     13039 |   12770   510484  3265605 | 2147483647    13037     39 |  0.063 % |
35.18/35.25	c |     13273 |   12770   510484  3265605 | 2147483647    13271     39 |  0.063 % |
35.38/35.43	c |     13529 |   12770   510484  3265605 | 2147483647    13527     38 |  0.063 % |
35.68/35.77	c |     13818 |   12770   510484  3265605 | 2147483647    13816     38 |  0.063 % |
35.88/35.98	c |     14127 |   12770   510484  3265605 | 2147483647    14125     38 |  0.063 % |
35.98/36.11	c |     14228 |   12770   510484  3265605 | 2147483647    14226     38 |  0.063 % |
36.08/36.17	c |     14348 |   12770   510484  3265605 | 2147483647    14346     38 |  0.063 % |
36.18/36.25	c |     14469 |   12770   510484  3265605 | 2147483647    14467     38 |  0.063 % |
36.28/36.34	c |     14603 |   12770   510484  3265605 | 2147483647    14601     37 |  0.063 % |
36.38/36.46	c |     14750 |   12770   510484  3265605 | 2147483647    14748     37 |  0.063 % |
36.48/36.60	c |     14910 |   12770   510484  3265605 | 2147483647    14908     38 |  0.063 % |
36.68/36.75	c |     15088 |   12770   510484  3265605 | 2147483647    15086     38 |  0.063 % |
36.78/36.90	c |     15283 |   12770   510484  3265605 | 2147483647    15281     37 |  0.063 % |
36.98/37.06	c |     15496 |   12770   510484  3265605 | 2147483647    15494     37 |  0.063 % |
37.08/37.13	c |     15731 |   12770   510484  3265605 | 2147483647    15729     37 |  0.063 % |
37.28/37.32	c |     15988 |   12770   510484  3265605 | 2147483647    15986     36 |  0.063 % |
37.58/37.71	c |     16271 |   12770   510484  3265605 | 2147483647    16269     36 |  0.063 % |
38.18/38.26	c |     16580 |   12770   510484  3265605 | 2147483647    16578     37 |  0.063 % |
38.38/38.48	c |     16919 |   12770   510484  3265605 | 2147483647    16917     37 |  0.063 % |
38.48/38.56	c |     17021 |   12770   510484  3265605 | 2147483647    17019     37 |  0.063 % |
38.58/38.65	c |     17131 |   12770   510484  3265605 | 2147483647    17129     37 |  0.063 % |
38.68/38.78	c |     17259 |   12770   510484  3265605 | 2147483647    17257     36 |  0.063 % |
38.78/38.84	c |     17395 |   12770   510484  3265605 | 2147483647    17393     37 |  0.063 % |
38.78/38.91	c |     17542 |   12770   510484  3265605 | 2147483647    17540     37 |  0.063 % |
38.88/38.98	c |     17706 |   12770   510484  3265605 | 2147483647    17704     37 |  0.063 % |
38.98/39.08	c |     17882 |   12770   510484  3265605 | 2147483647    17880     37 |  0.063 % |
39.18/39.22	c |     18076 |   12770   510484  3265605 | 2147483647    18074     37 |  0.063 % |
39.38/39.46	c |     18291 |   12770   510484  3265605 | 2147483647    18289     37 |  0.063 % |
39.68/39.79	c |     18526 |   12770   510484  3265605 | 2147483647    18524     38 |  0.063 % |
39.88/39.99	c |     18784 |   12770   510484  3265605 | 2147483647    18782     38 |  0.063 % |
40.18/40.29	c |     19065 |   12770   510484  3265605 | 2147483647    19063     38 |  0.063 % |
40.28/40.37	c |     19375 |   12770   510484  3265605 | 2147483647    19373     38 |  0.063 % |
40.48/40.60	c |     19714 |   12762   510337  3264425 | 2147483647    19709     38 |  0.157 % |
40.88/40.98	c |     20086 |   12762   510337  3264425 | 2147483647    20081     38 |  0.157 % |
40.98/41.09	c |     20190 |   12762   510337  3264425 | 2147483647    20185     38 |  0.157 % |
41.08/41.17	c |     20300 |   12762   510337  3264425 | 2147483647    20295     38 |  0.157 % |
41.18/41.24	c |     20423 |   12762   510337  3264425 | 2147483647    20418     38 |  0.157 % |
41.28/41.34	c |     20556 |   12762   510337  3264425 | 2147483647    20551     37 |  0.157 % |
41.28/41.40	c |     20706 |   12762   510337  3264425 | 2147483647    20701     37 |  0.157 % |
41.38/41.43	c |     20868 |   12762   510337  3264425 | 2147483647    20863     37 |  0.157 % |
41.38/41.49	c |     21044 |   12762   510337  3264425 | 2147483647    21039     37 |  0.157 % |
41.48/41.59	c |     21237 |   12762   510337  3264425 | 2147483647    21231     37 |  0.188 % |
41.68/41.72	c |     21449 |   12762   510337  3264425 | 2147483647    21443     37 |  0.188 % |
41.88/41.95	c |     21685 |   12762   510337  3264425 | 2147483647    21679     37 |  0.188 % |
42.08/42.19	c |     21942 |   12762   510337  3264425 | 2147483647    21936     37 |  0.188 % |
42.48/42.52	c |     22223 |   12762   510337  3264425 | 2147483647    22217     37 |  0.188 % |
42.68/42.81	c |     22532 |   12762   510337  3264425 | 2147483647    22526     37 |  0.188 % |
42.98/43.10	c |     22871 |   12762   510337  3264425 | 2147483647    22865     36 |  0.188 % |
43.58/43.70	c |     23246 |   12762   510337  3264425 | 2147483647    23240     36 |  0.188 % |
44.18/44.26	c |     23656 |   12762   510337  3264425 | 2147483647    23650     36 |  0.188 % |
44.28/44.32	c |     23757 |   12762   510337  3264425 | 2147483647    23751     36 |  0.188 % |
44.38/44.44	c |     23867 |   12762   510337  3264425 | 2147483647    23861     36 |  0.188 % |
44.48/44.59	c |     23988 |   12762   510337  3264425 | 2147483647    23982     36 |  0.188 % |
44.58/44.66	c |     24125 |   12762   510337  3264425 | 2147483647    24119     36 |  0.188 % |
44.68/44.72	c |     24272 |   12762   510337  3264425 | 2147483647    24266     36 |  0.188 % |
44.68/44.78	c |     24433 |   12762   510337  3264425 | 2147483647    24427     36 |  0.188 % |
44.88/44.95	c |     24609 |   12762   510337  3264425 | 2147483647    24603     35 |  0.188 % |
45.18/45.23	c |     24803 |   12754   509918  3261219 | 2147483647    24797     35 |  0.188 % |
45.28/45.36	c |     25015 |   12754   509918  3261219 | 2147483647    25009     36 |  0.188 % |
45.38/45.51	c |     25248 |   12753   509918  3261219 | 2147483647    25241     35 |  0.243 % |
45.58/45.64	c |     25504 |   12753   509918  3261219 | 2147483647    25497     35 |  0.243 % |
45.68/45.77	c |     25786 |   12753   509918  3261219 | 2147483647    25779     35 |  0.243 % |
45.78/45.87	c |     26097 |   12753   509918  3261219 | 2147483647    26090     35 |  0.243 % |
45.88/45.96	c |     26436 |   12753   509918  3261219 | 2147483647    26429     35 |  0.243 % |
45.98/46.10	c |     26808 |   12753   509918  3261219 | 2147483647    26801     35 |  0.243 % |
46.18/46.29	c |     27217 |   12753   509918  3261219 | 2147483647    27210     35 |  0.243 % |
46.38/46.45	c |     27666 |   12753   509918  3261219 | 2147483647    27659     35 |  0.243 % |
46.38/46.47	c |     27768 |   12753   509918  3261219 | 2147483647    27761     35 |  0.243 % |
46.48/46.60	c |     27881 |   12753   509918  3261219 | 2147483647    27874     35 |  0.243 % |
46.58/46.70	c |     28002 |   12753   509918  3261219 | 2147483647    27995     35 |  0.243 % |
46.78/46.86	c |     28135 |   12753   509918  3261219 | 2147483647    28128     35 |  0.243 % |
46.88/46.98	c |     28281 |   12753   509918  3261219 | 2147483647    28274     35 |  0.243 % |
46.98/47.02	c |     28444 |   12753   509918  3261219 | 2147483647    28437     34 |  0.243 % |
46.98/47.06	c |     28620 |   12753   509918  3261219 | 2147483647    28613     34 |  0.243 % |
47.08/47.19	c |     28816 |   12753   509918  3261219 | 2147483647    28809     34 |  0.243 % |
47.28/47.33	c |     29028 |   12753   509918  3261219 | 2147483647    29021     34 |  0.243 % |
47.38/47.46	c |     29261 |   12753   509918  3261219 | 2147483647    29254     34 |  0.243 % |
47.48/47.53	c |     29517 |   12753   509918  3261219 | 2147483647    29510     34 |  0.243 % |
47.48/47.59	c |     29798 |   12753   509918  3261219 | 2147483647    29791     34 |  0.243 % |
47.58/47.66	c |     30111 |   12753   509918  3261219 | 2147483647    30104     34 |  0.243 % |
47.98/48.04	c |     30451 |   12753   509918  3261219 | 2147483647    30444     34 |  0.243 % |
48.18/48.27	c |     30823 |   12753   509918  3261219 | 2147483647    30816     33 |  0.243 % |
48.48/48.53	c |     31232 |   12753   509918  3261219 | 2147483647    31225     33 |  0.243 % |
48.78/48.86	c |     31684 |   12753   509918  3261219 | 2147483647    31677     34 |  0.243 % |
49.48/49.52	c |     32178 |   12753   509918  3261219 | 2147483647    32171     34 |  0.243 % |
49.48/49.55	c |     32278 |   12753   509918  3261219 | 2147483647    32271     34 |  0.243 % |
49.48/49.57	c |     32390 |   12753   509918  3261219 | 2147483647    32383     34 |  0.243 % |
49.48/49.59	c |     32513 |   12753   509918  3261219 | 2147483647    32506     34 |  0.243 % |
49.58/49.64	c |     32646 |   12753   509918  3261219 | 2147483647    32639     34 |  0.243 % |
49.78/49.84	c |     32795 |   12753   509918  3261219 | 2147483647    32788     34 |  0.243 % |
49.98/50.08	c |     32956 |   12747   509592  3259382 | 2147483647    32948     34 |  0.243 % |
50.38/50.49	c |     33138 |   12747   509592  3259382 | 2147483647    33130     34 |  0.243 % |
50.88/50.99	c |     33332 |   12747   509592  3259382 | 2147483647    33324     34 |  0.243 % |
51.08/51.14	c |     33545 |   12747   509592  3259382 | 2147483647    33537     35 |  0.243 % |
51.38/51.42	c |     33782 |   12747   509592  3259382 | 2147483647    33774     35 |  0.243 % |
51.58/51.62	c |     34038 |   12745   509592  3259382 | 2147483647    34029     35 |  0.282 % |
51.68/51.73	c |     34320 |   12745   509592  3259382 | 2147483647    34311     34 |  0.282 % |
51.88/52.01	c |     34630 |   12745   509592  3259382 | 2147483647    34621     34 |  0.282 % |
52.58/52.65	c |     34969 |   12745   509592  3259382 | 2147483647    34960     34 |  0.282 % |
53.08/53.17	c |     35343 |   12745   509592  3259382 | 2147483647    35334     35 |  0.282 % |
53.78/53.83	c |     35753 |   12745   509592  3259382 | 2147483647    35744     35 |  0.282 % |
54.48/54.58	c |     36214 |   12745   509592  3259382 | 2147483647    36205     36 |  0.282 % |
54.88/54.96	c |     36707 |   12745   509592  3259382 | 2147483647    36698     36 |  0.282 % |
55.08/55.12	c |     37249 |   12745   509592  3259382 | 2147483647    37240     36 |  0.282 % |
55.18/55.26	c |     37350 |   12745   509592  3259382 | 2147483647    37341     35 |  0.282 % |
55.28/55.39	c |     37462 |   12745   509592  3259382 | 2147483647    37453     36 |  0.282 % |
55.58/55.63	c |     37583 |   12745   509592  3259382 | 2147483647    37574     36 |  0.282 % |
55.58/55.70	c |     37716 |   12745   509592  3259382 | 2147483647    37707     36 |  0.283 % |
55.68/55.77	c |     37863 |   12742   509592  3259382 | 2147483647    37851     36 |  0.368 % |
55.88/55.95	c |     38024 |   12742   509592  3259382 | 2147483647    38012     36 |  0.368 % |
55.88/56.01	c |     38201 |   12742   509592  3259382 | 2147483647    38189     36 |  0.368 % |
56.08/56.13	c |     38394 |   12742   509592  3259382 | 2147483647    38382     36 |  0.368 % |
56.48/56.55	c |     38607 |   12731   509188  3255051 | 2147483647    38595     35 |  0.368 % |
56.68/56.76	c |     38841 |   12731   509188  3255051 | 2147483647    38829     35 |  0.368 % |
56.78/56.85	c |     39098 |   12731   509188  3255051 | 2147483647    39086     35 |  0.368 % |
56.88/56.96	c |     39379 |   12731   509188  3255051 | 2147483647    39367     35 |  0.368 % |
57.08/57.20	c |     39688 |   12731   509188  3255051 | 2147483647    39676     35 |  0.368 % |
57.58/57.68	c |     40029 |   12731   509188  3255051 | 2147483647    40017     35 |  0.368 % |
57.78/57.83	c |     40402 |   12731   509188  3255051 | 2147483647    40390     35 |  0.368 % |
57.88/57.93	c |     40811 |   12731   509188  3255051 | 2147483647    40799     35 |  0.368 % |
58.08/58.13	c |     41260 |   12731   509188  3255051 | 2147483647    41248     35 |  0.368 % |
58.78/58.82	c |     41755 |   12731   509188  3255051 | 2147483647    41743     34 |  0.368 % |
58.98/59.07	c |     42297 |   12731   509188  3255051 | 2147483647    42285     34 |  0.368 % |
59.28/59.36	c |     42894 |   12731   509188  3255051 | 2147483647    42882     34 |  0.368 % |
59.28/59.38	c |     42994 |   12731   509188  3255051 | 2147483647    42982     34 |  0.368 % |
59.38/59.42	c |     43105 |   12731   509188  3255051 | 2147483647    43093     34 |  0.368 % |
59.48/59.56	c |     43226 |   12731   509188  3255051 | 2147483647    43214     34 |  0.368 % |
59.58/59.63	c |     43360 |   12731   509188  3255051 | 2147483647    43348     34 |  0.368 % |
59.68/59.81	c |     43506 |   12731   509188  3255051 | 2147483647    43494     34 |  0.368 % |
59.78/59.85	c |     43667 |   12731   509188  3255051 | 2147483647    43655     34 |  0.368 % |
59.88/59.95	c |     43843 |   12731   509188  3255051 | 2147483647    43831     34 |  0.368 % |
60.08/60.21	c |     44036 |   12731   509188  3255051 | 2147483647    44024     34 |  0.368 % |
60.18/60.30	c |     44254 |   12731   509188  3255051 | 2147483647    44242     34 |  0.368 % |
60.38/60.46	c |     44489 |   12731   509188  3255051 | 2147483647    44477     34 |  0.368 % |
60.48/60.58	c |     44748 |   12731   509188  3255051 | 2147483647    44736     34 |  0.368 % |
60.68/60.71	c |     45030 |   12731   509188  3255051 | 2147483647    45018     34 |  0.368 % |
60.78/60.82	c |     45339 |   12731   509188  3255051 | 2147483647    45327     34 |  0.368 % |
61.18/61.23	c |     45679 |   12731   509188  3255051 | 2147483647    45667     33 |  0.368 % |
61.68/61.77	c |     46054 |   12731   509188  3255051 | 2147483647    46042     33 |  0.368 % |
62.08/62.16	c |     46465 |   12730   509188  3255051 | 2147483647    46452     33 |  0.376 % |
62.68/62.74	c |     46917 |   12730   509135  3254365 | 2147483647    46395     34 |  0.376 % |
63.08/63.15	c |     47410 |   12730   509135  3254365 | 2147483647    46888     34 |  0.376 % |
63.38/63.47	c |     47952 |   12730   509135  3254365 | 2147483647    47430     34 |  0.376 % |
63.68/63.74	c |     48548 |   12729   509135  3254365 | 2147483647    48025     33 |  0.384 % |
64.08/64.18	c |     49204 |   12729   509135  3254365 | 2147483647    48681     33 |  0.383 % |
64.18/64.26	c |     49306 |   12729   509135  3254365 | 2147483647    48783     33 |  0.383 % |
64.28/64.36	c |     49418 |   12729   509135  3254365 | 2147483647    48895     33 |  0.383 % |
64.38/64.48	c |     49539 |   12729   509135  3254365 | 2147483647    49016     33 |  0.383 % |
64.48/64.53	c |     49672 |   12729   509135  3254365 | 2147483647    49149     33 |  0.383 % |
64.68/64.72	c |     49818 |   12729   509135  3254365 | 2147483647    49295     33 |  0.383 % |
64.78/64.90	c |     49981 |   12729   509135  3254365 | 2147483647    49458     33 |  0.383 % |
64.98/65.04	c |     50157 |   12729   509135  3254365 | 2147483647    49634     33 |  0.384 % |
65.08/65.19	c |     50350 |   12729   509135  3254365 | 2147483647    49826     33 |  0.415 % |
65.38/65.44	c |     50565 |   12729   509135  3254365 | 2147483647    50041     33 |  0.415 % |
65.58/65.69	c |     50798 |   12729   509135  3254365 | 2147483647    50274     33 |  0.415 % |
65.88/65.94	c |     51054 |   12729   509135  3254365 | 2147483647    50530     33 |  0.415 % |
66.08/66.13	c |     51335 |   12729   509135  3254365 | 2147483647    50811     33 |  0.415 % |
66.18/66.26	c |     51644 |   12729   509135  3254365 | 2147483647    51120     33 |  0.415 % |
66.38/66.45	c |     51983 |   12729   509135  3254365 | 2147483647    51459     33 |  0.415 % |
66.58/66.64	c |     52355 |   12729   509135  3254365 | 2147483647    51831     32 |  0.415 % |
66.98/67.04	c |     52765 |   12729   509135  3254365 | 2147483647    52241     32 |  0.415 % |
67.18/67.23	c |     53214 |   12729   509135  3254365 | 2147483647    52690     32 |  0.415 % |
67.68/67.73	c |     53709 |   12729   509135  3254365 | 2147483647    53185     32 |  0.415 % |
68.08/68.16	c |     54251 |   12729   509135  3254365 | 2147483647    53727     32 |  0.415 % |
68.48/68.53	c |     54847 |   12729   509135  3254365 | 2147483647    54323     32 |  0.415 % |
68.68/68.72	c |     55503 |   12729   509135  3254365 | 2147483647    54979     32 |  0.415 % |
68.98/69.03	c |     56225 |   12725   508951  3253035 | 2147483647    55409     31 |  0.415 % |
68.98/69.07	c |     56325 |   12725   508951  3253035 | 2147483647    55509     31 |  0.415 % |
68.98/69.10	c |     56436 |   12725   508951  3253035 | 2147483647    55620     31 |  0.415 % |
69.08/69.15	c |     56557 |   12725   508951  3253035 | 2147483647    55741     31 |  0.415 % |
69.28/69.40	c |     56690 |   12725   508951  3253035 | 2147483647    55874     31 |  0.415 % |
69.58/69.69	c |     56836 |   12725   508951  3253035 | 2147483647    56020     31 |  0.415 % |
69.68/69.80	c |     56996 |   12725   508951  3253035 | 2147483647    56180     31 |  0.415 % |
69.88/70.01	c |     57174 |   12725   508951  3253035 | 2147483647    56358     31 |  0.415 % |
70.18/70.27	c |     57375 |   12725   508951  3253035 | 2147483647    56559     31 |  0.415 % |
70.28/70.39	c |     57587 |   12725   508951  3253035 | 2147483647    56771     31 |  0.415 % |
70.48/70.59	c |     57823 |   12725   508951  3253035 | 2147483647    57007     31 |  0.415 % |
70.78/70.88	c |     58080 |   12725   508951  3253035 | 2147483647    57264     31 |  0.415 % |
70.98/71.11	c |     58361 |   12725   508951  3253035 | 2147483647    57545     31 |  0.415 % |
71.28/71.40	c |     58670 |   12725   508951  3253035 | 2147483647    57854     31 |  0.415 % |
71.68/71.78	c |     59009 |   12725   508951  3253035 | 2147483647    58193     31 |  0.415 % |
72.08/72.21	c |     59381 |   12725   508951  3253035 | 2147483647    58565     31 |  0.415 % |
72.58/72.71	c |     59791 |   12725   508951  3253035 | 2147483647    58974     31 |  0.438 % |
73.38/73.46	c |     60241 |   12724   508951  3253035 | 2147483647    59424     32 |  0.438 % |
73.68/73.75	c |     60734 |   12724   508951  3253035 | 2147483647    59917     31 |  0.438 % |
74.08/74.11	c |     61276 |   12724   508951  3253035 | 2147483647    60459     31 |  0.438 % |
74.28/74.37	c |     61873 |   12724   508951  3253035 | 2147483647    61056     31 |  0.438 % |
74.98/75.07	c |     62528 |   12724   508951  3253035 | 2147483647    61711     31 |  0.438 % |
75.28/75.35	c |     63248 |   12724   508951  3253035 | 2147483647    62431     31 |  0.438 % |
76.28/76.35	c |     64040 |   12724   508951  3253035 | 2147483647    63223     31 |  0.438 % |
76.38/76.46	c |     64143 |   12722   508933  3252794 | 2147483647    63325     31 |  0.438 % |
76.38/76.51	c |     64253 |   12722   508933  3252794 | 2147483647    63435     31 |  0.438 % |
76.48/76.57	c |     64376 |   12722   508933  3252794 | 2147483647    63558     31 |  0.438 % |
76.58/76.62	c |     64509 |   12722   508933  3252794 | 2147483647    63691     30 |  0.438 % |
76.58/76.67	c |     64657 |   12722   508933  3252794 | 2147483647    63839     30 |  0.438 % |
76.68/76.71	c |     64817 |   12722   508933  3252794 | 2147483647    63999     30 |  0.438 % |
76.68/76.76	c |     64993 |   12722   508933  3252794 | 2147483647    64175     30 |  0.438 % |
76.78/76.82	c |     65186 |   12722   508933  3252794 | 2147483647    64368     30 |  0.438 % |
76.88/76.91	c |     65398 |   12722   508933  3252794 | 2147483647    64580     30 |  0.438 % |
77.18/77.29	c |     65631 |   12722   508933  3252794 | 2147483647    64813     30 |  0.438 % |
77.58/77.63	c |     65887 |   12722   508933  3252794 | 2147483647    65069     30 |  0.438 % |
77.88/77.96	c |     66168 |   12722   508933  3252794 | 2147483647    65350     30 |  0.438 % |
78.08/78.15	c |     66477 |   12722   508933  3252794 | 2147483647    65659     30 |  0.438 % |
78.48/78.54	c |     66816 |   12722   508933  3252794 | 2147483647    65998     30 |  0.438 % |
78.88/78.98	c |     67188 |   12722   508933  3252794 | 2147483647    66370     30 |  0.438 % |
79.08/79.15	c |     67597 |   12722   508933  3252794 | 2147483647    66779     30 |  0.438 % |
79.28/79.41	c |     68047 |   12722   508933  3252794 | 2147483647    67229     30 |  0.438 % |
79.58/79.64	c |     68540 |   12722   508933  3252794 | 2147483647    67722     30 |  0.438 % |
79.78/79.90	c |     69084 |   12722   508933  3252794 | 2147483647    68266     30 |  0.438 % |
80.18/80.23	c |     69682 |   12722   508933  3252794 | 2147483647    68864     30 |  0.438 % |
80.58/80.63	c |     70337 |   12722   508933  3252794 | 2147483647    69519     30 |  0.438 % |
80.98/81.02	c |     71057 |   12722   508933  3252794 | 2147483647    70239     30 |  0.438 % |
81.18/81.30	c |     71849 |   12722   508933  3252794 | 2147483647    71031     30 |  0.438 % |
81.49/81.58	c |     72720 |   12722   508933  3252794 | 2147483647    71902     29 |  0.438 % |
81.58/81.61	c |     72822 |   12722   508933  3252794 | 2147483647    72004     29 |  0.438 % |
81.58/81.64	c |     72932 |   12722   508933  3252794 | 2147483647    72114     29 |  0.438 % |
81.58/81.70	c |     73053 |   12722   508933  3252794 | 2147483647    72235     29 |  0.438 % |
81.68/81.75	c |     73186 |   12722   508933  3252794 | 2147483647    72368     29 |  0.438 % |
81.78/81.83	c |     73335 |   12722   508933  3252794 | 2147483647    72517     29 |  0.438 % |
81.78/81.91	c |     73495 |   12722   508933  3252794 | 2147483647    72677     29 |  0.438 % |
81.88/81.99	c |     73671 |   12722   508933  3252794 | 2147483647    72853     29 |  0.438 % |
82.08/82.12	c |     73864 |   12722   508933  3252794 | 2147483647    73046     29 |  0.438 % |
82.08/82.20	c |     74077 |   12722   508933  3252794 | 2147483647    73259     29 |  0.438 % |
82.28/82.32	c |     74312 |   12722   508933  3252794 | 2147483647    73494     29 |  0.438 % |
82.48/82.56	c |     74568 |   12722   508933  3252794 | 2147483647    73750     29 |  0.438 % |
82.68/82.74	c |     74849 |   12722   508933  3252794 | 2147483647    74031     29 |  0.438 % |
82.98/83.07	c |     75177 |   12722   508933  3252794 | 2147483647    74359     29 |  0.438 % |
83.28/83.40	c |     75518 |   12722   508933  3252794 | 2147483647    74700     29 |  0.438 % |
83.88/83.92	c |     75893 |   12722   508933  3252794 | 2147483647    75075     29 |  0.438 % |
84.28/84.32	c |     76305 |   12722   508933  3252794 | 2147483647    75487     30 |  0.438 % |
84.48/84.57	c |     76756 |   12722   508933  3252794 | 2147483647    75938     30 |  0.438 % |
84.68/84.80	c |     77249 |   12722   508933  3252794 | 2147483647    76431     30 |  0.438 % |
85.18/85.29	c |     77792 |   12722   508933  3252794 | 2147483647    76974     29 |  0.438 % |
85.48/85.57	c |     78394 |   12722   508933  3252794 | 2147483647    77576     29 |  0.438 % |
85.89/86.00	c |     79049 |   12722   508933  3252794 | 2147483647    78231     29 |  0.438 % |
86.18/86.30	c |     79769 |   12722   508933  3252794 | 2147483647    78951     29 |  0.438 % |
86.68/86.75	c |     80561 |   12722   508933  3252794 | 2147483647    79743     29 |  0.438 % |
87.08/87.15	c |     81432 |   12722   508933  3252794 | 2147483647    80614     29 |  0.438 % |
87.48/87.60	c |     82390 |   12722   508933  3252794 | 2147483647    81572     29 |  0.438 % |
87.58/87.66	c |     82490 |   12722   508933  3252794 | 2147483647    81672     29 |  0.438 % |
87.68/87.72	c |     82600 |   12722   508933  3252794 | 2147483647    81782     29 |  0.438 % |
87.68/87.77	c |     82724 |   12722   508933  3252794 | 2147483647    81906     29 |  0.438 % |
87.78/87.83	c |     82858 |   12722   508933  3252794 | 2147483647    82040     29 |  0.438 % |
87.78/87.89	c |     83006 |   12722   508933  3252794 | 2147483647    82188     29 |  0.438 % |
87.88/87.97	c |     83166 |   12722   508933  3252794 | 2147483647    82348     29 |  0.438 % |
87.98/88.05	c |     83342 |   12722   508933  3252794 | 2147483647    82524     29 |  0.438 % |
88.09/88.16	c |     83535 |   12722   508933  3252794 | 2147483647    82717     29 |  0.438 % |
88.18/88.27	c |     83748 |   12722   508933  3252794 | 2147483647    82930     29 |  0.438 % |
88.28/88.39	c |     83983 |   12722   508933  3252794 | 2147483647    83165     29 |  0.438 % |
88.48/88.54	c |     84240 |   12722   508933  3252794 | 2147483647    83422     28 |  0.438 % |
88.58/88.62	c |     84521 |   12722   508933  3252794 | 2147483647    83703     28 |  0.438 % |
88.68/88.76	c |     84832 |   12722   508933  3252794 | 2147483647    84014     28 |  0.438 % |
88.88/88.93	c |     85172 |   12722   508933  3252794 | 2147483647    84354     28 |  0.438 % |
89.08/89.12	c |     85546 |   12722   508933  3252794 | 2147483647    84728     28 |  0.438 % |
89.28/89.36	c |     85955 |   12722   508933  3252794 | 2147483647    85137     28 |  0.438 % |
89.58/89.63	c |     86404 |   12722   508933  3252794 | 2147483647    85586     28 |  0.438 % |
89.78/89.90	c |     86899 |   12722   508933  3252794 | 2147483647    86081     28 |  0.438 % |
90.08/90.19	c |     87443 |   12722   508933  3252794 | 2147483647    86625     28 |  0.438 % |
90.38/90.43	c |     88039 |   12722   508933  3252794 | 2147483647    87221     28 |  0.438 % |
90.68/90.76	c |     88695 |   12722   508933  3252794 | 2147483647    87877     28 |  0.438 % |
90.98/91.08	c |     89417 |   12722   508933  3252794 | 2147483647    88599     28 |  0.438 % |
91.48/91.52	c |     90209 |   12722   508933  3252794 | 2147483647    89391     28 |  0.438 % |
92.08/92.17	c |     91081 |   12722   508933  3252794 | 2147483647    90263     27 |  0.438 % |
92.68/92.72	c |     92040 |   12722   508933  3252794 | 2147483647    91222     27 |  0.438 % |
93.18/93.28	c |     93094 |   12722   508933  3252794 | 2147483647    92276     27 |  0.438 % |
93.28/93.36	c |     93194 |   12722   508933  3252794 | 2147483647    92376     27 |  0.438 % |
93.48/93.56	c |     93317 |   12722   508933  3252794 | 2147483647    92499     27 |  0.438 % |
93.68/93.71	c |     93441 |   12722   508933  3252794 | 2147483647    92623     27 |  0.438 % |
93.78/93.86	c |     93576 |   12722   508933  3252794 | 2147483647    92758     27 |  0.438 % |
93.88/93.95	c |     93722 |   12722   508933  3252794 | 2147483647    92904     27 |  0.438 % |
93.98/94.03	c |     93882 |   12722   508933  3252794 | 2147483647    93064     27 |  0.438 % |
94.08/94.14	c |     94058 |   12722   508933  3252794 | 2147483647    93240     27 |  0.438 % |
94.18/94.26	c |     94251 |   12722   508933  3252794 | 2147483647    93433     27 |  0.438 % |
94.28/94.35	c |     94464 |   12722   508933  3252794 | 2147483647    93646     27 |  0.438 % |
94.48/94.54	c |     94697 |   12722   508933  3252794 | 2147483647    93879     27 |  0.438 % |
94.58/94.68	c |     94953 |   12722   508933  3252794 | 2147483647    94135     27 |  0.438 % |
94.78/94.81	c |     95235 |   12722   508933  3252794 | 2147483647    94417     27 |  0.438 % |
94.88/94.98	c |     95544 |   12722   508933  3252794 | 2147483647    94726     27 |  0.438 % |
95.18/95.24	c |     95884 |   12722   508933  3252794 | 2147483647    95066     27 |  0.438 % |
95.28/95.39	c |     96256 |   12722   508933  3252794 | 2147483647    95438     27 |  0.438 % |
95.48/95.58	c |     96666 |   12722   508933  3252794 | 2147483647    95848     27 |  0.438 % |
95.68/95.73	c |     97116 |   12722   508933  3252794 | 2147483647    96298     27 |  0.438 % |
95.88/95.93	c |     97609 |   12722   508933  3252794 | 2147483647    96791     27 |  0.438 % |
96.08/96.16	c |     98152 |   12722   508933  3252794 | 2147483647    97334     27 |  0.438 % |
96.48/96.56	c |     98748 |   12722   508933  3252794 | 2147483647    97930     26 |  0.438 % |
96.89/96.96	c |     99403 |   12722   508933  3252794 | 2147483647    98585     26 |  0.438 % |
97.18/97.29	c |    100125 |   12722   508933  3252794 | 2147483647    99307     26 |  0.438 % |
97.48/97.59	c |    100917 |   12722   508933  3252794 | 2147483647   100099     26 |  0.438 % |
98.08/98.13	c |    101789 |   12722   508933  3252794 | 2147483647   100971     26 |  0.438 % |
98.58/98.69	c |    102747 |   12722   508933  3252794 | 2147483647   101929     26 |  0.438 % |
99.18/99.31	c |    103800 |   12722   508933  3252794 | 2147483647   102982     26 |  0.438 % |
100.38/100.44	c |    104959 |   12722   508933  3252794 | 2147483647   104141     26 |  0.438 % |
100.48/100.51	c |    105060 |   12722   508933  3252794 | 2147483647   104242     26 |  0.438 % |
100.48/100.61	c |    105170 |   12722   508933  3252794 | 2147483647   104352     26 |  0.438 % |
100.58/100.67	c |    105291 |   12722   508933  3252794 | 2147483647   104473     26 |  0.438 % |
100.68/100.75	c |    105424 |   12722   508933  3252794 | 2147483647   104606     26 |  0.438 % |
100.78/100.85	c |    105570 |   12722   508933  3252794 | 2147483647   104752     26 |  0.438 % |
100.88/100.94	c |    105730 |   12722   508933  3252794 | 2147483647   104912     26 |  0.438 % |
101.08/101.11	c |    105907 |   12722   508933  3252794 | 2147483647   105089     26 |  0.438 % |
101.08/101.19	c |    106102 |   12722   508933  3252794 | 2147483647   105284     26 |  0.438 % |
101.29/101.40	c |    106315 |   12722   508933  3252794 | 2147483647   105497     26 |  0.438 % |
101.48/101.56	c |    106549 |   12722   508933  3252794 | 2147483647   105731     26 |  0.438 % |
101.68/101.73	c |    106805 |   12722   508933  3252794 | 2147483647   105987     26 |  0.438 % |
101.78/101.89	c |    107086 |   12722   508933  3252794 | 2147483647   106268     25 |  0.438 % |
101.98/102.07	c |    107396 |   12722   508933  3252794 | 2147483647   106578     25 |  0.438 % |
102.18/102.31	c |    107737 |   12722   508933  3252794 | 2147483647   106919     25 |  0.438 % |
102.48/102.53	c |    108113 |   12722   508933  3252794 | 2147483647   107295     25 |  0.438 % |
102.68/102.80	c |    108523 |   12722   508933  3252794 | 2147483647   107705     25 |  0.438 % |
102.98/103.08	c |    108973 |   12722   508933  3252794 | 2147483647   108155     25 |  0.438 % |
103.28/103.41	c |    109466 |   12722   508933  3252794 | 2147483647   108648     25 |  0.438 % |
103.58/103.64	c |    110009 |   12722   508933  3252794 | 2147483647   109191     25 |  0.438 % |
103.98/104.01	c |    110606 |   12722   508933  3252794 | 2147483647   109788     25 |  0.438 % |
104.38/104.42	c |    111262 |   12722   508933  3252794 | 2147483647   110444     25 |  0.438 % |
104.88/104.94	c |    111982 |   12722   508933  3252794 | 2147483647   111164     25 |  0.438 % |
105.28/105.34	c |    112774 |   12722   508933  3252794 | 2147483647   111956     25 |  0.438 % |
105.78/105.83	c |    113645 |   12722   508933  3252794 | 2147483647   112827     25 |  0.438 % |
106.38/106.45	c |    114603 |   12722   508933  3252794 | 2147483647   113785     25 |  0.438 % |
107.08/107.14	c |    115656 |   12722   508933  3252794 | 2147483647   114838     25 |  0.438 % |
107.89/107.95	c |    116814 |   12722   508933  3252794 | 2147483647   115996     24 |  0.438 % |
108.68/108.80	c |    118088 |   12722   508933  3252794 | 2147483647   117270     24 |  0.438 % |
108.78/108.90	c |    118188 |   12722   508933  3252794 | 2147483647   117370     24 |  0.438 % |
108.88/109.00	c |    118298 |   12722   508933  3252794 | 2147483647   117480     24 |  0.438 % |
108.99/109.08	c |    118419 |   12722   508933  3252794 | 2147483647   117601     24 |  0.438 % |
109.08/109.18	c |    118552 |   12722   508933  3252794 | 2147483647   117734     24 |  0.438 % |
109.28/109.32	c |    118698 |   12722   508933  3252794 | 2147483647   117880     24 |  0.438 % |
109.38/109.43	c |    118859 |   12722   508933  3252794 | 2147483647   118041     24 |  0.438 % |
109.48/109.57	c |    119035 |   12722   508933  3252794 | 2147483647   118217     24 |  0.438 % |
109.68/109.78	c |    119231 |   12722   508933  3252794 | 2147483647   118413     24 |  0.438 % |
109.98/110.03	c |    119443 |   12722   508933  3252794 | 2147483647   118625     24 |  0.438 % |
110.09/110.21	c |    119677 |   12722   508933  3252794 | 2147483647   118859     24 |  0.438 % |
110.28/110.39	c |    119934 |   12722   508933  3252794 | 2147483647   119116     24 |  0.438 % |
110.58/110.66	c |    120216 |   12722   508933  3252794 | 2147483647   119398     24 |  0.438 % |
110.78/110.91	c |    120525 |   12722   508933  3252794 | 2147483647   119707     24 |  0.438 % |
111.19/111.26	c |    120865 |   12722   508933  3252794 | 2147483647   120047     24 |  0.438 % |
111.48/111.58	c |    121238 |   12722   508933  3252794 | 2147483647   120420     24 |  0.438 % |
111.78/111.90	c |    121647 |   12722   508933  3252794 | 2147483647   120829     24 |  0.438 % |
112.18/112.30	c |    122097 |   12722   508933  3252794 | 2147483647   121279     24 |  0.438 % |
112.68/112.81	c |    122590 |   12722   508933  3252794 | 2147483647   121772     24 |  0.438 % |
113.28/113.34	c |    123132 |   12722   508933  3252794 | 2147483647   122314     24 |  0.438 % |
113.87/113.92	c |    123728 |   12722   508933  3252794 | 2147483647   122910     24 |  0.438 % |
114.48/114.58	c |    124384 |   12719   508813  3252023 | 2147483647   123565     24 |  0.462 % |
115.17/115.23	c |    125106 |   12719   508813  3252023 | 2147483647   124287     24 |  0.462 % |
115.77/115.85	c |    125898 |   12719   508813  3252023 | 2147483647   125079     24 |  0.462 % |
116.27/116.35	c |    126769 |   12719   508813  3252023 | 2147483647   125950     24 |  0.462 % |
116.97/117.02	c |    127729 |   12719   508813  3252023 | 2147483647   126910     23 |  0.462 % |
117.57/117.65	c |    128782 |   12719   508813  3252023 | 2147483647   127963     23 |  0.462 % |
118.47/118.58	c |    129942 |   12719   508813  3252023 | 2147483647   129123     23 |  0.462 % |
119.67/119.71	c |    131215 |   12719   508813  3252023 |   129181   114482     20 |  0.462 % |
120.87/120.93	c |    132617 |   12719   508813  3252023 |   129181   115884     20 |  0.462 % |
120.97/121.02	c |    132717 |   12719   508813  3252023 |   129181   115984     20 |  0.462 % |
121.08/121.12	c |    132829 |   12719   508813  3252023 |   129181   116096     20 |  0.462 % |
121.17/121.21	c |    132951 |   12719   508813  3252023 |   129181   116218     20 |  0.462 % |
121.27/121.38	c |    133085 |   12719   508813  3252023 |   129181   116352     20 |  0.462 % |
121.47/121.53	c |    133232 |   12719   508813  3252023 |   129181   116499     20 |  0.462 % |
121.57/121.63	c |    133392 |   12719   508813  3252023 |   129181   116659     20 |  0.462 % |
121.67/121.78	c |    133569 |   12719   508813  3252023 |   129181   116836     20 |  0.462 % |
121.87/122.00	c |    133763 |   12719   508813  3252023 |   129181   117030     20 |  0.462 % |
122.18/122.26	c |    133975 |   12719   508813  3252023 |   129181   117242     20 |  0.462 % |
122.47/122.50	c |    134209 |   12719   508813  3252023 |   129181   117476     20 |  0.462 % |
122.67/122.71	c |    134466 |   12719   508813  3252023 |   129181   117733     20 |  0.462 % |
122.87/122.94	c |    134748 |   12719   508813  3252023 |   129181   118015     20 |  0.462 % |
123.17/123.26	c |    135058 |   12719   508813  3252023 |   129181   118325     20 |  0.462 % |
123.57/123.67	c |    135397 |   12719   508813  3252023 |   129181   118664     20 |  0.462 % |
124.07/124.12	c |    135770 |   12719   508813  3252023 |   129181   119037     20 |  0.462 % |
124.47/124.54	c |    136181 |   12719   508813  3252023 |   129181   119448     20 |  0.462 % |
124.87/124.94	c |    136630 |   12719   508813  3252023 |   129181   119897     20 |  0.462 % |
125.27/125.35	c |    137128 |   12719   508813  3252023 |   129181   120395     20 |  0.462 % |
125.67/125.78	c |    137670 |   12719   508813  3252023 |   129181   120937     20 |  0.462 % |
126.37/126.43	c |    138267 |   12719   508813  3252023 |   129181   121534     20 |  0.462 % |
127.17/127.26	c |    138923 |   12719   508813  3252023 |   129181   122190     20 |  0.462 % |
127.87/127.97	c |    139643 |   12719   508813  3252023 |   129181   122910     20 |  0.462 % |
128.97/129.03	c |    140436 |   12719   508813  3252023 |   123268    95832     16 |  0.462 % |
129.67/129.78	c |    141307 |   12719   508813  3252023 |   123268    96703     16 |  0.462 % |
130.67/130.71	c |    142265 |   12719   508813  3252023 |   123268    97661     16 |  0.462 % |
131.47/131.57	c |    143320 |   12719   508813  3252023 |   123268    98716     16 |  0.462 % |
132.47/132.50	c |    144478 |   12719   508813  3252023 |   123268    99874     16 |  0.462 % |
133.97/134.05	c |    145751 |   12719   508813  3252023 |   123268   101147     16 |  0.462 % |
135.57/135.65	c |    147152 |   12719   508813  3252023 |   123268   102548     16 |  0.462 % |
137.27/137.36	c |    148693 |   12719   508813  3252023 |   123268   104089     16 |  0.462 % |
137.37/137.49	c |    148793 |   12719   508813  3252023 |   123268   104189     16 |  0.462 % |
137.58/137.62	c |    148905 |   12719   508813  3252023 |   123268   104301     16 |  0.462 % |
137.68/137.76	c |    149027 |   12719   508813  3252023 |   123268   104423     16 |  0.462 % |
137.77/137.87	c |    149160 |   12719   508813  3252023 |   123268   104556     16 |  0.462 % |
137.98/138.02	c |    149306 |   12719   508813  3252023 |   123268   104702     16 |  0.462 % |
138.08/138.19	c |    149467 |   12719   508813  3252023 |   123268   104863     16 |  0.462 % |
138.38/138.46	c |    149644 |   12719   508813  3252023 |   123268   105040     16 |  0.462 % |
138.58/138.69	c |    149838 |   12719   508813  3252023 |   123268   105234     16 |  0.462 % |
138.78/138.87	c |    150051 |   12719   508813  3252023 |   105396   105447     16 |  0.462 % |
139.28/139.33	c |    150285 |   12719   508813  3252023 |   105396    78740     13 |  0.462 % |
139.48/139.56	c |    150543 |   12719   508813  3252023 |   105396    78998     13 |  0.462 % |
139.78/139.87	c |    150824 |   12719   508813  3252023 |   105396    79279     13 |  0.462 % |
139.98/140.09	c |    151134 |   12719   508813  3252023 |   105396    79589     13 |  0.462 % |
140.28/140.36	c |    151475 |   12719   508813  3252023 |   105396    79930     13 |  0.462 % |
140.58/140.65	c |    151849 |   12719   508813  3252023 |   105396    80304     13 |  0.462 % |
140.98/141.07	c |    152258 |   12719   508813  3252023 |   105396    80713     13 |  0.462 % |
141.48/141.53	c |    152708 |   12719   508813  3252023 |   105396    81163     13 |  0.462 % |
141.88/141.98	c |    153204 |   12719   508813  3252023 |   105396    81659     13 |  0.462 % |
142.38/142.48	c |    153749 |   12719   508813  3252023 |   105396    82204     13 |  0.462 % |
142.98/143.04	c |    154345 |   12719   508813  3252023 |   105396    82800     13 |  0.462 % |
143.68/143.72	c |    155003 |   12719   508813  3252023 |   105396    83458     13 |  0.462 % |
144.58/144.62	c |    155724 |   12719   508813  3252023 |   105396    84179     13 |  0.462 % |
145.38/145.50	c |    156516 |   12719   508813  3252023 |   105396    84971     13 |  0.462 % |
146.28/146.39	c |    157388 |   12719   508813  3252023 |   105396    85843     13 |  0.462 % |
147.18/147.25	c |    158348 |   12719   508813  3252023 |   105396    86803     13 |  0.462 % |
148.18/148.25	c |    159401 |   12719   508813  3252023 |   105396    87856     13 |  0.462 % |
149.58/149.69	c |    160559 |   12719   508813  3252023 |    88456    68027     12 |  0.462 % |
150.58/150.70	c |    161832 |   12719   508813  3252023 |    88456    69300     12 |  0.462 % |
151.78/151.81	c |    163232 |   12719   508813  3252023 |    88456    70700     12 |  0.462 % |
153.08/153.14	c |    164775 |   12719   508813  3252023 |    88456    72243     12 |  0.462 % |
154.38/154.50	c |    166470 |   12719   508813  3252023 |    88456    73938     12 |  0.462 % |
154.58/154.61	c |    166570 |   12719   508813  3252023 |    88456    74038     12 |  0.462 % |
154.68/154.77	c |    166683 |   12719   508813  3252023 |    88456    74151     12 |  0.462 % |
154.88/154.96	c |    166805 |   12719   508813  3252023 |    88456    74273     12 |  0.462 % |
155.08/155.11	c |    166938 |   12719   508813  3252023 |    88456    74406     12 |  0.462 % |
155.18/155.27	c |    167085 |   12719   508813  3252023 |    88456    74553     12 |  0.462 % |
155.38/155.46	c |    167248 |   12719   508813  3252023 |    88456    74716     12 |  0.462 % |
155.58/155.65	c |    167425 |   12719   508813  3252023 |    88456    74893     12 |  0.462 % |
155.78/155.83	c |    167619 |   12719   508813  3252023 |    88456    75087     12 |  0.462 % |
155.98/156.03	c |    167832 |   12719   508813  3252023 |    88456    75300     12 |  0.462 % |
156.18/156.24	c |    168066 |   12719   508813  3252023 |    88456    75534     12 |  0.462 % |
156.48/156.51	c |    168322 |   12719   508813  3252023 |    88456    75790     12 |  0.462 % |
156.68/156.76	c |    168603 |   12719   508813  3252023 |    88456    76071     12 |  0.462 % |
156.98/157.03	c |    168913 |   12719   508813  3252023 |    88456    76381     12 |  0.462 % |
157.18/157.31	c |    169252 |   12719   508813  3252023 |    88456    76720     12 |  0.462 % |
157.58/157.63	c |    169625 |   12719   508813  3252023 |    88456    77093     12 |  0.462 % |
157.88/157.98	c |    170035 |   12719   508813  3252023 |    77470    77503     12 |  0.462 % |
158.68/158.73	c |    170485 |   12719   508813  3252023 |    77470    57218     12 |  0.462 % |
158.98/159.09	c |    170979 |   12719   508813  3252023 |    77470    57712     12 |  0.462 % |
159.28/159.39	c |    171521 |   12719   508813  3252023 |    77470    58254     12 |  0.462 % |
159.78/159.82	c |    172117 |   12719   508813  3252023 |    77470    58850     12 |  0.462 % |
160.18/160.22	c |    172772 |   12719   508813  3252023 |    77470    59505     12 |  0.462 % |
160.58/160.66	c |    173494 |   12719   508813  3252023 |    77470    60227     12 |  0.462 % |
161.18/161.25	c |    174286 |   12719   508813  3252023 |    77470    61019     12 |  0.462 % |
161.68/161.79	c |    175159 |   12719   508813  3252023 |    77470    61892     12 |  0.462 % |
162.38/162.47	c |    176117 |   12719   508813  3252023 |    77470    62850     12 |  0.462 % |
163.18/163.23	c |    177170 |   12719   508813  3252023 |    77470    63903     12 |  0.462 % |
163.98/164.05	c |    178329 |   12719   508813  3252023 |    77470    65062     12 |  0.462 % |
164.98/165.01	c |    179603 |   12719   508813  3252023 |    77470    66336     12 |  0.462 % |
166.08/166.14	c |    181003 |   12719   508813  3252023 |    66733    50982     11 |  0.462 % |
167.18/167.30	c |    182543 |   12719   508813  3252023 |    66733    52522     11 |  0.462 % |
168.58/168.63	c |    184237 |   12719   508813  3252023 |    66733    54216     11 |  0.462 % |
169.78/169.85	c |    186101 |   12719   508813  3252023 |    66733    56080     11 |  0.462 % |
169.88/169.92	c |    186204 |   12719   508813  3252023 |    66733    56183     11 |  0.462 % |
169.88/170.00	c |    186314 |   12719   508813  3252023 |    66733    56293     11 |  0.462 % |
169.98/170.06	c |    186435 |   12719   508813  3252023 |    66733    56414     11 |  0.462 % |
170.08/170.17	c |    186569 |   12719   508813  3252023 |    66733    56548     11 |  0.462 % |
170.18/170.29	c |    186716 |   12719   508813  3252023 |    66733    56695     11 |  0.462 % |
170.38/170.46	c |    186877 |   12719   508813  3252023 |    66733    56856     11 |  0.462 % |
170.48/170.59	c |    187053 |   12719   508813  3252023 |    66733    57032     11 |  0.462 % |
170.68/170.77	c |    187246 |   12719   508813  3252023 |    66733    57225     11 |  0.462 % |
170.88/170.92	c |    187458 |   12719   508813  3252023 |    66733    57437     11 |  0.462 % |
171.08/171.14	c |    187692 |   12719   508813  3252023 |    66733    57671     11 |  0.462 % |
171.18/171.31	c |    187950 |   12719   508813  3252023 |    66733    57929     11 |  0.462 % |
171.48/171.51	c |    188234 |   12719   508813  3252023 |    66733    58213     11 |  0.462 % |
171.68/171.77	c |    188544 |   12719   508813  3252023 |    66733    58523     11 |  0.462 % |
171.98/172.05	c |    188885 |   12719   508813  3252023 |    66733    58864     11 |  0.462 % |
172.28/172.36	c |    189258 |   12719   508813  3252023 |    66733    59237     11 |  0.462 % |
172.58/172.67	c |    189668 |   12719   508813  3252023 |    66733    59647     11 |  0.462 % |
173.18/173.23	c |    190117 |   12719   508813  3252023 |    59980    46314     11 |  0.462 % |
173.48/173.56	c |    190610 |   12719   508813  3252023 |    59980    46807     11 |  0.462 % |
173.78/173.86	c |    191152 |   12719   508813  3252023 |    59980    47349     11 |  0.462 % |
174.08/174.19	c |    191749 |   12719   508813  3252023 |    59980    47946     11 |  0.462 % |
174.48/174.56	c |    192405 |   12719   508813  3252023 |    59980    48602     11 |  0.462 % |
174.98/175.08	c |    193125 |   12719   508813  3252023 |    59980    49322     11 |  0.462 % |
175.58/175.64	c |    193918 |   12719   508813  3252023 |    59980    50115     11 |  0.462 % |
176.18/176.27	c |    194790 |   12719   508813  3252023 |    59980    50987     11 |  0.462 % |
176.88/176.95	c |    195749 |   12719   508813  3252023 |    59980    51946     11 |  0.462 % |
177.78/177.81	c |    196803 |   12714   508648  3250743 |    59980    41543     10 |  0.501 % |
178.38/178.45	c |    197962 |   12714   508648  3250743 |    59980    42702     10 |  0.501 % |
179.28/179.31	c |    199235 |   12714   508648  3250743 |    59980    43975     10 |  0.501 % |
180.28/180.36	c ===============================================================================
180.28/180.36	c restarts              : 558
180.28/180.36	c conflicts             : 200628         (1278 /sec)
180.28/180.36	c decisions             : 411058         (1.68 % random) (2619 /sec)
180.28/180.36	c propagations          : 69328086       (441721 /sec)
180.28/180.36	c conflict literals     : 3869820        (27.68 % deleted)
180.28/180.36	c Memory used           : 51.80 MB
180.28/180.36	c CPU time              : 156.95 s
180.28/180.36	c 
180.28/180.36	s UNSATISFIABLE
180.28/180.36	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-1820482-1242449298/watcher-1820482-1242449298 -o /tmp/evaluation-result-1820482-1242449298/solver-1820482-1242449298 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820482-1242449298.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.96 0.98 0.99 2/96 4686
/proc/meminfo: memFree=1313976/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=956 CPUtime=0
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 142 0 0 0 0 0 0 0 20 0 1 0 1009428244 978944 78 4294967295 134512640 135223648 3213868096 3213866692 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 239 81 45 174 0 64 0

[startup+0.111328 s]
/proc/loadavg: 0.96 0.98 0.99 2/96 4686
/proc/meminfo: memFree=1313976/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=12812 CPUtime=0.11
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 2808 0 0 0 8 3 0 0 20 0 1 0 1009428244 13119488 2744 4294967295 134512640 135223648 3213868096 3213867048 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 3203 2747 47 174 0 3028 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15228

[startup+0.211323 s]
/proc/loadavg: 0.96 0.98 0.99 2/96 4686
/proc/meminfo: memFree=1313976/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=24596 CPUtime=0.21
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 5383 0 0 0 17 4 0 0 21 0 1 0 1009428244 25186304 5319 4294967295 134512640 135223648 3213868096 3213866680 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 6149 5320 47 174 0 5974 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 27012

[startup+0.311317 s]
/proc/loadavg: 0.96 0.98 0.99 2/96 4686
/proc/meminfo: memFree=1313976/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=38276 CPUtime=0.31
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 7996 0 0 0 27 4 0 0 21 0 1 0 1009428244 39194624 7932 4294967295 134512640 135223648 3213868096 3213866664 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 9569 7932 47 174 0 9394 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 40692

[startup+0.711296 s]
/proc/loadavg: 0.96 0.98 0.99 2/96 4686
/proc/meminfo: memFree=1313976/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=90752 CPUtime=0.71
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 20394 0 0 0 60 11 0 0 22 0 1 0 1009428244 92930048 20330 4294967295 134512640 135223648 3213868096 3213867104 134547499 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 22688 20330 47 174 0 22513 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 93168

[startup+1.51125 s]
/proc/loadavg: 0.96 0.98 0.99 2/98 4691
/proc/meminfo: memFree=1223416/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=103352 CPUtime=1.51
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 23054 0 0 0 140 11 0 0 25 0 1 0 1009428244 105832448 22560 4294967295 134512640 135223648 3213868096 3213866096 134548278 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 25838 22560 73 174 0 25663 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 105768

[startup+3.11116 s]
/proc/loadavg: 0.96 0.98 0.99 2/98 4691
/proc/meminfo: memFree=1216844/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=106900 CPUtime=3.11
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 23942 0 0 0 299 12 0 0 25 0 1 0 1009428244 109465600 23448 4294967295 134512640 135223648 3213868096 3213866096 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4690/statm: 26725 23448 73 174 0 26550 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 109316

[startup+6.31098 s]
/proc/loadavg: 0.96 0.98 0.99 2/98 4691
/proc/meminfo: memFree=1202460/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=112996 CPUtime=6.31
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 25366 0 0 0 616 15 0 0 25 0 1 0 1009428244 115707904 24872 4294967295 134512640 135223648 3213868096 3213866096 134548979 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4690/statm: 28249 24872 73 174 0 28074 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 115412

[startup+12.7206 s]
/proc/loadavg: 0.97 0.98 0.99 2/98 4874
/proc/meminfo: memFree=1179008/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2416 CPUtime=0.01
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 366 645 0 0 1 0 0 0 18 0 1 0 1009428244 2473984 276 4294967295 134512640 135169312 3220394624 3220393160 3085336302 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/4686/statm: 604 276 235 161 0 43 0
[pid=4690] ppid=4686 vsize=122568 CPUtime=12.71
/proc/4690/stat : 4690 (SatELite_releas) R 4686 4686 11066 0 -1 4202496 27517 0 0 0 1251 20 0 0 25 0 1 0 1009428244 125509632 27023 4294967295 134512640 135223648 3213868096 3213866096 134548984 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4690/statm: 30642 27023 73 174 0 30467 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 124984

[startup+25.5199 s]
/proc/loadavg: 0.97 0.98 0.99 2/98 4875
/proc/meminfo: memFree=1229512/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=35256 CPUtime=2.19
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 8559 0 0 0 215 4 0 0 25 0 1 0 1009430578 36102144 8494 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 8814 8494 73 172 0 8641 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37676

[startup+51.1185 s]
/proc/loadavg: 0.98 0.98 0.99 2/98 4879
/proc/meminfo: memFree=1223608/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=41416 CPUtime=27.79
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 10077 0 0 0 2774 5 0 0 25 0 1 0 1009430578 42409984 10012 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 10354 10012 73 172 0 10181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43836

[startup+102.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5068
/proc/meminfo: memFree=1214044/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=50464 CPUtime=78.99
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12311 0 0 0 7891 8 0 0 25 0 1 0 1009430578 51675136 12246 4294967295 134512640 135215339 3219149216 3219137956 134743406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 12616 12246 73 172 0 12443 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52884

[startup+162.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211300/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=138.99
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12949 0 0 0 13890 9 0 0 25 0 1 0 1009430578 54308864 12884 4294967295 134512640 135215339 3219149216 3219147504 134529119 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12884 73 172 0 13086 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 55456

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

[startup+166.412 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211300/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=143.09
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12950 0 0 0 14300 9 0 0 25 0 1 0 1009430578 54308864 12885 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12885 73 172 0 13086 0
Current children cumulated CPU time (s) 166.38
Current children cumulated vsize (KiB) 55456

[startup+172.812 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211176/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=149.49
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 14940 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 172.78
Current children cumulated vsize (KiB) 55456

[startup+176.012 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211176/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=152.69
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15260 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 175.98
Current children cumulated vsize (KiB) 55456

[startup+177.611 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211176/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=154.29
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15420 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528688 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 177.58
Current children cumulated vsize (KiB) 55456

[startup+179.211 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211176/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=155.89
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15580 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 179.18
Current children cumulated vsize (KiB) 55456

[startup+180.011 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211184/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=156.69
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15660 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147424 134534559 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (KiB) 55456

[startup+180.211 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211184/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=156.89
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15680 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 180.18
Current children cumulated vsize (KiB) 55456

[startup+180.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5257
/proc/meminfo: memFree=1211184/2074464 swapFree=1950760/1959888
[pid=4686] ppid=4684 vsize=2420 CPUtime=23.29
/proc/4686/stat : 4686 (SatELiteGTI) S 4684 4686 11066 0 -1 4194304 385 33480 0 0 1 0 2302 26 18 0 1 0 1009428244 2478080 277 4294967295 134512640 135169312 3220394624 3220390840 3085336302 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4686/statm: 605 277 235 161 0 44 0
[pid=4875] ppid=4686 vsize=53036 CPUtime=156.99
/proc/4875/stat : 4875 (minisat_static) R 4686 4686 11066 0 -1 4202496 12960 0 0 0 15690 9 0 0 25 0 1 0 1009430578 54308864 12895 4294967295 134512640 135215339 3219149216 3219147504 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4875/statm: 13259 12895 73 172 0 13086 0
Current children cumulated CPU time (s) 180.28
Current children cumulated vsize (KiB) 55456

Child status: 20
Real time (s): 180.399
CPU time (s): 180.36
CPU user time (s): 179.98
CPU system time (s): 0.38
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 143708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.98
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47108
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= 23
involuntary context switches= 1100

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-16 06:48:18
IDJOB=1820482
IDBENCH=20418
IDSOLVER=657
FILE ID=tipi23/1820482-1242449298
PBS_JOBID=
Free space on /tmp= 9761 MiB

SOLVER NAME= minisat_cumr p-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-1820482-1242449298/watcher-1820482-1242449298 -o /tmp/evaluation-result-1820482-1242449298/solver-1820482-1242449298 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820482-1242449298.cnf

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

MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 514368599

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:       1313992 kB
Buffers:         33264 kB
Cached:         629156 kB
SwapCached:       3700 kB
Active:         315764 kB
Inactive:       358412 kB
HighTotal:     1178688 kB
HighFree:       543684 kB
LowTotal:       895776 kB
LowFree:        770308 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:           17700 kB
Writeback:           0 kB
AnonPages:       10932 kB
Mapped:           4400 kB
Slab:            77648 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96900 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9761 MiB
End job on tipi23 at 2009-05-16 06:51:20