Trace number 1832055

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-18? (TO) 1200.05 1207.21

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

Solver Data 

0.00/0.03	c Parsing...
0.00/1.02	c ==============================================================================
0.00/1.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/1.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/1.02	c ==============================================================================
0.00/1.02	c |         0 | 1186821  2884753 |  356046       0        0     nan |  0.000 % |
19.06/25.81	c |         0 |  571173  2544294 |      --       0       --      -- |     --   | -615648/-340459
19.06/25.82	c ==============================================================================
19.06/25.82	c Result  :   #vars: 40759   #clauses: 571173   #literals: 2544294
19.06/25.82	c CPU time:   18.6472 s
19.06/25.82	c ==============================================================================
19.87/26.64	c This is MiniSat 2.0 beta
19.87/26.64	c WARNING: for repeatability, setting FPU to use double precision
19.87/26.64	c ============================[ Problem Statistics ]=============================
19.87/26.64	c |                                                                             |
19.87/26.64	c |  Number of variables:  40759                                                |
19.87/26.64	c |  Number of clauses:    571173                                               |
19.91/27.06	c |  Parsing time:         0.38         s                                       |
19.91/27.09	c ============================[ Search Statistics ]==============================
19.91/27.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.91/27.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
19.91/27.09	c ===============================================================================
19.91/27.09	c |         0 |   40759   571173  2544294 |   190391        0    nan |  0.000 % |
19.91/27.36	c |       100 |   40759   571173  2544294 |   190391      100     14 |  0.000 % |
20.76/27.54	c |       200 |   40759   571173  2544294 |   190391      200     18 |  0.000 % |
20.95/27.71	c |       301 |   40759   571173  2544294 |   190391      301     17 |  0.000 % |
21.05/27.87	c |       413 |   40759   571173  2544294 |   190391      413     20 |  0.000 % |
21.25/28.00	c |       515 |   40759   571173  2544294 |   190391      515     21 |  0.000 % |
21.45/28.29	c |       626 |   40759   571173  2544294 |   190391      626     20 |  0.000 % |
21.65/28.49	c |       747 |   40759   571173  2544294 |   190391      747     20 |  0.000 % |
21.85/28.61	c |       847 |   40759   571173  2544294 |   190391      847     22 |  0.000 % |
22.05/28.81	c |       959 |   40759   571173  2544294 |   190391      959     21 |  0.000 % |
22.25/29.01	c |      1080 |   40759   571173  2544294 |   190391     1080     21 |  0.000 % |
22.56/29.30	c |      1214 |   40759   571173  2544294 |   190391     1214     22 |  0.000 % |
22.66/29.43	c |      1316 |   40759   571173  2544294 |   190391     1316     23 |  0.000 % |
22.86/29.65	c |      1426 |   40759   571173  2544294 |   190391     1426     23 |  0.000 % |
23.16/29.93	c |      1547 |   40759   571173  2544294 |   190391     1547     23 |  0.000 % |
23.46/30.29	c |      1680 |   40759   571173  2544294 |   190391     1680     23 |  0.000 % |
23.66/30.48	c |      1829 |   40759   571173  2544294 |   190391     1829     24 |  0.000 % |
23.76/30.58	c |      1929 |   40759   571173  2544294 |   190391     1929     24 |  0.000 % |
24.16/30.93	c |      2039 |   40759   571173  2544294 |   190391     2039     25 |  0.000 % |
24.36/31.14	c |      2160 |   40759   571173  2544294 |   190391     2160     25 |  0.000 % |
24.46/31.27	c |      2293 |   40759   571173  2544294 |   190391     2293     25 |  0.000 % |
24.76/31.57	c |      2440 |   40759   571173  2544294 |   190391     2440     27 |  0.000 % |
25.06/31.87	c |      2600 |   40759   571173  2544294 |   190391     2600     27 |  0.000 % |
25.26/32.06	c |      2702 |   40759   571173  2544294 |   190391     2702     27 |  0.000 % |
25.55/32.30	c |      2813 |   40759   571173  2544294 |   190391     2813     27 |  0.000 % |
25.75/32.53	c |      2935 |   40759   571173  2544294 |   190391     2935     27 |  0.000 % |
25.96/32.71	c |      3068 |   40759   571173  2544294 |   190391     3068     26 |  0.000 % |
26.36/33.14	c |      3214 |   40759   571173  2544294 |   190391     3214     26 |  0.000 % |
26.55/33.37	c |      3374 |   40759   571173  2544294 |   190391     3374     26 |  0.000 % |
26.85/33.68	c |      3550 |   40759   571173  2544294 |   190391     3550     27 |  0.000 % |
27.05/33.90	c |      3651 |   40759   571173  2544294 |   190391     3651     27 |  0.000 % |
27.25/34.06	c |      3763 |   40759   571173  2544294 |   190391     3763     27 |  0.000 % |
27.46/34.25	c |      3886 |   40759   571173  2544294 |   190391     3886     26 |  0.000 % |
27.55/34.39	c |      4019 |   40759   571173  2544294 |   190391     4019     27 |  0.000 % |
27.95/34.79	c |      4167 |   40759   571173  2544294 |   190391     4167     27 |  0.000 % |
28.25/35.03	c |      4329 |   40759   571173  2544294 |   190391     4329     27 |  0.000 % |
28.56/35.36	c |      4508 |   40759   571173  2544294 |   190391     4508     27 |  0.000 % |
28.85/35.64	c |      4703 |   40759   571173  2544294 |   190391     4703     27 |  0.000 % |
29.05/35.87	c |      4803 |   40759   571173  2544294 |   190391     4803     27 |  0.000 % |
29.25/36.00	c |      4915 |   40759   571173  2544294 |   190391     4915     27 |  0.000 % |
29.45/36.22	c |      5036 |   40759   571173  2544294 |   190391     5036     27 |  0.000 % |
29.66/36.43	c |      5171 |   40759   571173  2544294 |   190391     5171     27 |  0.000 % |
29.75/36.58	c |      5317 |   40759   571173  2544294 |   190391     5317     27 |  0.000 % |
30.15/36.97	c |      5478 |   40759   571173  2544294 |   190391     5478     27 |  0.000 % |
30.45/37.24	c |      5656 |   40759   571173  2544294 |   190391     5656     27 |  0.000 % |
30.75/37.56	c |      5850 |   40759   571173  2544294 |   190391     5850     28 |  0.000 % |
31.05/37.89	c |      6062 |   40759   571173  2544294 |   190391     6062     28 |  0.000 % |
31.35/38.12	c |      6162 |   40759   571173  2544294 |   190391     6162     28 |  0.000 % |
31.45/38.24	c |      6272 |   40759   571173  2544294 |   190391     6272     27 |  0.000 % |
31.55/38.38	c |      6393 |   40759   571173  2544294 |   190391     6393     27 |  0.000 % |
31.75/38.51	c |      6527 |   40759   571173  2544294 |   190391     6527     27 |  0.000 % |
31.95/38.72	c |      6673 |   40759   571173  2544294 |   190391     6673     27 |  0.000 % |
32.05/38.86	c |      6833 |   40759   571173  2544294 |   190391     6833     27 |  0.000 % |
32.35/39.12	c |      7011 |   40759   571173  2544294 |   190391     7011     27 |  0.000 % |
32.65/39.49	c |      7204 |   40759   571173  2544294 |   190391     7204     27 |  0.000 % |
33.05/39.82	c |      7417 |   40759   571173  2544294 |   190391     7417     27 |  0.000 % |
33.45/40.23	c |      7653 |   40759   571173  2544294 |   190391     7653     26 |  0.000 % |
33.55/40.37	c |      7753 |   40759   571173  2544294 |   190391     7753     26 |  0.000 % |
33.85/40.60	c |      7863 |   40759   571173  2544294 |   190391     7863     26 |  0.000 % |
34.05/40.86	c |      7985 |   40759   571173  2544294 |   190391     7985     26 |  0.000 % |
34.25/41.09	c |      8118 |   40759   571173  2544294 |   190391     8118     26 |  0.000 % |
34.45/41.28	c |      8267 |   40759   571173  2544294 |   190391     8267     26 |  0.000 % |
34.85/41.67	c |      8428 |   40759   571173  2544294 |   190391     8428     26 |  0.000 % |
35.05/41.89	c |      8606 |   40759   571173  2544294 |   190391     8606     26 |  0.000 % |
35.25/42.08	c |      8799 |   40759   571173  2544294 |   190391     8799     26 |  0.000 % |
35.65/42.41	c |      9012 |   40759   571173  2544294 |   190391     9012     26 |  0.000 % |
36.05/42.80	c |      9252 |   40759   571173  2544294 |   190391     9252     26 |  0.000 % |
36.45/43.28	c |      9511 |   40759   571173  2544294 |   190391     9511     26 |  0.000 % |
36.65/43.45	c |      9615 |   40759   571173  2544294 |   190391     9615     26 |  0.000 % |
36.85/43.69	c |      9725 |   40759   571173  2544294 |   190391     9725     26 |  0.000 % |
37.25/44.02	c |      9847 |   40759   571173  2544294 |   190391     9847     26 |  0.000 % |
37.35/44.18	c |      9982 |   40759   571173  2544294 |   190391     9982     26 |  0.000 % |
37.75/44.56	c |     10128 |   40759   571173  2544294 | 2147483647    10128     26 |  0.000 % |
38.05/44.85	c |     10289 |   40759   571173  2544294 | 2147483647    10289     26 |  0.000 % |
38.65/45.40	c |     10467 |   40759   571173  2544294 | 2147483647    10467     26 |  0.000 % |
38.84/45.68	c |     10661 |   40759   571173  2544294 | 2147483647    10661     26 |  0.000 % |
39.04/45.86	c |     10873 |   40759   571173  2544294 | 2147483647    10873     27 |  0.000 % |
39.55/46.33	c |     11107 |   40759   571173  2544294 | 2147483647    11107     27 |  0.000 % |
39.84/46.67	c |     11363 |   40759   571173  2544294 | 2147483647    11363     27 |  0.000 % |
40.34/47.16	c |     11645 |   40759   571173  2544294 | 2147483647    11645     27 |  0.000 % |
40.55/47.38	c |     11746 |   40759   571173  2544294 | 2147483647    11746     27 |  0.000 % |
40.74/47.56	c |     11856 |   40759   571173  2544294 | 2147483647    11856     27 |  0.000 % |
41.04/47.85	c |     11978 |   40759   571173  2544294 | 2147483647    11978     27 |  0.000 % |
41.34/48.10	c |     12113 |   40759   571173  2544294 | 2147483647    12113     26 |  0.000 % |
41.54/48.35	c |     12259 |   40759   571173  2544294 | 2147483647    12259     26 |  0.000 % |
41.75/48.58	c |     12421 |   40759   571173  2544294 | 2147483647    12421     27 |  0.000 % |
42.14/48.94	c |     12597 |   40759   571173  2544294 | 2147483647    12597     27 |  0.000 % |
42.34/49.17	c |     12790 |   40759   571173  2544294 | 2147483647    12790     27 |  0.000 % |
42.85/49.65	c |     13002 |   40759   571173  2544294 | 2147483647    13002     27 |  0.000 % |
43.24/50.03	c |     13235 |   40759   571173  2544294 | 2147483647    13235     27 |  0.000 % |
43.54/50.37	c |     13491 |   40759   571173  2544294 | 2147483647    13491     27 |  0.000 % |
44.04/50.83	c |     13778 |   40759   571173  2544294 | 2147483647    13778     27 |  0.000 % |
44.64/51.43	c |     14087 |   40759   571173  2544294 | 2147483647    14087     26 |  0.000 % |
44.74/51.59	c |     14191 |   40759   571173  2544294 | 2147483647    14191     27 |  0.000 % |
44.96/51.78	c |     14303 |   40759   571173  2544294 | 2147483647    14303     27 |  0.000 % |
45.25/52.02	c |     14424 |   40759   571173  2544294 | 2147483647    14424     27 |  0.000 % |
45.45/52.28	c |     14557 |   40759   571173  2544294 | 2147483647    14557     27 |  0.000 % |
45.75/52.59	c |     14703 |   40759   571173  2544294 | 2147483647    14703     26 |  0.000 % |
46.06/52.90	c |     14864 |   40759   571173  2544294 | 2147483647    14864     26 |  0.000 % |
46.35/53.19	c |     15041 |   40759   571173  2544294 | 2147483647    15041     26 |  0.000 % |
46.65/53.50	c |     15234 |   40759   571173  2544294 | 2147483647    15234     27 |  0.000 % |
46.85/53.67	c |     15450 |   40759   571173  2544294 | 2147483647    15450     27 |  0.000 % |
47.15/54.00	c |     15684 |   40759   571173  2544294 | 2147483647    15684     27 |  0.000 % |
47.75/54.50	c |     15941 |   40759   571173  2544294 | 2147483647    15941     26 |  0.000 % |
48.05/54.89	c |     16223 |   40759   571173  2544294 | 2147483647    16223     26 |  0.000 % |
48.85/55.62	c |     16532 |   40759   571173  2544294 | 2147483647    16532     26 |  0.000 % |
49.25/56.02	c |     16873 |   40759   571173  2544294 | 2147483647    16873     26 |  0.000 % |
49.35/56.18	c |     16973 |   40759   571173  2544294 | 2147483647    16973     26 |  0.000 % |
49.75/56.54	c |     17085 |   40759   571173  2544294 | 2147483647    17085     26 |  0.000 % |
49.95/56.79	c |     17206 |   40759   571173  2544294 | 2147483647    17206     26 |  0.000 % |
50.35/57.13	c |     17339 |   40759   571173  2544294 | 2147483647    17339     26 |  0.000 % |
50.55/57.30	c |     17488 |   40759   571173  2544294 | 2147483647    17488     26 |  0.000 % |
50.75/57.58	c |     17652 |   40759   571173  2544294 | 2147483647    17652     26 |  0.000 % |
50.95/57.78	c |     17831 |   40759   571173  2544294 | 2147483647    17831     26 |  0.000 % |
51.15/57.94	c |     18024 |   40759   571173  2544294 | 2147483647    18024     26 |  0.000 % |
51.55/58.38	c |     18239 |   40759   571173  2544294 | 2147483647    18239     26 |  0.000 % |
51.95/58.73	c |     18473 |   40759   571173  2544294 | 2147483647    18473     26 |  0.000 % |
52.35/59.17	c |     18730 |   40759   571173  2544294 | 2147483647    18730     26 |  0.000 % |
52.75/59.53	c |     19011 |   40759   571173  2544294 | 2147483647    19011     26 |  0.000 % |
53.25/60.00	c |     19320 |   40759   571173  2544294 | 2147483647    19320     26 |  0.000 % |
53.95/60.70	c |     19661 |   40759   571173  2544294 | 2147483647    19661     27 |  0.000 % |
54.34/61.18	c |     20033 |   40759   571173  2544294 | 2147483647    20033     27 |  0.000 % |
54.64/61.40	c |     20133 |   40759   571173  2544294 | 2147483647    20133     27 |  0.000 % |
54.74/61.58	c |     20246 |   40759   571173  2544294 | 2147483647    20246     27 |  0.000 % |
54.95/61.74	c |     20367 |   40759   571173  2544294 | 2147483647    20367     27 |  0.000 % |
55.14/61.91	c |     20502 |   40759   571173  2544294 | 2147483647    20502     27 |  0.000 % |
55.34/62.17	c |     20649 |   40759   571173  2544294 | 2147483647    20649     27 |  0.000 % |
55.64/62.44	c |     20809 |   40759   571173  2544294 | 2147483647    20809     26 |  0.000 % |
56.24/63.05	c |     20986 |   40759   571173  2544294 | 2147483647    20986     26 |  0.000 % |
56.54/63.37	c |     21180 |   40759   571173  2544294 | 2147483647    21180     26 |  0.000 % |
57.24/64.07	c |     21392 |   40759   571173  2544294 | 2147483647    21392     26 |  0.000 % |
57.84/64.62	c |     21633 |   40759   571173  2544294 | 2147483647    21633     27 |  0.000 % |
58.34/65.13	c |     21889 |   40759   571173  2544294 | 2147483647    21889     27 |  0.000 % |
58.64/65.46	c |     22171 |   40759   571173  2544294 | 2147483647    22171     27 |  0.000 % |
59.04/65.83	c |     22490 |   40759   571173  2544294 | 2147483647    22490     27 |  0.000 % |
59.84/66.62	c |     22829 |   40759   571173  2544294 | 2147483647    22829     27 |  0.000 % |
60.54/67.31	c |     23203 |   40759   571173  2544294 | 2147483647    23203     27 |  0.000 % |
61.34/68.16	c |     23612 |   40759   571173  2544294 | 2147483647    23612     27 |  0.000 % |
61.64/68.47	c |     23714 |   40759   571173  2544294 | 2147483647    23714     27 |  0.000 % |
61.84/68.66	c |     23827 |   40759   571173  2544294 | 2147483647    23827     27 |  0.000 % |
61.94/68.78	c |     23948 |   40759   571173  2544294 | 2147483647    23948     27 |  0.000 % |
62.14/68.97	c |     24081 |   40759   571173  2544294 | 2147483647    24081     27 |  0.000 % |
62.55/69.32	c |     24228 |   40759   571173  2544294 | 2147483647    24228     27 |  0.000 % |
62.74/69.57	c |     24391 |   40759   571173  2544294 | 2147483647    24391     27 |  0.000 % |
63.34/70.17	c |     24568 |   40759   571173  2544294 | 2147483647    24568     27 |  0.000 % |
63.94/70.80	c |     24763 |   40759   571173  2544294 | 2147483647    24763     27 |  0.000 % |
64.44/71.20	c |     24976 |   40759   571173  2544294 | 2147483647    24976     27 |  0.000 % |
64.84/71.65	c |     25211 |   40759   571173  2544294 | 2147483647    25211     27 |  0.000 % |
65.34/72.10	c |     25467 |   40759   571173  2544294 | 2147483647    25467     27 |  0.000 % |
65.64/72.45	c |     25748 |   40759   571173  2544294 | 2147483647    25748     27 |  0.000 % |
66.04/72.81	c |     26057 |   40759   571173  2544294 | 2147483647    26057     27 |  0.000 % |
66.85/73.66	c |     26396 |   40759   571173  2544294 | 2147483647    26396     27 |  0.000 % |
67.65/74.43	c |     26771 |   40759   571173  2544294 | 2147483647    26771     27 |  0.000 % |
68.94/75.73	c |     27180 |   40759   571173  2544294 | 2147483647    27180     27 |  0.000 % |
69.74/76.53	c |     27631 |   40759   571173  2544294 | 2147483647    27631     27 |  0.000 % |
70.04/76.80	c |     27732 |   40759   571173  2544294 | 2147483647    27732     27 |  0.000 % |
70.15/76.97	c |     27843 |   40759   571173  2544294 | 2147483647    27843     27 |  0.000 % |
70.35/77.14	c |     27964 |   40759   571173  2544294 | 2147483647    27964     27 |  0.000 % |
70.55/77.36	c |     28097 |   40759   571173  2544294 | 2147483647    28097     27 |  0.000 % |
70.75/77.56	c |     28246 |   40759   571173  2544294 | 2147483647    28246     27 |  0.000 % |
71.04/77.86	c |     28408 |   40759   571173  2544294 | 2147483647    28408     27 |  0.000 % |
71.54/78.32	c |     28585 |   40759   571173  2544294 | 2147483647    28585     27 |  0.000 % |
71.94/78.71	c |     28778 |   40759   571173  2544294 | 2147483647    28778     27 |  0.000 % |
72.34/79.19	c |     28990 |   40759   571173  2544294 | 2147483647    28990     27 |  0.000 % |
72.74/79.54	c |     29223 |   40759   571173  2544294 | 2147483647    29223     27 |  0.000 % |
73.04/79.83	c |     29479 |   40759   571173  2544294 | 2147483647    29479     27 |  0.000 % |
73.64/80.42	c |     29760 |   40759   571173  2544294 | 2147483647    29760     27 |  0.000 % |
74.04/80.85	c |     30070 |   40759   571173  2544294 | 2147483647    30070     27 |  0.000 % |
75.04/81.81	c |     30411 |   40759   571173  2544294 | 2147483647    30411     27 |  0.000 % |
75.64/82.50	c |     30786 |   40759   571173  2544294 | 2147483647    30786     28 |  0.000 % |
76.24/83.00	c |     31195 |   40759   571173  2544294 | 2147483647    31195     28 |  0.000 % |
76.94/83.71	c |     31648 |   40759   571173  2544294 | 2147483647    31648     27 |  0.000 % |
78.14/84.95	c |     32141 |   40759   571173  2544294 | 2147483647    32141     28 |  0.000 % |
78.34/85.15	c |     32241 |   40759   571173  2544294 | 2147483647    32241     28 |  0.000 % |
78.54/85.33	c |     32351 |   40759   571173  2544294 | 2147483647    32351     28 |  0.000 % |
78.74/85.52	c |     32474 |   40759   571173  2544294 | 2147483647    32474     28 |  0.000 % |
79.04/85.82	c |     32607 |   40759   571173  2544294 | 2147483647    32607     28 |  0.000 % |
79.24/86.04	c |     32755 |   40759   571173  2544294 | 2147483647    32755     28 |  0.000 % |
79.44/86.27	c |     32918 |   40759   571173  2544294 | 2147483647    32918     28 |  0.000 % |
79.74/86.59	c |     33094 |   40759   571173  2544294 | 2147483647    33094     28 |  0.000 % |
80.33/87.11	c |     33287 |   40759   571173  2544294 | 2147483647    33287     28 |  0.000 % |
80.83/87.61	c |     33499 |   40759   571173  2544294 | 2147483647    33499     28 |  0.000 % |
81.13/87.92	c |     33732 |   40759   571173  2544294 | 2147483647    33732     28 |  0.000 % |
81.34/88.15	c |     33989 |   40759   571173  2544294 | 2147483647    33989     28 |  0.000 % |
82.13/88.99	c |     34273 |   40759   571173  2544294 | 2147483647    34273     28 |  0.000 % |
82.63/89.49	c |     34582 |   40759   571173  2544294 | 2147483647    34582     28 |  0.000 % |
83.33/90.13	c |     34921 |   40759   571173  2544294 | 2147483647    34921     28 |  0.000 % |
83.93/90.77	c |     35294 |   40759   571173  2544294 | 2147483647    35294     28 |  0.000 % |
84.54/91.39	c |     35705 |   40759   571173  2544294 | 2147483647    35705     28 |  0.000 % |
85.33/92.11	c |     36155 |   40759   571173  2544294 | 2147483647    36155     28 |  0.000 % |
85.93/92.71	c |     36648 |   40759   571173  2544294 | 2147483647    36648     28 |  0.000 % |
86.73/93.59	c |     37190 |   40759   571173  2544294 | 2147483647    37190     28 |  0.000 % |
87.13/93.90	c |     37292 |   40759   571173  2544294 | 2147483647    37292     28 |  0.000 % |
87.23/94.08	c |     37403 |   40759   571173  2544294 | 2147483647    37403     28 |  0.000 % |
87.44/94.25	c |     37525 |   40759   571173  2544294 | 2147483647    37525     28 |  0.000 % |
87.74/94.55	c |     37658 |   40759   571173  2544294 | 2147483647    37658     28 |  0.000 % |
88.04/94.87	c |     37804 |   40759   571173  2544294 | 2147483647    37804     28 |  0.000 % |
88.84/95.63	c |     37966 |   40759   571173  2544294 | 2147483647    37966     28 |  0.000 % |
89.14/95.94	c |     38143 |   40759   571173  2544294 | 2147483647    38143     28 |  0.000 % |
89.73/96.52	c |     38336 |   40759   571173  2544294 | 2147483647    38336     28 |  0.000 % |
90.14/96.96	c |     38548 |   40759   571173  2544294 | 2147483647    38548     28 |  0.000 % |
90.63/97.45	c |     38782 |   40759   571173  2544294 | 2147483647    38782     28 |  0.000 % |
91.03/97.84	c |     39038 |   40759   571173  2544294 | 2147483647    39038     28 |  0.000 % |
91.43/98.28	c |     39319 |   40759   571173  2544294 | 2147483647    39319     27 |  0.000 % |
92.03/98.82	c |     39629 |   40759   571173  2544294 | 2147483647    39629     27 |  0.000 % |
92.53/99.35	c |     39968 |   40759   571173  2544294 | 2147483647    39968     27 |  0.000 % |
93.34/100.17	c |     40340 |   40759   571173  2544294 | 2147483647    40340     27 |  0.000 % |
93.73/100.58	c |     40749 |   40759   571173  2544294 | 2147483647    40749     28 |  0.000 % |
94.33/101.11	c |     41198 |   40759   571173  2544294 | 2147483647    41198     28 |  0.000 % |
95.03/101.82	c |     41691 |   40759   571173  2544294 | 2147483647    41691     28 |  0.000 % |
95.73/102.55	c |     42233 |   40759   571173  2544294 | 2147483647    42233     27 |  0.000 % |
97.23/104.06	c |     42829 |   40759   571173  2544294 | 2147483647    42829     27 |  0.000 % |
97.53/104.33	c |     42930 |   40759   571173  2544294 | 2147483647    42930     27 |  0.000 % |
97.73/104.56	c |     43044 |   40759   571173  2544294 | 2147483647    43044     27 |  0.000 % |
98.03/104.83	c |     43165 |   40759   571173  2544294 | 2147483647    43165     27 |  0.000 % |
98.43/105.21	c |     43299 |   40759   571173  2544294 | 2147483647    43299     27 |  0.000 % |
98.63/105.50	c |     43447 |   40759   571173  2544294 | 2147483647    43447     27 |  0.000 % |
98.93/105.74	c |     43612 |   40759   571173  2544294 | 2147483647    43612     27 |  0.000 % |
99.32/106.14	c |     43789 |   40759   571173  2544294 | 2147483647    43789     27 |  0.000 % |
99.62/106.48	c |     43983 |   40759   571173  2544294 | 2147483647    43983     27 |  0.000 % |
99.93/106.77	c |     44196 |   40759   571173  2544294 | 2147483647    44196     27 |  0.000 % |
100.42/107.23	c |     44430 |   40759   571173  2544294 | 2147483647    44430     27 |  0.000 % |
100.82/107.68	c |     44689 |   40759   571173  2544294 | 2147483647    44689     27 |  0.000 % |
101.22/108.05	c |     44972 |   40759   571173  2544294 | 2147483647    44972     27 |  0.000 % |
102.13/108.99	c |     45281 |   40759   571173  2544294 | 2147483647    45281     27 |  0.000 % |
102.62/109.47	c |     45620 |   40759   571173  2544294 | 2147483647    45620     27 |  0.000 % |
103.12/109.95	c |     45993 |   40759   571173  2544294 | 2147483647    45993     27 |  0.000 % |
104.02/110.85	c |     46402 |   40759   571173  2544294 | 2147483647    46402     27 |  0.000 % |
104.72/111.51	c |     46851 |   40759   571173  2544294 | 2147483647    46851     27 |  0.000 % |
105.92/112.75	c |     47344 |   40759   571173  2544294 | 2147483647    47344     27 |  0.000 % |
106.72/113.57	c |     47886 |   40759   571173  2544294 | 2147483647    47886     27 |  0.000 % |
108.33/115.19	c |     48485 |   40759   571173  2544294 | 2147483647    48485     27 |  0.000 % |
109.43/116.22	c |     49142 |   40759   571173  2544294 | 2147483647    49142     27 |  0.000 % |
109.53/116.38	c |     49242 |   40759   571173  2544294 | 2147483647    49242     27 |  0.000 % |
109.83/116.65	c |     49352 |   40759   571173  2544294 | 2147483647    49352     27 |  0.000 % |
110.02/116.80	c |     49473 |   40759   571173  2544294 | 2147483647    49473     27 |  0.000 % |
110.22/117.00	c |     49607 |   40759   571173  2544294 | 2147483647    49607     27 |  0.000 % |
110.52/117.36	c |     49754 |   40759   571173  2544294 | 2147483647    49754     27 |  0.000 % |
110.72/117.60	c |     49916 |   40759   571173  2544294 | 2147483647    49916     27 |  0.000 % |
111.12/117.95	c |     50092 |   40759   571173  2544294 | 2147483647    50092     27 |  0.000 % |
111.72/118.51	c |     50286 |   40759   571173  2544294 | 2147483647    50286     27 |  0.000 % |
112.32/119.12	c |     50498 |   40759   571173  2544294 | 2147483647    50498     27 |  0.000 % |
113.02/119.83	c |     50731 |   40759   571173  2544294 | 2147483647    50731     27 |  0.000 % |
113.52/120.39	c |     50987 |   40759   571173  2544294 | 2147483647    50987     27 |  0.000 % |
114.22/121.09	c |     51269 |   40759   571173  2544294 | 2147483647    51269     27 |  0.000 % |
115.02/121.80	c |     51578 |   40759   571173  2544294 | 2147483647    51578     27 |  0.000 % |
115.92/122.80	c |     51918 |   40759   571173  2544294 | 2147483647    51918     27 |  0.000 % |
116.52/123.36	c |     52292 |   40759   571173  2544294 | 2147483647    52292     27 |  0.000 % |
117.62/124.46	c |     52704 |   40759   571173  2544294 | 2147483647    52704     27 |  0.000 % |
118.52/125.35	c |     53160 |   40759   571173  2544294 | 2147483647    53160     27 |  0.000 % |
119.52/126.31	c |     53653 |   40759   571173  2544294 | 2147483647    53653     27 |  0.000 % |
120.62/127.47	c |     54197 |   40759   571173  2544294 | 2147483647    54197     27 |  0.000 % |
122.32/129.14	c |     54794 |   40759   571173  2544294 | 2147483647    54794     27 |  0.000 % |
124.12/130.96	c |     55453 |   40759   571173  2544294 | 2147483647    55453     27 |  0.000 % |
125.61/132.46	c |     56173 |   40759   571173  2544294 | 2147483647    56173     27 |  0.000 % |
125.81/132.64	c |     56273 |   40759   571173  2544294 | 2147483647    56273     27 |  0.000 % |
126.11/132.97	c |     56383 |   40759   571173  2544294 | 2147483647    56383     27 |  0.000 % |
126.51/133.33	c |     56505 |   40759   571173  2544294 | 2147483647    56505     27 |  0.000 % |
126.71/133.57	c |     56638 |   40759   571173  2544294 | 2147483647    56638     27 |  0.000 % |
127.01/133.81	c |     56784 |   40759   571173  2544294 | 2147483647    56784     27 |  0.000 % |
127.41/134.27	c |     56945 |   40759   571173  2544294 | 2147483647    56945     27 |  0.000 % |
127.71/134.53	c |     57121 |   40759   571173  2544294 | 2147483647    57121     27 |  0.000 % |
127.91/134.77	c |     57314 |   40759   571173  2544294 | 2147483647    57314     27 |  0.000 % |
128.21/135.04	c |     57526 |   40759   571173  2544294 | 2147483647    57526     27 |  0.000 % |
128.61/135.49	c |     57759 |   40759   571173  2544294 | 2147483647    57759     27 |  0.000 % |
129.11/135.92	c |     58015 |   40759   571173  2544294 | 2147483647    58015     27 |  0.000 % |
129.61/136.48	c |     58297 |   40759   571173  2544294 | 2147483647    58297     27 |  0.000 % |
130.21/137.05	c |     58609 |   40759   571173  2544294 | 2147483647    58609     27 |  0.000 % |
130.91/137.79	c |     58949 |   40759   571173  2544294 | 2147483647    58949     27 |  0.000 % |
131.41/138.27	c |     59321 |   40759   571173  2544294 | 2147483647    59321     27 |  0.000 % |
132.41/139.20	c |     59730 |   40759   571173  2544294 | 2147483647    59730     27 |  0.000 % |
133.61/140.46	c |     60183 |   40759   571173  2544294 | 2147483647    60183     27 |  0.000 % |
135.01/141.84	c |     60678 |   40759   571173  2544294 | 2147483647    60678     27 |  0.000 % |
136.71/143.55	c |     61220 |   40759   571173  2544294 | 2147483647    61220     28 |  0.000 % |
138.01/144.80	c |     61822 |   40759   571173  2544294 | 2147483647    61822     28 |  0.000 % |
140.01/146.81	c |     62479 |   40759   571173  2544294 | 2147483647    62479     28 |  0.000 % |
141.11/147.92	c |     63199 |   40759   571173  2544294 | 2147483647    63199     28 |  0.000 % |
142.31/149.14	c |     63991 |   40759   571173  2544294 | 2147483647    63991     28 |  0.000 % |
142.61/149.43	c |     64092 |   40759   571173  2544294 | 2147483647    64092     28 |  0.000 % |
142.82/149.68	c |     64203 |   40759   571173  2544294 | 2147483647    64203     28 |  0.000 % |
143.11/149.95	c |     64325 |   40759   571173  2544294 | 2147483647    64325     28 |  0.000 % |
143.31/150.18	c |     64458 |   40759   571173  2544294 | 2147483647    64458     28 |  0.000 % |
143.81/150.62	c |     64607 |   40759   571173  2544294 | 2147483647    64607     28 |  0.000 % |
144.41/151.30	c |     64771 |   40759   571173  2544294 | 2147483647    64771     28 |  0.000 % |
144.71/151.58	c |     64947 |   40759   571173  2544294 | 2147483647    64947     28 |  0.000 % |
145.01/151.84	c |     65141 |   40759   571173  2544294 | 2147483647    65141     28 |  0.000 % |
145.61/152.40	c |     65353 |   40759   571173  2544294 | 2147483647    65353     28 |  0.000 % |
145.91/152.77	c |     65586 |   40759   571173  2544294 | 2147483647    65586     28 |  0.000 % |
146.21/153.06	c |     65842 |   40759   571173  2544294 | 2147483647    65842     28 |  0.000 % |
146.81/153.63	c |     66125 |   40759   571173  2544294 | 2147483647    66125     28 |  0.000 % |
147.22/154.04	c |     66434 |   40759   571173  2544294 | 2147483647    66434     28 |  0.000 % |
148.01/154.87	c |     66773 |   40759   571173  2544294 | 2147483647    66773     28 |  0.000 % |
148.51/155.35	c |     67146 |   40759   571173  2544294 | 2147483647    67146     28 |  0.000 % |
149.31/156.10	c |     67555 |   40759   571173  2544294 | 2147483647    67555     28 |  0.000 % |
150.41/157.21	c |     68004 |   40759   571173  2544294 | 2147483647    68004     28 |  0.000 % |
151.21/158.04	c |     68500 |   40759   571173  2544294 | 2147483647    68500     28 |  0.000 % |
152.81/159.66	c |     69044 |   40759   571173  2544294 | 2147483647    69044     28 |  0.000 % |
153.71/160.60	c |     69640 |   40759   571173  2544294 | 2147483647    69640     28 |  0.000 % |
154.61/161.48	c |     70295 |   40759   571173  2544294 | 2147483647    70295     28 |  0.000 % |
156.21/163.02	c |     71015 |   40759   571173  2544294 | 2147483647    71015     28 |  0.000 % |
158.21/165.09	c |     71808 |   40759   571173  2544294 | 2147483647    71808     28 |  0.000 % |
160.70/167.59	c |     72680 |   40759   571173  2544294 | 2147483647    72680     28 |  0.000 % |
161.00/167.85	c |     72783 |   40759   571173  2544294 | 2147483647    72783     28 |  0.000 % |
161.10/167.99	c |     72893 |   40759   571173  2544294 | 2147483647    72893     28 |  0.000 % |
161.40/168.30	c |     73014 |   40759   571173  2544294 | 2147483647    73014     28 |  0.000 % |
161.80/168.61	c |     73147 |   40759   571173  2544294 | 2147483647    73147     28 |  0.000 % |
162.00/168.88	c |     73293 |   40759   571173  2544294 | 2147483647    73293     28 |  0.000 % |
162.40/169.25	c |     73454 |   40759   571173  2544294 | 2147483647    73454     28 |  0.000 % |
162.70/169.57	c |     73631 |   40759   571173  2544294 | 2147483647    73631     28 |  0.000 % |
163.20/170.00	c |     73825 |   40759   571173  2544294 | 2147483647    73825     28 |  0.000 % |
163.60/170.42	c |     74037 |   40759   571173  2544294 | 2147483647    74037     28 |  0.000 % |
163.90/170.77	c |     74272 |   40759   571173  2544294 | 2147483647    74272     28 |  0.000 % |
164.50/171.31	c |     74528 |   40759   571173  2544294 | 2147483647    74528     28 |  0.000 % |
165.30/172.13	c |     74811 |   40759   571173  2544294 | 2147483647    74811     28 |  0.000 % |
165.80/172.60	c |     75123 |   40759   571173  2544294 | 2147483647    75123     28 |  0.000 % |
166.50/173.37	c |     75462 |   40759   571173  2544294 | 2147483647    75462     28 |  0.000 % |
167.50/174.30	c |     75834 |   40759   571173  2544294 | 2147483647    75834     28 |  0.000 % |
168.30/175.16	c |     76243 |   40759   571173  2544294 | 2147483647    76243     28 |  0.000 % |
169.40/176.24	c |     76692 |   40759   571173  2544294 | 2147483647    76692     28 |  0.000 % |
170.20/177.03	c |     77185 |   40759   571173  2544294 | 2147483647    77185     28 |  0.000 % |
171.70/178.52	c |     77727 |   40759   571173  2544294 | 2147483647    77727     28 |  0.000 % |
172.90/179.73	c |     78323 |   40759   571173  2544294 | 2147483647    78323     27 |  0.000 % |
174.30/181.14	c |     78978 |   40759   571173  2544294 | 2147483647    78978     27 |  0.000 % |
176.19/183.01	c |     79701 |   40759   571173  2544294 | 2147483647    79701     28 |  0.000 % |
177.29/184.12	c |     80493 |   40759   571173  2544294 | 2147483647    80493     28 |  0.000 % |
179.29/186.15	c |     81364 |   40759   571173  2544294 | 2147483647    81364     28 |  0.000 % |
180.79/187.60	c |     82322 |   40759   571173  2544294 | 2147483647    82322     28 |  0.000 % |
180.99/187.82	c |     82422 |   40759   571173  2544294 | 2147483647    82422     28 |  0.000 % |
181.19/188.09	c |     82532 |   40759   571173  2544294 | 2147483647    82532     28 |  0.000 % |
181.59/188.42	c |     82653 |   40759   571173  2544294 | 2147483647    82653     28 |  0.000 % |
181.79/188.68	c |     82787 |   40759   571173  2544294 | 2147483647    82787     28 |  0.000 % |
182.19/189.01	c |     82934 |   40759   571173  2544294 | 2147483647    82934     28 |  0.000 % |
182.50/189.39	c |     83096 |   40759   571173  2544294 | 2147483647    83096     28 |  0.000 % |
182.89/189.74	c |     83276 |   40759   571173  2544294 | 2147483647    83276     28 |  0.000 % |
183.39/190.26	c |     83474 |   40759   571173  2544294 | 2147483647    83474     28 |  0.000 % |
183.89/190.76	c |     83689 |   40759   571173  2544294 | 2147483647    83689     27 |  0.000 % |
184.39/191.24	c |     83922 |   40759   571173  2544294 | 2147483647    83922     27 |  0.000 % |
185.10/191.97	c |     84181 |   40759   571173  2544294 | 2147483647    84181     27 |  0.000 % |
185.80/192.64	c |     84462 |   40759   571173  2544294 | 2147483647    84462     28 |  0.000 % |
186.40/193.23	c |     84771 |   40759   571173  2544294 | 2147483647    84771     28 |  0.000 % |
187.40/194.23	c |     85112 |   40759   571173  2544294 | 2147483647    85112     28 |  0.000 % |
188.10/194.98	c |     85486 |   40759   571173  2544294 | 2147483647    85486     28 |  0.000 % |
189.20/196.03	c |     85896 |   40759   571173  2544294 | 2147483647    85896     28 |  0.000 % |
190.39/197.24	c |     86348 |   40759   571173  2544294 | 2147483647    86348     28 |  0.000 % |
191.39/198.21	c |     86841 |   40759   571173  2544294 | 2147483647    86841     28 |  0.000 % |
193.29/200.11	c |     87386 |   40759   571173  2544294 | 2147483647    87386     28 |  0.000 % |
194.29/201.11	c |     87982 |   40759   571173  2544294 | 2147483647    87982     28 |  0.000 % |
195.89/202.75	c |     88641 |   40759   571173  2544294 | 2147483647    88641     28 |  0.000 % |
197.19/204.00	c |     89362 |   40759   571173  2544294 | 2147483647    89362     28 |  0.000 % |
199.19/206.05	c |     90154 |   40759   571173  2544294 | 2147483647    90154     28 |  0.000 % |
200.59/207.45	c |     91025 |   40759   571173  2544294 | 2147483647    91025     28 |  0.000 % |
202.89/209.71	c |     91984 |   40759   571173  2544294 | 2147483647    91984     28 |  0.000 % |
204.78/211.60	c |     93037 |   40759   571173  2544294 | 2147483647    93037     28 |  0.000 % |
204.98/211.80	c |     93137 |   40759   571173  2544294 | 2147483647    93137     28 |  0.000 % |
205.08/211.93	c |     93249 |   40759   571173  2544294 | 2147483647    93249     28 |  0.000 % |
205.38/212.22	c |     93372 |   40759   571173  2544294 | 2147483647    93372     28 |  0.000 % |
205.68/212.55	c |     93506 |   40759   571173  2544294 | 2147483647    93506     28 |  0.000 % |
205.98/212.87	c |     93652 |   40759   571173  2544294 | 2147483647    93652     28 |  0.000 % |
206.38/213.28	c |     93814 |   40759   571173  2544294 | 2147483647    93814     28 |  0.000 % |
206.68/213.56	c |     93991 |   40759   571173  2544294 | 2147483647    93991     28 |  0.000 % |
207.08/213.92	c |     94184 |   40759   571173  2544294 | 2147483647    94184     28 |  0.000 % |
207.58/214.42	c |     94396 |   40759   571173  2544294 | 2147483647    94396     28 |  0.000 % |
208.18/215.01	c |     94630 |   40759   571173  2544294 | 2147483647    94630     28 |  0.000 % |
208.68/215.52	c |     94888 |   40759   571173  2544294 | 2147483647    94888     28 |  0.000 % |
209.18/216.09	c |     95171 |   40759   571173  2544294 | 2147483647    95171     28 |  0.000 % |
210.28/217.11	c |     95482 |   40759   571173  2544294 | 2147483647    95482     28 |  0.000 % |
210.88/217.73	c |     95824 |   40759   571173  2544294 | 2147483647    95824     28 |  0.000 % |
211.58/218.43	c |     96196 |   40759   571173  2544294 | 2147483647    96196     28 |  0.000 % |
212.78/219.60	c |     96605 |   40759   571173  2544294 | 2147483647    96605     28 |  0.000 % |
214.08/220.96	c |     97054 |   40759   571173  2544294 | 2147483647    97054     28 |  0.000 % |
214.88/221.74	c |     97547 |   40759   571173  2544294 | 2147483647    97547     28 |  0.000 % |
216.18/223.03	c |     98089 |   40759   571173  2544294 | 2147483647    98089     28 |  0.000 % |
217.48/224.36	c |     98686 |   40759   571173  2544294 | 2147483647    98686     28 |  0.000 % |
219.28/226.15	c |     99341 |   40759   571173  2544294 | 2147483647    99341     28 |  0.000 % |
220.78/227.66	c |    100061 |   40759   571173  2544294 | 2147483647   100061     28 |  0.000 % |
223.28/230.12	c |    100855 |   40759   571173  2544294 | 2147483647   100855     28 |  0.000 % |
225.08/231.99	c |    101726 |   40759   571173  2544294 | 2147483647   101726     28 |  0.000 % |
227.77/234.65	c |    102684 |   40759   571173  2544294 | 2147483647   102684     29 |  0.000 % |
229.57/236.41	c |    103737 |   40759   571173  2544294 | 2147483647   103737     29 |  0.000 % |
233.57/240.43	c |    104897 |   40759   571173  2544294 | 2147483647   104897     29 |  0.000 % |
233.77/240.63	c |    104997 |   40759   571173  2544294 | 2147483647   104997     29 |  0.000 % |
233.97/240.88	c |    105107 |   40759   571173  2544294 | 2147483647   105107     29 |  0.000 % |
234.27/241.17	c |    105228 |   40759   571173  2544294 | 2147483647   105228     29 |  0.000 % |
234.67/241.54	c |    105362 |   40759   571173  2544294 | 2147483647   105362     29 |  0.000 % |
234.87/241.70	c |    105508 |   40759   571173  2544294 | 2147483647   105508     29 |  0.000 % |
235.27/242.12	c |    105668 |   40759   571173  2544294 | 2147483647   105668     29 |  0.000 % |
235.67/242.53	c |    105844 |   40759   571173  2544294 | 2147483647   105844     29 |  0.000 % |
236.27/243.14	c |    106039 |   40759   571173  2544294 | 2147483647   106039     29 |  0.000 % |
236.88/243.73	c |    106254 |   40759   571173  2544294 | 2147483647   106254     29 |  0.000 % |
237.38/244.28	c |    106487 |   40759   571173  2544294 | 2147483647   106487     29 |  0.000 % |
238.07/244.91	c |    106743 |   40759   571173  2544294 | 2147483647   106743     29 |  0.000 % |
238.67/245.55	c |    107024 |   40759   571173  2544294 | 2147483647   107024     29 |  0.000 % |
239.37/246.28	c |    107334 |   40759   571173  2544294 | 2147483647   107334     29 |  0.000 % |
240.37/247.21	c |    107677 |   40759   571173  2544294 | 2147483647   107677     29 |  0.000 % |
241.07/247.99	c |    108049 |   40759   571173  2544294 | 2147483647   108049     29 |  0.000 % |
242.07/248.99	c |    108460 |   40759   571173  2544294 | 2147483647   108460     29 |  0.000 % |
242.87/249.78	c |    108910 |   40759   571173  2544294 | 2147483647   108910     29 |  0.000 % |
243.57/250.45	c |    109405 |   40759   571173  2544294 | 2147483647   109405     29 |  0.000 % |
244.97/251.83	c |    109948 |   40759   571173  2544294 | 2147483647   109948     29 |  0.000 % |
246.67/253.57	c |    110544 |   40759   571173  2544294 | 2147483647   110544     29 |  0.000 % |
248.56/255.44	c |    111199 |   40759   571173  2544294 | 2147483647   111199     29 |  0.000 % |
249.97/256.86	c |    111920 |   40759   571173  2544294 | 2147483647   111920     29 |  0.000 % |
251.67/258.59	c |    112713 |   40759   571173  2544294 | 2147483647   112713     29 |  0.000 % |
253.66/260.55	c |    113587 |   40759   571173  2544294 | 2147483647   113587     29 |  0.000 % |
255.86/262.72	c |    114545 |   40759   571173  2544294 | 2147483647   114545     29 |  0.000 % |
258.06/264.91	c |    115599 |   40759   571173  2544294 | 2147483647   115599     29 |  0.000 % |
260.26/267.18	c |    116758 |   40759   571173  2544294 | 2147483647   116758     29 |  0.000 % |
263.86/270.78	c |    118031 |   40759   571173  2544294 | 2147483647   118031     29 |  0.000 % |
264.16/271.03	c |    118133 |   40759   571173  2544294 | 2147483647   118133     29 |  0.000 % |
264.46/271.37	c |    118243 |   40759   571173  2544294 | 2147483647   118243     29 |  0.000 % |
264.76/271.65	c |    118366 |   40759   571173  2544294 | 2147483647   118366     29 |  0.000 % |
265.06/271.93	c |    118504 |   40759   571173  2544294 | 2147483647   118504     29 |  0.000 % |
265.36/272.21	c |    118650 |   40759   571173  2544294 | 2147483647   118650     29 |  0.000 % |
265.66/272.54	c |    118810 |   40759   571173  2544294 | 2147483647   118810     29 |  0.000 % |
266.06/272.98	c |    118989 |   40759   571173  2544294 | 2147483647   118989     29 |  0.000 % |
266.55/273.44	c |    119182 |   40759   571173  2544294 | 2147483647   119182     29 |  0.000 % |
267.16/274.06	c |    119394 |   40759   571173  2544294 | 2147483647   119394     29 |  0.000 % |
267.56/274.46	c |    119630 |   40759   571173  2544294 | 2147483647   119630     29 |  0.000 % |
268.16/275.04	c |    119886 |   40759   571173  2544294 | 2147483647   119886     29 |  0.000 % |
268.75/275.67	c |    120167 |   40759   571173  2544294 | 2147483647   120167     29 |  0.000 % |
269.26/276.15	c |    120476 |   40759   571173  2544294 | 2147483647   120476     29 |  0.000 % |
270.35/277.20	c |    120815 |   40759   571173  2544294 | 2147483647   120815     29 |  0.000 % |
271.05/277.90	c |    121187 |   40759   571173  2544294 | 2147483647   121187     29 |  0.000 % |
271.95/278.87	c |    121596 |   40759   571173  2544294 | 2147483647   121596     29 |  0.000 % |
272.66/279.60	c |    122045 |   40759   571173  2544294 | 2147483647   122045     29 |  0.000 % |
274.16/281.01	c |    122539 |   40759   571173  2544294 | 2147483647   122539     29 |  0.000 % |
275.46/282.38	c |    123081 |   40759   571173  2544294 | 2147483647   123081     29 |  0.000 % |
276.96/283.83	c |    123678 |   40759   571173  2544294 | 2147483647   123678     29 |  0.000 % |
278.35/285.25	c |    124336 |   40759   571173  2544294 | 2147483647   124336     29 |  0.000 % |
279.65/286.57	c |    125058 |   40759   571173  2544294 | 2147483647   125058     29 |  0.000 % |
281.46/288.31	c |    125850 |   40759   571173  2544294 | 2147483647   125850     29 |  0.000 % |
282.95/289.81	c |    126721 |   40759   571173  2544294 | 2147483647   126721     29 |  0.000 % |
285.35/292.23	c |    127680 |   40759   571173  2544294 | 2147483647   127680     29 |  0.000 % |
287.35/294.29	c |    128735 |   40759   571173  2544294 | 2147483647   128735     29 |  0.000 % |
289.85/296.74	c |    129894 |   40759   571173  2544294 | 2147483647   129894     29 |  0.000 % |
292.55/299.49	c |    131167 |   40759   571173  2544294 | 2147483647   131167     29 |  0.000 % |
295.54/302.45	c |    132569 |   40759   571173  2544294 | 2147483647   132569     29 |  0.000 % |
295.75/302.63	c |    132669 |   40759   571173  2544294 | 2147483647   132669     29 |  0.000 % |
295.94/302.87	c |    132781 |   40759   571173  2544294 | 2147483647   132781     29 |  0.000 % |
296.34/303.25	c |    132903 |   40759   571173  2544294 | 2147483647   132903     29 |  0.000 % |
296.64/303.56	c |    133037 |   40759   571173  2544294 | 2147483647   133037     29 |  0.000 % |
297.24/304.12	c |    133186 |   40759   571173  2544294 | 2147483647   133186     29 |  0.000 % |
297.54/304.49	c |    133348 |   40759   571173  2544294 | 2147483647   133348     29 |  0.000 % |
297.94/304.87	c |    133525 |   40759   571173  2544294 | 2147483647   133525     29 |  0.000 % |
298.34/305.21	c |    133721 |   40759   571173  2544294 | 2147483647   133721     29 |  0.000 % |
298.64/305.56	c |    133933 |   40759   571173  2544294 | 2147483647   133933     29 |  0.000 % |
299.14/306.02	c |    134167 |   40759   571173  2544294 | 2147483647   134167     29 |  0.000 % |
299.64/306.53	c |    134423 |   40759   571173  2544294 | 2147483647   134423     29 |  0.000 % |
300.54/307.43	c |    134704 |   40759   571173  2544294 | 2147483647   134704     29 |  0.000 % |
301.34/308.22	c |    135015 |   40759   571173  2544294 | 2147483647   135015     29 |  0.000 % |
302.14/309.02	c |    135354 |   40759   571173  2544294 | 2147483647   135354     29 |  0.000 % |
303.24/310.18	c |    135726 |   40759   571173  2544294 | 2147483647   135726     29 |  0.000 % |
304.14/311.06	c |    136135 |   40759   571173  2544294 | 2147483647   136135     29 |  0.000 % |
305.74/312.65	c |    136585 |   40759   571173  2544294 | 2147483647   136585     29 |  0.000 % |
307.04/313.97	c |    137081 |   40759   571173  2544294 | 2147483647   137081     29 |  0.000 % |
308.04/314.98	c |    137625 |   40759   571173  2544294 | 2147483647   137625     29 |  0.000 % |
309.53/316.42	c |    138221 |   40759   571173  2544294 | 2147483647   138221     29 |  0.000 % |
311.05/317.94	c |    138876 |   40759   571173  2544294 | 2147483647   138876     29 |  0.000 % |
312.94/319.86	c |    139598 |   40759   571173  2544294 | 2147483647   139598     29 |  0.000 % |
314.84/321.78	c |    140391 |   40759   571173  2544294 | 2147483647   140391     29 |  0.000 % |
317.24/324.13	c |    141263 |   40759   571173  2544294 | 2147483647   141263     29 |  0.000 % |
319.84/326.75	c |    142222 |   40759   571173  2544294 | 2147483647   142222     29 |  0.000 % |
322.24/329.14	c |    143275 |   40759   571173  2544294 | 2147483647   143275     29 |  0.000 % |
325.04/331.99	c |    144435 |   40759   571173  2544294 | 2147483647   144435     29 |  0.000 % |
327.74/334.63	c |    145709 |   40759   571173  2544294 | 2147483647   145709     29 |  0.000 % |
330.43/337.31	c |    147110 |   40759   571173  2544294 | 2147483647   147110     29 |  0.000 % |
334.03/340.96	c |    148650 |   40759   571173  2544294 | 2147483647   148650     29 |  0.000 % |
334.14/341.09	c |    148751 |   40759   571173  2544294 | 2147483647   148751     29 |  0.000 % |
334.53/341.49	c |    148861 |   40759   571173  2544294 | 2147483647   148861     29 |  0.000 % |
334.93/341.82	c |    148983 |   40759   571173  2544294 | 2147483647   148983     29 |  0.000 % |
335.24/342.16	c |    149116 |   40759   571173  2544294 | 2147483647   149116     29 |  0.000 % |
335.63/342.56	c |    149262 |   40759   571173  2544294 | 2147483647   149262     29 |  0.000 % |
336.03/342.95	c |    149422 |   40759   571173  2544294 | 2147483647   149422     29 |  0.000 % |
336.34/343.27	c |    149598 |   40759   571173  2544294 | 2147483647   149598     29 |  0.000 % |
336.63/343.59	c |    149791 |   40759   571173  2544294 | 2147483647   149791     29 |  0.000 % |
337.23/344.14	c |    150005 |   40759   571173  2544294 | 2147483647   150005     29 |  0.000 % |
337.63/344.57	c |    150238 |   40759   571173  2544294 | 2147483647   150238     29 |  0.000 % |
338.13/345.01	c |    150494 |   40759   571173  2544294 | 2147483647   150494     29 |  0.000 % |
338.73/345.68	c |    150775 |   40759   571173  2544294 | 2147483647   150775     29 |  0.000 % |
339.63/346.55	c |    151084 |   40759   571173  2544294 | 2147483647   151084     29 |  0.000 % |
340.63/347.57	c |    151423 |   40759   571173  2544294 | 2147483647   151423     29 |  0.000 % |
341.93/348.82	c |    151796 |   40759   571173  2544294 | 2147483647   151796     29 |  0.000 % |
342.93/349.90	c |    152206 |   40759   571173  2544294 | 2147483647   152206     29 |  0.000 % |
343.92/350.87	c |    152657 |   40759   571173  2544294 | 2147483647   152657     29 |  0.000 % |
345.52/352.40	c |    153150 |   40759   571173  2544294 | 2147483647   153150     29 |  0.000 % |
346.92/353.80	c |    153692 |   40759   571173  2544294 | 2147483647   153692     29 |  0.000 % |
348.72/355.62	c |    154292 |   40759   571173  2544294 | 2147483647   154292     29 |  0.000 % |
350.73/357.69	c |    154947 |   40759   571173  2544294 | 2147483647   154947     29 |  0.000 % |
353.03/359.93	c |    155668 |   40759   571173  2544294 | 2147483647   155668     29 |  0.000 % |
355.13/362.01	c |    156461 |   40759   571173  2544294 | 2147483647   156461     29 |  0.000 % |
357.23/364.15	c |    157332 |   40759   571173  2544294 | 2147483647   157332     29 |  0.000 % |
359.43/366.32	c |    158292 |   40759   571173  2544294 | 2147483647   158292     29 |  0.000 % |
362.52/369.44	c |    159346 |   40759   571173  2544294 | 2147483647   159346     29 |  0.000 % |
364.42/371.38	c |    160504 |   40759   571173  2544294 | 2147483647   160504     29 |  0.000 % |
366.82/373.76	c |    161783 |   40759   571173  2544294 | 2147483647   161783     29 |  0.000 % |
371.42/378.39	c |    163184 |   40759   571173  2544294 | 2147483647   163184     29 |  0.000 % |
375.71/382.65	c |    164724 |   40759   571173  2544294 | 2147483647   164724     29 |  0.000 % |
384.01/390.91	c |    166420 |   40759   571173  2544294 | 2147483647   166420     29 |  0.000 % |
384.41/391.32	c |    166520 |   40759   571173  2544294 | 2147483647   166520     29 |  0.000 % |
384.71/391.67	c |    166630 |   40759   571173  2544294 | 2147483647   166630     29 |  0.000 % |
385.11/392.00	c |    166751 |   40759   571173  2544294 | 2147483647   166751     29 |  0.000 % |
385.31/392.27	c |    166886 |   40759   571173  2544294 | 2147483647   166886     29 |  0.000 % |
385.71/392.70	c |    167032 |   40759   571173  2544294 | 2147483647   167032     29 |  0.000 % |
386.11/393.02	c |    167193 |   40759   571173  2544294 | 2147483647   167193     29 |  0.000 % |
386.51/393.49	c |    167370 |   40759   571173  2544294 | 2147483647   167370     29 |  0.000 % |
387.41/394.30	c |    167563 |   40759   571173  2544294 | 2147483647   167563     29 |  0.000 % |
387.91/394.83	c |    167776 |   40759   571173  2544294 | 2147483647   167776     29 |  0.000 % |
388.31/395.29	c |    168009 |   40759   571173  2544294 | 2147483647   168009     29 |  0.000 % |
388.91/395.87	c |    168265 |   40759   571173  2544294 | 2147483647   168265     29 |  0.000 % |
389.91/396.86	c |    168547 |   40759   571173  2544294 | 2147483647   168547     29 |  0.000 % |
390.70/397.66	c |    168858 |   40759   571173  2544294 | 2147483647   168858     29 |  0.000 % |
391.71/398.64	c |    169197 |   40759   571173  2544294 | 2147483647   169197     29 |  0.000 % |
392.71/399.63	c |    169569 |   40759   571173  2544294 | 2147483647   169569     29 |  0.000 % |
393.81/400.73	c |    169979 |   40759   571173  2544294 | 2147483647   169979     29 |  0.000 % |
395.21/402.18	c |    170433 |   40759   571173  2544294 | 2147483647   170433     29 |  0.000 % |
396.41/403.30	c |    170928 |   40759   571173  2544294 | 2147483647   170928     29 |  0.000 % |
397.51/404.41	c |    171472 |   40759   571173  2544294 | 2147483647   171472     29 |  0.000 % |
399.41/406.36	c |    172069 |   40759   571173  2544294 | 2147483647   172069     29 |  0.000 % |
400.91/407.86	c |    172724 |   40759   571173  2544294 | 2147483647   172724     29 |  0.000 % |
403.01/409.98	c |    173445 |   40759   571173  2544294 | 2147483647   173445     29 |  0.000 % |
404.71/411.64	c |    174240 |   40759   571173  2544294 | 2147483647   174240     29 |  0.000 % |
407.60/414.51	c |    175112 |   40759   571173  2544294 | 2147483647   175112     29 |  0.000 % |
409.80/416.75	c |    176070 |   40759   571173  2544294 | 2147483647   176070     29 |  0.000 % |
412.50/419.43	c |    177123 |   40759   571173  2544294 | 2147483647   177123     29 |  0.000 % |
415.30/422.29	c |    178281 |   40759   571173  2544294 | 2147483647   178281     29 |  0.000 % |
419.00/425.91	c |    179555 |   40759   571173  2544294 | 2147483647   179555     29 |  0.000 % |
422.21/429.17	c |    180956 |   40759   571173  2544294 | 2147483647   180956     29 |  0.000 % |
425.60/432.54	c |    182496 |   40759   571173  2544294 | 2147483647   182496     29 |  0.000 % |
430.20/437.11	c |    184191 |   40759   571173  2544294 | 2147483647   184191     29 |  0.000 % |
434.59/441.53	c |    186054 |   40759   571173  2544294 | 2147483647   186054     29 |  0.000 % |
434.99/441.93	c |    186154 |   40759   571173  2544294 | 2147483647   186154     29 |  0.000 % |
435.19/442.16	c |    186265 |   40759   571173  2544294 | 2147483647   186265     29 |  0.000 % |
435.49/442.46	c |    186387 |   40759   571173  2544294 | 2147483647   186387     29 |  0.000 % |
435.99/442.91	c |    186521 |   40759   571173  2544294 | 2147483647   186521     29 |  0.000 % |
436.40/443.32	c |    186667 |   40759   571173  2544294 | 2147483647   186667     29 |  0.000 % |
436.79/443.72	c |    186827 |   40759   571173  2544294 | 2147483647   186827     29 |  0.000 % |
437.19/444.18	c |    187003 |   40759   571173  2544294 | 2147483647   187003     29 |  0.000 % |
437.69/444.65	c |    187197 |   40759   571173  2544294 | 2147483647   187197     29 |  0.000 % |
438.60/445.60	c |    187409 |   40759   571173  2544294 | 2147483647   187409     29 |  0.000 % |
439.19/446.17	c |    187642 |   40759   571173  2544294 | 2147483647   187642     29 |  0.000 % |
440.29/447.21	c |    187898 |   40759   571173  2544294 | 2147483647   187898     29 |  0.000 % |
440.99/447.98	c |    188181 |   40759   571173  2544294 | 2147483647   188181     29 |  0.000 % |
442.19/449.14	c |    188491 |   40759   571173  2544294 | 2147483647   188491     29 |  0.000 % |
442.89/449.83	c |    188830 |   40759   571173  2544294 | 2147483647   188830     29 |  0.000 % |
443.69/450.63	c |    189203 |   40759   571173  2544294 | 2147483647   189203     29 |  0.000 % |
444.69/451.67	c |    189613 |   40759   571173  2544294 | 2147483647   189613     29 |  0.000 % |
445.79/452.73	c |    190062 |   40759   571173  2544294 | 2147483647   190062     29 |  0.000 % |
447.39/454.36	c |    190557 |   40759   571173  2544294 | 2147483647   190557     29 |  0.000 % |
449.08/456.03	c |    191099 |   40759   571173  2544294 | 2147483647   191099     29 |  0.000 % |
450.69/457.62	c |    191696 |   40759   571173  2544294 | 2147483647   191696     29 |  0.000 % |
452.08/459.03	c |    192351 |   40759   571173  2544294 | 2147483647   192351     29 |  0.000 % |
453.88/460.83	c |    193071 |   40759   571173  2544294 | 2147483647   193071     29 |  0.000 % |
455.98/462.95	c |    193864 |   40759   571173  2544294 | 2147483647   193864     29 |  0.000 % |
458.49/465.42	c |    194735 |   40759   571173  2544294 | 2147483647   194735     29 |  0.000 % |
460.69/467.67	c |    195694 |   40759   571173  2544294 | 2147483647   195694     29 |  0.000 % |
463.78/470.71	c |    196747 |   40759   571173  2544294 | 2147483647   196747     29 |  0.000 % |
466.78/473.72	c |    197905 |   40759   571173  2544294 | 2147483647   197905     29 |  0.000 % |
470.39/477.32	c |    199178 |   40759   571173  2544294 | 2147483647   199178     29 |  0.000 % |
474.39/481.31	c |    200580 |   40759   571173  2544294 | 2147483647   200580     29 |  0.000 % |
478.68/485.64	c |    202122 |   40759   571173  2544294 | 2147483647   202122     29 |  0.000 % |
483.88/490.81	c |    203817 |   40759   571173  2544294 | 2147483647   203817     29 |  0.000 % |
491.58/498.56	c |    205682 |   40759   571173  2544294 | 2147483647   205682     29 |  0.000 % |
500.58/507.51	c |    207731 |   40759   571173  2544294 | 2147483647   207731     30 |  0.000 % |
500.78/507.79	c |    207832 |   40759   571173  2544294 | 2147483647   207832     30 |  0.000 % |
501.28/508.27	c |    207942 |   40759   571173  2544294 | 2147483647   207942     30 |  0.000 % |
501.68/508.65	c |    208064 |   40759   571173  2544294 | 2147483647   208064     30 |  0.000 % |
501.98/508.94	c |    208197 |   40759   571173  2544294 | 2147483647   208197     30 |  0.000 % |
502.38/509.33	c |    208345 |   40759   571173  2544294 | 2147483647   208345     30 |  0.000 % |
503.07/510.02	c |    208506 |   40759   571173  2544294 | 2147483647   208506     30 |  0.000 % |
503.48/510.42	c |    208682 |   40759   571173  2544294 | 2147483647   208682     30 |  0.000 % |
503.97/510.94	c |    208875 |   40759   571173  2544294 | 2147483647   208875     30 |  0.000 % |
504.58/511.58	c |    209088 |   40759   571173  2544294 | 2147483647   209088     30 |  0.000 % |
505.17/512.19	c |    209322 |   40759   571173  2544294 | 2147483647   209322     30 |  0.000 % |
505.87/512.88	c |    209578 |   40759   571173  2544294 | 2147483647   209578     30 |  0.000 % |
506.47/513.45	c |    209860 |   40759   571173  2544294 | 2147483647   209860     30 |  0.000 % |
507.07/514.05	c |    210172 |   40759   571173  2544294 | 2147483647   210172     30 |  0.000 % |
507.88/514.82	c |    210512 |   40759   571173  2544294 | 2147483647   210512     30 |  0.000 % |
508.67/515.63	c |    210885 |   40759   571173  2544294 | 2147483647   210885     30 |  0.000 % |
509.47/516.48	c |    211295 |   40759   571173  2544294 | 2147483647   211295     30 |  0.000 % |
510.97/517.97	c |    211745 |   40759   571173  2544294 | 2147483647   211745     30 |  0.000 % |
512.17/519.12	c |    212243 |   40759   571173  2544294 | 2147483647   212243     30 |  0.000 % |
513.47/520.42	c |    212786 |   40759   571173  2544294 | 2147483647   212786     30 |  0.000 % |
514.97/521.97	c |    213382 |   40759   571173  2544294 | 2147483647   213382     30 |  0.000 % |
516.36/523.37	c |    214037 |   40759   571173  2544294 | 2147483647   214037     30 |  0.000 % |
518.66/525.65	c |    214757 |   40759   571173  2544294 | 2147483647   214757     30 |  0.000 % |
521.07/528.10	c |    215549 |   40759   571173  2544294 | 2147483647   215549     30 |  0.000 % |
523.76/530.70	c |    216420 |   40759   571173  2544294 | 2147483647   216420     30 |  0.000 % |
527.16/534.12	c |    217378 |   40759   571173  2544294 | 2147483647   217378     30 |  0.000 % |
530.07/537.07	c |    218431 |   40759   571173  2544294 | 2147483647   218431     30 |  0.000 % |
533.56/540.55	c |    219590 |   40759   571173  2544294 | 2147483647   219590     30 |  0.000 % |
537.26/544.24	c |    220865 |   40759   571173  2544294 | 2147483647   220865     30 |  0.000 % |
540.76/547.79	c |    222265 |   40759   571173  2544294 | 2147483647   222265     30 |  0.000 % |
544.96/551.91	c |    223806 |   40759   571173  2544294 | 2147483647   223806     30 |  0.000 % |
550.16/557.15	c |    225500 |   40759   571173  2544294 | 2147483647   225500     30 |  0.000 % |
556.06/563.09	c |    227364 |   40759   571173  2544294 | 2147483647   227364     30 |  0.000 % |
562.36/569.30	c |    229413 |   40759   571173  2544294 | 2147483647   229413     30 |  0.000 % |
569.35/576.39	c |    231666 |   40759   571173  2544294 | 2147483647   231666     30 |  0.000 % |
569.65/576.62	c |    231767 |   40759   571173  2544294 | 2147483647   231767     30 |  0.000 % |
569.95/576.97	c |    231877 |   40759   571173  2544294 | 2147483647   231877     30 |  0.000 % |
570.35/577.37	c |    231999 |   40759   571173  2544294 | 2147483647   231999     30 |  0.000 % |
570.66/577.68	c |    232132 |   40759   571173  2544294 | 2147483647   232132     30 |  0.000 % |
571.25/578.21	c |    232278 |   40759   571173  2544294 | 2147483647   232278     30 |  0.000 % |
571.55/578.53	c |    232440 |   40759   571173  2544294 | 2147483647   232440     30 |  0.000 % |
572.05/579.03	c |    232617 |   40759   571173  2544294 | 2147483647   232617     30 |  0.000 % |
572.55/579.56	c |    232810 |   40759   571173  2544294 | 2147483647   232810     30 |  0.000 % |
573.25/580.21	c |    233023 |   40759   571173  2544294 | 2147483647   233023     30 |  0.000 % |
573.96/580.99	c |    233256 |   40759   571173  2544294 | 2147483647   233256     30 |  0.000 % |
574.55/581.57	c |    233512 |   40759   571173  2544294 | 2147483647   233512     30 |  0.000 % |
575.35/582.38	c |    233794 |   40759   571173  2544294 | 2147483647   233794     30 |  0.000 % |
576.35/583.39	c |    234103 |   40759   571173  2544294 | 2147483647   234103     30 |  0.000 % |
577.25/584.27	c |    234445 |   40759   571173  2544294 | 2147483647   234445     30 |  0.000 % |
578.05/585.06	c |    234819 |   40759   571173  2544294 | 2147483647   234819     30 |  0.000 % |
579.05/586.06	c |    235228 |   40759   571173  2544294 | 2147483647   235228     30 |  0.000 % |
580.45/587.44	c |    235677 |   40759   571173  2544294 | 2147483647   235677     30 |  0.000 % |
581.55/588.55	c |    236173 |   40759   571173  2544294 | 2147483647   236173     30 |  0.000 % |
583.14/590.15	c |    236715 |   40759   571173  2544294 | 2147483647   236715     30 |  0.000 % |
584.44/591.41	c |    237316 |   40759   571173  2544294 | 2147483647   237316     30 |  0.000 % |
585.95/592.98	c |    237972 |   40759   571173  2544294 | 2147483647   237972     30 |  0.000 % |
587.34/594.36	c |    238695 |   40759   571173  2544294 | 2147483647   238695     30 |  0.000 % |
589.25/596.29	c |    239489 |   40759   571173  2544294 | 2147483647   239489     30 |  0.000 % |
591.14/598.16	c |    240361 |   40759   571173  2544294 | 2147483647   240361     30 |  0.000 % |
594.04/601.07	c |    241319 |   40759   571173  2544294 | 2147483647   241319     30 |  0.000 % |
597.04/604.04	c |    242372 |   40759   571173  2544294 | 2147483647   242372     30 |  0.000 % |
599.85/606.89	c |    243531 |   40759   571173  2544294 | 2147483647   243531     30 |  0.000 % |
603.65/610.64	c |    244805 |   40759   571173  2544294 | 2147483647   244805     30 |  0.000 % |
606.34/613.30	c |    246206 |   40759   571173  2544294 | 2147483647   246206     30 |  0.000 % |
610.84/617.88	c |    247747 |   40759   571173  2544294 | 2147483647   247747     30 |  0.000 % |
614.84/621.81	c |    249441 |   40759   571173  2544294 | 2147483647   249441     30 |  0.000 % |
621.14/628.14	c |    251305 |   40759   571173  2544294 | 2147483647   251305     30 |  0.000 % |
627.23/634.24	c |    253354 |   40759   571173  2544294 | 2147483647   253354     30 |  0.000 % |
634.13/641.11	c |    255609 |   40759   571173  2544294 | 2147483647   255609     30 |  0.000 % |
640.33/647.37	c |    258087 |   40759   571173  2544294 | 2147483647   258087     30 |  0.000 % |
640.63/647.64	c |    258187 |   40759   571173  2544294 | 2147483647   258187     30 |  0.000 % |
640.83/647.85	c |    258297 |   40759   571173  2544294 | 2147483647   258297     30 |  0.000 % |
641.33/648.35	c |    258420 |   40759   571173  2544294 | 2147483647   258420     30 |  0.000 % |
641.62/648.67	c |    258555 |   40759   571173  2544294 | 2147483647   258555     30 |  0.000 % |
642.03/649.05	c |    258703 |   40759   571173  2544294 | 2147483647   258703     30 |  0.000 % |
642.52/649.57	c |    258864 |   40759   571173  2544294 | 2147483647   258864     30 |  0.000 % |
643.02/650.01	c |    259040 |   40759   571173  2544294 | 2147483647   259040     30 |  0.000 % |
643.53/650.53	c |    259233 |   40759   571173  2544294 | 2147483647   259233     30 |  0.000 % |
644.23/651.25	c |    259448 |   40759   571173  2544294 | 2147483647   259448     30 |  0.000 % |
645.02/652.07	c |    259682 |   40759   571173  2544294 | 2147483647   259682     30 |  0.000 % |
645.92/652.94	c |    259940 |   40759   571173  2544294 | 2147483647   259940     30 |  0.000 % |
646.53/653.50	c |    260222 |   40759   571173  2544294 | 2147483647   260222     30 |  0.000 % |
647.82/654.81	c |    260532 |   40759   571173  2544294 | 2147483647   260532     30 |  0.000 % |
648.82/655.89	c |    260871 |   40759   571173  2544294 | 2147483647   260871     30 |  0.000 % |
650.02/657.01	c |    261243 |   40759   571173  2544294 | 2147483647   261243     30 |  0.000 % |
651.12/658.16	c |    261655 |   40759   571173  2544294 | 2147483647   261655     30 |  0.000 % |
652.12/659.12	c |    262104 |   40759   571173  2544294 | 2147483647   262104     30 |  0.000 % |
653.52/660.56	c |    262597 |   40759   571173  2544294 | 2147483647   262597     30 |  0.000 % |
655.22/662.22	c |    263140 |   40759   571173  2544294 | 2147483647   263140     30 |  0.000 % |
657.12/664.13	c |    263736 |   40759   571173  2544294 | 2147483647   263736     30 |  0.000 % |
659.12/666.16	c |    264391 |   40759   571173  2544294 | 2147483647   264391     29 |  0.000 % |
661.43/668.43	c |    265113 |   40759   571173  2544294 | 2147483647   265113     30 |  0.000 % |
663.62/670.69	c |    265906 |   40759   571173  2544294 | 2147483647   265906     30 |  0.000 % |
665.72/672.77	c |    266777 |   40759   571173  2544294 | 2147483647   266777     30 |  0.000 % |
667.72/674.77	c |    267736 |   40759   571173  2544294 | 2147483647   267736     30 |  0.000 % |
670.22/677.21	c |    268790 |   40759   571173  2544294 | 2147483647   268790     29 |  0.000 % |
673.12/680.17	c |    269950 |   40759   571173  2544294 | 2147483647   269950     29 |  0.000 % |
676.92/683.99	c |    271225 |   40759   571173  2544294 | 2147483647   271225     30 |  0.000 % |
681.21/688.20	c |    272625 |   40759   571173  2544294 | 2147483647   272625     29 |  0.000 % |
685.02/692.03	c |    274165 |   40759   571173  2544294 | 2147483647   274165     30 |  0.000 % |
689.81/696.85	c |    275859 |   40759   571173  2544294 | 2147483647   275859     30 |  0.000 % |
694.51/701.53	c |    277723 |   40759   571173  2544294 | 2147483647   277723     30 |  0.000 % |
700.42/707.43	c |    279772 |   40759   571173  2544294 | 2147483647   279772     30 |  0.000 % |
706.71/713.78	c |    282025 |   40759   571173  2544294 | 2147483647   282025     30 |  0.000 % |
714.01/721.07	c |    284504 |   40759   571173  2544294 | 2147483647   284504     30 |  0.000 % |
721.11/728.17	c |    287229 |   40759   571173  2544294 | 2147483647   287229     30 |  0.000 % |
721.50/728.53	c |    287329 |   40759   571173  2544294 | 2147483647   287329     30 |  0.000 % |
721.90/728.90	c |    287441 |   40759   571173  2544294 | 2147483647   287441     30 |  0.000 % |
722.31/729.34	c |    287562 |   40759   571173  2544294 | 2147483647   287562     30 |  0.000 % |
722.90/729.93	c |    287698 |   40759   571173  2544294 | 2147483647   287698     30 |  0.000 % |
723.41/730.44	c |    287845 |   40759   571173  2544294 | 2147483647   287845     30 |  0.000 % |
723.80/730.86	c |    288005 |   40759   571173  2544294 | 2147483647   288005     30 |  0.000 % |
724.30/731.35	c |    288183 |   40759   571173  2544294 | 2147483647   288183     30 |  0.000 % |
724.70/731.76	c |    288376 |   40759   571173  2544294 | 2147483647   288376     30 |  0.000 % |
725.40/732.41	c |    288588 |   40759   571173  2544294 | 2147483647   288588     30 |  0.000 % |
726.00/733.08	c |    288822 |   40759   571173  2544294 | 2147483647   288822     30 |  0.000 % |
726.60/733.66	c |    289078 |   40759   571173  2544294 | 2147483647   289078     30 |  0.000 % |
727.40/734.42	c |    289360 |   40759   571173  2544294 | 2147483647   289360     30 |  0.000 % |
728.20/735.24	c |    289671 |   40759   571173  2544294 | 2147483647   289671     30 |  0.000 % |
728.80/735.90	c |    290011 |   40759   571173  2544294 | 2147483647   290011     30 |  0.000 % |
730.70/737.80	c |    290383 |   40759   571173  2544294 | 2147483647   290383     30 |  0.000 % |
733.20/740.28	c |    290794 |   40759   571173  2544294 | 2147483647   290794     30 |  0.000 % |
734.70/741.79	c |    291243 |   40759   571173  2544294 | 2147483647   291243     30 |  0.000 % |
736.50/743.52	c |    291737 |   40759   571173  2544294 | 2147483647   291737     30 |  0.000 % |
738.60/745.60	c |    292279 |   40759   571173  2544294 | 2147483647   292279     30 |  0.000 % |
740.20/747.21	c |    292875 |   40759   571173  2544294 | 2147483647   292875     30 |  0.000 % |
741.40/748.46	c |    293531 |   40759   571173  2544294 | 2147483647   293531     30 |  0.000 % |
744.09/751.10	c |    294252 |   40759   571173  2544294 | 2147483647   294252     30 |  0.000 % |
746.29/753.32	c |    295048 |   40759   571173  2544294 | 2147483647   295048     30 |  0.000 % |
748.70/755.79	c |    295920 |   40759   571173  2544294 | 2147483647   295920     30 |  0.000 % |
750.69/757.70	c |    296878 |   40759   571173  2544294 | 2147483647   296878     29 |  0.000 % |
753.69/760.78	c |    297935 |   40759   571173  2544294 | 2147483647   297935     29 |  0.000 % |
757.09/764.13	c |    299095 |   40759   571173  2544294 | 2147483647   299095     29 |  0.000 % |
761.09/768.13	c |    300368 |   40759   571173  2544294 | 2147483647   300368     29 |  0.000 % |
765.99/773.09	c |    301768 |   40759   571173  2544294 | 2147483647   301768     29 |  0.000 % |
770.89/777.98	c |    303309 |   40759   571173  2544294 | 2147483647   303309     29 |  0.000 % |
775.69/782.72	c |    305005 |   40759   571173  2544294 | 2147483647   305005     30 |  0.000 % |
781.38/788.46	c |    306870 |   40759   571173  2544294 | 2147483647   306870     30 |  0.000 % |
787.68/794.77	c |    308921 |   40759   571173  2544294 | 2147483647   308921     30 |  0.000 % |
793.68/800.79	c |    311174 |   40759   571173  2544294 | 2147483647   311174     30 |  0.000 % |
807.67/814.75	c |    313652 |   40759   571173  2544294 | 2147483647   313652     30 |  0.000 % |
818.17/825.28	c |    316377 |   40759   571173  2544294 | 2147483647   316377     30 |  0.000 % |
831.66/838.76	c |    319376 |   40759   571173  2544294 | 2147483647   319376     30 |  0.000 % |
831.96/839.02	c |    319476 |   40759   571173  2544294 | 2147483647   319476     30 |  0.000 % |
832.16/839.24	c |    319586 |   40759   571173  2544294 | 2147483647   319586     30 |  0.000 % |
832.86/839.95	c |    319707 |   40759   571173  2544294 | 2147483647   319707     30 |  0.000 % |
833.26/840.31	c |    319842 |   40759   571173  2544294 | 2147483647   319842     30 |  0.000 % |
833.66/840.73	c |    319988 |   40759   571173  2544294 | 2147483647   319988     30 |  0.000 % |
834.06/841.13	c |    320148 |   40759   571173  2544294 | 2147483647   320148     30 |  0.000 % |
834.56/841.60	c |    320328 |   40759   571173  2544294 | 2147483647   320328     30 |  0.000 % |
834.96/842.02	c |    320521 |   40759   571173  2544294 | 2147483647   320521     30 |  0.000 % |
835.66/842.75	c |    320733 |   40759   571173  2544294 | 2147483647   320733     30 |  0.000 % |
836.76/843.83	c |    320966 |   40759   571173  2544294 | 2147483647   320966     30 |  0.000 % |
837.46/844.53	c |    321224 |   40759   571173  2544294 | 2147483647   321224     30 |  0.000 % |
838.56/845.69	c |    321506 |   40759   571173  2544294 | 2147483647   321506     30 |  0.000 % |
839.66/846.77	c |    321815 |   40759   571173  2544294 | 2147483647   321815     30 |  0.000 % |
840.86/847.90	c |    322155 |   40759   571173  2544294 | 2147483647   322155     30 |  0.000 % |
841.96/849.07	c |    322528 |   40759   571173  2544294 | 2147483647   322528     30 |  0.000 % |
843.36/850.47	c |    322937 |   40759   571173  2544294 | 2147483647   322937     30 |  0.000 % |
844.46/851.58	c |    323388 |   40759   571173  2544294 | 2147483647   323388     30 |  0.000 % |
846.15/853.21	c |    323882 |   40759   571173  2544294 | 2147483647   323882     30 |  0.000 % |
848.05/855.17	c |    324425 |   40759   571173  2544294 | 2147483647   324425     30 |  0.000 % |
850.76/857.83	c |    325021 |   40759   571173  2544294 | 2147483647   325021     30 |  0.000 % |
852.26/859.32	c |    325676 |   40759   571173  2544294 | 2147483647   325676     30 |  0.000 % |
854.66/861.71	c |    326396 |   40759   571173  2544294 | 2147483647   326396     30 |  0.000 % |
857.16/864.23	c |    327188 |   40759   571173  2544294 | 2147483647   327188     30 |  0.000 % |
859.76/866.86	c |    328059 |   40759   571173  2544294 | 2147483647   328059     30 |  0.000 % |
862.76/869.80	c |    329017 |   40759   571173  2544294 | 2147483647   329017     30 |  0.000 % |
866.76/873.90	c |    330071 |   40759   571173  2544294 | 2147483647   330071     30 |  0.000 % |
871.05/878.17	c |    331231 |   40759   571173  2544294 | 2147483647   331231     30 |  0.000 % |
875.16/882.25	c |    332506 |   40759   571173  2544294 | 2147483647   332506     30 |  0.000 % |
879.95/887.05	c |    333906 |   40759   571173  2544294 | 2147483647   333906     30 |  0.000 % |
887.25/894.37	c |    335446 |   40759   571173  2544294 | 2147483647   335446     30 |  0.000 % |
893.35/900.49	c |    337140 |   40759   571173  2544294 | 2147483647   337140     30 |  0.000 % |
899.04/906.15	c |    339004 |   40759   571173  2544294 | 2147483647   339004     30 |  0.000 % |
905.84/912.97	c |    341053 |   40759   571173  2544294 | 2147483647   341053     30 |  0.000 % |
911.54/918.69	c |    343308 |   40759   571173  2544294 | 2147483647   343308     30 |  0.000 % |
920.44/927.56	c |    345787 |   40759   571173  2544294 | 2147483647   345787     30 |  0.000 % |
927.73/934.82	c |    348512 |   40759   571173  2544294 | 2147483647   348512     30 |  0.000 % |
938.23/945.32	c |    351509 |   40759   571173  2544294 | 2147483647   351509     30 |  0.000 % |
948.32/955.42	c |    354806 |   40759   571173  2544294 | 2147483647   354806     30 |  0.000 % |
948.62/955.71	c |    354906 |   40759   571173  2544294 | 2147483647   354906     30 |  0.000 % |
948.93/956.07	c |    355016 |   40759   571173  2544294 | 2147483647   355016     30 |  0.000 % |
949.32/956.45	c |    355142 |   40759   571173  2544294 | 2147483647   355142     30 |  0.000 % |
949.73/956.83	c |    355275 |   40759   571173  2544294 | 2147483647   355275     30 |  0.000 % |
950.23/957.38	c |    355421 |   40759   571173  2544294 | 2147483647   355421     30 |  0.000 % |
950.93/958.07	c |    355581 |   40759   571173  2544294 | 2147483647   355581     30 |  0.000 % |
951.63/958.71	c |    355757 |   40759   571173  2544294 | 2147483647   355757     30 |  0.000 % |
952.33/959.46	c |    355950 |   40759   571173  2544294 | 2147483647   355950     30 |  0.000 % |
953.03/960.17	c |    356164 |   40759   571173  2544294 | 2147483647   356164     30 |  0.000 % |
953.73/960.83	c |    356398 |   40759   571173  2544294 | 2147483647   356398     30 |  0.000 % |
954.72/961.80	c |    356654 |   40759   571173  2544294 | 2147483647   356654     30 |  0.000 % |
955.53/962.68	c |    356935 |   40759   571173  2544294 | 2147483647   356935     30 |  0.000 % |
956.53/963.63	c |    357246 |   40759   571173  2544294 | 2147483647   357246     30 |  0.000 % |
957.52/964.61	c |    357585 |   40759   571173  2544294 | 2147483647   357585     30 |  0.000 % |
958.62/965.80	c |    357957 |   40759   571173  2544294 | 2147483647   357957     30 |  0.000 % |
959.93/967.01	c |    358366 |   40759   571173  2544294 | 2147483647   358366     30 |  0.000 % |
961.72/968.83	c |    358815 |   40759   571173  2544294 | 2147483647   358815     30 |  0.000 % |
963.42/970.53	c |    359309 |   40759   571173  2544294 | 2147483647   359309     30 |  0.000 % |
965.52/972.64	c |    359851 |   40759   571173  2544294 | 2147483647   359851     30 |  0.000 % |
967.42/974.60	c |    360449 |   40759   571173  2544294 | 2147483647   360449     30 |  0.000 % |
969.22/976.31	c |    361104 |   40759   571173  2544294 | 2147483647   361104     30 |  0.000 % |
970.62/977.78	c |    361825 |   40759   571173  2544294 | 2147483647   361825     30 |  0.000 % |
973.02/980.13	c |    362617 |   40759   571173  2544294 | 2147483647   362617     30 |  0.000 % |
975.61/982.72	c |    363489 |   40759   571173  2544294 | 2147483647   363489     30 |  0.000 % |
978.62/985.73	c |    364447 |   40759   571173  2544294 | 2147483647   364447     31 |  0.000 % |
982.82/989.90	c |    365501 |   40759   571173  2544294 | 2147483647   365501     31 |  0.000 % |
986.22/993.38	c |    366661 |   40759   571173  2544294 | 2147483647   366661     31 |  0.000 % |
989.62/996.80	c |    367936 |   40759   571173  2544294 | 2147483647   367936     31 |  0.000 % |
993.92/1001.02	c |    369337 |   40759   571173  2544294 | 2147483647   369337     31 |  0.000 % |
998.51/1005.61	c |    370879 |   40759   571173  2544294 | 2147483647   370879     31 |  0.000 % |
1004.91/1012.01	c |    372574 |   40759   571173  2544294 | 2147483647   372574     31 |  0.000 % |
1010.60/1017.72	c |    374438 |   40759   571173  2544294 | 2147483647   374438     31 |  0.000 % |
1017.00/1024.11	c |    376487 |   40759   571173  2544294 | 2147483647   376487     31 |  0.000 % |
1024.30/1031.43	c |    378740 |   40759   571173  2544294 | 2147483647   378740     31 |  0.000 % |
1033.40/1040.50	c |    381220 |   40759   571173  2544294 | 2147483647   381220     31 |  0.000 % |
1042.10/1049.21	c |    383948 |   40759   571173  2544294 | 2147483647   383948     31 |  0.000 % |
1053.19/1060.37	c |    386945 |   40759   571173  2544294 | 2147483647   386945     31 |  0.000 % |
1065.50/1072.69	c |    390242 |   40759   571173  2544294 | 2147483647   390242     31 |  0.000 % |
1081.19/1088.33	c |    393873 |   40759   571173  2544294 | 2147483647   393873     31 |  0.000 % |
1081.69/1088.89	c |    393973 |   40759   571173  2544294 | 2147483647   393973     31 |  0.000 % |
1081.99/1089.15	c |    394084 |   40759   571173  2544294 | 2147483647   394084     31 |  0.000 % |
1082.29/1089.49	c |    394209 |   40759   571173  2544294 | 2147483647   394209     31 |  0.000 % |
1082.79/1089.94	c |    394342 |   40759   571173  2544294 | 2147483647   394342     31 |  0.000 % |
1083.28/1090.48	c |    394488 |   40759   571173  2544294 | 2147483647   394488     31 |  0.000 % |
1083.98/1091.13	c |    394649 |   40759   571173  2544294 | 2147483647   394649     31 |  0.000 % |
1084.68/1091.81	c |    394825 |   40759   571173  2544294 | 2147483647   394825     31 |  0.000 % |
1085.29/1092.48	c |    395019 |   40759   571173  2544294 | 2147483647   395019     31 |  0.000 % |
1085.88/1093.01	c |    395231 |   40759   571173  2544294 | 2147483647   395231     31 |  0.000 % |
1086.58/1093.78	c |    395466 |   40759   571173  2544294 | 2147483647   395466     31 |  0.000 % |
1087.78/1094.98	c |    395724 |   40759   571173  2544294 | 2147483647   395724     31 |  0.000 % |
1089.08/1096.29	c |    396005 |   40759   571173  2544294 | 2147483647   396005     31 |  0.000 % |
1090.08/1097.23	c |    396314 |   40759   571173  2544294 | 2147483647   396314     31 |  0.000 % |
1091.08/1098.29	c |    396654 |   40759   571173  2544294 | 2147483647   396654     31 |  0.000 % |
1092.48/1099.69	c |    397026 |   40759   571173  2544294 | 2147483647   397026     31 |  0.000 % |
1093.98/1101.11	c |    397437 |   40759   571173  2544294 | 2147483647   397437     31 |  0.000 % |
1095.28/1102.42	c |    397886 |   40759   571173  2544294 | 2147483647   397886     31 |  0.000 % |
1097.08/1104.24	c |    398379 |   40759   571173  2544294 | 2147483647   398379     31 |  0.000 % |
1098.77/1105.92	c |    398925 |   40759   571173  2544294 | 2147483647   398925     31 |  0.000 % |
1100.87/1108.02	c |    399521 |   40759   571173  2544294 | 2147483647   399521     31 |  0.000 % |
1103.47/1110.63	c |    400176 |   40759   571173  2544294 | 2147483647   400176     31 |  0.000 % |
1105.47/1112.64	c |    400898 |   40759   571173  2544294 | 2147483647   400898     31 |  0.000 % |
1109.08/1116.23	c |    401691 |   40759   571173  2544294 | 2147483647   401691     31 |  0.000 % |
1112.47/1119.66	c |    402563 |   40759   571173  2544294 | 2147483647   402563     31 |  0.000 % |
1115.17/1122.36	c |    403521 |   40759   571173  2544294 | 2147483647   403521     31 |  0.000 % |
1118.77/1125.95	c |    404576 |   40759   571173  2544294 | 2147483647   404576     31 |  0.000 % |
1123.07/1130.22	c |    405734 |   40759   571173  2544294 | 2147483647   405734     31 |  0.000 % |
1128.17/1135.33	c |    407007 |   40759   571173  2544294 | 2147483647   407007     31 |  0.000 % |
1133.07/1140.26	c |    408410 |   40759   571173  2544294 | 2147483647   408410     31 |  0.000 % |
1140.47/1147.63	c |    409952 |   40759   571173  2544294 | 2147483647   409952     31 |  0.000 % |
1146.36/1153.50	c |    411646 |   40759   571173  2544294 | 2147483647   411646     31 |  0.000 % |
1152.65/1159.86	c |    413509 |   40759   571173  2544294 | 2147483647   413509     31 |  0.000 % |
1159.55/1166.73	c |    415559 |   40759   571173  2544294 | 2147483647   415559     31 |  0.000 % |
1167.16/1174.37	c |    417813 |   40759   571173  2544294 | 2147483647   417813     31 |  0.000 % |
1174.75/1181.94	c |    420291 |   40759   571173  2544294 | 2147483647   420291     31 |  0.000 % |
1183.45/1190.69	c |    423017 |   40759   571173  2544294 | 2147483647   423017     31 |  0.000 % |
1192.24/1199.45	c |    426015 |   40759   571173  2544294 | 2147483647   426015     31 |  0.000 % |

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832055-1242769115/watcher-1832055-1242769115 -o /tmp/evaluation-result-1832055-1242769115/solver-1832055-1242769115 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832055-1242769115.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 6544
/proc/meminfo: memFree=1900576/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 276 0 0 0 0 0 0 0 20 0 1 0 304940916 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6544/statm: 1339 235 195 169 0 50 0
[pid=6545] ppid=6544 vsize=5356 CPUtime=0
/proc/6545/stat : 6545 (SatELiteGTI) S 6544 6544 6457 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304940917 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6545/statm: 1339 238 198 169 0 50 0

[startup+0.102378 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 6544
/proc/meminfo: memFree=1900576/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.202388 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 6544
/proc/meminfo: memFree=1900576/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302399 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 6544
/proc/meminfo: memFree=1900576/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70244 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 6544
/proc/meminfo: memFree=1900576/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50152 s]
/proc/loadavg: 1.00 1.00 0.95 1/67 6549
/proc/meminfo: memFree=1757832/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
[pid=6549] ppid=6544 vsize=167812 CPUtime=1.07
/proc/6549/stat : 6549 (SatELite_releas) D 6544 6544 6457 0 -1 4194304 36288 0 0 0 89 18 0 0 25 0 1 0 304940917 171839488 35410 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 18446744071563608240 0 0 17 1 0 0
/proc/6549/statm: 41953 35410 75 173 0 41778 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 173168

[startup+3.10169 s]
/proc/loadavg: 1.08 1.02 0.95 1/67 6549
/proc/meminfo: memFree=1757704/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
[pid=6549] ppid=6544 vsize=167812 CPUtime=1.07
/proc/6549/stat : 6549 (SatELite_releas) D 6544 6544 6457 0 -1 4194304 36288 0 0 0 89 18 0 0 25 0 1 0 304940917 171839488 35410 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 18446744071563608240 0 0 17 1 0 0
/proc/6549/statm: 41953 35410 75 173 0 41778 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 173168
heavy processes:

[startup+6.30104 s]
/proc/loadavg: 1.08 1.02 0.95 1/67 6549
/proc/meminfo: memFree=1757640/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
[pid=6549] ppid=6544 vsize=171468 CPUtime=1.46
/proc/6549/stat : 6549 (SatELite_releas) D 6544 6544 6457 0 -1 4194304 37105 0 0 0 127 19 0 0 21 0 1 0 304940917 175583232 36227 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 18446744071563608240 0 0 17 0 0 0
/proc/6549/statm: 42867 36227 76 173 0 42692 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 176824
heavy processes:

[startup+12.7017 s]
/proc/loadavg: 1.29 1.06 0.97 2/67 6549
/proc/meminfo: memFree=1724624/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
[pid=6549] ppid=6544 vsize=191940 CPUtime=5.96
/proc/6549/stat : 6549 (SatELite_releas) R 6544 6544 6457 0 -1 4194304 41358 0 0 0 566 30 0 0 25 0 1 0 304940917 196546560 40480 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6549/statm: 47985 40480 76 173 0 47810 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 197296
heavy processes:

[startup+25.502 s]
/proc/loadavg: 1.40 1.10 0.98 2/67 6549
/proc/meminfo: memFree=1685264/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=0
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 237 197 169 0 50 0
[pid=6549] ppid=6544 vsize=218788 CPUtime=18.76
/proc/6549/stat : 6549 (SatELite_releas) R 6544 6544 6457 0 -1 4194304 48700 0 0 0 1833 43 0 0 25 0 1 0 304940917 224038912 45732 1992294400 134512640 135223648 4294956128 18446744073709551615 134601703 0 0 4096 3 0 0 0 17 1 0 0
/proc/6549/statm: 54697 45732 76 173 0 54522 0
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (KiB) 224144
heavy processes:

[startup+51.1027 s]
/proc/loadavg: 1.61 1.17 1.01 2/67 6550
/proc/meminfo: memFree=1808976/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=37372 CPUtime=24.43
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 9072 0 0 0 2438 5 0 0 25 0 1 0 304943580 38268928 9058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 9343 9058 77 171 0 9170 0
Current children cumulated CPU time (s) 44.34
Current children cumulated vsize (KiB) 42728

[startup+102.301 s]
/proc/loadavg: 1.56 1.24 1.04 2/67 6550
/proc/meminfo: memFree=1806928/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=41660 CPUtime=75.62
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 10113 0 0 0 7554 8 0 0 25 0 1 0 304943580 42659840 10099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 10415 10099 77 171 0 10242 0
Current children cumulated CPU time (s) 95.53
Current children cumulated vsize (KiB) 47016

[startup+162.301 s]
/proc/loadavg: 1.20 1.19 1.03 2/67 6550
/proc/meminfo: memFree=1802896/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=45876 CPUtime=135.6
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 11166 0 0 0 13550 10 0 0 25 0 1 0 304943580 46977024 11152 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 11469 11152 77 171 0 11296 0
Current children cumulated CPU time (s) 155.51
Current children cumulated vsize (KiB) 51232

[startup+222.307 s]
/proc/loadavg: 1.07 1.16 1.03 2/67 6550
/proc/meminfo: memFree=1798672/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=50020 CPUtime=195.58
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 12202 0 0 0 19546 12 0 0 25 0 1 0 304943580 51220480 12188 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 12505 12188 77 171 0 12332 0
Current children cumulated CPU time (s) 215.49
Current children cumulated vsize (KiB) 55376

[startup+282.302 s]
/proc/loadavg: 1.02 1.12 1.02 2/67 6550
/proc/meminfo: memFree=1794448/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=54120 CPUtime=255.55
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 13248 0 0 0 25541 14 0 0 25 0 1 0 304943580 55418880 13234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 13530 13234 77 171 0 13357 0
Current children cumulated CPU time (s) 275.46
Current children cumulated vsize (KiB) 59476

[startup+342.302 s]
/proc/loadavg: 1.01 1.10 1.01 2/67 6550
/proc/meminfo: memFree=1790608/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=58108 CPUtime=315.52
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 14199 0 0 0 31537 15 0 0 25 0 1 0 304943580 59502592 14185 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 14527 14185 77 171 0 14354 0
Current children cumulated CPU time (s) 335.43
Current children cumulated vsize (KiB) 63464

[startup+402.303 s]
/proc/loadavg: 1.00 1.08 1.01 2/67 6551
/proc/meminfo: memFree=1786704/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0

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

/proc/6550/statm: 17985 17619 77 171 0 17812 0
Current children cumulated CPU time (s) 575.35
Current children cumulated vsize (KiB) 77296

[startup+642.303 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 6552
/proc/meminfo: memFree=1772880/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=75256 CPUtime=615.42
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 18475 0 0 0 61520 22 0 0 25 0 1 0 304943580 77062144 18461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 18814 18461 77 171 0 18641 0
Current children cumulated CPU time (s) 635.33
Current children cumulated vsize (KiB) 80612

[startup+702.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 6552
/proc/meminfo: memFree=1769424/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=78456 CPUtime=675.4
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 19291 0 0 0 67517 23 0 0 25 0 1 0 304943580 80338944 19277 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 19614 19277 77 171 0 19441 0
Current children cumulated CPU time (s) 695.31
Current children cumulated vsize (KiB) 83812

[startup+762.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 6552
/proc/meminfo: memFree=1766160/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=81508 CPUtime=735.38
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 20083 0 0 0 73514 24 0 0 25 0 1 0 304943580 83464192 20069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 20377 20069 77 171 0 20204 0
Current children cumulated CPU time (s) 755.29
Current children cumulated vsize (KiB) 86864

[startup+822.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 6552
/proc/meminfo: memFree=1762768/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=85360 CPUtime=795.36
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 20909 0 0 0 79511 25 0 0 25 0 1 0 304943580 87408640 20895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 21340 20895 77 171 0 21167 0
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (KiB) 90716

[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1759568/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=88444 CPUtime=855.35
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 21690 0 0 0 85509 26 0 0 25 0 1 0 304943580 90566656 21676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 22111 21676 77 171 0 21938 0
Current children cumulated CPU time (s) 875.26
Current children cumulated vsize (KiB) 93800

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1756432/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=91412 CPUtime=915.32
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 22441 0 0 0 91506 26 0 0 25 0 1 0 304943580 93605888 22427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 22853 22427 77 171 0 22680 0
Current children cumulated CPU time (s) 935.23
Current children cumulated vsize (KiB) 96768

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1753168/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=94520 CPUtime=975.3
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 23240 0 0 0 97502 28 0 0 25 0 1 0 304943580 96788480 23226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 23630 23226 77 171 0 23457 0
Current children cumulated CPU time (s) 995.21
Current children cumulated vsize (KiB) 99876

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1749776/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=97852 CPUtime=1035.28
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 24075 0 0 0 103499 29 0 0 25 0 1 0 304943580 100200448 24061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 24463 24061 77 171 0 24290 0
Current children cumulated CPU time (s) 1055.19
Current children cumulated vsize (KiB) 103208

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1746512/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=100996 CPUtime=1095.26
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 24862 0 0 0 109495 31 0 0 25 0 1 0 304943580 103419904 24848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 25249 24848 77 171 0 25076 0
Current children cumulated CPU time (s) 1115.17
Current children cumulated vsize (KiB) 106352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1743376/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=103936 CPUtime=1155.24
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 25622 0 0 0 115492 32 0 0 25 0 1 0 304943580 106430464 25608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 25984 25608 77 171 0 25811 0
Current children cumulated CPU time (s) 1175.15
Current children cumulated vsize (KiB) 109292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1741968/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=105260 CPUtime=1180.14
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 25965 0 0 0 117982 32 0 0 25 0 1 0 304943580 107786240 25951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 26315 25951 77 171 0 26142 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 110616

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

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

[startup+1207.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6552
/proc/meminfo: memFree=1741968/2055924 swapFree=4157844/4192956
[pid=6544] ppid=6542 vsize=5356 CPUtime=19.91
/proc/6544/stat : 6544 (SatELiteGTI) S 6542 6544 6457 0 -1 4194304 336 51831 0 0 0 0 1937 54 16 0 1 0 304940916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6544/statm: 1339 239 197 169 0 50 0
[pid=6550] ppid=6544 vsize=105260 CPUtime=1180.14
/proc/6550/stat : 6550 (minisat_static) R 6544 6544 6457 0 -1 4194304 25965 0 0 0 117982 32 0 0 25 0 1 0 304943580 107786240 25951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6550/statm: 26315 25951 77 171 0 26142 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 110616

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6544 and gives
#  childrusage.ru_utime.tv_sec=19
#  childrusage.ru_utime.tv_usec=375054
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=542917
# CPU time returned by wait4() is 19.918
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1207.21
CPU time (s): 1200.05
CPU user time (s): 1199.19
CPU system time (s): 0.86
CPU usage (%): 99.4065
Max. virtual memory (cumulated for all children) (KiB): 224336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3751
system time used= 0.542917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52167
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= 19
involuntary context switches= 70

runsolver used 1.08083 second user time and 3.41648 second system time

The end

Launcher Data 

Begin job on node83 at 2009-05-19 23:38:36
IDJOB=1832055
IDBENCH=20405
IDSOLVER=671
FILE ID=node83/1832055-1242769115
PBS_JOBID= 9322221
Free space on /tmp= 66264 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832055-1242769115/watcher-1832055-1242769115 -o /tmp/evaluation-result-1832055-1242769115/solver-1832055-1242769115 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832055-1242769115.cnf

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED=759765750

node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1901056 kB
Buffers:          8680 kB
Cached:          87600 kB
SwapCached:      29384 kB
Active:          46712 kB
Inactive:        80964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1901056 kB
SwapTotal:     4192956 kB
SwapFree:      4157844 kB
Dirty:           23056 kB
Writeback:           0 kB
Mapped:          15468 kB
Slab:            13144 kB
Committed_AS:  1038656 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66208 MiB
End job on node83 at 2009-05-19 23:58:46