Trace number 1833621

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.06 1200.91

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
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 variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.93	c ==============================================================================
0.00/0.93	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.93	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.93	c ==============================================================================
0.00/0.93	c |         0 | 1093965  2552585 |  328189       0        0     nan |  0.000 % |
23.54/23.63	c |         0 |  536570  1877685 |      --       0       --      -- |     --   | -557373/-674847
23.54/23.63	c ==============================================================================
23.54/23.63	c Result  :   #vars: 96656   #clauses: 536570   #literals: 1877685
23.54/23.63	c CPU time:   22.9575 s
23.54/23.63	c ==============================================================================
24.20/24.58	c This is MiniSat 2.0 beta
24.20/24.58	c WARNING: for repeatability, setting FPU to use double precision
24.20/24.58	c ============================[ Problem Statistics ]=============================
24.20/24.58	c |                                                                             |
24.20/24.58	c |  Number of variables:  96656                                                |
24.20/24.58	c |  Number of clauses:    536570                                               |
24.26/24.93	c |  Parsing time:         0.30         s                                       |
24.26/24.95	c ============================[ Search Statistics ]==============================
24.26/24.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.26/24.95	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.26/24.95	c ===============================================================================
24.26/24.95	c |         0 |   96656   536570  1877685 |   178856        0    nan |  0.000 % |
24.26/24.99	c |       101 |   96656   536570  1877685 |   178856      101     68 |  0.000 % |
24.86/25.21	c |       202 |   96656   536570  1877685 |   178856      202     56 |  0.000 % |
25.05/25.41	c |       302 |   96656   536570  1877685 |   178856      302     42 |  0.000 % |
25.15/25.51	c |       413 |   96656   536570  1877685 |   178856      413     35 |  0.000 % |
25.25/25.67	c |       513 |   96656   536570  1877685 |   178856      513     34 |  0.000 % |
25.35/25.75	c |       628 |   96656   536570  1877685 |   178856      628     30 |  0.000 % |
25.45/25.82	c |       749 |   96656   536570  1877685 |   178856      749     29 |  0.000 % |
25.45/25.85	c |       850 |   96656   536570  1877685 |   178856      850     27 |  0.000 % |
25.45/25.88	c |       962 |   96656   536570  1877685 |   178856      962     25 |  0.000 % |
25.75/26.12	c |      1083 |   96656   536570  1877685 |   178856     1083     25 |  0.000 % |
25.96/26.38	c |      1216 |   96656   536570  1877685 |   178856     1216     33 |  0.000 % |
26.25/26.65	c |      1317 |   96656   536570  1877685 |   178856     1317     33 |  0.000 % |
26.35/26.72	c |      1427 |   96656   536570  1877685 |   178856     1427     33 |  0.000 % |
26.65/27.00	c |      1548 |   96656   536570  1877685 |   178856     1548     35 |  0.000 % |
26.85/27.29	c |      1682 |   96656   536570  1877685 |   178856     1682     37 |  0.000 % |
27.06/27.47	c |      1830 |   96656   536570  1877685 |   178856     1830     38 |  0.000 % |
27.16/27.51	c |      1930 |   96656   536570  1877685 |   178856     1930     36 |  0.000 % |
27.25/27.69	c |      2041 |   96656   536570  1877685 |   178856     2041     36 |  0.000 % |
27.45/27.89	c |      2162 |   96656   536570  1877685 |   178856     2162     37 |  0.000 % |
27.55/27.93	c |      2295 |   96656   536570  1877685 |   178856     2295     36 |  0.000 % |
27.65/28.04	c |      2442 |   96656   536570  1877685 |   178856     2442     36 |  0.000 % |
27.75/28.13	c |      2602 |   96656   536570  1877685 |   178856     2602     35 |  0.000 % |
27.95/28.31	c |      2702 |   96656   536570  1877685 |   178856     2702     34 |  0.000 % |
28.05/28.48	c |      2814 |   96656   536570  1877685 |   178856     2814     36 |  0.000 % |
28.26/28.64	c |      2935 |   96656   536570  1877685 |   178856     2935     35 |  0.000 % |
28.46/28.82	c |      3074 |   96656   536570  1877685 |   178856     3074     37 |  0.000 % |
28.56/28.91	c |      3220 |   96656   536570  1877685 |   178856     3220     38 |  0.000 % |
28.96/29.30	c |      3380 |   96656   536570  1877685 |   178856     3380     37 |  0.000 % |
29.26/29.68	c |      3557 |   96656   536570  1877685 |   178856     3557     37 |  0.000 % |
29.36/29.71	c |      3659 |   96656   536570  1877685 |   178856     3659     37 |  0.000 % |
29.36/29.73	c |      3770 |   96656   536570  1877685 |   178856     3770     36 |  0.000 % |
29.46/29.85	c |      3891 |   96656   536570  1877685 |   178856     3891     36 |  0.000 % |
29.56/29.90	c |      4025 |   96656   536570  1877685 |   178856     4025     35 |  0.000 % |
29.76/30.14	c |      4172 |   96656   536570  1877685 |   178856     4172     34 |  0.000 % |
30.06/30.47	c |      4332 |   96656   536570  1877685 |   178856     4332     34 |  0.000 % |
30.26/30.64	c |      4508 |   96656   536570  1877685 |   178856     4508     34 |  0.000 % |
30.56/30.96	c |      4701 |   96656   536570  1877685 |   178856     4701     33 |  0.000 % |
31.06/31.40	c |      4801 |   96656   536570  1877685 |   178856     4801     34 |  0.000 % |
31.46/31.86	c |      4911 |   96656   536570  1877685 |   178856     4911     37 |  0.000 % |
31.76/32.12	c |      5033 |   96656   536570  1877685 |   178856     5033     38 |  0.000 % |
31.76/32.19	c |      5169 |   96656   536570  1877685 |   178856     5169     38 |  0.000 % |
32.16/32.50	c |      5316 |   96656   536570  1877685 |   178856     5316     37 |  0.000 % |
32.26/32.64	c |      5479 |   96656   536570  1877685 |   178856     5479     36 |  0.000 % |
32.36/32.79	c |      5655 |   96656   536570  1877685 |   178856     5655     36 |  0.000 % |
32.66/33.01	c |      5848 |   96656   536570  1877685 |   178856     5848     35 |  0.000 % |
32.95/33.39	c |      6065 |   96656   536570  1877685 |   178856     6065     34 |  0.000 % |
33.16/33.51	c |      6165 |   96656   536570  1877685 |   178856     6165     34 |  0.000 % |
33.16/33.60	c |      6275 |   96656   536570  1877685 |   178856     6275     33 |  0.000 % |
33.36/33.78	c |      6396 |   96656   536570  1877685 |   178856     6396     33 |  0.000 % |
33.46/33.87	c |      6529 |   96656   536570  1877685 |   178856     6529     33 |  0.000 % |
33.55/33.98	c |      6676 |   96656   536570  1877685 |   178856     6676     33 |  0.000 % |
33.95/34.37	c |      6837 |   96656   536570  1877685 |   178856     6837     35 |  0.000 % |
34.75/35.18	c |      7014 |   96655   536441  1877425 |   178856     7012     39 |  0.001 % |
35.05/35.48	c |      7207 |   96655   536441  1877425 |   178856     7205     40 |  0.001 % |
35.45/35.85	c |      7419 |   96655   536441  1877425 |   178856     7417     39 |  0.001 % |
35.75/36.14	c |      7653 |   96655   536441  1877425 |   178856     7651     38 |  0.001 % |
35.85/36.23	c |      7753 |   96655   536441  1877425 |   178856     7751     38 |  0.001 % |
36.05/36.45	c |      7863 |   96655   536441  1877425 |   178856     7861     38 |  0.001 % |
36.05/36.47	c |      7984 |   96655   536441  1877425 |   178856     7982     37 |  0.001 % |
36.15/36.52	c |      8117 |   96655   536441  1877425 |   178856     8115     36 |  0.001 % |
36.25/36.63	c |      8263 |   96655   536441  1877425 |   178856     8261     36 |  0.001 % |
36.65/37.00	c |      8424 |   96655   536441  1877425 |   178856     8422     36 |  0.001 % |
36.85/37.27	c |      8601 |   96655   536441  1877425 |   178856     8599     39 |  0.001 % |
37.05/37.41	c |      8794 |   96655   536441  1877425 |   178856     8792     38 |  0.001 % |
37.25/37.65	c |      9006 |   96655   536441  1877425 |   178856     9004     38 |  0.001 % |
37.45/37.89	c |      9239 |   96655   536441  1877425 |   178856     9237     39 |  0.001 % |
37.95/38.39	c |      9496 |   96655   536441  1877425 |   178856     9494     38 |  0.001 % |
38.05/38.49	c |      9597 |   96655   536441  1877425 |   178856     9595     38 |  0.001 % |
38.45/38.84	c |      9707 |   96655   536441  1877425 |   178856     9705     37 |  0.001 % |
39.65/40.09	c |      9828 |   96655   536441  1877425 |   178856     9826     37 |  0.001 % |
40.25/40.61	c |      9962 |   96654   536313  1877169 |   178856     9958     38 |  0.002 % |
40.35/40.79	c |     10108 |   96654   536313  1877169 | 2147483647    10104     37 |  0.002 % |
40.55/40.95	c |     10268 |   96654   536313  1877169 | 2147483647    10264     37 |  0.002 % |
40.85/41.20	c |     10444 |   96654   536313  1877169 | 2147483647    10440     37 |  0.002 % |
40.95/41.31	c |     10639 |   96654   536313  1877169 | 2147483647    10635     38 |  0.002 % |
41.15/41.57	c |     10852 |   96654   536313  1877169 | 2147483647    10848     38 |  0.002 % |
41.85/42.25	c |     11085 |   96654   536313  1877169 | 2147483647    11081     38 |  0.002 % |
42.25/42.66	c |     11341 |   96654   536313  1877169 | 2147483647    11337     38 |  0.002 % |
42.84/43.21	c |     11623 |   96654   536313  1877169 | 2147483647    11619     38 |  0.002 % |
43.14/43.50	c |     11723 |   96654   536313  1877169 | 2147483647    11719     38 |  0.002 % |
43.24/43.69	c |     11834 |   96654   536313  1877169 | 2147483647    11830     38 |  0.002 % |
43.34/43.79	c |     11955 |   96654   536313  1877169 | 2147483647    11951     38 |  0.002 % |
43.55/43.97	c |     12093 |   96654   536313  1877169 | 2147483647    12089     38 |  0.002 % |
43.74/44.17	c |     12240 |   96654   536313  1877169 | 2147483647    12236     37 |  0.002 % |
43.95/44.35	c |     12401 |   96654   536313  1877169 | 2147483647    12397     37 |  0.002 % |
44.65/45.09	c |     12577 |   96654   536313  1877169 | 2147483647    12573     37 |  0.002 % |
44.94/45.36	c |     12771 |   96654   536313  1877169 | 2147483647    12767     37 |  0.002 % |
45.24/45.64	c |     12983 |   96654   536313  1877169 | 2147483647    12979     37 |  0.002 % |
45.64/46.07	c |     13218 |   96654   536313  1877169 | 2147483647    13214     38 |  0.002 % |
45.94/46.34	c |     13474 |   96654   536313  1877169 | 2147483647    13470     38 |  0.002 % |
46.24/46.61	c |     13756 |   96654   536313  1877169 | 2147483647    13752     37 |  0.002 % |
46.54/46.98	c |     14065 |   96654   536313  1877169 | 2147483647    14061     37 |  0.002 % |
46.74/47.15	c |     14166 |   96654   536313  1877169 | 2147483647    14162     37 |  0.002 % |
46.85/47.27	c |     14279 |   96654   536313  1877169 | 2147483647    14275     36 |  0.002 % |
47.24/47.61	c |     14401 |   96654   536313  1877169 | 2147483647    14397     37 |  0.002 % |
47.44/47.80	c |     14534 |   96654   536313  1877169 | 2147483647    14530     37 |  0.002 % |
47.74/48.11	c |     14681 |   96654   536313  1877169 | 2147483647    14677     37 |  0.002 % |
47.84/48.30	c |     14841 |   96654   536313  1877169 | 2147483647    14837     37 |  0.002 % |
48.05/48.41	c |     15017 |   96654   536313  1877169 | 2147483647    15013     37 |  0.002 % |
48.34/48.75	c |     15210 |   96654   536313  1877169 | 2147483647    15206     37 |  0.002 % |
48.74/49.12	c |     15422 |   96654   536313  1877169 | 2147483647    15418     37 |  0.002 % |
48.94/49.40	c |     15655 |   96654   536313  1877169 | 2147483647    15651     37 |  0.002 % |
49.54/49.92	c |     15911 |   96654   536313  1877169 | 2147483647    15907     38 |  0.002 % |
49.84/50.21	c |     16193 |   96654   536313  1877169 | 2147483647    16189     37 |  0.002 % |
50.04/50.42	c |     16503 |   96653   536184  1876909 | 2147483647    16497     37 |  0.003 % |
50.34/50.75	c |     16842 |   96653   536184  1876909 | 2147483647    16836     37 |  0.003 % |
50.54/50.99	c |     16942 |   96653   536184  1876909 | 2147483647    16936     37 |  0.003 % |
50.74/51.15	c |     17052 |   96653   536184  1876909 | 2147483647    17046     37 |  0.003 % |
50.84/51.22	c |     17173 |   96653   536184  1876909 | 2147483647    17167     37 |  0.003 % |
51.14/51.53	c |     17306 |   96653   536184  1876909 | 2147483647    17300     37 |  0.003 % |
51.54/51.90	c |     17452 |   96653   536184  1876909 | 2147483647    17446     37 |  0.003 % |
51.74/52.12	c |     17612 |   96653   536184  1876909 | 2147483647    17606     37 |  0.003 % |
52.14/52.50	c |     17790 |   96653   536184  1876909 | 2147483647    17784     36 |  0.003 % |
52.54/52.99	c |     17983 |   96653   536184  1876909 | 2147483647    17977     36 |  0.003 % |
52.94/53.30	c |     18195 |   96653   536184  1876909 | 2147483647    18189     36 |  0.003 % |
53.13/53.56	c |     18428 |   96653   536184  1876909 | 2147483647    18422     36 |  0.003 % |
53.33/53.78	c |     18684 |   96653   536184  1876909 | 2147483647    18678     36 |  0.003 % |
53.73/54.19	c |     18967 |   96653   536184  1876909 | 2147483647    18961     38 |  0.003 % |
54.13/54.53	c |     19277 |   96653   536184  1876909 | 2147483647    19271     39 |  0.003 % |
54.55/54.99	c |     19619 |   96653   536184  1876909 | 2147483647    19613     40 |  0.003 % |
54.94/55.38	c |     19991 |   96653   536184  1876909 | 2147483647    19985     41 |  0.003 % |
55.14/55.54	c |     20093 |   96653   536184  1876909 | 2147483647    20087     41 |  0.003 % |
55.14/55.59	c |     20203 |   96653   536184  1876909 | 2147483647    20197     41 |  0.003 % |
55.44/55.86	c |     20324 |   96653   536184  1876909 | 2147483647    20318     41 |  0.003 % |
55.84/56.20	c |     20457 |   96653   536184  1876909 | 2147483647    20451     41 |  0.003 % |
56.14/56.51	c |     20603 |   96653   536184  1876909 | 2147483647    20597     41 |  0.003 % |
56.24/56.66	c |     20763 |   96653   536184  1876909 | 2147483647    20757     41 |  0.003 % |
56.74/57.13	c |     20939 |   96653   536184  1876909 | 2147483647    20933     41 |  0.003 % |
56.84/57.29	c |     21132 |   96653   536184  1876909 | 2147483647    21126     41 |  0.003 % |
57.14/57.51	c |     21344 |   96653   536184  1876909 | 2147483647    21338     41 |  0.003 % |
57.24/57.69	c |     21578 |   96653   536184  1876909 | 2147483647    21572     41 |  0.003 % |
57.64/58.04	c |     21834 |   96653   536184  1876909 | 2147483647    21828     42 |  0.003 % |
58.63/59.00	c |     22116 |   96653   536184  1876909 | 2147483647    22110     43 |  0.003 % |
59.23/59.65	c |     22425 |   96653   536184  1876909 | 2147483647    22419     45 |  0.003 % |
60.03/60.50	c |     22764 |   96653   536184  1876909 | 2147483647    22758     47 |  0.003 % |
62.03/62.41	c |     23137 |   96653   536184  1876909 | 2147483647    23131     48 |  0.003 % |
63.13/63.53	c |     23547 |   96653   536184  1876909 | 2147483647    23541     49 |  0.003 % |
63.23/63.64	c |     23647 |   96653   536184  1876909 | 2147483647    23641     49 |  0.003 % |
63.33/63.71	c |     23766 |   96653   536184  1876909 | 2147483647    23760     49 |  0.003 % |
63.33/63.77	c |     23887 |   96653   536184  1876909 | 2147483647    23881     49 |  0.003 % |
64.33/64.79	c |     24021 |   96653   536184  1876909 | 2147483647    24015     50 |  0.003 % |
64.63/65.00	c |     24167 |   96653   536184  1876909 | 2147483647    24161     50 |  0.003 % |
64.73/65.19	c |     24327 |   96653   536184  1876909 | 2147483647    24321     50 |  0.003 % |
65.03/65.48	c |     24503 |   96653   536184  1876909 | 2147483647    24497     50 |  0.003 % |
65.43/65.86	c |     24696 |   96653   536184  1876909 | 2147483647    24690     50 |  0.003 % |
65.63/66.02	c |     24909 |   96653   536184  1876909 | 2147483647    24903     49 |  0.003 % |
65.83/66.25	c |     25143 |   96653   536184  1876909 | 2147483647    25137     49 |  0.003 % |
66.12/66.59	c |     25399 |   96653   536184  1876909 | 2147483647    25393     49 |  0.003 % |
66.42/66.82	c |     25680 |   96653   536184  1876909 | 2147483647    25674     49 |  0.003 % |
67.12/67.50	c |     25990 |   96653   536184  1876909 | 2147483647    25984     49 |  0.003 % |
67.32/67.70	c |     26329 |   96653   536184  1876909 | 2147483647    26323     48 |  0.003 % |
67.62/68.01	c |     26701 |   96653   536184  1876909 | 2147483647    26695     48 |  0.003 % |
68.32/68.70	c |     27110 |   96653   536184  1876909 | 2147483647    27104     49 |  0.003 % |
68.93/69.32	c |     27560 |   96653   536184  1876909 | 2147483647    27554     48 |  0.003 % |
69.12/69.58	c |     27661 |   96653   536184  1876909 | 2147483647    27655     48 |  0.003 % |
69.22/69.70	c |     27771 |   96653   536184  1876909 | 2147483647    27765     48 |  0.003 % |
69.72/70.11	c |     27892 |   96653   536184  1876909 | 2147483647    27886     49 |  0.003 % |
69.93/70.32	c |     28025 |   96653   536184  1876909 | 2147483647    28019     49 |  0.003 % |
70.03/70.41	c |     28171 |   96653   536184  1876909 | 2147483647    28165     48 |  0.003 % |
70.42/70.86	c |     28331 |   96653   536184  1876909 | 2147483647    28325     48 |  0.003 % |
70.62/71.02	c |     28507 |   96653   536184  1876909 | 2147483647    28501     48 |  0.003 % |
70.82/71.25	c |     28700 |   96653   536184  1876909 | 2147483647    28694     48 |  0.003 % |
71.42/71.80	c |     28913 |   96653   536184  1876909 | 2147483647    28907     48 |  0.003 % |
71.82/72.20	c |     29146 |   96653   536184  1876909 | 2147483647    29140     48 |  0.003 % |
72.12/72.53	c |     29410 |   96653   536184  1876909 | 2147483647    29404     48 |  0.003 % |
72.52/72.91	c |     29691 |   96653   536184  1876909 | 2147483647    29685     48 |  0.003 % |
73.92/74.33	c |     30002 |   96653   536184  1876909 | 2147483647    29996     49 |  0.003 % |
74.62/75.10	c |     30341 |   96653   536184  1876909 | 2147483647    30335     49 |  0.003 % |
75.12/75.55	c |     30713 |   96653   536184  1876909 | 2147483647    30707     48 |  0.003 % |
75.72/76.11	c |     31122 |   96653   536184  1876909 | 2147483647    31116     48 |  0.003 % |
76.12/76.51	c |     31572 |   96653   536184  1876909 | 2147483647    31566     48 |  0.003 % |
76.92/77.35	c |     32066 |   96653   536184  1876909 | 2147483647    32060     48 |  0.003 % |
77.12/77.53	c |     32166 |   96653   536184  1876909 | 2147483647    32160     48 |  0.003 % |
77.21/77.60	c |     32276 |   96653   536184  1876909 | 2147483647    32270     49 |  0.003 % |
77.41/77.83	c |     32397 |   96653   536184  1876909 | 2147483647    32391     49 |  0.003 % |
77.51/77.98	c |     32530 |   96653   536184  1876909 | 2147483647    32524     49 |  0.003 % |
77.81/78.27	c |     32676 |   96653   536184  1876909 | 2147483647    32670     49 |  0.003 % |
78.31/78.74	c |     32836 |   96653   536184  1876909 | 2147483647    32830     49 |  0.003 % |
78.61/79.00	c |     33012 |   96653   536184  1876909 | 2147483647    33006     50 |  0.003 % |
79.21/79.69	c |     33206 |   96653   536184  1876909 | 2147483647    33200     51 |  0.003 % |
79.82/80.21	c |     33418 |   96653   536184  1876909 | 2147483647    33412     51 |  0.003 % |
80.51/80.95	c |     33661 |   96653   536184  1876909 | 2147483647    33655     52 |  0.003 % |
81.21/81.65	c |     33922 |   96653   536184  1876909 | 2147483647    33916     52 |  0.003 % |
81.41/81.89	c |     34203 |   96653   536184  1876909 | 2147483647    34197     52 |  0.003 % |
82.12/82.54	c |     34513 |   96653   536184  1876909 | 2147483647    34507     53 |  0.003 % |
82.62/83.01	c |     34852 |   96653   536184  1876909 | 2147483647    34846     53 |  0.003 % |
83.02/83.44	c |     35225 |   96653   536184  1876909 | 2147483647    35219     53 |  0.003 % |
83.31/83.77	c |     35634 |   96653   536184  1876909 | 2147483647    35628     53 |  0.003 % |
84.51/84.93	c |     36083 |   96653   536184  1876909 | 2147483647    36077     53 |  0.003 % |
86.61/87.03	c |     36576 |   96653   536184  1876909 | 2147483647    36570     54 |  0.003 % |
87.51/87.97	c |     37120 |   96653   536184  1876909 | 2147483647    37114     55 |  0.003 % |
87.61/88.06	c |     37222 |   96653   536184  1876909 | 2147483647    37216     55 |  0.003 % |
87.90/88.38	c |     37333 |   96653   536184  1876909 | 2147483647    37327     55 |  0.003 % |
88.61/89.01	c |     37455 |   96653   536184  1876909 | 2147483647    37449     56 |  0.003 % |
89.00/89.46	c |     37588 |   96653   536184  1876909 | 2147483647    37582     57 |  0.003 % |
89.50/89.98	c |     37734 |   96653   536184  1876909 | 2147483647    37728     57 |  0.003 % |
90.40/90.83	c |     37894 |   96653   536184  1876909 | 2147483647    37888     57 |  0.003 % |
90.70/91.17	c |     38071 |   96653   536184  1876909 | 2147483647    38065     57 |  0.003 % |
91.20/91.63	c |     38265 |   96653   536184  1876909 | 2147483647    38259     57 |  0.003 % |
91.50/91.91	c |     38477 |   96653   536184  1876909 | 2147483647    38471     57 |  0.003 % |
92.00/92.47	c |     38711 |   96653   536184  1876909 | 2147483647    38705     58 |  0.003 % |
92.60/93.01	c |     38968 |   96653   536184  1876909 | 2147483647    38962     58 |  0.003 % |
93.00/93.47	c |     39250 |   96653   536184  1876909 | 2147483647    39244     58 |  0.003 % |
93.30/93.73	c |     39559 |   96653   536184  1876909 | 2147483647    39553     57 |  0.003 % |
93.80/94.23	c |     39898 |   96653   536184  1876909 | 2147483647    39892     57 |  0.003 % |
95.00/95.47	c |     40271 |   96653   536184  1876909 | 2147483647    40265     58 |  0.003 % |
96.20/96.60	c |     40680 |   96653   536184  1876909 | 2147483647    40674     59 |  0.003 % |
97.99/98.47	c |     41129 |   96653   536184  1876909 | 2147483647    41123     61 |  0.003 % |
99.20/99.64	c |     41622 |   96653   536184  1876909 | 2147483647    41616     63 |  0.003 % |
100.60/101.09	c |     42164 |   96653   536184  1876909 | 2147483647    42158     63 |  0.003 % |
101.30/101.77	c |     42760 |   96653   536184  1876909 | 2147483647    42754     63 |  0.003 % |
101.50/101.91	c |     42860 |   96653   536184  1876909 | 2147483647    42854     63 |  0.003 % |
101.80/102.23	c |     42970 |   96653   536184  1876909 | 2147483647    42964     63 |  0.003 % |
101.90/102.34	c |     43093 |   96653   536184  1876909 | 2147483647    43087     63 |  0.003 % |
102.00/102.47	c |     43226 |   96653   536184  1876909 | 2147483647    43220     63 |  0.003 % |
102.20/102.63	c |     43372 |   96653   536184  1876909 | 2147483647    43366     62 |  0.003 % |
102.40/102.89	c |     43533 |   96653   536184  1876909 | 2147483647    43527     63 |  0.003 % |
102.70/103.10	c |     43710 |   96653   536184  1876909 | 2147483647    43704     63 |  0.003 % |
103.50/103.94	c |     43903 |   96653   536184  1876909 | 2147483647    43897     63 |  0.003 % |
103.80/104.25	c |     44115 |   96653   536184  1876909 | 2147483647    44109     63 |  0.003 % |
104.00/104.47	c |     44348 |   96653   536184  1876909 | 2147483647    44342     63 |  0.003 % |
105.10/105.51	c |     44606 |   96653   536184  1876909 | 2147483647    44600     63 |  0.003 % |
105.39/105.85	c |     44887 |   96653   536184  1876909 | 2147483647    44881     63 |  0.003 % |
105.59/106.06	c |     45196 |   96653   536184  1876909 | 2147483647    45190     63 |  0.003 % |
106.49/106.98	c |     45535 |   96653   536184  1876909 | 2147483647    45529     63 |  0.003 % |
106.89/107.38	c |     45907 |   96653   536184  1876909 | 2147483647    45901     63 |  0.003 % |
107.89/108.32	c |     46317 |   96653   536184  1876909 | 2147483647    46311     63 |  0.003 % |
108.79/109.26	c |     46766 |   96653   536184  1876909 | 2147483647    46760     63 |  0.003 % |
109.59/110.01	c |     47260 |   96653   536184  1876909 | 2147483647    47254     63 |  0.003 % |
110.19/110.65	c |     47802 |   96653   536184  1876909 | 2147483647    47796     62 |  0.003 % |
111.58/112.07	c |     48399 |   96653   536184  1876909 | 2147483647    48393     67 |  0.003 % |
113.79/114.23	c |     49054 |   96653   536184  1876909 | 2147483647    49048     67 |  0.003 % |
114.09/114.51	c |     49154 |   96653   536184  1876909 | 2147483647    49148     67 |  0.003 % |
114.39/114.81	c |     49264 |   96653   536184  1876909 | 2147483647    49258     67 |  0.003 % |
114.59/115.02	c |     49385 |   96653   536184  1876909 | 2147483647    49379     67 |  0.003 % |
114.89/115.39	c |     49519 |   96653   536184  1876909 | 2147483647    49513     67 |  0.003 % |
115.49/115.93	c |     49665 |   96653   536184  1876909 | 2147483647    49659     67 |  0.003 % |
115.89/116.36	c |     49825 |   96653   536184  1876909 | 2147483647    49819     67 |  0.003 % |
116.69/117.19	c |     50001 |   96653   536184  1876909 | 2147483647    49995     67 |  0.003 % |
117.19/117.63	c |     50196 |   96653   536184  1876909 | 2147483647    50190     67 |  0.003 % |
117.49/117.96	c |     50409 |   96653   536184  1876909 | 2147483647    50403     67 |  0.003 % |
117.69/118.20	c |     50642 |   96653   536184  1876909 | 2147483647    50636     67 |  0.003 % |
118.19/118.64	c |     50898 |   96653   536184  1876909 | 2147483647    50892     67 |  0.003 % |
118.79/119.29	c |     51185 |   96653   536184  1876909 | 2147483647    51179     67 |  0.003 % |
119.49/119.92	c |     51494 |   96653   536184  1876909 | 2147483647    51488     67 |  0.003 % |
119.99/120.40	c |     51835 |   96653   536184  1876909 | 2147483647    51829     67 |  0.003 % |
120.19/120.68	c |     52208 |   96653   536184  1876909 | 2147483647    52202     68 |  0.003 % |
121.19/121.62	c |     52617 |   96653   536184  1876909 | 2147483647    52611     67 |  0.003 % |
121.59/122.08	c |     53066 |   96653   536184  1876909 | 2147483647    53060     67 |  0.003 % |
122.39/122.81	c |     53559 |   96653   536184  1876909 | 2147483647    53553     67 |  0.003 % |
123.18/123.61	c |     54102 |   96653   536184  1876909 | 2147483647    54096     68 |  0.003 % |
123.79/124.26	c |     54698 |   96653   536184  1876909 | 2147483647    54692     70 |  0.003 % |
125.58/126.07	c |     55353 |   96653   536184  1876909 | 2147483647    55347     71 |  0.003 % |
127.38/127.88	c |     56075 |   96653   536184  1876909 | 2147483647    56069     71 |  0.003 % |
127.88/128.30	c |     56175 |   96653   536184  1876909 | 2147483647    56169     71 |  0.003 % |
128.08/128.58	c |     56286 |   96653   536184  1876909 | 2147483647    56280     71 |  0.003 % |
128.29/128.76	c |     56413 |   96653   536184  1876909 | 2147483647    56407     72 |  0.003 % |
128.58/129.00	c |     56546 |   96653   536184  1876909 | 2147483647    56540     73 |  0.003 % |
128.58/129.09	c |     56692 |   96653   536184  1876909 | 2147483647    56686     72 |  0.003 % |
129.18/129.68	c |     56853 |   96653   536184  1876909 | 2147483647    56847     72 |  0.003 % |
129.58/130.02	c |     57029 |   96653   536184  1876909 | 2147483647    57023     73 |  0.003 % |
129.98/130.42	c |     57223 |   96653   536184  1876909 | 2147483647    57217     73 |  0.003 % |
131.78/132.22	c |     57435 |   96653   536184  1876909 | 2147483647    57429     74 |  0.003 % |
132.28/132.71	c |     57668 |   96653   536184  1876909 | 2147483647    57662     75 |  0.003 % |
134.38/134.85	c |     57925 |   96653   536184  1876909 | 2147483647    57919     76 |  0.003 % |
136.08/136.51	c |     58206 |   96653   536184  1876909 | 2147483647    58200     77 |  0.003 % |
137.57/138.05	c |     58515 |   96653   536184  1876909 | 2147483647    58509     78 |  0.003 % |
138.27/138.79	c |     58856 |   96653   536184  1876909 | 2147483647    58850     78 |  0.003 % |
139.07/139.57	c |     59228 |   96653   536184  1876909 | 2147483647    59222     78 |  0.003 % |
140.88/141.35	c |     59637 |   96653   536184  1876909 | 2147483647    59631     78 |  0.003 % |
141.78/142.24	c |     60086 |   96653   536184  1876909 | 2147483647    60080     78 |  0.003 % |
143.08/143.58	c |     60579 |   96653   536184  1876909 | 2147483647    60573     78 |  0.003 % |
143.97/144.40	c |     61121 |   96653   536184  1876909 | 2147483647    61115     81 |  0.003 % |
146.68/147.14	c |     61718 |   96653   536184  1876909 | 2147483647    61712     83 |  0.003 % |
149.08/149.59	c |     62373 |   96653   536184  1876909 | 2147483647    62367     85 |  0.003 % |
150.67/151.17	c |     63093 |   96653   536184  1876909 | 2147483647    63087     89 |  0.003 % |
152.17/152.61	c |     63887 |   96653   536184  1876909 | 2147483647    63881     92 |  0.003 % |
152.27/152.73	c |     63988 |   96653   536184  1876909 | 2147483647    63982     92 |  0.003 % |
152.38/152.87	c |     64098 |   96653   536184  1876909 | 2147483647    64092     92 |  0.003 % |
152.57/153.08	c |     64221 |   96653   536184  1876909 | 2147483647    64215     92 |  0.003 % |
152.67/153.17	c |     64356 |   96653   536184  1876909 | 2147483647    64350     93 |  0.003 % |
153.17/153.61	c |     64502 |   96653   536184  1876909 | 2147483647    64496     92 |  0.003 % |
153.67/154.15	c |     64662 |   96653   536184  1876909 | 2147483647    64656     92 |  0.003 % |
154.27/154.70	c |     64840 |   96653   536184  1876909 | 2147483647    64834     92 |  0.003 % |
155.07/155.54	c |     65033 |   96653   536184  1876909 | 2147483647    65027     93 |  0.003 % |
155.27/155.75	c |     65245 |   96653   536184  1876909 | 2147483647    65239     93 |  0.003 % |
155.77/156.25	c |     65479 |   96653   536184  1876909 | 2147483647    65473     92 |  0.003 % |
156.17/156.61	c |     65735 |   96653   536184  1876909 | 2147483647    65729     92 |  0.003 % |
156.87/157.33	c |     66018 |   96653   536184  1876909 | 2147483647    66012     92 |  0.003 % |
157.37/157.83	c |     66327 |   96653   536184  1876909 | 2147483647    66321     92 |  0.003 % |
158.17/158.67	c |     66666 |   96653   536184  1876909 | 2147483647    66660     92 |  0.003 % |
158.87/159.35	c |     67038 |   96653   536184  1876909 | 2147483647    67032     91 |  0.003 % |
159.77/160.24	c |     67447 |   96653   536184  1876909 | 2147483647    67441     91 |  0.003 % |
160.77/161.21	c |     67896 |   96653   536184  1876909 | 2147483647    67890     91 |  0.003 % |
162.76/163.28	c |     68390 |   96653   536184  1876909 | 2147483647    68384     92 |  0.003 % |
163.66/164.16	c |     68932 |   96653   536184  1876909 | 2147483647    68926     92 |  0.003 % |
165.07/165.50	c |     69528 |   96653   536184  1876909 | 2147483647    69522     92 |  0.003 % |
166.57/167.02	c |     70184 |   96653   536184  1876909 | 2147483647    70178     93 |  0.003 % |
168.07/168.55	c |     70906 |   96653   536184  1876909 | 2147483647    70900     92 |  0.003 % |
169.07/169.58	c |     71698 |   96653   536184  1876909 | 2147483647    71692     92 |  0.003 % |
170.97/171.47	c |     72570 |   96653   536184  1876909 | 2147483647    72564     93 |  0.003 % |
171.57/172.01	c |     72673 |   96653   536184  1876909 | 2147483647    72667     93 |  0.003 % |
171.67/172.14	c |     72783 |   96653   536184  1876909 | 2147483647    72777     93 |  0.003 % |
171.87/172.37	c |     72904 |   96653   536184  1876909 | 2147483647    72898     93 |  0.003 % |
172.17/172.68	c |     73038 |   96653   536184  1876909 | 2147483647    73032     93 |  0.003 % |
173.16/173.60	c |     73187 |   96653   536184  1876909 | 2147483647    73181     94 |  0.003 % |
173.76/174.26	c |     73348 |   96653   536184  1876909 | 2147483647    73342     94 |  0.003 % |
173.96/174.49	c |     73524 |   96653   536184  1876909 | 2147483647    73518     94 |  0.003 % |
174.56/175.07	c |     73719 |   96653   536184  1876909 | 2147483647    73713     94 |  0.003 % |
175.36/175.82	c |     73931 |   96653   536184  1876909 | 2147483647    73925     94 |  0.003 % |
175.96/176.46	c |     74164 |   96653   536184  1876909 | 2147483647    74158     94 |  0.003 % |
176.56/177.05	c |     74420 |   96653   536184  1876909 | 2147483647    74414     94 |  0.003 % |
177.66/178.18	c |     74702 |   96653   536184  1876909 | 2147483647    74696     94 |  0.003 % |
178.96/179.49	c |     75012 |   96653   536184  1876909 | 2147483647    75006     94 |  0.003 % |
179.86/180.34	c |     75351 |   96653   536184  1876909 | 2147483647    75345     94 |  0.003 % |
180.36/180.81	c |     75723 |   96653   536184  1876909 | 2147483647    75717     95 |  0.003 % |
181.76/182.25	c |     76132 |   96653   536184  1876909 | 2147483647    76126     95 |  0.003 % |
182.56/183.09	c |     76581 |   96653   536184  1876909 | 2147483647    76575     95 |  0.003 % |
183.26/183.76	c |     77075 |   96653   536184  1876909 | 2147483647    77069     95 |  0.003 % |
184.46/184.95	c |     77617 |   96653   536184  1876909 | 2147483647    77611     96 |  0.003 % |
186.15/186.65	c |     78213 |   96653   536184  1876909 | 2147483647    78207     97 |  0.003 % |
187.76/188.24	c |     78868 |   96653   536184  1876909 | 2147483647    78862     96 |  0.003 % |
188.76/189.27	c |     79588 |   96653   536184  1876909 | 2147483647    79582     96 |  0.003 % |
190.56/191.09	c |     80380 |   96653   536184  1876909 | 2147483647    80374     96 |  0.003 % |
193.16/193.69	c |     81251 |   96653   536184  1876909 | 2147483647    81245     96 |  0.003 % |
195.26/195.74	c |     82209 |   96653   536184  1876909 | 2147483647    82203     97 |  0.003 % |
195.85/196.31	c |     82338 |   96653   536184  1876909 | 2147483647    82332     97 |  0.003 % |
196.05/196.58	c |     82448 |   96653   536184  1876909 | 2147483647    82442     97 |  0.003 % |
196.46/196.93	c |     82569 |   96653   536184  1876909 | 2147483647    82563     97 |  0.003 % |
196.55/197.05	c |     82702 |   96653   536184  1876909 | 2147483647    82696     97 |  0.003 % |
196.95/197.49	c |     82848 |   96653   536184  1876909 | 2147483647    82842     97 |  0.003 % |
197.35/197.88	c |     83008 |   96653   536184  1876909 | 2147483647    83002     97 |  0.003 % |
197.75/198.30	c |     83184 |   96653   536184  1876909 | 2147483647    83178     97 |  0.003 % |
198.66/199.16	c |     83379 |   96653   536184  1876909 | 2147483647    83373     97 |  0.003 % |
199.25/199.73	c |     83591 |   96653   536184  1876909 | 2147483647    83585     97 |  0.003 % |
199.66/200.14	c |     83824 |   96653   536184  1876909 | 2147483647    83818     97 |  0.003 % |
199.85/200.37	c |     84081 |   96653   536184  1876909 | 2147483647    84075     97 |  0.003 % |
200.55/201.00	c |     84362 |   96653   536184  1876909 | 2147483647    84356     97 |  0.003 % |
201.35/201.84	c |     84671 |   96653   536184  1876909 | 2147483647    84665     97 |  0.003 % |
203.25/203.74	c |     85010 |   96653   536184  1876909 | 2147483647    85004     98 |  0.003 % |
204.65/205.18	c |     85383 |   96653   536184  1876909 | 2147483647    85377     98 |  0.003 % |
206.65/207.10	c |     85792 |   96653   536184  1876909 | 2147483647    85786     98 |  0.003 % |
207.24/207.76	c |     86241 |   96653   536184  1876909 | 2147483647    86235     98 |  0.003 % |
208.34/208.87	c |     86734 |   96653   536184  1876909 | 2147483647    86728     98 |  0.003 % |
209.65/210.19	c |     87276 |   96653   536184  1876909 | 2147483647    87270     98 |  0.003 % |
211.24/211.75	c |     87873 |   96653   536184  1876909 | 2147483647    87867     99 |  0.003 % |
213.04/213.50	c |     88529 |   96653   536184  1876909 | 2147483647    88523     99 |  0.003 % |
214.04/214.58	c |     89249 |   96653   536184  1876909 | 2147483647    89243     98 |  0.003 % |
216.04/216.56	c |     90041 |   96653   536184  1876909 | 2147483647    90035     98 |  0.003 % |
217.84/218.33	c |     90912 |   96653   536184  1876909 | 2147483647    90906     99 |  0.003 % |
220.04/220.58	c |     91876 |   96653   536184  1876909 | 2147483647    91870    100 |  0.003 % |
221.85/222.37	c |     92929 |   96653   536184  1876909 | 2147483647    92923    100 |  0.003 % |
222.05/222.53	c |     93029 |   96653   536184  1876909 | 2147483647    93023    100 |  0.003 % |
222.24/222.70	c |     93140 |   96653   536184  1876909 | 2147483647    93134    100 |  0.003 % |
222.44/222.90	c |     93263 |   96653   536184  1876909 | 2147483647    93257    100 |  0.003 % |
222.64/223.14	c |     93397 |   96653   536184  1876909 | 2147483647    93391    100 |  0.003 % |
223.04/223.54	c |     93543 |   96653   536184  1876909 | 2147483647    93537    100 |  0.003 % |
223.44/223.91	c |     93703 |   96653   536184  1876909 | 2147483647    93697    100 |  0.003 % |
223.85/224.35	c |     93879 |   96653   536184  1876909 | 2147483647    93873    100 |  0.003 % |
225.04/225.58	c |     94072 |   96653   536184  1876909 | 2147483647    94066    100 |  0.003 % |
225.14/225.62	c |     94284 |   96653   536184  1876909 | 2147483647    94278    100 |  0.003 % |
225.64/226.12	c |     94518 |   96653   536184  1876909 | 2147483647    94512    100 |  0.003 % |
226.24/226.70	c |     94774 |   96653   536184  1876909 | 2147483647    94768    100 |  0.003 % |
226.54/227.06	c |     95055 |   96653   536184  1876909 | 2147483647    95049     99 |  0.003 % |
227.04/227.55	c |     95366 |   96653   536184  1876909 | 2147483647    95360     99 |  0.003 % |
228.44/228.92	c |     95707 |   96653   536184  1876909 | 2147483647    95701     99 |  0.003 % |
230.34/230.88	c |     96080 |   96653   536184  1876909 | 2147483647    96074    100 |  0.003 % |
231.23/231.76	c |     96489 |   96653   536184  1876909 | 2147483647    96483    100 |  0.003 % |
232.03/232.54	c |     96938 |   96653   536184  1876909 | 2147483647    96932    100 |  0.003 % |
233.03/233.53	c |     97431 |   96653   536184  1876909 | 2147483647    97425    100 |  0.003 % |
234.03/234.57	c |     97974 |   96653   536184  1876909 | 2147483647    97968    100 |  0.003 % |
235.93/236.41	c |     98572 |   96653   536184  1876909 | 2147483647    98566    101 |  0.003 % |
237.13/237.65	c |     99232 |   96653   536184  1876909 | 2147483647    99226    101 |  0.003 % |
238.43/238.98	c |     99952 |   96653   536184  1876909 | 2147483647    99946    101 |  0.003 % |
239.43/239.98	c |    100744 |   96653   536184  1876909 | 2147483647   100738    100 |  0.003 % |
242.73/243.26	c |    101616 |   96653   536184  1876909 | 2147483647   101610    102 |  0.003 % |
244.43/244.94	c |    102574 |   96653   536184  1876909 | 2147483647   102568    102 |  0.003 % |
248.53/249.06	c |    103628 |   96653   536184  1876909 | 2147483647   103622    103 |  0.003 % |
252.03/252.58	c |    104786 |   96653   536184  1876909 | 2147483647   104780    104 |  0.003 % |
252.43/252.91	c |    104887 |   96653   536184  1876909 | 2147483647   104881    103 |  0.003 % |
252.63/253.15	c |    104998 |   96653   536184  1876909 | 2147483647   104992    103 |  0.003 % |
252.83/253.37	c |    105119 |   96653   536184  1876909 | 2147483647   105113    103 |  0.003 % |
253.33/253.83	c |    105252 |   96653   536184  1876909 | 2147483647   105246    103 |  0.003 % |
253.53/254.07	c |    105399 |   96653   536184  1876909 | 2147483647   105393    103 |  0.003 % |
253.63/254.15	c |    105559 |   96653   536184  1876909 | 2147483647   105553    103 |  0.003 % |
254.23/254.74	c |    105736 |   96653   536184  1876909 | 2147483647   105730    103 |  0.003 % |
254.63/255.20	c |    105930 |   96653   536184  1876909 | 2147483647   105924    103 |  0.003 % |
255.02/255.57	c |    106142 |   96653   536184  1876909 | 2147483647   106136    103 |  0.003 % |
255.32/255.86	c |    106375 |   96653   536184  1876909 | 2147483647   106369    103 |  0.003 % |
255.52/256.04	c |    106631 |   96653   536184  1876909 | 2147483647   106625    103 |  0.003 % |
255.83/256.38	c |    106912 |   96653   536184  1876909 | 2147483647   106906    103 |  0.003 % |
256.62/257.18	c |    107221 |   96653   536184  1876909 | 2147483647   107215    103 |  0.003 % |
257.32/257.88	c |    107561 |   96653   536184  1876909 | 2147483647   107555    102 |  0.003 % |
258.52/259.04	c |    107933 |   96653   536184  1876909 | 2147483647   107927    102 |  0.003 % |
259.62/260.12	c |    108343 |   96653   536184  1876909 | 2147483647   108337    103 |  0.003 % |
261.22/261.77	c |    108792 |   96653   536184  1876909 | 2147483647   108786    103 |  0.003 % |
262.72/263.23	c |    109285 |   96653   536184  1876909 | 2147483647   109279    102 |  0.003 % |
264.63/265.19	c |    109827 |   96653   536184  1876909 | 2147483647   109821    103 |  0.003 % |
266.03/266.52	c |    110423 |   96653   536184  1876909 | 2147483647   110417    103 |  0.003 % |
267.53/268.03	c |    111078 |   96653   536184  1876909 | 2147483647   111072    103 |  0.003 % |
271.32/271.85	c |    111798 |   96653   536184  1876909 | 2147483647   111792    104 |  0.003 % |
272.22/272.73	c |    112592 |   96653   536184  1876909 | 2147483647   112586    105 |  0.003 % |
274.22/274.75	c |    113464 |   96653   536184  1876909 | 2147483647   113458    105 |  0.003 % |
275.22/275.74	c |    114423 |   96653   536184  1876909 | 2147483647   114417    105 |  0.003 % |
276.81/277.30	c |    115476 |   96653   536184  1876909 | 2147483647   115470    104 |  0.003 % |
277.92/278.47	c |    116635 |   96653   536184  1876909 | 2147483647   116629    104 |  0.003 % |
281.72/282.20	c |    117909 |   96653   536184  1876909 | 2147483647   117903    105 |  0.003 % |
281.92/282.44	c |    118011 |   96653   536184  1876909 | 2147483647   118005    104 |  0.003 % |
282.12/282.62	c |    118122 |   96653   536184  1876909 | 2147483647   118116    104 |  0.003 % |
282.42/282.95	c |    118243 |   96653   536184  1876909 | 2147483647   118237    104 |  0.003 % |
283.12/283.67	c |    118376 |   96653   536184  1876909 | 2147483647   118370    104 |  0.003 % |
283.42/283.99	c |    118522 |   96653   536184  1876909 | 2147483647   118516    104 |  0.003 % |
283.82/284.31	c |    118682 |   96653   536184  1876909 | 2147483647   118676    104 |  0.003 % |
284.12/284.67	c |    118858 |   96653   536184  1876909 | 2147483647   118852    104 |  0.003 % |
284.32/284.84	c |    119052 |   96653   536184  1876909 | 2147483647   119046    104 |  0.003 % |
285.02/285.53	c |    119264 |   96653   536184  1876909 | 2147483647   119258    104 |  0.003 % |
286.32/286.88	c |    119497 |   96653   536184  1876909 | 2147483647   119491    104 |  0.003 % |
287.02/287.57	c |    119753 |   96653   536184  1876909 | 2147483647   119747    104 |  0.003 % |
287.62/288.15	c |    120034 |   96653   536184  1876909 | 2147483647   120028    104 |  0.003 % |
288.82/289.35	c |    120343 |   96653   536184  1876909 | 2147483647   120337    104 |  0.003 % |
289.62/290.19	c |    120682 |   96653   536184  1876909 | 2147483647   120676    104 |  0.003 % |
290.22/290.71	c |    121057 |   96653   536184  1876909 | 2147483647   121051    104 |  0.003 % |
291.71/292.22	c |    121466 |   96653   536184  1876909 | 2147483647   121460    104 |  0.003 % |
292.81/293.31	c |    121915 |   96653   536184  1876909 | 2147483647   121909    104 |  0.003 % |
293.51/294.06	c |    122409 |   96653   536184  1876909 | 2147483647   122403    104 |  0.003 % |
295.21/295.78	c |    122952 |   96653   536184  1876909 | 2147483647   122946    104 |  0.003 % |
296.11/296.64	c |    123550 |   96653   536184  1876909 | 2147483647   123544    104 |  0.003 % |
298.51/299.06	c |    124205 |   96653   536184  1876909 | 2147483647   124199    104 |  0.003 % |
301.00/301.59	c |    124926 |   96653   536184  1876909 | 2147483647   124920    105 |  0.003 % |
303.80/304.34	c |    125719 |   96653   536184  1876909 | 2147483647   125713    106 |  0.003 % |
304.81/305.39	c |    126591 |   96653   536184  1876909 | 2147483647   126585    106 |  0.003 % |
308.41/308.93	c |    127549 |   96653   536184  1876909 | 2147483647   127543    106 |  0.003 % |
313.20/313.70	c |    128602 |   96653   536184  1876909 | 2147483647   128596    109 |  0.003 % |
317.11/317.61	c |    129762 |   96653   536184  1876909 | 2147483647   129756    110 |  0.003 % |
320.40/320.93	c |    131035 |   96653   536184  1876909 | 2147483647   131029    110 |  0.003 % |
323.70/324.26	c |    132449 |   96653   536184  1876909 | 2147483647   132443    110 |  0.003 % |
323.80/324.38	c |    132549 |   96653   536184  1876909 | 2147483647   132543    110 |  0.003 % |
324.40/324.90	c |    132660 |   96653   536184  1876909 | 2147483647   132654    110 |  0.003 % |
324.70/325.24	c |    132783 |   96653   536184  1876909 | 2147483647   132777    110 |  0.003 % |
324.90/325.43	c |    132916 |   96653   536184  1876909 | 2147483647   132910    110 |  0.003 % |
325.20/325.78	c |    133062 |   96653   536184  1876909 | 2147483647   133056    110 |  0.003 % |
325.70/326.26	c |    133222 |   96653   536184  1876909 | 2147483647   133216    110 |  0.003 % |
326.50/327.07	c |    133400 |   96653   536184  1876909 | 2147483647   133394    110 |  0.003 % |
326.90/327.43	c |    133593 |   96653   536184  1876909 | 2147483647   133587    110 |  0.003 % |
327.20/327.70	c |    133805 |   96653   536184  1876909 | 2147483647   133799    110 |  0.003 % |
327.50/328.01	c |    134040 |   96653   536184  1876909 | 2147483647   134034    110 |  0.003 % |
327.70/328.29	c |    134297 |   96653   536184  1876909 | 2147483647   134291    110 |  0.003 % |
328.99/329.52	c |    134578 |   96653   536184  1876909 | 2147483647   134572    110 |  0.003 % |
329.79/330.32	c |    134895 |   96653   536184  1876909 | 2147483647   134889    110 |  0.003 % |
330.69/331.23	c |    135234 |   96653   536184  1876909 | 2147483647   135228    110 |  0.003 % |
331.50/332.08	c |    135606 |   96653   536184  1876909 | 2147483647   135600    110 |  0.003 % |
332.10/332.67	c |    136019 |   96653   536184  1876909 | 2147483647   136013    110 |  0.003 % |
333.10/333.62	c |    136468 |   96653   536184  1876909 | 2147483647   136462    110 |  0.003 % |
334.19/334.75	c |    136961 |   96653   536184  1876909 | 2147483647   136955    110 |  0.003 % |
334.69/335.28	c |    137503 |   96653   536184  1876909 | 2147483647   137497    110 |  0.003 % |
336.10/336.65	c |    138102 |   96653   536184  1876909 | 2147483647   138096    109 |  0.003 % |
337.49/338.00	c |    138757 |   96653   536184  1876909 | 2147483647   138751    109 |  0.003 % |
338.99/339.53	c |    139477 |   96653   536184  1876909 | 2147483647   139471    111 |  0.003 % |
342.99/343.50	c |    140270 |   96653   536184  1876909 | 2147483647   140264    112 |  0.003 % |
345.29/345.80	c |    141142 |   96653   536184  1876909 | 2147483647   141136    112 |  0.003 % |
348.19/348.72	c |    142100 |   96653   536184  1876909 | 2147483647   142094    112 |  0.003 % |
352.19/352.73	c |    143153 |   96653   536184  1876909 | 2147483647   143147    114 |  0.003 % |
355.39/355.98	c |    144311 |   96653   536184  1876909 | 2147483647   144305    117 |  0.003 % |
362.39/362.97	c |    145584 |   96653   536184  1876909 | 2147483647   145578    119 |  0.003 % |
366.18/366.72	c |    146984 |   96653   536184  1876909 | 2147483647   146978    119 |  0.003 % |
367.98/368.52	c |    148524 |   96653   536184  1876909 | 2147483647   148518    119 |  0.003 % |
368.38/368.96	c |    148625 |   96653   536184  1876909 | 2147483647   148619    119 |  0.003 % |
368.88/369.48	c |    148735 |   96653   536184  1876909 | 2147483647   148729    119 |  0.003 % |
369.38/369.92	c |    148856 |   96653   536184  1876909 | 2147483647   148850    119 |  0.003 % |
369.78/370.30	c |    148989 |   96653   536184  1876909 | 2147483647   148983    119 |  0.003 % |
370.18/370.77	c |    149136 |   96653   536184  1876909 | 2147483647   149130    119 |  0.003 % |
370.78/371.35	c |    149300 |   96653   536184  1876909 | 2147483647   149294    119 |  0.003 % |
371.18/371.75	c |    149476 |   96653   536184  1876909 | 2147483647   149470    119 |  0.003 % |
371.98/372.56	c |    149670 |   96653   536184  1876909 | 2147483647   149664    119 |  0.003 % |
372.68/373.20	c |    149882 |   96653   536184  1876909 | 2147483647   149876    119 |  0.003 % |
373.08/373.65	c |    150116 |   96653   536184  1876909 | 2147483647   150110    119 |  0.003 % |
373.58/374.15	c |    150373 |   96653   536184  1876909 | 2147483647   150367    119 |  0.003 % |
374.18/374.77	c |    150654 |   96653   536184  1876909 | 2147483647   150648    119 |  0.003 % |
374.48/375.04	c |    150965 |   96653   536184  1876909 | 2147483647   150959    119 |  0.003 % |
375.27/375.81	c |    151304 |   96653   536184  1876909 | 2147483647   151298    118 |  0.003 % |
376.47/377.00	c |    151677 |   96653   536184  1876909 | 2147483647   151671    118 |  0.003 % |
377.78/378.33	c |    152086 |   96653   536184  1876909 | 2147483647   152080    118 |  0.003 % |
379.27/379.87	c |    152537 |   96653   536184  1876909 | 2147483647   152531    118 |  0.003 % |
380.97/381.55	c |    153030 |   96653   536184  1876909 | 2147483647   153024    118 |  0.003 % |
381.47/382.07	c |    153573 |   96653   536184  1876909 | 2147483647   153567    118 |  0.003 % |
383.48/384.01	c |    154169 |   96653   536184  1876909 | 2147483647   154163    118 |  0.003 % |
385.28/385.88	c |    154824 |   96653   536184  1876909 | 2147483647   154818    118 |  0.003 % |
387.17/387.78	c |    155544 |   96653   536184  1876909 | 2147483647   155538    119 |  0.003 % |
388.67/389.22	c |    156338 |   96653   536184  1876909 | 2147483647   156332    118 |  0.003 % |
390.27/390.83	c |    157210 |   96653   536184  1876909 | 2147483647   157204    118 |  0.003 % |
392.47/393.04	c |    158169 |   96653   536184  1876909 | 2147483647   158163    118 |  0.003 % |
395.77/396.36	c |    159224 |   96653   536184  1876909 | 2147483647   159218    119 |  0.003 % |
398.36/398.91	c |    160384 |   96653   536184  1876909 | 2147483647   160378    119 |  0.003 % |
401.87/402.47	c |    161658 |   96653   536184  1876909 | 2147483647   161652    119 |  0.003 % |
405.77/406.31	c |    163058 |   96653   536184  1876909 | 2147483647   163052    119 |  0.003 % |
407.57/408.19	c |    164598 |   96653   536184  1876909 | 2147483647   164592    118 |  0.003 % |
414.36/414.90	c |    166293 |   96653   536184  1876909 | 2147483647   166287    120 |  0.003 % |
414.76/415.32	c |    166393 |   96653   536184  1876909 | 2147483647   166387    120 |  0.003 % |
415.56/416.17	c |    166504 |   96653   536184  1876909 | 2147483647   166498    120 |  0.003 % |
416.37/416.94	c |    166626 |   96653   536184  1876909 | 2147483647   166620    120 |  0.003 % |
416.86/417.47	c |    166760 |   96653   536184  1876909 | 2147483647   166754    120 |  0.003 % |
417.26/417.87	c |    166906 |   96653   536184  1876909 | 2147483647   166900    120 |  0.003 % |
417.76/418.34	c |    167066 |   96653   536184  1876909 | 2147483647   167060    120 |  0.003 % |
418.36/418.92	c |    167296 |   96653   536184  1876909 | 2147483647   167290    121 |  0.003 % |
418.76/419.30	c |    167489 |   96653   536184  1876909 | 2147483647   167483    121 |  0.003 % |
419.36/419.91	c |    167701 |   96653   536184  1876909 | 2147483647   167695    121 |  0.003 % |
420.16/420.72	c |    167936 |   96653   536184  1876909 | 2147483647   167930    120 |  0.003 % |
420.67/421.26	c |    168194 |   96653   536184  1876909 | 2147483647   168188    120 |  0.003 % |
421.36/421.90	c |    168477 |   96653   536184  1876909 | 2147483647   168471    121 |  0.003 % |
422.16/422.75	c |    168786 |   96653   536184  1876909 | 2147483647   168780    121 |  0.003 % |
423.36/423.96	c |    169126 |   96653   536184  1876909 | 2147483647   169120    121 |  0.003 % |
424.26/424.82	c |    169498 |   96653   536184  1876909 | 2147483647   169492    121 |  0.003 % |
425.16/425.71	c |    169907 |   96653   536184  1876909 | 2147483647   169901    122 |  0.003 % |
426.85/427.43	c |    170356 |   96653   536184  1876909 | 2147483647   170350    122 |  0.003 % |
428.75/429.36	c |    170849 |   96653   536184  1876909 | 2147483647   170843    122 |  0.003 % |
431.76/432.33	c |    171392 |   96653   536184  1876909 | 2147483647   171386    123 |  0.003 % |
433.66/434.29	c |    171988 |   96653   536184  1876909 | 2147483647   171982    123 |  0.003 % |
435.25/435.89	c |    172643 |   96653   536184  1876909 | 2147483647   172637    123 |  0.003 % |
437.05/437.68	c |    173364 |   96653   536184  1876909 | 2147483647   173358    123 |  0.003 % |
440.35/440.91	c |    174157 |   96653   536184  1876909 | 2147483647   174151    124 |  0.003 % |
443.05/443.62	c |    175030 |   96653   536184  1876909 | 2147483647   175024    125 |  0.003 % |
445.45/446.07	c |    175988 |   96653   536184  1876909 | 2147483647   175982    125 |  0.003 % |
448.05/448.61	c |    177041 |   96653   536184  1876909 | 2147483647   177035    125 |  0.003 % |
451.25/451.87	c |    178200 |   96653   536184  1876909 | 2147483647   178194    126 |  0.003 % |
457.45/458.01	c |    179476 |   96653   536184  1876909 | 2147483647   179470    127 |  0.003 % |
461.14/461.74	c |    180878 |   96653   536184  1876909 | 2147483647   180872    129 |  0.003 % |
464.44/465.08	c |    182418 |   96653   536184  1876909 | 2147483647   182412    129 |  0.003 % |
467.54/468.13	c |    184115 |   96653   536184  1876909 | 2147483647   184109    129 |  0.003 % |
471.04/471.66	c |    185979 |   96653   536184  1876909 | 2147483647   185973    129 |  0.003 % |
471.44/472.05	c |    186079 |   96653   536184  1876909 | 2147483647   186073    129 |  0.003 % |
471.74/472.31	c |    186195 |   96653   536184  1876909 | 2147483647   186189    129 |  0.003 % |
471.93/472.57	c |    186316 |   96653   536184  1876909 | 2147483647   186310    129 |  0.003 % |
472.13/472.71	c |    186450 |   96653   536184  1876909 | 2147483647   186444    129 |  0.003 % |
472.73/473.30	c |    186598 |   96653   536184  1876909 | 2147483647   186592    129 |  0.003 % |
473.13/473.74	c |    186758 |   96653   536184  1876909 | 2147483647   186752    129 |  0.003 % |
473.63/474.25	c |    186934 |   96653   536184  1876909 | 2147483647   186928    129 |  0.003 % |
474.03/474.68	c |    187128 |   96653   536184  1876909 | 2147483647   187122    129 |  0.003 % |
475.03/475.68	c |    187342 |   96653   536184  1876909 | 2147483647   187336    129 |  0.003 % |
475.33/475.97	c |    187576 |   96653   536184  1876909 | 2147483647   187570    129 |  0.003 % |
475.83/476.49	c |    187835 |   96653   536184  1876909 | 2147483647   187829    129 |  0.003 % |
476.53/477.11	c |    188116 |   96653   536184  1876909 | 2147483647   188110    129 |  0.003 % |
477.83/478.40	c |    188426 |   96653   536184  1876909 | 2147483647   188420    129 |  0.003 % |
479.04/479.68	c |    188765 |   96653   536184  1876909 | 2147483647   188759    129 |  0.003 % |
480.43/481.03	c |    189137 |   96653   536184  1876909 | 2147483647   189131    129 |  0.003 % |
481.63/482.23	c |    189546 |   96653   536184  1876909 | 2147483647   189540    129 |  0.003 % |
483.13/483.79	c |    189996 |   96653   536184  1876909 | 2147483647   189990    129 |  0.003 % |
483.53/484.15	c |    190496 |   96653   536184  1876909 | 2147483647   190490    129 |  0.003 % |
485.23/485.88	c |    191039 |   96653   536184  1876909 | 2147483647   191033    129 |  0.003 % |
486.53/487.15	c |    191637 |   96653   536184  1876909 | 2147483647   191631    129 |  0.003 % |
488.32/488.94	c |    192292 |   96653   536184  1876909 | 2147483647   192286    128 |  0.003 % |
489.94/490.59	c |    193013 |   96653   536184  1876909 | 2147483647   193007    128 |  0.003 % |
492.03/492.65	c |    193805 |   96653   536184  1876909 | 2147483647   193799    129 |  0.003 % |
494.13/494.75	c |    194680 |   96653   536184  1876909 | 2147483647   194674    130 |  0.003 % |
496.92/497.60	c |    195640 |   96653   536184  1876909 | 2147483647   195634    130 |  0.003 % |
500.02/500.60	c |    196694 |   96653   536184  1876909 | 2147483647   196688    129 |  0.003 % |
502.52/503.18	c |    197855 |   96653   536184  1876909 | 2147483647   197849    129 |  0.003 % |
505.92/506.57	c |    199128 |   96653   536184  1876909 | 2147483647   199122    129 |  0.003 % |
508.42/509.02	c |    200528 |   96653   536184  1876909 | 2147483647   200522    129 |  0.003 % |
512.03/512.69	c |    202071 |   96653   536184  1876909 | 2147483647   202065    130 |  0.003 % |
517.52/518.12	c |    203767 |   96653   536184  1876909 | 2147483647   203761    132 |  0.003 % |
525.32/525.90	c |    205630 |   96653   536184  1876909 | 2147483647   205624    134 |  0.003 % |
528.52/529.16	c |    207680 |   96653   536184  1876909 | 2147483647   207674    133 |  0.003 % |
529.01/529.66	c |    207782 |   96653   536184  1876909 | 2147483647   207776    133 |  0.003 % |
529.31/529.98	c |    207893 |   96653   536184  1876909 | 2147483647   207887    132 |  0.003 % |
529.71/530.39	c |    208014 |   96653   536184  1876909 | 2147483647   208008    132 |  0.003 % |
530.11/530.79	c |    208148 |   96653   536184  1876909 | 2147483647   208142    132 |  0.003 % |
530.62/531.22	c |    208294 |   96653   536184  1876909 | 2147483647   208288    132 |  0.003 % |
531.82/532.43	c |    208454 |   96653   536184  1876909 | 2147483647   208448    132 |  0.003 % |
532.21/532.84	c |    208631 |   96653   536184  1876909 | 2147483647   208625    132 |  0.003 % |
532.91/533.57	c |    208828 |   96653   536184  1876909 | 2147483647   208822    132 |  0.003 % |
533.51/534.19	c |    209041 |   96653   536184  1876909 | 2147483647   209035    132 |  0.003 % |
533.81/534.44	c |    209279 |   96653   536184  1876909 | 2147483647   209273    133 |  0.003 % |
534.81/535.49	c |    209536 |   96653   536184  1876909 | 2147483647   209530    133 |  0.003 % |
535.81/536.47	c |    209818 |   96653   536184  1876909 | 2147483647   209812    133 |  0.003 % |
537.11/537.74	c |    210146 |   96653   536184  1876909 | 2147483647   210140    133 |  0.003 % |
537.41/538.02	c |    210485 |   96653   536184  1876909 | 2147483647   210479    133 |  0.003 % |
538.31/538.92	c |    210858 |   96652   536056  1876653 | 2147483647   210850    132 |  0.004 % |
539.21/539.84	c |    211267 |   96652   536056  1876653 | 2147483647   211259    133 |  0.004 % |
540.51/541.14	c |    211716 |   96652   536056  1876653 | 2147483647   211708    133 |  0.004 % |
541.90/542.53	c |    212211 |   96652   536056  1876653 | 2147483647   212203    133 |  0.004 % |
543.20/543.87	c |    212753 |   96652   536056  1876653 | 2147483647   212745    133 |  0.004 % |
545.40/546.03	c |    213349 |   96652   536056  1876653 | 2147483647   213341    133 |  0.004 % |
547.60/548.23	c |    214004 |   96652   536056  1876653 | 2147483647   213996    132 |  0.004 % |
550.70/551.34	c |    214724 |   96652   536056  1876653 | 2147483647   214716    132 |  0.004 % |
554.10/554.75	c |    215516 |   96652   536056  1876653 | 2147483647   215508    133 |  0.004 % |
557.50/558.16	c |    216388 |   96652   536056  1876653 | 2147483647   216380    133 |  0.004 % |
561.40/562.10	c |    217347 |   96652   536056  1876653 | 2147483647   217339    133 |  0.004 % |
566.29/566.90	c |    218400 |   96652   536056  1876653 | 2147483647   218392    134 |  0.004 % |
569.80/570.42	c |    219560 |   96652   536056  1876653 | 2147483647   219552    134 |  0.004 % |
572.19/572.85	c |    220833 |   96652   536056  1876653 | 2147483647   220825    134 |  0.004 % |
575.59/576.28	c |    222234 |   96652   536056  1876653 | 2147483647   222226    134 |  0.004 % |
579.39/580.04	c |    223774 |   96652   536056  1876653 | 2147483647   223766    134 |  0.004 % |
582.89/583.50	c |    225469 |   96652   536056  1876653 | 2147483647   225461    133 |  0.004 % |
588.19/588.80	c |    227333 |   96652   536056  1876653 | 2147483647   227325    134 |  0.004 % |
593.39/594.02	c |    229383 |   96652   536056  1876653 | 2147483647   229375    136 |  0.004 % |
600.88/601.58	c |    231637 |   96652   536056  1876653 | 2147483647   231629    135 |  0.004 % |
601.28/601.95	c |    231737 |   96652   536056  1876653 | 2147483647   231729    135 |  0.004 % |
601.98/602.64	c |    231849 |   96652   536056  1876653 | 2147483647   231841    135 |  0.004 % |
602.18/602.81	c |    231970 |   96652   536056  1876653 | 2147483647   231962    135 |  0.004 % |
602.58/603.25	c |    232105 |   96652   536056  1876653 | 2147483647   232097    135 |  0.004 % |
602.78/603.47	c |    232251 |   96652   536056  1876653 | 2147483647   232243    135 |  0.004 % |
603.28/603.99	c |    232412 |   96652   536056  1876653 | 2147483647   232404    135 |  0.004 % |
603.78/604.47	c |    232588 |   96652   536056  1876653 | 2147483647   232580    135 |  0.004 % |
604.48/605.14	c |    232781 |   96652   536056  1876653 | 2147483647   232773    135 |  0.004 % |
605.18/605.82	c |    232993 |   96652   536056  1876653 | 2147483647   232985    135 |  0.004 % |
605.78/606.44	c |    233229 |   96652   536056  1876653 | 2147483647   233221    135 |  0.004 % |
606.78/607.47	c |    233486 |   96652   536056  1876653 | 2147483647   233478    135 |  0.004 % |
607.38/608.09	c |    233769 |   96652   536056  1876653 | 2147483647   233761    135 |  0.004 % |
608.17/608.84	c |    234078 |   96652   536056  1876653 | 2147483647   234070    135 |  0.004 % |
609.07/609.72	c |    234417 |   96652   536056  1876653 | 2147483647   234409    135 |  0.004 % |
610.18/610.86	c |    234790 |   96652   536056  1876653 | 2147483647   234782    135 |  0.004 % |
611.28/612.00	c |    235201 |   96652   536056  1876653 | 2147483647   235193    135 |  0.004 % |
613.28/613.90	c |    235650 |   96652   536056  1876653 | 2147483647   235642    135 |  0.004 % |
614.48/615.16	c |    236145 |   96652   536056  1876653 | 2147483647   236137    135 |  0.004 % |
615.77/616.41	c |    236688 |   96652   536056  1876653 | 2147483647   236680    136 |  0.004 % |
616.38/617.08	c |    237286 |   96652   536056  1876653 | 2147483647   237278    135 |  0.004 % |
619.37/620.06	c |    237941 |   96652   536056  1876653 | 2147483647   237933    136 |  0.004 % |
621.77/622.45	c |    238661 |   96652   536056  1876653 | 2147483647   238653    136 |  0.004 % |
624.08/624.75	c |    239456 |   96652   536056  1876653 | 2147483647   239448    136 |  0.004 % |
627.17/627.89	c |    240327 |   96652   536056  1876653 | 2147483647   240319    137 |  0.004 % |
631.07/631.71	c |    241288 |   96652   536056  1876653 | 2147483647   241280    137 |  0.004 % |
634.57/635.24	c |    242341 |   96652   536056  1876653 | 2147483647   242333    137 |  0.004 % |
637.27/637.99	c |    243499 |   96652   536056  1876653 | 2147483647   243491    137 |  0.004 % |
642.56/643.23	c |    244773 |   96652   536056  1876653 | 2147483647   244765    137 |  0.004 % |
646.47/647.17	c |    246173 |   96652   536056  1876653 | 2147483647   246165    138 |  0.004 % |
650.96/651.69	c |    247713 |   96652   536056  1876653 | 2147483647   247705    138 |  0.004 % |
655.76/656.47	c |    249407 |   96652   536056  1876653 | 2147483647   249399    139 |  0.004 % |
660.86/661.58	c |    251272 |   96652   536056  1876653 | 2147483647   251264    139 |  0.004 % |
667.26/667.90	c |    253322 |   96652   536056  1876653 | 2147483647   253314    138 |  0.004 % |
677.05/677.73	c |    255579 |   96652   536056  1876653 | 2147483647   255571    139 |  0.004 % |
685.95/686.60	c |    258058 |   96652   536056  1876653 | 2147483647   258050    139 |  0.004 % |
686.25/686.91	c |    258158 |   96652   536056  1876653 | 2147483647   258150    139 |  0.004 % |
687.35/688.04	c |    258270 |   96652   536056  1876653 | 2147483647   258262    139 |  0.004 % |
687.95/688.62	c |    258392 |   96652   536056  1876653 | 2147483647   258384    139 |  0.004 % |
688.25/688.91	c |    258527 |   96652   536056  1876653 | 2147483647   258519    139 |  0.004 % |
689.15/689.84	c |    258673 |   96652   536056  1876653 | 2147483647   258665    139 |  0.004 % |
689.95/690.65	c |    258834 |   96652   536056  1876653 | 2147483647   258826    140 |  0.004 % |
690.55/691.30	c |    259014 |   96652   536056  1876653 | 2147483647   259006    140 |  0.004 % |
691.45/692.12	c |    259207 |   96652   536056  1876653 | 2147483647   259199    140 |  0.004 % |
692.35/693.01	c |    259421 |   96652   536056  1876653 | 2147483647   259413    140 |  0.004 % |
693.35/694.05	c |    259658 |   96652   536056  1876653 | 2147483647   259650    140 |  0.004 % |
694.25/694.91	c |    259914 |   96652   536056  1876653 | 2147483647   259906    140 |  0.004 % |
694.64/695.39	c |    260204 |   96652   536056  1876653 | 2147483647   260196    140 |  0.004 % |
695.94/696.68	c |    260517 |   96652   536056  1876653 | 2147483647   260509    140 |  0.004 % |
696.54/697.23	c |    260857 |   96652   536056  1876653 | 2147483647   260849    140 |  0.004 % |
697.24/697.98	c |    261229 |   96652   536056  1876653 | 2147483647   261221    140 |  0.004 % |
698.44/699.13	c |    261639 |   96652   536056  1876653 | 2147483647   261631    140 |  0.004 % |
699.54/700.24	c |    262088 |   96652   536056  1876653 | 2147483647   262080    140 |  0.004 % |
701.45/702.19	c |    262581 |   96652   536056  1876653 | 2147483647   262573    140 |  0.004 % |
703.25/703.95	c |    263124 |   96652   536056  1876653 | 2147483647   263116    140 |  0.004 % |
704.35/705.01	c |    263720 |   96652   536056  1876653 | 2147483647   263712    140 |  0.004 % |
707.54/708.21	c |    264377 |   96652   536056  1876653 | 2147483647   264369    140 |  0.004 % |
709.54/710.26	c |    265097 |   96652   536056  1876653 | 2147483647   265089    140 |  0.004 % |
713.24/713.92	c |    265890 |   96652   536056  1876653 | 2147483647   265882    140 |  0.004 % |
715.34/716.03	c |    266762 |   96652   536056  1876653 | 2147483647   266754    141 |  0.004 % |
718.14/718.87	c |    267720 |   96652   536056  1876653 | 2147483647   267712    141 |  0.004 % |
722.14/722.87	c |    268774 |   96652   536056  1876653 | 2147483647   268766    140 |  0.004 % |
726.04/726.71	c |    269932 |   96652   536056  1876653 | 2147483647   269924    140 |  0.004 % |
731.53/732.23	c |    271205 |   96652   536056  1876653 | 2147483647   271197    141 |  0.004 % |
735.63/736.30	c |    272608 |   96652   536056  1876653 | 2147483647   272600    141 |  0.004 % |
741.03/741.70	c |    274148 |   96652   536056  1876653 | 2147483647   274140    141 |  0.004 % |
746.92/747.64	c |    275842 |   96652   536056  1876653 | 2147483647   275834    141 |  0.004 % |
753.93/754.65	c |    277707 |   96652   536056  1876653 | 2147483647   277699    142 |  0.004 % |
763.52/764.27	c |    279756 |   96652   536056  1876653 | 2147483647   279748    143 |  0.004 % |
775.72/776.44	c |    282009 |   96652   536056  1876653 | 2147483647   282001    144 |  0.004 % |
782.72/783.48	c |    284488 |   96652   536056  1876653 | 2147483647   284480    145 |  0.004 % |
790.12/790.81	c |    287214 |   96652   536056  1876653 | 2147483647   287206    145 |  0.004 % |
790.62/791.36	c |    287315 |   96652   536056  1876653 | 2147483647   287307    145 |  0.004 % |
791.01/791.74	c |    287425 |   96652   536056  1876653 | 2147483647   287417    145 |  0.004 % |
791.71/792.48	c |    287546 |   96652   536056  1876653 | 2147483647   287538    145 |  0.004 % |
792.21/792.92	c |    287682 |   96652   536056  1876653 | 2147483647   287674    145 |  0.004 % |
792.71/793.43	c |    287828 |   96652   536056  1876653 | 2147483647   287820    145 |  0.004 % |
793.71/794.41	c |    287988 |   96652   536056  1876653 | 2147483647   287980    145 |  0.004 % |
794.71/795.40	c |    288164 |   96652   536056  1876653 | 2147483647   288156    145 |  0.004 % |
795.31/796.03	c |    288357 |   96652   536056  1876653 | 2147483647   288349    145 |  0.004 % |
796.01/796.78	c |    288570 |   96652   536056  1876653 | 2147483647   288562    145 |  0.004 % |
796.51/797.26	c |    288803 |   96652   536056  1876653 | 2147483647   288795    145 |  0.004 % |
797.31/798.00	c |    289061 |   96652   536056  1876653 | 2147483647   289053    145 |  0.004 % |
797.51/798.28	c |    289342 |   96652   536056  1876653 | 2147483647   289334    145 |  0.004 % |
798.81/799.59	c |    289651 |   96652   536056  1876653 | 2147483647   289643    145 |  0.004 % |
799.81/800.55	c |    289991 |   96652   536056  1876653 | 2147483647   289983    145 |  0.004 % |
800.71/801.44	c |    290364 |   96652   536056  1876653 | 2147483647   290356    145 |  0.004 % |
801.80/802.57	c |    290773 |   96652   536056  1876653 | 2147483647   290765    145 |  0.004 % |
802.21/802.90	c |    291223 |   96652   536056  1876653 | 2147483647   291215    145 |  0.004 % |
804.40/805.16	c |    291719 |   96652   536056  1876653 | 2147483647   291711    145 |  0.004 % |
806.50/807.20	c |    292265 |   96652   536056  1876653 | 2147483647   292257    146 |  0.004 % |
808.00/808.75	c |    292864 |   96652   536056  1876653 | 2147483647   292856    146 |  0.004 % |
809.40/810.13	c |    293519 |   96652   536056  1876653 | 2147483647   293511    146 |  0.004 % |
812.10/812.84	c |    294239 |   96652   536056  1876653 | 2147483647   294231    146 |  0.004 % |
814.40/815.14	c |    295031 |   96652   536056  1876653 | 2147483647   295023    146 |  0.004 % |
817.49/818.27	c |    295902 |   96652   536056  1876653 | 2147483647   295894    147 |  0.004 % |
821.30/822.07	c |    296860 |   96652   536056  1876653 | 2147483647   296852    148 |  0.004 % |
827.89/828.63	c |    297913 |   96652   536056  1876653 | 2147483647   297905    149 |  0.004 % |
833.59/834.32	c |    299071 |   96652   536056  1876653 | 2147483647   299063    150 |  0.004 % |
838.89/839.67	c |    300344 |   96652   536056  1876653 | 2147483647   300336    151 |  0.004 % |
844.39/845.11	c |    301744 |   96652   536056  1876653 | 2147483647   301736    152 |  0.004 % |
848.68/849.48	c |    303287 |   96652   536056  1876653 | 2147483647   303279    152 |  0.004 % |
852.59/853.38	c |    304982 |   96652   536056  1876653 | 2147483647   304974    152 |  0.004 % |
858.18/858.94	c |    306847 |   96652   536056  1876653 | 2147483647   306839    152 |  0.004 % |
869.28/870.09	c |    308896 |   96652   536056  1876653 | 2147483647   308888    154 |  0.004 % |
877.97/878.79	c |    311149 |   96652   536056  1876653 | 2147483647   311141    156 |  0.004 % |
889.17/889.92	c |    313628 |   96652   536056  1876653 | 2147483647   313620    157 |  0.004 % |
900.56/901.33	c |    316353 |   96652   536056  1876653 | 2147483647   316345    159 |  0.004 % |
913.86/914.69	c |    319351 |   96652   536056  1876653 | 2147483647   319343    159 |  0.004 % |
914.46/915.27	c |    319451 |   96652   536056  1876653 | 2147483647   319443    159 |  0.004 % |
914.76/915.51	c |    319561 |   96652   536056  1876653 | 2147483647   319553    160 |  0.004 % |
914.96/915.76	c |    319682 |   96652   536056  1876653 | 2147483647   319674    159 |  0.004 % |
915.46/916.22	c |    319816 |   96652   536056  1876653 | 2147483647   319808    159 |  0.004 % |
915.96/916.75	c |    319964 |   96652   536056  1876653 | 2147483647   319956    159 |  0.004 % |
916.96/917.74	c |    320124 |   96652   536056  1876653 | 2147483647   320116    159 |  0.004 % |
918.06/918.87	c |    320305 |   96652   536056  1876653 | 2147483647   320297    159 |  0.004 % |
918.76/919.52	c |    320498 |   96652   536056  1876653 | 2147483647   320490    159 |  0.004 % |
919.76/920.51	c |    320711 |   96652   536056  1876653 | 2147483647   320703    159 |  0.004 % |
920.36/921.10	c |    320945 |   96652   536056  1876653 | 2147483647   320937    159 |  0.004 % |
920.76/921.58	c |    321201 |   96652   536056  1876653 | 2147483647   321193    159 |  0.004 % |
921.66/922.40	c |    321482 |   96652   536056  1876653 | 2147483647   321474    159 |  0.004 % |
922.46/923.26	c |    321791 |   96652   536056  1876653 | 2147483647   321783    159 |  0.004 % |
923.66/924.41	c |    322130 |   96652   536056  1876653 | 2147483647   322122    159 |  0.004 % |
924.76/925.57	c |    322502 |   96652   536056  1876653 | 2147483647   322494    159 |  0.004 % |
925.66/926.40	c |    322913 |   96652   536056  1876653 | 2147483647   322905    159 |  0.004 % |
927.96/928.78	c |    323362 |   96652   536056  1876653 | 2147483647   323354    159 |  0.004 % |
929.96/930.75	c |    323855 |   96652   536056  1876653 | 2147483647   323847    159 |  0.004 % |
931.76/932.54	c |    324398 |   96652   536056  1876653 | 2147483647   324390    159 |  0.004 % |
933.26/934.07	c |    324994 |   96652   536056  1876653 | 2147483647   324986    159 |  0.004 % |
935.36/936.16	c |    325651 |   96652   536056  1876653 | 2147483647   325643    159 |  0.004 % |
936.66/937.41	c |    326372 |   96652   536056  1876653 | 2147483647   326364    159 |  0.004 % |
939.16/939.93	c |    327165 |   96652   536056  1876653 | 2147483647   327157    160 |  0.004 % |
941.96/942.77	c |    328041 |   96652   536056  1876653 | 2147483647   328033    160 |  0.004 % |
943.95/944.79	c |    328999 |   96652   536056  1876653 | 2147483647   328991    161 |  0.004 % |
947.65/948.46	c |    330053 |   96652   536056  1876653 | 2147483647   330045    161 |  0.004 % |
950.25/951.00	c |    331212 |   96652   536056  1876653 | 2147483647   331204    161 |  0.004 % |
955.15/955.94	c |    332485 |   96652   536056  1876653 | 2147483647   332477    162 |  0.004 % |
958.05/958.87	c |    333892 |   96652   536056  1876653 | 2147483647   333884    164 |  0.004 % |
964.74/965.58	c |    335432 |   96652   536056  1876653 | 2147483647   335424    164 |  0.004 % |
969.34/970.16	c |    337126 |   96652   536056  1876653 | 2147483647   337118    163 |  0.004 % |
983.04/983.86	c |    338989 |   96652   536056  1876653 | 2147483647   338981    165 |  0.004 % |
991.64/992.41	c |    341039 |   96652   536056  1876653 | 2147483647   341031    167 |  0.004 % |
997.83/998.70	c |    343292 |   96652   536056  1876653 | 2147483647   343284    166 |  0.004 % |
1009.73/1010.55	c |    345770 |   96652   536056  1876653 | 2147483647   345762    168 |  0.004 % |
1022.02/1022.90	c |    348499 |   96652   536056  1876653 | 2147483647   348491    169 |  0.004 % |
1035.72/1036.54	c |    351496 |   96652   536056  1876653 | 2147483647   351488    170 |  0.004 % |
1056.81/1057.66	c |    354792 |   96652   536056  1876653 | 2147483647   354784    174 |  0.004 % |
1057.31/1058.13	c |    354892 |   96652   536056  1876653 | 2147483647   354884    174 |  0.004 % |
1057.61/1058.45	c |    355004 |   96652   536056  1876653 | 2147483647   354996    174 |  0.004 % |
1057.91/1058.74	c |    355128 |   96652   536056  1876653 | 2147483647   355120    174 |  0.004 % |
1058.41/1059.27	c |    355262 |   96652   536056  1876653 | 2147483647   355254    174 |  0.004 % |
1058.91/1059.76	c |    355411 |   96652   536056  1876653 | 2147483647   355403    174 |  0.004 % |
1059.41/1060.30	c |    355572 |   96652   536056  1876653 | 2147483647   355564    174 |  0.004 % |
1060.20/1061.03	c |    355748 |   96652   536056  1876653 | 2147483647   355740    174 |  0.004 % |
1061.11/1061.99	c |    355942 |   96652   536056  1876653 | 2147483647   355934    174 |  0.004 % |
1061.82/1062.69	c |    356154 |   96652   536056  1876653 | 2147483647   356146    174 |  0.004 % |
1062.41/1063.21	c |    356388 |   96652   536056  1876653 | 2147483647   356380    174 |  0.004 % |
1063.51/1064.33	c |    356644 |   96652   536056  1876653 | 2147483647   356636    174 |  0.004 % |
1064.51/1065.31	c |    356926 |   96652   536056  1876653 | 2147483647   356918    175 |  0.004 % |
1065.71/1066.50	c |    357235 |   96652   536056  1876653 | 2147483647   357227    175 |  0.004 % |
1066.61/1067.46	c |    357574 |   96652   536056  1876653 | 2147483647   357566    175 |  0.004 % |
1068.01/1068.81	c |    357947 |   96652   536056  1876653 | 2147483647   357939    174 |  0.004 % |
1070.70/1071.51	c |    358357 |   96652   536056  1876653 | 2147483647   358349    175 |  0.004 % |
1071.71/1072.56	c |    358806 |   96652   536056  1876653 | 2147483647   358798    175 |  0.004 % |
1073.60/1074.44	c |    359306 |   96652   536056  1876653 | 2147483647   359298    175 |  0.004 % |
1076.51/1077.31	c |    359849 |   96652   536056  1876653 | 2147483647   359841    176 |  0.004 % |
1078.60/1079.46	c |    360448 |   96652   536056  1876653 | 2147483647   360440    177 |  0.004 % |
1081.20/1082.07	c |    361103 |   96652   536056  1876653 | 2147483647   361095    177 |  0.004 % |
1083.30/1084.12	c |    361824 |   96652   536056  1876653 | 2147483647   361816    178 |  0.004 % |
1087.11/1087.98	c |    362644 |   96652   536056  1876653 | 2147483647   362636    178 |  0.004 % |
1091.00/1091.81	c |    363519 |   96652   536056  1876653 | 2147483647   363511    178 |  0.004 % |
1095.00/1095.82	c |    364478 |   96652   536056  1876653 | 2147483647   364470    178 |  0.004 % |
1100.39/1101.21	c |    365531 |   96652   536056  1876653 | 2147483647   365523    178 |  0.004 % |
1103.89/1104.80	c |    366691 |   96652   536056  1876653 | 2147483647   366683    178 |  0.004 % |
1109.79/1110.62	c |    367964 |   96652   536056  1876653 | 2147483647   367956    180 |  0.004 % |
1116.09/1116.93	c |    369364 |   96652   536056  1876653 | 2147483647   369356    181 |  0.004 % |
1123.19/1124.05	c |    370906 |   96652   536056  1876653 | 2147483647   370898    183 |  0.004 % |
1134.28/1135.13	c |    372600 |   96652   536056  1876653 | 2147483647   372592    184 |  0.004 % |
1146.38/1147.26	c |    374463 |   96652   536056  1876653 | 2147483647   374455    185 |  0.004 % |
1152.78/1153.68	c |    376515 |   96652   536056  1876653 | 2147483647   376507    185 |  0.004 % |
1166.77/1167.67	c |    378768 |   96652   536056  1876653 | 2147483647   378760    186 |  0.004 % |
1180.77/1181.63	c |    381247 |   96652   536056  1876653 | 2147483647   381239    189 |  0.004 % |
1192.36/1193.29	c |    383972 |   96652   536056  1876653 | 2147483647   383964    189 |  0.004 % |
1199.56/1200.43	c |    386969 |   96652   536056  1876653 | 2147483647   386961    188 |  0.004 % |

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-1833621-1242823989/watcher-1833621-1242823989 -o /tmp/evaluation-result-1833621-1242823989/solver-1833621-1242823989 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833621-1242823989.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: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0

[startup+0.049958 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101968 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302005 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70108 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50123 s]
/proc/loadavg: 0.95 0.98 1.02 2/66 13816
/proc/meminfo: memFree=1807152/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=170400 CPUtime=1.49
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 39672 0 0 0 127 22 0 0 25 0 1 0 310427623 174489600 36595 1992294400 134512640 135223648 4294956128 18446744073709551615 134548489 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 42600 36595 76 173 0 42425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175756

[startup+3.10153 s]
/proc/loadavg: 0.95 0.98 1.02 2/66 13816
/proc/meminfo: memFree=1794736/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=173792 CPUtime=3.08
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 40520 0 0 0 282 26 0 0 25 0 1 0 310427623 177963008 37443 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 43448 37443 76 173 0 43273 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179148

[startup+6.30114 s]
/proc/loadavg: 0.95 0.98 1.01 2/66 13816
/proc/meminfo: memFree=1776632/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=179280 CPUtime=6.28
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 41813 0 0 0 596 32 0 0 25 0 1 0 310427623 183582720 38736 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 44820 38736 76 173 0 44645 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 184636

[startup+12.7013 s]
/proc/loadavg: 0.95 0.98 1.01 2/66 13816
/proc/meminfo: memFree=1744824/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=188420 CPUtime=12.66
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 43819 0 0 0 1222 44 0 0 25 0 1 0 310427623 192942080 40742 1992294400 134512640 135223648 4294956128 18446744073709551615 134548489 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 47105 40742 76 173 0 46930 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 193776

[startup+25.5018 s]
/proc/loadavg: 0.96 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1832952/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=35368 CPUtime=0.89
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 8196 0 0 0 85 4 0 0 25 0 1 0 310430081 36216832 8182 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 8842 8182 77 171 0 8669 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 40724

[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1827896/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=40116 CPUtime=26.48
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 9365 0 0 0 2643 5 0 0 25 0 1 0 310430081 41078784 9351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 10029 9351 77 171 0 9856 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 45472

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1818552/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=49460 CPUtime=77.64
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 11700 0 0 0 7756 8 0 0 25 0 1 0 310430081 50647040 11686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 12365 11686 77 171 0 12192 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 54816

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1803448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=64628 CPUtime=137.6
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 15479 0 0 0 13749 11 0 0 25 0 1 0 310430081 66179072 15465 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 16157 15465 77 171 0 15984 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 69984

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1790008/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=78008 CPUtime=197.59
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 18786 0 0 0 19745 14 0 0 25 0 1 0 310430081 79880192 18772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 19502 18772 77 171 0 19329 0
Current children cumulated CPU time (s) 221.85
Current children cumulated vsize (KiB) 83364

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1776952/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=90812 CPUtime=257.56
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 22034 0 0 0 25739 17 0 0 25 0 1 0 310430081 92991488 22020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 22703 22020 77 171 0 22530 0
Current children cumulated CPU time (s) 281.82
Current children cumulated vsize (KiB) 96168

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1762616/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=105348 CPUtime=317.53
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 25622 0 0 0 31733 20 0 0 25 0 1 0 310430081 107876352 25608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 26337 25608 77 171 0 26164 0
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (KiB) 110704

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1747576/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=120132 CPUtime=377.51
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 29337 0 0 0 37726 25 0 0 25 0 1 0 310430081 123015168 29323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 30033 29323 77 171 0 29860 0
Current children cumulated CPU time (s) 401.77
Current children cumulated vsize (KiB) 125488

[startup+462.301 s]

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

/proc/13817/statm: 41497 40734 77 171 0 41324 0
Current children cumulated CPU time (s) 581.69
Current children cumulated vsize (KiB) 171344

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1686768/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=180540 CPUtime=617.4
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 44392 0 0 0 61699 41 0 0 25 0 1 0 310430081 184872960 44378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 45135 44378 77 171 0 44962 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 185896

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1673392/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=193624 CPUtime=677.39
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 47701 0 0 0 67694 45 0 0 25 0 1 0 310430081 198270976 47687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 48406 47687 77 171 0 48233 0
Current children cumulated CPU time (s) 701.65
Current children cumulated vsize (KiB) 198980

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1659888/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=206836 CPUtime=737.37
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 51006 0 0 0 73688 49 0 0 25 0 1 0 310430081 211800064 50992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 51709 50992 77 171 0 51536 0
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (KiB) 212192

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1643256/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=223616 CPUtime=797.34
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 55213 0 0 0 79680 54 0 0 25 0 1 0 310430081 228982784 55199 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 55904 55199 77 171 0 55731 0
Current children cumulated CPU time (s) 821.6
Current children cumulated vsize (KiB) 228972

[startup+882.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 13823
/proc/meminfo: memFree=1623480/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=243700 CPUtime=857.31
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 60081 0 0 0 85673 58 0 0 25 0 1 0 310430081 249548800 60067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 60925 60067 77 171 0 60752 0
Current children cumulated CPU time (s) 881.57
Current children cumulated vsize (KiB) 249056

[startup+942.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 13823
/proc/meminfo: memFree=1607544/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=259748 CPUtime=917.29
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 64103 0 0 0 91666 63 0 0 25 0 1 0 310430081 265981952 64089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 64937 64089 77 171 0 64764 0
Current children cumulated CPU time (s) 941.55
Current children cumulated vsize (KiB) 265104

[startup+1002.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 13823
/proc/meminfo: memFree=1588024/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=278904 CPUtime=977.27
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 68916 0 0 0 97660 67 0 0 25 0 1 0 310430081 285597696 68902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 69726 68902 77 171 0 69553 0
Current children cumulated CPU time (s) 1001.53
Current children cumulated vsize (KiB) 284260

[startup+1062.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 13823
/proc/meminfo: memFree=1568632/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=298284 CPUtime=1037.25
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 73778 0 0 0 103652 73 0 0 25 0 1 0 310430081 305442816 73764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 74571 73764 77 171 0 74398 0
Current children cumulated CPU time (s) 1061.51
Current children cumulated vsize (KiB) 303640

[startup+1122.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 13823
/proc/meminfo: memFree=1545080/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=321644 CPUtime=1097.22
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 79606 0 0 0 109645 77 0 0 25 0 1 0 310430081 329363456 79592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 80411 79592 77 171 0 80238 0
Current children cumulated CPU time (s) 1121.48
Current children cumulated vsize (KiB) 327000

[startup+1182.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/66 13823
/proc/meminfo: memFree=1527928/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=338632 CPUtime=1157.21
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 83854 0 0 0 115638 83 0 0 25 0 1 0 310430081 346759168 83840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 84658 83840 77 171 0 84485 0
Current children cumulated CPU time (s) 1181.47
Current children cumulated vsize (KiB) 343988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.9 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 13823
/proc/meminfo: memFree=1523448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=342872 CPUtime=1175.8
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 84926 0 0 0 117496 84 0 0 25 0 1 0 310430081 351100928 84912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 85718 84912 77 171 0 85545 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 348228

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

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

[startup+1200.9 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 13823
/proc/meminfo: memFree=1523448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=342872 CPUtime=1175.8
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 84926 0 0 0 117496 84 0 0 25 0 1 0 310430081 351100928 84912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 85718 84912 77 171 0 85545 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 348228

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13811 and gives
#  childrusage.ru_utime.tv_sec=23
#  childrusage.ru_utime.tv_usec=588414
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=688895
# CPU time returned by wait4() is 24.2773
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.91
CPU time (s): 1200.06
CPU user time (s): 1198.54
CPU system time (s): 1.52
CPU usage (%): 99.9291
Max. virtual memory (cumulated for all children) (KiB): 348228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5884
system time used= 0.688895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51073
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= 18
involuntary context switches= 50

runsolver used 1.41078 second user time and 3.02454 second system time

The end

Launcher Data

Begin job on node37 at 2009-05-20 14:53:11
IDJOB=1833621
IDBENCH=70794
IDSOLVER=671
FILE ID=node37/1833621-1242823989
PBS_JOBID= 9322505
Free space on /tmp= 66428 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833621-1242823989/watcher-1833621-1242823989 -o /tmp/evaluation-result-1833621-1242823989/solver-1833621-1242823989 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833621-1242823989.cnf

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

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED=1044491258

node37.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.259
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.259
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1948576 kB
Buffers:         16296 kB
Cached:          55012 kB
SwapCached:       7368 kB
Active:          41184 kB
Inactive:        39156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1948576 kB
SwapTotal:     4192956 kB
SwapFree:      4179928 kB
Dirty:           21836 kB
Writeback:           0 kB
Mapped:          13932 kB
Slab:            13176 kB
Committed_AS:  1123580 kB
PageTables:       1376 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= 66348 MiB
End job on node37 at 2009-05-20 15:13:13