Trace number 1820908

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.04 1200.05

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
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 variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.01	c Parsing...
0.00/0.71	c ==============================================================================
0.00/0.71	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.71	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.71	c ==============================================================================
0.00/0.71	c |         0 |  746442  1741698 |  223932       0        0     nan |  0.000 % |
12.92/13.05	c |         0 |  397738  1362662 |      --       0       --      -- |     --   | -348682/-378983
12.92/13.05	c ==============================================================================
12.92/13.05	c Result  :   #vars: 76979   #clauses: 397738   #literals: 1362662
12.92/13.05	c CPU time:   12.64 s
12.92/13.05	c ==============================================================================
13.42/13.55	c This is MiniSat 2.0 beta
13.42/13.55	c WARNING: for repeatability, setting FPU to use double precision
13.42/13.55	c ============================[ Problem Statistics ]=============================
13.42/13.55	c |                                                                             |
13.42/13.55	c |  Number of variables:  76979                                                |
13.42/13.55	c |  Number of clauses:    397738                                               |
13.45/13.83	c |  Parsing time:         0.24         s                                       |
13.45/13.85	c ============================[ Search Statistics ]==============================
13.45/13.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.45/13.85	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.45/13.85	c ===============================================================================
13.45/13.85	c |         0 |   76979   397738  1362662 |   132579        0    nan |  0.000 % |
13.45/13.99	c |       100 |   76979   397738  1362662 |   132579      100     17 |  0.000 % |
13.45/14.16	c |       201 |   76979   397738  1362662 |   132579      201     13 |  0.000 % |
14.22/14.33	c |       303 |   76979   397738  1362662 |   132579      303     15 |  0.000 % |
14.22/14.39	c |       415 |   76979   397738  1362662 |   132579      415     16 |  0.000 % |
14.82/14.96	c |       561 |   76979   397738  1362662 |   132579      561     23 |  0.000 % |
15.12/15.26	c |       671 |   76979   397738  1362662 |   132579      671     33 |  0.000 % |
15.42/15.56	c |       793 |   76979   397738  1362662 |   132579      793     38 |  0.000 % |
15.52/15.62	c |       893 |   76979   397738  1362662 |   132579      893     39 |  0.000 % |
15.92/16.03	c |      1003 |   76979   397738  1362662 |   132579     1003     43 |  0.000 % |
16.12/16.28	c |      1124 |   76979   397738  1362662 |   132579     1124     40 |  0.000 % |
16.42/16.55	c |      1258 |   76979   397738  1362662 |   132579     1258     41 |  0.000 % |
16.52/16.65	c |      1359 |   76979   397738  1362662 |   132579     1359     40 |  0.000 % |
16.82/16.94	c |      1469 |   76979   397738  1362662 |   132579     1469     40 |  0.000 % |
16.92/17.04	c |      1592 |   76979   397738  1362662 |   132579     1592     38 |  0.000 % |
17.12/17.31	c |      1726 |   76979   397738  1362662 |   132579     1726     38 |  0.000 % |
17.22/17.41	c |      1872 |   76979   397738  1362662 |   132579     1872     38 |  0.000 % |
17.62/17.73	c |      1972 |   76979   397738  1362662 |   132579     1972     40 |  0.000 % |
17.72/17.83	c |      2082 |   76979   397738  1362662 |   132579     2082     39 |  0.000 % |
17.82/18.01	c |      2203 |   76979   397738  1362662 |   132579     2203     38 |  0.000 % |
18.02/18.14	c |      2336 |   76979   397738  1362662 |   132579     2336     37 |  0.000 % |
18.62/18.75	c |      2532 |   76979   397738  1362662 |   132579     2532     39 |  0.000 % |
19.02/19.18	c |      2693 |   76979   397738  1362662 |   132579     2693     39 |  0.000 % |
19.22/19.33	c |      2799 |   76979   397738  1362662 |   132579     2799     41 |  0.000 % |
19.22/19.41	c |      2909 |   76979   397738  1362662 |   132579     2909     40 |  0.000 % |
19.42/19.61	c |      3031 |   76979   397738  1362662 |   132579     3031     43 |  0.000 % |
19.62/19.78	c |      3164 |   76979   397738  1362662 |   132579     3164     41 |  0.000 % |
19.82/20.00	c |      3311 |   76979   397738  1362662 |   132579     3311     45 |  0.000 % |
20.22/20.38	c |      3472 |   76979   397738  1362662 |   132579     3472     51 |  0.000 % |
20.32/20.49	c |      3648 |   76979   397738  1362662 |   132579     3648     50 |  0.000 % |
20.42/20.55	c |      3750 |   76979   397738  1362662 |   132579     3750     50 |  0.000 % |
20.92/21.04	c |      3862 |   76979   397738  1362662 |   132579     3862     54 |  0.000 % |
21.42/21.56	c |      3984 |   76979   397738  1362662 |   132579     3984     56 |  0.000 % |
21.92/22.03	c |      4117 |   76979   397738  1362662 |   132579     4117     60 |  0.000 % |
22.12/22.25	c |      4264 |   76979   397738  1362662 |   132579     4264     62 |  0.000 % |
23.62/23.76	c |      4425 |   76979   397738  1362662 |   132579     4425     68 |  0.000 % |
24.02/24.18	c |      4601 |   76979   397738  1362662 |   132579     4601     67 |  0.000 % |
24.32/24.46	c |      4794 |   76979   397738  1362662 |   132579     4794     67 |  0.000 % |
24.42/24.60	c |      4894 |   76979   397738  1362662 |   132579     4894     68 |  0.000 % |
24.92/25.04	c |      5004 |   76979   397738  1362662 |   132579     5004     67 |  0.000 % |
25.22/25.33	c |      5125 |   76979   397738  1362662 |   132579     5125     66 |  0.000 % |
26.22/26.39	c |      5259 |   76979   397738  1362662 |   132579     5259     66 |  0.000 % |
26.82/27.00	c |      5405 |   76979   397738  1362662 |   132579     5405     66 |  0.000 % |
27.22/27.33	c |      5565 |   76979   397738  1362662 |   132579     5565     68 |  0.000 % |
27.32/27.45	c |      5742 |   76979   397738  1362662 |   132579     5742     68 |  0.000 % |
28.12/28.26	c |      5935 |   76979   397738  1362662 |   132579     5935     72 |  0.000 % |
29.02/29.16	c |      6149 |   76979   397738  1362662 |   132579     6149     74 |  0.000 % |
29.12/29.23	c |      6250 |   76979   397738  1362662 |   132579     6250     73 |  0.000 % |
29.22/29.39	c |      6360 |   76979   397738  1362662 |   132579     6360     73 |  0.000 % |
29.42/29.53	c |      6481 |   76979   397738  1362662 |   132579     6481     73 |  0.000 % |
29.52/29.64	c |      6614 |   76979   397738  1362662 |   132579     6614     72 |  0.000 % |
29.72/29.86	c |      6764 |   76979   397738  1362662 |   132579     6764     72 |  0.000 % |
30.02/30.15	c |      6926 |   76979   397738  1362662 |   132579     6926     71 |  0.000 % |
30.22/30.40	c |      7106 |   76979   397738  1362662 |   132579     7106     71 |  0.000 % |
30.52/30.65	c |      7302 |   76979   397738  1362662 |   132579     7302     70 |  0.000 % |
31.02/31.17	c |      7514 |   76979   397738  1362662 |   132579     7514     69 |  0.000 % |
31.82/31.93	c |      7748 |   76979   397738  1362662 |   132579     7748     74 |  0.000 % |
32.02/32.16	c |      7848 |   76979   397738  1362662 |   132579     7848     73 |  0.000 % |
32.22/32.33	c |      7959 |   76979   397738  1362662 |   132579     7959     73 |  0.000 % |
32.42/32.60	c |      8081 |   76979   397738  1362662 |   132579     8081     76 |  0.000 % |
32.62/32.79	c |      8214 |   76979   397738  1362662 |   132579     8214     75 |  0.000 % |
32.82/33.01	c |      8360 |   76979   397738  1362662 |   132579     8360     76 |  0.000 % |
33.12/33.25	c |      8521 |   76979   397738  1362662 |   132579     8521     75 |  0.000 % |
33.52/33.68	c |      8698 |   76979   397738  1362662 |   132579     8698     78 |  0.000 % |
33.82/33.99	c |      8892 |   76979   397738  1362662 |   132579     8892     81 |  0.000 % |
34.92/35.08	c |      9105 |   76979   397738  1362662 |   132579     9105     85 |  0.000 % |
35.22/35.40	c |      9338 |   76979   397738  1362662 |   132579     9338     84 |  0.000 % |
36.52/36.67	c |      9594 |   76979   397738  1362662 |   132579     9594     85 |  0.000 % |
36.72/36.88	c |      9694 |   76979   397738  1362662 |   132579     9694     85 |  0.000 % |
36.92/37.05	c |      9804 |   76979   397738  1362662 |   132579     9804     84 |  0.000 % |
37.02/37.16	c |      9926 |   76979   397738  1362662 |   132579     9926     84 |  0.000 % |
37.32/37.44	c |     10059 |   76979   397738  1362662 | 2147483647    10059     83 |  0.000 % |
38.02/38.19	c |     10211 |   76979   397738  1362662 | 2147483647    10211     85 |  0.000 % |
38.42/38.53	c |     10371 |   76979   397738  1362662 | 2147483647    10371     86 |  0.000 % |
39.22/39.38	c |     10547 |   76979   397738  1362662 | 2147483647    10547     87 |  0.000 % |
39.72/39.87	c |     10740 |   76979   397738  1362662 | 2147483647    10740     87 |  0.000 % |
40.12/40.24	c |     10952 |   76979   397738  1362662 | 2147483647    10952     87 |  0.000 % |
40.42/40.53	c |     11186 |   76979   397738  1362662 | 2147483647    11186     86 |  0.000 % |
40.82/40.93	c |     11442 |   76979   397738  1362662 | 2147483647    11442     85 |  0.000 % |
42.12/42.25	c |     11724 |   76979   397738  1362662 | 2147483647    11724     86 |  0.000 % |
42.32/42.43	c |     11824 |   76979   397738  1362662 | 2147483647    11824     86 |  0.000 % |
42.52/42.64	c |     11934 |   76979   397738  1362662 | 2147483647    11934     86 |  0.000 % |
42.72/42.85	c |     12056 |   76979   397738  1362662 | 2147483647    12056     85 |  0.000 % |
43.02/43.16	c |     12190 |   76979   397738  1362662 | 2147483647    12190     86 |  0.000 % |
43.22/43.33	c |     12336 |   76979   397738  1362662 | 2147483647    12336     86 |  0.000 % |
43.32/43.48	c |     12496 |   76979   397738  1362662 | 2147483647    12496     86 |  0.000 % |
43.82/43.96	c |     12674 |   76979   397738  1362662 | 2147483647    12674     87 |  0.000 % |
43.92/44.09	c |     12867 |   76979   397738  1362662 | 2147483647    12867     87 |  0.000 % |
44.32/44.42	c |     13080 |   76979   397738  1362662 | 2147483647    13080     87 |  0.000 % |
45.22/45.32	c |     13313 |   76979   397738  1362662 | 2147483647    13313     89 |  0.000 % |
46.62/46.77	c |     13570 |   76979   397738  1362662 | 2147483647    13570     90 |  0.000 % |
48.02/48.21	c |     13852 |   76978   397734  1362650 | 2147483647    13003     86 |  0.001 % |
48.82/48.99	c |     14161 |   76978   397734  1362650 | 2147483647    13312     85 |  0.001 % |
49.72/49.86	c |     14261 |   76978   397734  1362650 | 2147483647    13412     85 |  0.001 % |
49.92/50.07	c |     14372 |   76978   397734  1362650 | 2147483647    13523     85 |  0.001 % |
50.12/50.29	c |     14493 |   76978   397734  1362650 | 2147483647    13644     85 |  0.001 % |
50.32/50.49	c |     14628 |   76978   397734  1362650 | 2147483647    13779     85 |  0.001 % |
50.72/50.88	c |     14774 |   76978   397734  1362650 | 2147483647    13925     85 |  0.001 % |
51.02/51.15	c |     14934 |   76978   397734  1362650 | 2147483647    14085     85 |  0.001 % |
51.22/51.32	c |     15110 |   76978   397734  1362650 | 2147483647    14261     85 |  0.001 % |
51.32/51.46	c |     15303 |   76978   397734  1362650 | 2147483647    14454     84 |  0.001 % |
52.02/52.14	c |     15516 |   76978   397734  1362650 | 2147483647    14667     85 |  0.001 % |
52.32/52.48	c |     15749 |   76978   397734  1362650 | 2147483647    14900     85 |  0.001 % |
52.62/52.81	c |     16022 |   76978   397734  1362650 | 2147483647    15173     84 |  0.001 % |
53.02/53.21	c |     16303 |   76978   397734  1362650 | 2147483647    15454     85 |  0.001 % |
53.92/54.05	c |     16613 |   76978   397734  1362650 | 2147483647    15764     88 |  0.001 % |
54.82/54.98	c |     16953 |   76978   397734  1362650 | 2147483647    16104     90 |  0.001 % |
55.22/55.39	c |     17053 |   76978   397734  1362650 | 2147483647    16204     90 |  0.001 % |
55.52/55.63	c |     17165 |   76978   397734  1362650 | 2147483647    16316     91 |  0.001 % |
55.72/55.84	c |     17288 |   76978   397734  1362650 | 2147483647    16439     91 |  0.001 % |
55.82/55.96	c |     17423 |   76978   397734  1362650 | 2147483647    16574     91 |  0.001 % |
55.82/55.98	c |     17569 |   76978   397734  1362650 | 2147483647    16720     90 |  0.001 % |
56.02/56.17	c |     17740 |   76978   397734  1362650 | 2147483647    16891     89 |  0.001 % |
56.22/56.32	c |     17918 |   76978   397734  1362650 | 2147483647    17069     89 |  0.001 % |
56.42/56.53	c |     18111 |   76978   397734  1362650 | 2147483647    17262     88 |  0.001 % |
56.62/56.81	c |     18323 |   76978   397734  1362650 | 2147483647    17474     88 |  0.001 % |
57.72/57.86	c |     18557 |   76978   397734  1362650 | 2147483647    17708     90 |  0.001 % |
58.22/58.35	c |     18813 |   76978   397734  1362650 | 2147483647    17964     89 |  0.001 % |
58.52/58.67	c |     19094 |   76978   397734  1362650 | 2147483647    18245     90 |  0.001 % |
58.82/59.01	c |     19404 |   76978   397734  1362650 | 2147483647    18555     90 |  0.001 % |
60.52/60.62	c |     19745 |   76978   397734  1362650 | 2147483647    18896     91 |  0.001 % |
60.82/60.99	c |     20119 |   76978   397734  1362650 | 2147483647    19270     90 |  0.001 % |
61.02/61.19	c |     20219 |   76978   397734  1362650 | 2147483647    19370     91 |  0.001 % |
61.72/61.90	c |     20330 |   76978   397734  1362650 | 2147483647    19481     91 |  0.001 % |
62.02/62.16	c |     20451 |   76978   397734  1362650 | 2147483647    19602     91 |  0.001 % |
62.52/62.67	c |     20585 |   76978   397734  1362650 | 2147483647    19736     91 |  0.001 % |
62.82/62.91	c |     20732 |   76978   397734  1362650 | 2147483647    19883     91 |  0.001 % |
63.12/63.22	c |     20892 |   76978   397734  1362650 | 2147483647    20043     91 |  0.001 % |
63.32/63.43	c |     21068 |   76978   397734  1362650 | 2147483647    20219     91 |  0.001 % |
63.62/63.80	c |     21261 |   76978   397734  1362650 | 2147483647    20412     91 |  0.001 % |
63.92/64.01	c |     21474 |   76978   397734  1362650 | 2147483647    20625     91 |  0.001 % |
64.32/64.49	c |     21707 |   76978   397734  1362650 | 2147483647    20858     91 |  0.001 % |
64.72/64.89	c |     21965 |   76978   397734  1362650 | 2147483647    21116     91 |  0.001 % |
65.22/65.35	c |     22248 |   76978   397734  1362650 | 2147483647    21399     91 |  0.001 % |
65.62/65.77	c |     22558 |   76978   397734  1362650 | 2147483647    21709     94 |  0.001 % |
66.42/66.52	c |     22898 |   76978   397734  1362650 | 2147483647    22049     94 |  0.001 % |
67.03/67.14	c |     23272 |   76978   397734  1362650 | 2147483647    22423     93 |  0.001 % |
67.52/67.68	c |     23682 |   76978   397734  1362650 | 2147483647    22833     93 |  0.001 % |
68.13/68.29	c |     23783 |   76978   397734  1362650 | 2147483647    22934     93 |  0.001 % |
68.32/68.48	c |     23894 |   76978   397734  1362650 | 2147483647    23045     93 |  0.001 % |
69.32/69.46	c |     24016 |   76978   397734  1362650 | 2147483647    23167     93 |  0.001 % |
69.72/69.82	c |     24149 |   76978   397734  1362650 | 2147483647    23300     93 |  0.001 % |
70.02/70.19	c |     24295 |   76978   397734  1362650 | 2147483647    23446     94 |  0.001 % |
70.92/71.10	c |     24456 |   76978   397734  1362650 | 2147483647    23607     95 |  0.001 % |
71.22/71.36	c |     24635 |   76978   397734  1362650 | 2147483647    23786     95 |  0.001 % |
71.32/71.51	c |     24828 |   76978   397734  1362650 | 2147483647    23979     95 |  0.001 % |
72.82/72.95	c |     25040 |   76978   397734  1362650 | 2147483647    24191     97 |  0.001 % |
73.32/73.44	c |     25275 |   76978   397734  1362650 | 2147483647    24426     96 |  0.001 % |
74.32/74.42	c |     25531 |   76978   397734  1362650 | 2147483647    24682     97 |  0.001 % |
74.73/74.82	c |     25813 |   76978   397734  1362650 | 2147483647    24964     97 |  0.001 % |
75.12/75.28	c |     26122 |   76978   397734  1362650 | 2147483647    25273     98 |  0.001 % |
76.02/76.12	c |     26461 |   76978   397734  1362650 | 2147483647    25612    100 |  0.001 % |
76.62/76.72	c |     26833 |   76978   397734  1362650 | 2147483647    25984     99 |  0.001 % |
77.42/77.54	c |     27242 |   76978   397734  1362650 | 2147483647    26393    100 |  0.001 % |
78.03/78.15	c |     27691 |   76978   397734  1362650 | 2147483647    26842     99 |  0.001 % |
78.32/78.44	c |     27793 |   76978   397734  1362650 | 2147483647    26944     99 |  0.001 % |
78.52/78.63	c |     27903 |   76978   397734  1362650 | 2147483647    27054     99 |  0.001 % |
78.62/78.74	c |     28026 |   76978   397734  1362650 | 2147483647    27177     99 |  0.001 % |
78.92/79.04	c |     28160 |   76978   397734  1362650 | 2147483647    27311     99 |  0.001 % |
79.32/79.48	c |     28308 |   76978   397734  1362650 | 2147483647    27459     99 |  0.001 % |
80.62/80.80	c |     28469 |   76978   397734  1362650 | 2147483647    27620    100 |  0.001 % |
80.82/80.98	c |     28645 |   76978   397734  1362650 | 2147483647    27796    100 |  0.001 % |
80.92/81.03	c |     28839 |   76978   397734  1362650 | 2147483647    27990     99 |  0.001 % |
81.52/81.62	c |     29052 |   76978   397734  1362650 | 2147483647    28203    100 |  0.001 % |
81.92/82.05	c |     29285 |   76978   397734  1362650 | 2147483647    28436    100 |  0.001 % |
82.12/82.22	c |     29543 |   76978   397734  1362650 | 2147483647    28694     99 |  0.001 % |
83.32/83.46	c |     29824 |   76978   397734  1362650 | 2147483647    28975    100 |  0.001 % |
83.82/83.96	c |     30133 |   76978   397734  1362650 | 2147483647    29284    100 |  0.001 % |
84.32/84.46	c |     30473 |   76978   397734  1362650 | 2147483647    29624    100 |  0.001 % |
85.82/85.93	c |     30845 |   76978   397734  1362650 | 2147483647    29996    100 |  0.001 % |
87.02/87.19	c |     31255 |   76978   397734  1362650 | 2147483647    30406    100 |  0.001 % |
88.62/88.80	c |     31704 |   76978   397734  1362650 | 2147483647    30855    101 |  0.001 % |
89.42/89.55	c |     32197 |   76978   397734  1362650 | 2147483647    31348    102 |  0.001 % |
89.62/89.79	c |     32297 |   76978   397734  1362650 | 2147483647    31448    101 |  0.001 % |
89.72/89.83	c |     32407 |   76978   397734  1362650 | 2147483647    31558    101 |  0.001 % |
89.72/89.88	c |     32528 |   76978   397734  1362650 | 2147483647    31679    101 |  0.001 % |
90.22/90.36	c |     32673 |   76978   397734  1362650 | 2147483647    31824    102 |  0.001 % |
90.42/90.56	c |     32820 |   76978   397734  1362650 | 2147483647    31971    102 |  0.001 % |
90.62/90.80	c |     32980 |   76978   397734  1362650 | 2147483647    32131    102 |  0.001 % |
90.82/90.99	c |     33157 |   76978   397734  1362650 | 2147483647    32308    102 |  0.001 % |
91.23/91.34	c |     33351 |   76978   397734  1362650 | 2147483647    32502    102 |  0.001 % |
91.42/91.58	c |     33563 |   76978   397734  1362650 | 2147483647    32714    101 |  0.001 % |
92.02/92.20	c |     33807 |   76978   397734  1362650 | 2147483647    32958    102 |  0.001 % |
92.82/92.93	c |     34063 |   76978   397734  1362650 | 2147483647    33214    102 |  0.001 % |
93.72/93.90	c |     34344 |   76978   397734  1362650 | 2147483647    33495    102 |  0.001 % |
94.02/94.15	c |     34654 |   76978   397734  1362650 | 2147483647    33805    101 |  0.001 % |
94.42/94.60	c |     34993 |   76978   397734  1362650 | 2147483647    34144    101 |  0.001 % |
95.32/95.46	c |     35365 |   76978   397734  1362650 | 2147483647    34516    101 |  0.001 % |
95.82/95.98	c |     35776 |   76978   397734  1362650 | 2147483647    34927    100 |  0.001 % |
97.12/97.25	c |     36225 |   76978   397734  1362650 | 2147483647    35376    100 |  0.001 % |
98.12/98.27	c |     36719 |   76978   397734  1362650 | 2147483647    35870    101 |  0.001 % |
99.02/99.14	c |     37263 |   76978   397734  1362650 | 2147483647    36414    101 |  0.001 % |
99.02/99.21	c |     37364 |   76978   397734  1362650 | 2147483647    36515    101 |  0.001 % |
99.22/99.40	c |     37475 |   76978   397734  1362650 | 2147483647    36626    101 |  0.001 % |
99.52/99.70	c |     37596 |   76978   397734  1362650 | 2147483647    36747    101 |  0.001 % |
99.92/100.10	c |     37729 |   76978   397734  1362650 | 2147483647    36880    101 |  0.001 % |
100.72/100.82	c |     37875 |   76978   397734  1362650 | 2147483647    37026    102 |  0.001 % |
100.92/101.07	c |     38035 |   76978   397734  1362650 | 2147483647    37186    102 |  0.001 % |
101.22/101.33	c |     38212 |   76978   397734  1362650 | 2147483647    37363    102 |  0.001 % |
101.42/101.57	c |     38406 |   76978   397734  1362650 | 2147483647    37557    102 |  0.001 % |
101.92/102.09	c |     38653 |   76978   397734  1362650 | 2147483647    37804    101 |  0.001 % |
102.72/102.86	c |     38887 |   76978   397734  1362650 | 2147483647    38038    102 |  0.001 % |
103.02/103.16	c |     39143 |   76978   397734  1362650 | 2147483647    38294    102 |  0.001 % |
103.52/103.63	c |     39424 |   76978   397734  1362650 | 2147483647    38575    101 |  0.001 % |
103.92/104.11	c |     39734 |   76978   397734  1362650 | 2147483647    38885    101 |  0.001 % |
105.13/105.29	c |     40074 |   76978   397734  1362650 | 2147483647    39225    101 |  0.001 % |
107.03/107.13	c |     40451 |   76978   397734  1362650 | 2147483647    39602    102 |  0.001 % |
108.03/108.14	c |     40860 |   76978   397734  1362650 | 2147483647    40011    101 |  0.001 % |
108.53/108.71	c |     41310 |   76978   397734  1362650 | 2147483647    40461    100 |  0.001 % |
111.03/111.16	c |     41805 |   76978   397734  1362650 | 2147483647    40956    101 |  0.001 % |
112.43/112.61	c |     42349 |   76978   397734  1362650 | 2147483647    41500    101 |  0.001 % |
113.03/113.18	c |     42947 |   76978   397734  1362650 | 2147483647    42098    102 |  0.001 % |
113.03/113.21	c |     43047 |   76978   397734  1362650 | 2147483647    42198    102 |  0.001 % |
113.43/113.55	c |     43158 |   76978   397734  1362650 | 2147483647    42309    102 |  0.001 % |
114.03/114.19	c |     43293 |   76977   397594  1362350 | 2147483647    42353    102 |  0.003 % |
114.23/114.33	c |     43428 |   76977   397594  1362350 | 2147483647    42488    102 |  0.003 % |
114.73/114.89	c |     43574 |   76977   397594  1362350 | 2147483647    42634    102 |  0.003 % |
114.93/115.09	c |     43734 |   76977   397594  1362350 | 2147483647    42794    102 |  0.003 % |
116.73/116.85	c |     43910 |   76977   397594  1362350 | 2147483647    42970    103 |  0.003 % |
117.43/117.58	c |     44103 |   76977   397594  1362350 | 2147483647    43163    103 |  0.003 % |
117.63/117.75	c |     44315 |   76977   397594  1362350 | 2147483647    43375    102 |  0.003 % |
117.63/117.78	c |     44548 |   76977   397594  1362350 | 2147483647    43608    102 |  0.003 % |
118.43/118.59	c |     44804 |   76977   397594  1362350 | 2147483647    43864    102 |  0.003 % |
118.53/118.69	c |     45086 |   76977   397594  1362350 | 2147483647    44146    101 |  0.003 % |
119.13/119.24	c |     45395 |   76977   397594  1362350 | 2147483647    44455    101 |  0.003 % |
119.43/119.55	c |     45734 |   76977   397594  1362350 | 2147483647    44794    101 |  0.003 % |
120.13/120.31	c |     46106 |   76977   397594  1362350 | 2147483647    45166    101 |  0.003 % |
120.73/120.88	c |     46515 |   76977   397594  1362350 | 2147483647    45575    100 |  0.003 % |
122.73/122.87	c |     46967 |   76977   397594  1362350 | 2147483647    46027    101 |  0.003 % |
123.63/123.76	c |     47460 |   76977   397594  1362350 | 2147483647    46520    101 |  0.003 % |
125.23/125.41	c |     48003 |   76977   397594  1362350 | 2147483647    47063    101 |  0.003 % |
126.03/126.20	c |     48600 |   76977   397594  1362350 | 2147483647    47660    101 |  0.003 % |
126.93/127.06	c |     49256 |   76977   397594  1362350 | 2147483647    48316    101 |  0.003 % |
127.13/127.29	c |     49356 |   76977   397594  1362350 | 2147483647    48416    101 |  0.003 % |
127.33/127.46	c |     49467 |   76977   397594  1362350 | 2147483647    48527    101 |  0.003 % |
127.43/127.61	c |     49589 |   76977   397594  1362350 | 2147483647    48649    101 |  0.003 % |
127.83/128.02	c |     49723 |   76977   397594  1362350 | 2147483647    48783    101 |  0.003 % |
128.13/128.25	c |     49870 |   76977   397594  1362350 | 2147483647    48930    101 |  0.003 % |
128.63/128.79	c |     50030 |   76977   397594  1362350 | 2147483647    49090    101 |  0.003 % |
129.03/129.19	c |     50206 |   76977   397594  1362350 | 2147483647    49266    101 |  0.003 % |
129.13/129.26	c |     50399 |   76977   397594  1362350 | 2147483647    49459    101 |  0.003 % |
129.43/129.53	c |     50613 |   76977   397594  1362350 | 2147483647    49673    101 |  0.003 % |
129.73/129.89	c |     50847 |   76977   397594  1362350 | 2147483647    49907    101 |  0.003 % |
129.93/130.03	c |     51107 |   76977   397594  1362350 | 2147483647    50167    100 |  0.003 % |
130.03/130.14	c |     51389 |   76977   397594  1362350 | 2147483647    50449    100 |  0.003 % |
131.33/131.45	c |     51698 |   76977   397594  1362350 | 2147483647    50758    101 |  0.003 % |
131.83/131.94	c |     52038 |   76977   397594  1362350 | 2147483647    51098    101 |  0.003 % |
132.63/132.81	c |     52410 |   76977   397594  1362350 | 2147483647    51470    100 |  0.003 % |
133.23/133.37	c |     52819 |   76977   397594  1362350 | 2147483647    51879    100 |  0.003 % |
134.23/134.38	c |     53268 |   76977   397594  1362350 | 2147483647    52328    100 |  0.003 % |
134.83/135.00	c |     53762 |   76977   397594  1362350 | 2147483647    52822    100 |  0.003 % |
135.73/135.89	c |     54305 |   76977   397594  1362350 | 2147483647    53365    100 |  0.003 % |
138.83/138.93	c |     54901 |   76977   397594  1362350 | 2147483647    53961    101 |  0.003 % |
140.33/140.43	c |     55557 |   76977   397594  1362350 | 2147483647    54617    101 |  0.003 % |
141.03/141.21	c |     56278 |   76977   397594  1362350 | 2147483647    55338    101 |  0.003 % |
141.33/141.46	c |     56378 |   76977   397594  1362350 | 2147483647    55438    101 |  0.003 % |
141.53/141.69	c |     56488 |   76977   397594  1362350 | 2147483647    55548    101 |  0.003 % |
141.63/141.80	c |     56610 |   76977   397594  1362350 | 2147483647    55670    101 |  0.003 % |
141.83/141.96	c |     56745 |   76977   397594  1362350 | 2147483647    55805    101 |  0.003 % |
142.13/142.22	c |     56891 |   76977   397594  1362350 | 2147483647    55951    101 |  0.003 % |
142.83/142.98	c |     57055 |   76977   397594  1362350 | 2147483647    56115    102 |  0.003 % |
143.33/143.47	c |     57231 |   76977   397594  1362350 | 2147483647    56291    102 |  0.003 % |
143.53/143.65	c |     57424 |   76977   397594  1362350 | 2147483647    56484    101 |  0.003 % |
144.13/144.23	c |     57638 |   76977   397594  1362350 | 2147483647    56698    101 |  0.003 % |
144.63/144.77	c |     57876 |   76977   397594  1362350 | 2147483647    56936    102 |  0.003 % |
144.93/145.05	c |     58132 |   76977   397594  1362350 | 2147483647    57192    101 |  0.003 % |
145.23/145.34	c |     58413 |   76977   397594  1362350 | 2147483647    57473    101 |  0.003 % |
146.23/146.35	c |     58723 |   76977   397594  1362350 | 2147483647    57783    101 |  0.003 % |
146.93/147.04	c |     59062 |   76977   397594  1362350 | 2147483647    58122    101 |  0.003 % |
147.83/148.01	c |     59434 |   76977   397594  1362350 | 2147483647    58494    101 |  0.003 % |
148.33/148.45	c |     59846 |   76977   397594  1362350 | 2147483647    58906    101 |  0.003 % |
149.23/149.34	c |     60298 |   76977   397594  1362350 | 2147483647    59358    101 |  0.003 % |
149.93/150.06	c |     60793 |   76977   397594  1362350 | 2147483647    59853    101 |  0.003 % |
150.83/150.92	c |     61337 |   76977   397594  1362350 | 2147483647    60397    100 |  0.003 % |
151.43/151.51	c |     61934 |   76977   397594  1362350 | 2147483647    60994    100 |  0.003 % |
153.93/154.02	c |     62599 |   76977   397594  1362350 | 2147483647    61659    100 |  0.003 % |
155.63/155.79	c |     63325 |   76977   397594  1362350 | 2147483647    62385    100 |  0.003 % |
157.03/157.16	c |     64117 |   76977   397594  1362350 | 2147483647    63177    101 |  0.003 % |
157.23/157.39	c |     64218 |   76977   397594  1362350 | 2147483647    63278    101 |  0.003 % |
157.53/157.70	c |     64328 |   76977   397594  1362350 | 2147483647    63388    100 |  0.003 % |
157.73/157.89	c |     64450 |   76977   397594  1362350 | 2147483647    63510    100 |  0.003 % |
158.03/158.17	c |     64583 |   76977   397594  1362350 | 2147483647    63643    100 |  0.003 % |
158.43/158.59	c |     64729 |   76977   397594  1362350 | 2147483647    63789    100 |  0.003 % |
158.73/158.84	c |     64889 |   76977   397594  1362350 | 2147483647    63949    100 |  0.003 % |
158.93/159.09	c |     65066 |   76977   397594  1362350 | 2147483647    64126    100 |  0.003 % |
159.63/159.72	c |     65259 |   76977   397594  1362350 | 2147483647    64319    100 |  0.003 % |
160.33/160.41	c |     65472 |   76977   397594  1362350 | 2147483647    64532    100 |  0.003 % |
160.93/161.04	c |     65706 |   76977   397594  1362350 | 2147483647    64766    100 |  0.003 % |
162.03/162.11	c |     65962 |   76977   397594  1362350 | 2147483647    65022    100 |  0.003 % |
162.43/162.59	c |     66243 |   76977   397594  1362350 | 2147483647    65303    100 |  0.003 % |
163.33/163.51	c |     66552 |   76977   397594  1362350 | 2147483647    65612    101 |  0.003 % |
163.93/164.07	c |     66891 |   76977   397594  1362350 | 2147483647    65951    100 |  0.003 % |
164.63/164.76	c |     67264 |   76977   397594  1362350 | 2147483647    66324    100 |  0.003 % |
165.53/165.71	c |     67675 |   76977   397594  1362350 | 2147483647    66735    100 |  0.003 % |
166.33/166.51	c |     68124 |   76977   397594  1362350 | 2147483647    67184    100 |  0.003 % |
167.53/167.70	c |     68617 |   76977   397594  1362350 | 2147483647    67677    101 |  0.003 % |
168.13/168.31	c |     69159 |   76977   397594  1362350 | 2147483647    68219    100 |  0.003 % |
169.23/169.38	c |     69756 |   76977   397594  1362350 | 2147483647    68816    100 |  0.003 % |
170.33/170.42	c |     70411 |   76977   397594  1362350 | 2147483647    69471    100 |  0.003 % |
171.43/171.58	c |     71132 |   76977   397594  1362350 | 2147483647    70192    100 |  0.003 % |
173.03/173.15	c |     71926 |   76977   397594  1362350 | 2147483647    70986    101 |  0.003 % |
175.43/175.52	c |     72798 |   76977   397594  1362350 | 2147483647    71858    103 |  0.003 % |
175.63/175.80	c |     72901 |   76977   397594  1362350 | 2147483647    71961    103 |  0.003 % |
175.94/176.03	c |     73011 |   76977   397594  1362350 | 2147483647    72071    103 |  0.003 % |
176.13/176.30	c |     73133 |   76977   397594  1362350 | 2147483647    72193    103 |  0.003 % |
176.53/176.66	c |     73266 |   76977   397594  1362350 | 2147483647    72326    103 |  0.003 % |
176.63/176.74	c |     73413 |   76977   397594  1362350 | 2147483647    72473    103 |  0.003 % |
177.13/177.30	c |     73574 |   76977   397594  1362350 | 2147483647    72634    103 |  0.003 % |
177.43/177.53	c |     73751 |   76977   397594  1362350 | 2147483647    72811    103 |  0.003 % |
177.93/178.07	c |     73944 |   76977   397594  1362350 | 2147483647    73004    103 |  0.003 % |
178.53/178.68	c |     74156 |   76977   397594  1362350 | 2147483647    73216    103 |  0.003 % |
179.03/179.21	c |     74390 |   76977   397594  1362350 | 2147483647    73450    103 |  0.003 % |
179.83/179.97	c |     74648 |   76977   397594  1362350 | 2147483647    73708    103 |  0.003 % |
180.73/180.89	c |     74930 |   76977   397594  1362350 | 2147483647    73990    104 |  0.003 % |
181.83/181.93	c |     75242 |   76977   397594  1362350 | 2147483647    74302    104 |  0.003 % |
183.23/183.36	c |     75584 |   76977   397594  1362350 | 2147483647    74644    104 |  0.003 % |
184.43/184.53	c |     75957 |   76977   397594  1362350 | 2147483647    75017    104 |  0.003 % |
185.03/185.18	c |     76366 |   76977   397594  1362350 | 2147483647    75426    104 |  0.003 % |
185.63/185.74	c |     76817 |   76977   397594  1362350 | 2147483647    75877    104 |  0.003 % |
186.73/186.83	c |     77310 |   76977   397594  1362350 | 2147483647    76370    104 |  0.003 % |
187.63/187.76	c |     77855 |   76977   397594  1362350 | 2147483647    76915    104 |  0.003 % |
188.43/188.57	c |     78451 |   76977   397594  1362350 | 2147483647    77511    103 |  0.003 % |
190.02/190.18	c |     79107 |   76977   397594  1362350 | 2147483647    78167    103 |  0.003 % |
191.12/191.24	c |     79828 |   76977   397594  1362350 | 2147483647    78888    103 |  0.003 % |
192.52/192.64	c |     80620 |   76977   397594  1362350 | 2147483647    79680    104 |  0.003 % |
197.02/197.17	c |     81491 |   76977   397594  1362350 | 2147483647    80551    106 |  0.003 % |
199.42/199.57	c |     82451 |   76977   397594  1362350 | 2147483647    81511    106 |  0.003 % |
199.52/199.63	c |     82551 |   76977   397594  1362350 | 2147483647    81611    105 |  0.003 % |
199.92/200.04	c |     82661 |   76977   397594  1362350 | 2147483647    81721    106 |  0.003 % |
200.52/200.65	c |     82782 |   76977   397594  1362350 | 2147483647    81842    106 |  0.003 % |
200.82/200.91	c |     82915 |   76977   397594  1362350 | 2147483647    81975    106 |  0.003 % |
201.02/201.12	c |     83062 |   76977   397594  1362350 | 2147483647    82122    106 |  0.003 % |
201.72/201.85	c |     83222 |   76977   397594  1362350 | 2147483647    82282    106 |  0.003 % |
202.62/202.72	c |     83398 |   76977   397594  1362350 | 2147483647    82458    106 |  0.003 % |
202.93/203.07	c |     83594 |   76977   397594  1362350 | 2147483647    82654    106 |  0.003 % |
203.03/203.21	c |     83807 |   76977   397594  1362350 | 2147483647    82867    106 |  0.003 % |
203.73/203.85	c |     84040 |   76977   397594  1362350 | 2147483647    83100    106 |  0.003 % |
204.53/204.66	c |     84297 |   76977   397594  1362350 | 2147483647    83357    106 |  0.003 % |
204.83/204.94	c |     84578 |   76977   397594  1362350 | 2147483647    83638    106 |  0.003 % |
205.23/205.38	c |     84887 |   76977   397594  1362350 | 2147483647    83947    106 |  0.003 % |
205.63/205.75	c |     85229 |   76977   397594  1362350 | 2147483647    84289    106 |  0.003 % |
206.13/206.28	c |     85601 |   76977   397594  1362350 | 2147483647    84661    106 |  0.003 % |
207.43/207.54	c |     86012 |   76977   397594  1362350 | 2147483647    85072    107 |  0.003 % |
208.53/208.69	c |     86461 |   76977   397594  1362350 | 2147483647    85521    107 |  0.003 % |
209.93/210.06	c |     86954 |   76977   397594  1362350 | 2147483647    86014    108 |  0.003 % |
211.53/211.65	c |     87497 |   76977   397594  1362350 | 2147483647    86557    108 |  0.003 % |
212.43/212.58	c |     88095 |   76977   397594  1362350 | 2147483647    87155    108 |  0.003 % |
213.53/213.61	c |     88750 |   76977   397594  1362350 | 2147483647    87810    108 |  0.003 % |
214.43/214.57	c |     89471 |   76977   397594  1362350 | 2147483647    88531    109 |  0.003 % |
216.23/216.32	c |     90263 |   76977   397594  1362350 | 2147483647    89323    110 |  0.003 % |
219.03/219.17	c |     91134 |   76977   397594  1362350 | 2147483647    90194    110 |  0.003 % |
222.03/222.14	c |     92093 |   76977   397594  1362350 | 2147483647    91153    110 |  0.003 % |
224.03/224.19	c |     93146 |   76977   397594  1362350 | 2147483647    92206    111 |  0.003 % |
224.23/224.37	c |     93246 |   76977   397594  1362350 | 2147483647    92306    111 |  0.003 % |
224.63/224.78	c |     93357 |   76977   397594  1362350 | 2147483647    92417    112 |  0.003 % |
224.93/225.07	c |     93478 |   76977   397594  1362350 | 2147483647    92538    112 |  0.003 % |
225.33/225.44	c |     93613 |   76977   397594  1362350 | 2147483647    92673    112 |  0.003 % |
225.83/225.92	c |     93759 |   76977   397594  1362350 | 2147483647    92819    112 |  0.003 % |
226.33/226.44	c |     93919 |   76977   397594  1362350 | 2147483647    92979    112 |  0.003 % |
226.93/227.07	c |     94097 |   76977   397594  1362350 | 2147483647    93157    112 |  0.003 % |
228.13/228.24	c |     94291 |   76977   397594  1362350 | 2147483647    93351    112 |  0.003 % |
229.13/229.26	c |     94510 |   76977   397594  1362350 | 2147483647    93570    112 |  0.003 % |
230.33/230.41	c |     94743 |   76977   397594  1362350 | 2147483647    93803    112 |  0.003 % |
230.73/230.83	c |     95001 |   76977   397594  1362350 | 2147483647    94061    112 |  0.003 % |
231.43/231.60	c |     95282 |   76977   397594  1362350 | 2147483647    94342    112 |  0.003 % |
232.13/232.26	c |     95591 |   76977   397594  1362350 | 2147483647    94651    113 |  0.003 % |
232.93/233.09	c |     95931 |   76977   397594  1362350 | 2147483647    94991    113 |  0.003 % |
234.23/234.35	c |     96304 |   76977   397594  1362350 | 2147483647    95364    113 |  0.003 % |
235.23/235.36	c |     96715 |   76977   397594  1362350 | 2147483647    95775    113 |  0.003 % |
236.03/236.18	c |     97166 |   76977   397594  1362350 | 2147483647    96226    112 |  0.003 % |
236.83/236.98	c |     97660 |   76977   397594  1362350 | 2147483647    96720    112 |  0.003 % |
237.63/237.72	c |     98202 |   76977   397594  1362350 | 2147483647    97262    112 |  0.003 % |
238.63/238.77	c |     98799 |   76977   397594  1362350 | 2147483647    97859    112 |  0.003 % |
240.93/241.10	c |     99455 |   76977   397594  1362350 | 2147483647    98515    112 |  0.003 % |
242.63/242.78	c |    100175 |   76977   397594  1362350 | 2147483647    99235    112 |  0.003 % |
243.33/243.48	c |    100967 |   76977   397594  1362350 | 2147483647   100027    112 |  0.003 % |
244.93/245.03	c |    101838 |   76977   397594  1362350 | 2147483647   100898    112 |  0.003 % |
248.43/248.54	c |    102796 |   76977   397594  1362350 | 2147483647   101856    112 |  0.003 % |
252.03/252.19	c |    103849 |   76977   397594  1362350 | 2147483647   102909    113 |  0.003 % |
254.73/254.84	c |    105008 |   76977   397594  1362350 | 2147483647   104068    113 |  0.003 % |
254.93/255.01	c |    105108 |   76977   397594  1362350 | 2147483647   104168    113 |  0.003 % |
255.23/255.36	c |    105219 |   76977   397594  1362350 | 2147483647   104279    113 |  0.003 % |
255.63/255.74	c |    105341 |   76977   397594  1362350 | 2147483647   104401    113 |  0.003 % |
256.03/256.12	c |    105474 |   76977   397594  1362350 | 2147483647   104534    113 |  0.003 % |
256.33/256.47	c |    105622 |   76977   397594  1362350 | 2147483647   104682    113 |  0.003 % |
256.73/256.88	c |    105783 |   76977   397594  1362350 | 2147483647   104843    113 |  0.003 % |
257.23/257.40	c |    105959 |   76977   397594  1362350 | 2147483647   105019    113 |  0.003 % |
257.73/257.81	c |    106152 |   76977   397594  1362350 | 2147483647   105212    113 |  0.003 % |
258.44/258.53	c |    106365 |   76977   397594  1362350 | 2147483647   105425    113 |  0.003 % |
259.13/259.27	c |    106599 |   76977   397594  1362350 | 2147483647   105659    113 |  0.003 % |
259.73/259.81	c |    106856 |   76977   397594  1362350 | 2147483647   105916    113 |  0.003 % |
260.64/260.78	c |    107137 |   76977   397594  1362350 | 2147483647   106197    113 |  0.003 % |
261.43/261.59	c |    107446 |   76977   397594  1362350 | 2147483647   106506    113 |  0.003 % |
262.23/262.31	c |    107786 |   76977   397594  1362350 | 2147483647   106846    113 |  0.003 % |
263.94/264.03	c |    108158 |   76977   397594  1362350 | 2147483647   107218    113 |  0.003 % |
265.43/265.58	c |    108567 |   76977   397594  1362350 | 2147483647   107627    113 |  0.003 % |
267.53/267.60	c |    109016 |   76977   397594  1362350 | 2147483647   108076    114 |  0.003 % |
269.23/269.39	c |    109509 |   76976   397466  1362094 | 2147483647   108567    114 |  0.004 % |
270.93/271.05	c |    110051 |   76976   397466  1362094 | 2147483647   109109    114 |  0.004 % |
271.93/272.05	c |    110648 |   76976   397466  1362094 | 2147483647   109706    114 |  0.004 % |
273.03/273.18	c |    111303 |   76976   397466  1362094 | 2147483647   110361    113 |  0.004 % |
274.43/274.58	c |    112024 |   76976   397466  1362094 | 2147483647   111082    113 |  0.004 % |
278.53/278.62	c |    112818 |   76976   397466  1362094 | 2147483647   111876    114 |  0.004 % |
280.13/280.25	c |    113689 |   76976   397466  1362094 | 2147483647   112747    114 |  0.004 % |
282.53/282.67	c |    114647 |   76976   397466  1362094 | 2147483647   113705    114 |  0.004 % |
284.84/285.00	c |    115700 |   76976   397466  1362094 | 2147483647   114758    114 |  0.004 % |
288.23/288.31	c |    116860 |   76976   397466  1362094 | 2147483647   115918    115 |  0.004 % |
290.43/290.56	c |    118133 |   76976   397466  1362094 | 2147483647   117191    115 |  0.004 % |
290.53/290.65	c |    118234 |   76976   397466  1362094 | 2147483647   117292    115 |  0.004 % |
290.63/290.77	c |    118346 |   76976   397466  1362094 | 2147483647   117404    115 |  0.004 % |
291.23/291.34	c |    118467 |   76976   397466  1362094 | 2147483647   117525    115 |  0.004 % |
291.53/291.66	c |    118601 |   76976   397466  1362094 | 2147483647   117659    115 |  0.004 % |
291.83/291.94	c |    118748 |   76976   397466  1362094 | 2147483647   117806    115 |  0.004 % |
292.23/292.38	c |    118908 |   76976   397466  1362094 | 2147483647   117966    115 |  0.004 % |
292.54/292.68	c |    119084 |   76976   397466  1362094 | 2147483647   118142    115 |  0.004 % |
293.73/293.83	c |    119277 |   76976   397466  1362094 | 2147483647   118335    115 |  0.004 % |
294.93/295.02	c |    119489 |   76976   397466  1362094 | 2147483647   118547    115 |  0.004 % |
295.23/295.40	c |    119723 |   76976   397466  1362094 | 2147483647   118781    115 |  0.004 % |
295.53/295.62	c |    119979 |   76976   397466  1362094 | 2147483647   119037    115 |  0.004 % |
296.23/296.31	c |    120260 |   76976   397466  1362094 | 2147483647   119318    115 |  0.004 % |
296.94/297.07	c |    120571 |   76976   397466  1362094 | 2147483647   119629    115 |  0.004 % |
297.63/297.75	c |    120912 |   76976   397466  1362094 | 2147483647   119970    115 |  0.004 % |
298.04/298.12	c |    121285 |   76976   397466  1362094 | 2147483647   120343    115 |  0.004 % |
298.73/298.82	c |    121694 |   76976   397466  1362094 | 2147483647   120752    115 |  0.004 % |
299.23/299.35	c |    122143 |   76976   397466  1362094 | 2147483647   121201    115 |  0.004 % |
299.73/299.86	c |    122636 |   76976   397466  1362094 | 2147483647   121694    115 |  0.004 % |
300.54/300.64	c |    123179 |   76976   397466  1362094 | 2147483647   122237    115 |  0.004 % |
302.94/303.06	c |    123775 |   76976   397466  1362094 | 2147483647   122833    116 |  0.004 % |
305.44/305.53	c |    124430 |   76976   397466  1362094 | 2147483647   123488    116 |  0.004 % |
307.04/307.17	c |    125150 |   76976   397466  1362094 | 2147483647   124208    117 |  0.004 % |
309.04/309.16	c |    125942 |   76976   397466  1362094 | 2147483647   125000    117 |  0.004 % |
310.34/310.42	c |    126813 |   76976   397466  1362094 | 2147483647   125871    117 |  0.004 % |
311.94/312.05	c |    127773 |   76976   397466  1362094 | 2147483647   126831    117 |  0.004 % |
313.84/313.93	c |    128829 |   76976   397466  1362094 | 2147483647   127887    117 |  0.004 % |
315.44/315.57	c |    129988 |   76976   397466  1362094 | 2147483647   129046    117 |  0.004 % |
317.44/317.55	c |    131261 |   76976   397466  1362094 | 2147483647   130319    117 |  0.004 % |
319.84/319.92	c |    132661 |   76976   397466  1362094 | 2147483647   131719    117 |  0.004 % |
319.94/320.10	c |    132761 |   76976   397466  1362094 | 2147483647   131819    117 |  0.004 % |
320.14/320.31	c |    132873 |   76976   397466  1362094 | 2147483647   131931    117 |  0.004 % |
320.34/320.50	c |    132994 |   76976   397466  1362094 | 2147483647   132052    117 |  0.004 % |
320.64/320.72	c |    133127 |   76976   397466  1362094 | 2147483647   132185    117 |  0.004 % |
320.64/320.79	c |    133276 |   76976   397466  1362094 | 2147483647   132334    117 |  0.004 % |
320.74/320.83	c |    133437 |   76976   397466  1362094 | 2147483647   132495    116 |  0.004 % |
321.64/321.77	c |    133614 |   76976   397466  1362094 | 2147483647   132672    117 |  0.004 % |
322.54/322.68	c |    133808 |   76976   397466  1362094 | 2147483647   132866    117 |  0.004 % |
323.24/323.34	c |    134020 |   76976   397466  1362094 | 2147483647   133078    117 |  0.004 % |
324.44/324.52	c |    134253 |   76976   397466  1362094 | 2147483647   133311    117 |  0.004 % |
325.14/325.22	c |    134509 |   76976   397466  1362094 | 2147483647   133567    117 |  0.004 % |
326.94/327.02	c |    134791 |   76976   397466  1362094 | 2147483647   133849    117 |  0.004 % |
328.74/328.87	c |    135102 |   76976   397466  1362094 | 2147483647   134160    117 |  0.004 % |
329.24/329.38	c |    135443 |   76976   397466  1362094 | 2147483647   134501    117 |  0.004 % |
330.84/330.92	c |    135817 |   76976   397466  1362094 | 2147483647   134875    117 |  0.004 % |
331.34/331.45	c |    136226 |   76976   397466  1362094 | 2147483647   135284    117 |  0.004 % |
331.64/331.77	c |    136677 |   76976   397466  1362094 | 2147483647   135735    117 |  0.004 % |
333.14/333.24	c |    137170 |   76976   397466  1362094 | 2147483647   136228    117 |  0.004 % |
335.64/335.72	c |    137713 |   76976   397466  1362094 | 2147483647   136771    117 |  0.004 % |
337.04/337.17	c |    138309 |   76976   397466  1362094 | 2147483647   137367    117 |  0.004 % |
338.14/338.22	c |    138964 |   76976   397466  1362094 | 2147483647   138022    117 |  0.004 % |
340.94/341.09	c |    139685 |   76976   397466  1362094 | 2147483647   138743    118 |  0.004 % |
342.84/342.98	c |    140477 |   76976   397466  1362094 | 2147483647   139535    118 |  0.004 % |
344.14/344.28	c |    141350 |   76976   397466  1362094 | 2147483647   140408    118 |  0.004 % |
347.54/347.66	c |    142308 |   76976   397466  1362094 | 2147483647   141366    118 |  0.004 % |
350.34/350.51	c |    143362 |   76976   397466  1362094 | 2147483647   142420    119 |  0.004 % |
353.24/353.37	c |    144521 |   76976   397466  1362094 | 2147483647   143579    119 |  0.004 % |
360.44/360.56	c |    145802 |   76976   397466  1362094 | 2147483647   144860    120 |  0.004 % |
364.05/364.16	c |    147203 |   76976   397466  1362094 | 2147483647   146261    120 |  0.004 % |
367.35/367.50	c |    148743 |   76976   397466  1362094 | 2147483647   147801    120 |  0.004 % |
367.54/367.65	c |    148843 |   76976   397466  1362094 | 2147483647   147901    120 |  0.004 % |
367.84/368.00	c |    148956 |   76976   397466  1362094 | 2147483647   148014    120 |  0.004 % |
368.14/368.21	c |    149078 |   76976   397466  1362094 | 2147483647   148136    120 |  0.004 % |
368.74/368.83	c |    149211 |   76976   397466  1362094 | 2147483647   148269    121 |  0.004 % |
369.04/369.13	c |    149357 |   76976   397466  1362094 | 2147483647   148415    121 |  0.004 % |
369.74/369.87	c |    149517 |   76976   397466  1362094 | 2147483647   148575    121 |  0.004 % |
370.24/370.38	c |    149695 |   76976   397466  1362094 | 2147483647   148753    121 |  0.004 % |
370.74/370.84	c |    149888 |   76976   397466  1362094 | 2147483647   148946    121 |  0.004 % |
371.75/371.84	c |    150101 |   76976   397466  1362094 | 2147483647   149159    121 |  0.004 % |
372.74/372.81	c |    150334 |   76976   397466  1362094 | 2147483647   149392    121 |  0.004 % |
373.24/373.37	c |    150590 |   76976   397466  1362094 | 2147483647   149648    121 |  0.004 % |
373.95/374.10	c |    150871 |   76976   397466  1362094 | 2147483647   149929    121 |  0.004 % |
374.54/374.65	c |    151182 |   76976   397466  1362094 | 2147483647   150240    121 |  0.004 % |
375.94/376.03	c |    151521 |   76976   397466  1362094 | 2147483647   150579    122 |  0.004 % |
377.54/377.69	c |    151926 |   76976   397466  1362094 | 2147483647   150984    122 |  0.004 % |
378.14/378.23	c |    152335 |   76976   397466  1362094 | 2147483647   151393    122 |  0.004 % |
379.64/379.77	c |    152784 |   76976   397466  1362094 | 2147483647   151842    122 |  0.004 % |
381.14/381.26	c |    153277 |   76976   397466  1362094 | 2147483647   152335    122 |  0.004 % |
384.54/384.68	c |    153820 |   76975   397462  1362082 | 2147483647   151565    121 |  0.005 % |
386.54/386.70	c |    154418 |   76975   397462  1362082 | 2147483647   152163    122 |  0.005 % |
388.74/388.82	c |    155073 |   76975   397462  1362082 | 2147483647   152818    121 |  0.005 % |
390.74/390.86	c |    155793 |   76975   397462  1362082 | 2147483647   153538    121 |  0.005 % |
391.84/391.94	c |    156585 |   76975   397462  1362082 | 2147483647   154330    121 |  0.005 % |
394.74/394.86	c |    157461 |   76975   397462  1362082 | 2147483647   155206    121 |  0.005 % |
396.44/396.53	c |    158420 |   76975   397462  1362082 | 2147483647   156165    121 |  0.005 % |
399.65/399.79	c |    159473 |   76975   397462  1362082 | 2147483647   157218    122 |  0.005 % |
403.35/403.47	c |    160631 |   76975   397462  1362082 | 2147483647   158376    122 |  0.005 % |
406.45/406.59	c |    161904 |   76975   397462  1362082 | 2147483647   159649    122 |  0.005 % |
411.95/412.03	c |    163304 |   76975   397462  1362082 | 2147483647   161049    123 |  0.005 % |
414.75/414.86	c |    164845 |   76975   397462  1362082 | 2147483647   162590    124 |  0.005 % |
419.05/419.21	c |    166540 |   76975   397462  1362082 | 2147483647   164285    124 |  0.005 % |
419.55/419.69	c |    166642 |   76975   397462  1362082 | 2147483647   164387    124 |  0.005 % |
419.85/419.93	c |    166752 |   76975   397462  1362082 | 2147483647   164497    124 |  0.005 % |
420.05/420.20	c |    166873 |   76975   397462  1362082 | 2147483647   164618    124 |  0.005 % |
420.25/420.41	c |    167006 |   76975   397462  1362082 | 2147483647   164751    124 |  0.005 % |
420.95/421.03	c |    167154 |   76975   397462  1362082 | 2147483647   164899    124 |  0.005 % |
421.75/421.89	c |    167315 |   76975   397462  1362082 | 2147483647   165060    124 |  0.005 % |
422.35/422.44	c |    167492 |   76975   397462  1362082 | 2147483647   165237    124 |  0.005 % |
422.95/423.08	c |    167690 |   76975   397462  1362082 | 2147483647   165435    124 |  0.005 % |
423.45/423.56	c |    167904 |   76975   397462  1362082 | 2147483647   165649    124 |  0.005 % |
424.45/424.58	c |    168139 |   76975   397462  1362082 | 2147483647   165884    124 |  0.005 % |
424.95/425.06	c |    168397 |   76975   397462  1362082 | 2147483647   166142    124 |  0.005 % |
426.85/426.99	c |    168686 |   76975   397462  1362082 | 2147483647   166431    124 |  0.005 % |
427.55/427.70	c |    168997 |   76975   397462  1362082 | 2147483647   166742    124 |  0.005 % |
428.65/428.76	c |    169336 |   76975   397462  1362082 | 2147483647   167081    124 |  0.005 % |
429.35/429.50	c |    169709 |   76975   397462  1362082 | 2147483647   167454    124 |  0.005 % |
430.75/430.84	c |    170118 |   76975   397462  1362082 | 2147483647   167863    124 |  0.005 % |
432.75/432.82	c |    170567 |   76975   397462  1362082 | 2147483647   168312    125 |  0.005 % |
434.55/434.70	c |    171061 |   76975   397462  1362082 | 2147483647   168806    125 |  0.005 % |
436.05/436.12	c |    171605 |   76975   397462  1362082 | 2147483647   169350    125 |  0.005 % |
438.25/438.35	c |    172202 |   76975   397462  1362082 | 2147483647   169947    125 |  0.005 % |
440.15/440.23	c |    172861 |   76975   397462  1362082 | 2147483647   170606    125 |  0.005 % |
442.25/442.33	c |    173581 |   76975   397462  1362082 | 2147483647   171326    125 |  0.005 % |
444.75/444.86	c |    174374 |   76975   397462  1362082 | 2147483647   172119    125 |  0.005 % |
445.45/445.53	c |    175245 |   76975   397462  1362082 | 2147483647   172990    125 |  0.005 % |
448.25/448.34	c |    176203 |   76975   397462  1362082 | 2147483647   173948    126 |  0.005 % |
450.75/450.89	c |    177256 |   76975   397462  1362082 | 2147483647   175001    126 |  0.005 % |
453.85/453.95	c |    178414 |   76975   397462  1362082 | 2147483647   176159    126 |  0.005 % |
456.25/456.32	c |    179687 |   76975   397462  1362082 | 2147483647   177432    126 |  0.005 % |
463.85/464.00	c |    181087 |   76975   397462  1362082 | 2147483647   178832    127 |  0.005 % |
467.55/467.61	c |    182627 |   76975   397462  1362082 | 2147483647   180372    128 |  0.005 % |
474.25/474.37	c |    184322 |   76975   397462  1362082 | 2147483647   182067    128 |  0.005 % |
478.95/479.06	c |    186185 |   76975   397462  1362082 | 2147483647   183930    128 |  0.005 % |
479.25/479.34	c |    186285 |   76975   397462  1362082 | 2147483647   184030    128 |  0.005 % |
479.85/479.91	c |    186395 |   76975   397462  1362082 | 2147483647   184140    128 |  0.005 % |
480.55/480.66	c |    186516 |   76975   397462  1362082 | 2147483647   184261    128 |  0.005 % |
480.95/481.06	c |    186649 |   76975   397462  1362082 | 2147483647   184394    128 |  0.005 % |
481.76/481.90	c |    186795 |   76975   397462  1362082 | 2147483647   184540    128 |  0.005 % |
482.25/482.35	c |    186955 |   76975   397462  1362082 | 2147483647   184700    128 |  0.005 % |
482.86/482.96	c |    187132 |   76975   397462  1362082 | 2147483647   184877    128 |  0.005 % |
483.35/483.47	c |    187325 |   76975   397462  1362082 | 2147483647   185070    128 |  0.005 % |
483.85/483.95	c |    187537 |   76975   397462  1362082 | 2147483647   185282    128 |  0.005 % |
484.85/484.95	c |    187770 |   76975   397462  1362082 | 2147483647   185515    128 |  0.005 % |
485.45/485.56	c |    188026 |   76975   397462  1362082 | 2147483647   185771    128 |  0.005 % |
486.05/486.15	c |    188311 |   76975   397462  1362082 | 2147483647   186056    128 |  0.005 % |
487.05/487.14	c |    188620 |   76975   397462  1362082 | 2147483647   186365    128 |  0.005 % |
487.85/487.98	c |    188959 |   76975   397462  1362082 | 2147483647   186704    128 |  0.005 % |
488.85/488.98	c |    189332 |   76975   397462  1362082 | 2147483647   187077    129 |  0.005 % |
490.15/490.25	c |    189743 |   76975   397462  1362082 | 2147483647   187488    129 |  0.005 % |
491.45/491.51	c |    190192 |   76975   397462  1362082 | 2147483647   187937    129 |  0.005 % |
492.45/492.55	c |    190686 |   76975   397462  1362082 | 2147483647   188431    129 |  0.005 % |
493.25/493.32	c |    191228 |   76975   397462  1362082 | 2147483647   188973    129 |  0.005 % |
495.15/495.30	c |    191825 |   76975   397462  1362082 | 2147483647   189570    130 |  0.005 % |
496.06/496.13	c |    192480 |   76975   397462  1362082 | 2147483647   190225    130 |  0.005 % |
498.56/498.71	c |    193200 |   76975   397462  1362082 | 2147483647   190945    130 |  0.005 % |
501.46/501.55	c |    193992 |   76975   397462  1362082 | 2147483647   191737    131 |  0.005 % |
505.46/505.58	c |    194864 |   76975   397462  1362082 | 2147483647   192609    131 |  0.005 % |
508.26/508.34	c |    195822 |   76975   397462  1362082 | 2147483647   193567    131 |  0.005 % |
511.66/511.76	c |    196875 |   76975   397462  1362082 | 2147483647   194620    131 |  0.005 % |
513.86/513.98	c |    198035 |   76975   397462  1362082 | 2147483647   195780    131 |  0.005 % |
517.76/517.85	c |    199308 |   76975   397462  1362082 | 2147483647   197053    131 |  0.005 % |
521.06/521.16	c |    200709 |   76974   397301  1361698 | 2147483647   197585    131 |  0.006 % |
528.46/528.60	c |    202250 |   76972   397301  1361698 | 2147483647   199124    132 |  0.009 % |
533.56/533.67	c |    203944 |   76972   397301  1361698 | 2147483647   200818    133 |  0.009 % |
538.16/538.30	c |    205807 |   76972   397301  1361698 | 2147483647   202681    133 |  0.009 % |
546.46/546.59	c |    207859 |   76972   397301  1361698 | 2147483647   204733    133 |  0.009 % |
546.95/547.00	c |    207959 |   76972   397301  1361698 | 2147483647   204833    133 |  0.009 % |
547.65/547.72	c |    208084 |   76972   397301  1361698 | 2147483647   204958    133 |  0.009 % |
548.35/548.49	c |    208207 |   76972   397301  1361698 | 2147483647   205081    133 |  0.009 % |
549.15/549.22	c |    208340 |   76972   397301  1361698 | 2147483647   205214    133 |  0.009 % |
549.65/549.75	c |    208492 |   76972   397301  1361698 | 2147483647   205366    133 |  0.009 % |
550.05/550.20	c |    208652 |   76972   397301  1361698 | 2147483647   205526    133 |  0.009 % |
551.25/551.32	c |    208828 |   76972   397021  1361098 | 2147483647   205442    134 |  0.009 % |
551.85/551.98	c |    209021 |   76972   397021  1361098 | 2147483647   205635    133 |  0.009 % |
552.65/552.73	c |    209234 |   76972   397021  1361098 | 2147483647   205848    133 |  0.009 % |
553.15/553.20	c |    209467 |   76972   397021  1361098 | 2147483647   206081    133 |  0.009 % |
554.25/554.36	c |    209723 |   76972   397021  1361098 | 2147483647   206337    133 |  0.009 % |
555.15/555.23	c |    210004 |   76972   397021  1361098 | 2147483647   206618    134 |  0.009 % |
556.75/556.82	c |    210313 |   76972   397021  1361098 | 2147483647   206927    134 |  0.009 % |
557.55/557.65	c |    210652 |   76972   397021  1361098 | 2147483647   207266    134 |  0.009 % |
559.05/559.15	c |    211024 |   76972   397021  1361098 | 2147483647   207638    134 |  0.009 % |
560.45/560.51	c |    211437 |   76972   397021  1361098 | 2147483647   208051    134 |  0.009 % |
561.25/561.34	c |    211886 |   76972   397021  1361098 | 2147483647   208500    134 |  0.009 % |
561.85/561.95	c |    212379 |   76972   397021  1361098 | 2147483647   208993    134 |  0.009 % |
563.55/563.65	c |    212922 |   76972   397021  1361098 | 2147483647   209536    134 |  0.009 % |
564.26/564.36	c |    213526 |   76972   397021  1361098 | 2147483647   210140    134 |  0.009 % |
566.25/566.30	c |    214181 |   76972   397021  1361098 | 2147483647   210795    134 |  0.009 % |
568.25/568.37	c |    214901 |   76972   397021  1361098 | 2147483647   211515    134 |  0.009 % |
573.15/573.24	c |    215694 |   76972   397021  1361098 | 2147483647   212308    134 |  0.009 % |
576.15/576.25	c |    216565 |   76972   397021  1361098 | 2147483647   213179    134 |  0.009 % |
580.16/580.30	c |    217525 |   76972   397021  1361098 | 2147483647   214139    134 |  0.009 % |
583.46/583.59	c |    218581 |   76972   397021  1361098 | 2147483647   215195    134 |  0.009 % |
586.16/586.30	c |    219741 |   76972   397021  1361098 | 2147483647   216355    134 |  0.009 % |
590.06/590.11	c |    221014 |   76972   397021  1361098 | 2147483647   217628    135 |  0.009 % |
595.17/595.26	c |    222414 |   76972   397021  1361098 | 2147483647   219028    134 |  0.009 % |
601.47/601.61	c |    223954 |   76972   397021  1361098 | 2147483647   220568    134 |  0.009 % |
606.57/606.69	c |    225649 |   76972   397021  1361098 | 2147483647   222263    135 |  0.009 % |
611.57/611.69	c |    227512 |   76972   397021  1361098 | 2147483647   224126    135 |  0.009 % |
617.47/617.53	c |    229564 |   76972   397021  1361098 | 2147483647   226178    134 |  0.009 % |
622.97/623.01	c |    231817 |   76972   397021  1361098 | 2147483647   228431    134 |  0.009 % |
623.07/623.20	c |    231917 |   76972   397021  1361098 | 2147483647   228531    134 |  0.009 % |
623.57/623.62	c |    232028 |   76972   397021  1361098 | 2147483647   228642    134 |  0.009 % |
623.97/624.03	c |    232153 |   76972   397021  1361098 | 2147483647   228767    134 |  0.009 % |
624.37/624.46	c |    232289 |   76972   397021  1361098 | 2147483647   228903    134 |  0.009 % |
624.87/624.92	c |    232435 |   76972   397021  1361098 | 2147483647   229049    134 |  0.009 % |
625.67/625.77	c |    232597 |   76972   397021  1361098 | 2147483647   229211    134 |  0.009 % |
626.57/626.71	c |    232773 |   76972   397021  1361098 | 2147483647   229387    134 |  0.009 % |
627.27/627.39	c |    232966 |   76972   397021  1361098 | 2147483647   229580    134 |  0.009 % |
627.77/627.86	c |    233181 |   76972   397021  1361098 | 2147483647   229795    134 |  0.009 % |
628.87/628.94	c |    233414 |   76972   397021  1361098 | 2147483647   230028    134 |  0.009 % |
629.77/629.83	c |    233672 |   76972   397021  1361098 | 2147483647   230286    134 |  0.009 % |
630.47/630.54	c |    233953 |   76972   397021  1361098 | 2147483647   230567    134 |  0.009 % |
630.97/631.07	c |    234262 |   76972   397021  1361098 | 2147483647   230876    134 |  0.009 % |
631.77/631.91	c |    234609 |   76972   397021  1361098 | 2147483647   231223    134 |  0.009 % |
632.47/632.60	c |    234981 |   76972   397021  1361098 | 2147483647   231595    134 |  0.009 % |
632.87/632.97	c |    235392 |   76972   397021  1361098 | 2147483647   232006    134 |  0.009 % |
633.67/633.72	c |    235841 |   76972   397021  1361098 | 2147483647   232455    134 |  0.009 % |
634.97/635.06	c |    236335 |   76972   397021  1361098 | 2147483647   232949    134 |  0.009 % |
636.77/636.82	c |    236877 |   76972   397021  1361098 | 2147483647   233491    134 |  0.009 % |
637.87/637.93	c |    237473 |   76972   397021  1361098 | 2147483647   234087    134 |  0.009 % |
639.67/639.74	c |    238128 |   76972   397021  1361098 | 2147483647   234742    134 |  0.009 % |
640.97/641.10	c |    238848 |   76972   397021  1361098 | 2147483647   235462    134 |  0.009 % |
644.27/644.37	c |    239645 |   76972   397021  1361098 | 2147483647   236259    134 |  0.009 % |
648.17/648.28	c |    240517 |   76972   397021  1361098 | 2147483647   237131    134 |  0.009 % |
650.57/650.65	c |    241475 |   76972   397021  1361098 | 2147483647   238089    134 |  0.009 % |
654.97/655.11	c |    242530 |   76972   397021  1361098 | 2147483647   239144    135 |  0.009 % |
657.67/657.75	c |    243688 |   76972   397021  1361098 | 2147483647   240302    134 |  0.009 % |
661.87/661.93	c |    244961 |   76972   397021  1361098 | 2147483647   241575    135 |  0.009 % |
666.17/666.26	c |    246362 |   76972   397021  1361098 | 2147483647   242976    136 |  0.009 % |
670.57/670.70	c |    247902 |   76972   397021  1361098 | 2147483647   244516    137 |  0.009 % |
676.27/676.37	c |    249596 |   76972   397021  1361098 | 2147483647   246210    137 |  0.009 % |
684.57/684.67	c |    251460 |   76972   397021  1361098 | 2147483647   248074    138 |  0.009 % |
692.28/692.39	c |    253509 |   76972   397021  1361098 | 2147483647   250123    138 |  0.009 % |
697.08/697.19	c |    255762 |   76972   397021  1361098 | 2147483647   252376    139 |  0.009 % |
701.98/702.11	c |    258240 |   76972   397021  1361098 | 2147483647   254854    139 |  0.009 % |
702.28/702.32	c |    258340 |   76972   397021  1361098 | 2147483647   254954    139 |  0.009 % |
702.58/702.71	c |    258452 |   76972   397021  1361098 | 2147483647   255066    139 |  0.009 % |
702.88/702.96	c |    258575 |   76972   397021  1361098 | 2147483647   255189    139 |  0.009 % |
703.38/703.50	c |    258709 |   76972   397021  1361098 | 2147483647   255323    139 |  0.009 % |
704.48/704.56	c |    258855 |   76972   397021  1361098 | 2147483647   255469    139 |  0.009 % |
705.38/705.42	c |    259015 |   76972   397021  1361098 | 2147483647   255629    139 |  0.009 % |
706.38/706.42	c |    259191 |   76972   397021  1361098 | 2147483647   255805    139 |  0.009 % |
707.18/707.23	c |    259386 |   76972   397021  1361098 | 2147483647   256000    139 |  0.009 % |
707.88/707.95	c |    259598 |   76972   397021  1361098 | 2147483647   256212    139 |  0.009 % |
708.98/709.06	c |    259833 |   76972   397021  1361098 | 2147483647   256447    139 |  0.009 % |
709.88/710.01	c |    260089 |   76972   397021  1361098 | 2147483647   256703    139 |  0.009 % |
711.08/711.18	c |    260379 |   76972   397021  1361098 | 2147483647   256993    139 |  0.009 % |
712.28/712.38	c |    260691 |   76972   397021  1361098 | 2147483647   257305    139 |  0.009 % |
713.88/713.94	c |    261030 |   76972   397021  1361098 | 2147483647   257644    139 |  0.009 % |
715.78/715.82	c |    261403 |   76972   397021  1361098 | 2147483647   258017    139 |  0.009 % |
717.28/717.38	c |    261812 |   76972   397021  1361098 | 2147483647   258426    139 |  0.009 % |
718.68/718.77	c |    262261 |   76972   397021  1361098 | 2147483647   258875    140 |  0.009 % |
720.68/720.76	c |    262754 |   76972   397021  1361098 | 2147483647   259368    140 |  0.009 % |
722.08/722.18	c |    263297 |   76972   397021  1361098 | 2147483647   259911    140 |  0.009 % |
724.48/724.57	c |    263897 |   76972   397021  1361098 | 2147483647   260511    140 |  0.009 % |
727.48/727.61	c |    264552 |   76972   397021  1361098 | 2147483647   261166    140 |  0.009 % |
729.38/729.46	c |    265272 |   76972   397021  1361098 | 2147483647   261886    140 |  0.009 % |
731.58/731.69	c |    266064 |   76972   397021  1361098 | 2147483647   262678    140 |  0.009 % |
734.08/734.16	c |    266935 |   76972   397021  1361098 | 2147483647   263549    139 |  0.009 % |
736.08/736.12	c |    267893 |   76972   397021  1361098 | 2147483647   264507    140 |  0.009 % |
738.08/738.18	c |    268946 |   76972   397021  1361098 | 2147483647   265560    139 |  0.009 % |
742.78/742.85	c |    270107 |   76972   397021  1361098 | 2147483647   266721    140 |  0.009 % |
746.58/746.70	c |    271380 |   76972   397021  1361098 | 2147483647   267994    139 |  0.009 % |
750.78/750.90	c |    272780 |   76972   397021  1361098 | 2147483647   269394    140 |  0.009 % |
754.48/754.53	c |    274320 |   76972   397021  1361098 | 2147483647   270934    139 |  0.009 % |
756.28/756.40	c |    276015 |   76972   397021  1361098 | 2147483647   272629    139 |  0.009 % |
762.48/762.58	c |    277879 |   76972   397021  1361098 | 2147483647   274493    139 |  0.009 % |
768.89/768.98	c |    279928 |   76972   397021  1361098 | 2147483647   276542    139 |  0.009 % |
776.88/776.99	c |    282181 |   76972   397021  1361098 | 2147483647   278795    141 |  0.009 % |
784.08/784.18	c |    284659 |   76972   397021  1361098 | 2147483647   281273    141 |  0.009 % |
793.69/793.76	c |    287384 |   76972   397021  1361098 | 2147483647   283998    142 |  0.009 % |
794.09/794.22	c |    287484 |   76972   397021  1361098 | 2147483647   284098    142 |  0.009 % |
794.39/794.49	c |    287601 |   76972   397021  1361098 | 2147483647   284215    142 |  0.009 % |
795.19/795.27	c |    287722 |   76972   397021  1361098 | 2147483647   284336    142 |  0.009 % |
795.49/795.54	c |    287857 |   76972   397021  1361098 | 2147483647   284471    142 |  0.009 % |
795.99/796.09	c |    288003 |   76972   397021  1361098 | 2147483647   284617    142 |  0.009 % |
796.59/796.70	c |    288163 |   76972   397021  1361098 | 2147483647   284777    142 |  0.009 % |
797.19/797.32	c |    288342 |   76972   397021  1361098 | 2147483647   284956    142 |  0.009 % |
797.99/798.04	c |    288535 |   76972   397021  1361098 | 2147483647   285149    142 |  0.009 % |
799.39/799.52	c |    288748 |   76972   397021  1361098 | 2147483647   285362    142 |  0.009 % |
799.99/800.10	c |    288981 |   76972   397021  1361098 | 2147483647   285595    142 |  0.009 % |
800.59/800.71	c |    289245 |   76972   397021  1361098 | 2147483647   285859    142 |  0.009 % |
801.39/801.46	c |    289528 |   76972   397021  1361098 | 2147483647   286142    142 |  0.009 % |
802.99/803.12	c |    289839 |   76972   397021  1361098 | 2147483647   286453    142 |  0.009 % |
803.89/803.94	c |    290178 |   76972   397021  1361098 | 2147483647   286792    142 |  0.009 % |
805.49/805.59	c |    290550 |   76972   397021  1361098 | 2147483647   287164    142 |  0.009 % |
807.89/807.97	c |    290959 |   76972   397021  1361098 | 2147483647   287573    143 |  0.009 % |
809.79/809.82	c |    291412 |   76972   397021  1361098 | 2147483647   288026    143 |  0.009 % |
811.59/811.68	c |    291906 |   76972   397021  1361098 | 2147483647   288520    143 |  0.009 % |
814.69/814.79	c |    292448 |   76972   397021  1361098 | 2147483647   289062    143 |  0.009 % |
816.79/816.84	c |    293044 |   76972   397021  1361098 | 2147483647   289658    143 |  0.009 % |
818.79/818.85	c |    293700 |   76972   397021  1361098 | 2147483647   290314    143 |  0.009 % |
821.19/821.26	c |    294420 |   76972   397021  1361098 | 2147483647   291034    143 |  0.009 % |
823.89/823.96	c |    295214 |   76972   397021  1361098 | 2147483647   291828    144 |  0.009 % |
829.09/829.21	c |    296085 |   76972   397021  1361098 | 2147483647   292699    144 |  0.009 % |
832.89/832.97	c |    297046 |   76972   397021  1361098 | 2147483647   293660    144 |  0.009 % |
840.29/840.39	c |    298101 |   76972   397021  1361098 | 2147483647   294715    144 |  0.009 % |
844.09/844.14	c |    299260 |   76972   397021  1361098 | 2147483647   295874    144 |  0.009 % |
847.69/847.73	c |    300533 |   76972   397021  1361098 | 2147483647   297147    144 |  0.009 % |
854.19/854.22	c |    301933 |   76972   397021  1361098 | 2147483647   298547    145 |  0.009 % |
857.09/857.17	c |    303473 |   76972   397021  1361098 | 2147483647   300087    145 |  0.009 % |
864.69/864.80	c |    305169 |   76972   397021  1361098 | 2147483647   301783    145 |  0.009 % |
869.79/869.83	c |    307033 |   76972   397021  1361098 | 2147483647   303647    145 |  0.009 % |
874.69/874.75	c |    309082 |   76972   397021  1361098 | 2147483647   305696    145 |  0.009 % |
878.69/878.75	c |    311336 |   76972   397021  1361098 | 2147483647   307950    145 |  0.009 % |
887.40/887.44	c |    313814 |   76972   397021  1361098 | 2147483647   310428    145 |  0.009 % |
896.00/896.10	c |    316540 |   76972   397021  1361098 | 2147483647   313154    145 |  0.009 % |
908.49/908.53	c |    319538 |   76972   397021  1361098 | 2147483647   316152    146 |  0.009 % |
908.89/908.91	c |    319638 |   76972   397021  1361098 | 2147483647   316252    146 |  0.009 % |
909.29/909.31	c |    319748 |   76972   397021  1361098 | 2147483647   316362    146 |  0.009 % |
909.99/910.01	c |    319869 |   76972   397021  1361098 | 2147483647   316483    146 |  0.009 % |
910.49/910.55	c |    320003 |   76972   397021  1361098 | 2147483647   316617    146 |  0.009 % |
911.39/911.44	c |    320149 |   76972   397021  1361098 | 2147483647   316763    146 |  0.009 % |
912.29/912.33	c |    320309 |   76972   397021  1361098 | 2147483647   316923    146 |  0.009 % |
913.29/913.32	c |    320485 |   76972   397021  1361098 | 2147483647   317099    146 |  0.009 % |
913.99/914.10	c |    320678 |   76972   397021  1361098 | 2147483647   317292    146 |  0.009 % |
915.09/915.15	c |    320890 |   76972   397021  1361098 | 2147483647   317504    146 |  0.009 % |
916.49/916.54	c |    321124 |   76972   397021  1361098 | 2147483647   317738    146 |  0.009 % |
917.49/917.54	c |    321380 |   76972   397021  1361098 | 2147483647   317994    146 |  0.009 % |
918.69/918.72	c |    321663 |   76972   397021  1361098 | 2147483647   318277    146 |  0.009 % |
920.09/920.16	c |    321972 |   76972   397021  1361098 | 2147483647   318586    146 |  0.009 % |
921.69/921.77	c |    322311 |   76972   397021  1361098 | 2147483647   318925    146 |  0.009 % |
924.39/924.43	c |    322684 |   76972   397021  1361098 | 2147483647   319298    146 |  0.009 % |
927.79/927.88	c |    323093 |   76972   397021  1361098 | 2147483647   319707    146 |  0.009 % |
929.69/929.78	c |    323542 |   76972   397021  1361098 | 2147483647   320156    146 |  0.009 % |
932.29/932.34	c |    324035 |   76971   396875  1360774 | 2147483647   320417    146 |  0.010 % |
933.69/933.73	c |    324578 |   76971   396875  1360774 | 2147483647   320960    146 |  0.010 % |
935.89/935.92	c |    325174 |   76971   396875  1360774 | 2147483647   321556    146 |  0.010 % |
938.59/938.70	c |    325831 |   76971   396875  1360774 | 2147483647   322213    146 |  0.010 % |
941.49/941.54	c |    326552 |   76971   396875  1360774 | 2147483647   322934    146 |  0.010 % |
944.49/944.56	c |    327345 |   76971   396875  1360774 | 2147483647   323727    146 |  0.010 % |
947.89/948.00	c |    328218 |   76971   396875  1360774 | 2147483647   324600    147 |  0.010 % |
950.09/950.11	c |    329176 |   76971   396875  1360774 | 2147483647   325558    146 |  0.010 % |
953.39/953.43	c |    330230 |   76971   396875  1360774 | 2147483647   326612    146 |  0.010 % |
956.39/956.48	c |    331388 |   76971   396875  1360774 | 2147483647   327770    146 |  0.010 % |
960.30/960.38	c |    332661 |   76971   396875  1360774 | 2147483647   329043    146 |  0.010 % |
964.79/964.86	c |    334061 |   76971   396875  1360774 | 2147483647   330443    146 |  0.010 % |
973.19/973.22	c |    335602 |   76971   396875  1360774 | 2147483647   331984    147 |  0.010 % |
978.79/978.81	c |    337297 |   76971   396875  1360774 | 2147483647   333679    146 |  0.010 % |
983.69/983.75	c |    339161 |   76971   396875  1360774 | 2147483647   335543    146 |  0.010 % |
991.40/991.50	c |    341210 |   76971   396875  1360774 | 2147483647   337592    146 |  0.010 % |
1000.30/1000.36	c |    343463 |   76971   396875  1360774 | 2147483647   339845    147 |  0.010 % |
1006.80/1006.83	c |    345941 |   76971   396875  1360774 | 2147483647   342323    147 |  0.010 % |
1018.60/1018.68	c |    348669 |   76971   396875  1360774 | 2147483647   345051    147 |  0.010 % |
1027.90/1027.95	c |    351666 |   76971   396875  1360774 | 2147483647   348048    147 |  0.010 % |
1040.30/1040.40	c |    354962 |   76971   396875  1360774 | 2147483647   351344    147 |  0.010 % |
1040.60/1040.63	c |    355063 |   76971   396875  1360774 | 2147483647   351445    147 |  0.010 % |
1041.00/1041.07	c |    355173 |   76971   396875  1360774 | 2147483647   351555    147 |  0.010 % |
1041.50/1041.57	c |    355294 |   76971   396875  1360774 | 2147483647   351676    147 |  0.010 % |
1041.80/1041.82	c |    355427 |   76971   396875  1360774 | 2147483647   351809    147 |  0.010 % |
1042.30/1042.32	c |    355577 |   76971   396875  1360774 | 2147483647   351959    147 |  0.010 % |
1042.90/1042.96	c |    355742 |   76971   396875  1360774 | 2147483647   352124    148 |  0.010 % |
1044.10/1044.19	c |    355918 |   76971   396875  1360774 | 2147483647   352300    148 |  0.010 % |
1046.00/1046.05	c |    356112 |   76971   396875  1360774 | 2147483647   352494    148 |  0.010 % |
1046.40/1046.45	c |    356325 |   76971   396875  1360774 | 2147483647   352707    147 |  0.010 % |
1048.00/1048.01	c |    356558 |   76971   396875  1360774 | 2147483647   352940    148 |  0.010 % |
1048.90/1048.98	c |    356826 |   76971   396875  1360774 | 2147483647   353208    148 |  0.010 % |
1050.51/1050.56	c |    357107 |   76971   396875  1360774 | 2147483647   353489    148 |  0.010 % |
1052.20/1052.21	c |    357417 |   76971   396875  1360774 | 2147483647   353799    148 |  0.010 % |
1054.00/1054.08	c |    357757 |   76971   396875  1360774 | 2147483647   354139    148 |  0.010 % |
1054.30/1054.38	c |    358129 |   76971   396875  1360774 | 2147483647   354511    148 |  0.010 % |
1055.30/1055.31	c |    358538 |   76971   396875  1360774 | 2147483647   354920    148 |  0.010 % |
1057.30/1057.39	c |    358988 |   76971   396875  1360774 | 2147483647   355370    148 |  0.010 % |
1060.30/1060.38	c |    359482 |   76971   396875  1360774 | 2147483647   355864    148 |  0.010 % |
1062.50/1062.61	c |    360024 |   76971   396875  1360774 | 2147483647   356406    148 |  0.010 % |
1066.10/1066.20	c |    360620 |   76971   396875  1360774 | 2147483647   357002    148 |  0.010 % |
1068.40/1068.50	c |    361275 |   76971   396875  1360774 | 2147483647   357657    148 |  0.010 % |
1069.80/1069.86	c |    361995 |   76971   396875  1360774 | 2147483647   358377    148 |  0.010 % |
1076.40/1076.47	c |    362787 |   76971   396875  1360774 | 2147483647   359169    148 |  0.010 % |
1079.90/1079.93	c |    363659 |   76971   396875  1360774 | 2147483647   360041    148 |  0.010 % |
1081.90/1081.93	c |    364619 |   76971   396875  1360774 | 2147483647   361001    148 |  0.010 % |
1084.31/1084.36	c |    365672 |   76971   396875  1360774 | 2147483647   362054    148 |  0.010 % |
1085.91/1085.97	c |    366832 |   76971   396875  1360774 | 2147483647   363214    148 |  0.010 % |
1091.11/1091.16	c |    368105 |   76971   396875  1360774 | 2147483647   364487    148 |  0.010 % |
1094.71/1094.76	c |    369505 |   76971   396875  1360774 | 2147483647   365887    148 |  0.010 % |
1109.01/1109.09	c |    371045 |   76971   396875  1360774 | 2147483647   367427    149 |  0.010 % |
1119.21/1119.28	c |    372740 |   76968   396742  1360502 | 2147483647   369100    149 |  0.014 % |
1124.91/1124.93	c |    374605 |   76968   396742  1360502 | 2147483647   370965    148 |  0.014 % |
1134.11/1134.17	c |    376654 |   76968   396742  1360502 | 2147483647   373014    149 |  0.014 % |
1141.71/1141.79	c |    378910 |   76968   396742  1360502 | 2147483647   375270    149 |  0.014 % |
1155.31/1155.31	c |    381388 |   76968   396742  1360502 | 2147483647   377748    150 |  0.014 % |
1162.11/1162.13	c |    384114 |   76968   396742  1360502 | 2147483647   380474    149 |  0.014 % |
1169.61/1169.68	c |    387112 |   76968   396742  1360502 | 2147483647   383472    149 |  0.014 % |
1181.42/1181.47	c |    390409 |   76968   396742  1360502 | 2147483647   386769    150 |  0.014 % |
1198.72/1198.78	c |    394034 |   76968   396742  1360502 | 2147483647   390394    150 |  0.014 % |
1199.52/1199.55	c |    394134 |   76967   396742  1360502 | 2147483647   390493    150 |  0.016 % |
1200.02/1200.04	HOME/SatELiteGTI: line 36: 29752 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820908-1242486227/watcher-1820908-1242486227 -o /tmp/evaluation-result-1820908-1242486227/solver-1820908-1242486227 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820908-1242486227.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 337 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 271 4294967295 134512640 135169312 3217368992 3217366584 3086009262 0 0 4 65536 3222620697 0 0 17 1 0 0 0
/proc/29743/statm: 603 271 230 161 0 42 0
[pid=29744] ppid=29743 vsize=2412 CPUtime=0
/proc/29744/stat : 29744 (SatELiteGTI) R 29743 29743 14060 0 -1 4194368 101 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 114 4294967295 134512640 135169312 3217368992 3217365212 3085817716 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/29744/statm: 603 114 72 161 0 42 0
[pid=29745] ppid=29744 vsize=0 CPUtime=0
/proc/29745/stat : 29745 (SatELiteGTI) Z 29744 29743 14060 0 -1 4194380 142 0 0 0 0 0 0 0 25 0 1 0 1013119935 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 1 0 0 0
/proc/29745/statm: 0 0 0 0 0 0 0
[pid=29746] ppid=29744 vsize=2412 CPUtime=0
/proc/29746/stat : 29746 (SatELiteGTI) R 29744 29743 14060 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 42 4294967295 134512640 135169312 3217368992 3217365212 3085817716 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/29746/statm: 603 42 0 161 0 42 0

[startup+0.042751 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.112756 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.312726 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.712748 s]
/proc/loadavg: 1.15 1.02 1.00 3/96 29746
/proc/meminfo: memFree=629220/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+1.51262 s]
/proc/loadavg: 1.15 1.02 1.00 2/95 29748
/proc/meminfo: memFree=528640/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=107216 CPUtime=1.5
/proc/29748/stat : 29748 (SatELite_releas) D 29743 29743 14060 0 -1 4202496 27469 0 0 0 138 12 0 0 25 0 1 0 1013119936 109789184 25337 4294967295 134512640 135223648 3212893008 3212890776 134737406 0 0 0 3 3222585681 0 0 17 2 0 0 0
/proc/29748/statm: 26804 25337 73 174 0 26629 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 109628

[startup+3.11248 s]
/proc/loadavg: 1.15 1.02 1.00 2/95 29748
/proc/meminfo: memFree=520208/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=111392 CPUtime=3.09
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 28402 0 0 0 294 15 0 0 25 0 1 0 1013119936 114065408 26270 4294967295 134512640 135223648 3212893008 3212891008 134548278 0 0 0 3 0 0 0 17 3 0 0 0
/proc/29748/statm: 27848 26270 73 174 0 27673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113804

[startup+6.31221 s]
/proc/loadavg: 1.22 1.04 1.01 1/95 29751
/proc/meminfo: memFree=500904/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=116656 CPUtime=6.24
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 29764 0 0 0 606 18 0 0 25 0 1 0 1013119936 119455744 27632 4294967295 134512640 135223648 3212893008 3212891024 134586845 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29748/statm: 29164 27632 73 174 0 28989 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 119068

[startup+12.7217 s]
/proc/loadavg: 1.20 1.03 1.01 4/95 29751
/proc/meminfo: memFree=473796/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2412 CPUtime=0
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1013119935 2469888 276 4294967295 134512640 135169312 3217368992 3217367528 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 603 276 235 161 0 42 0
[pid=29748] ppid=29743 vsize=122888 CPUtime=12.62
/proc/29748/stat : 29748 (SatELite_releas) R 29743 29743 14060 0 -1 4202496 32195 0 0 0 1234 28 0 0 25 0 1 0 1013119936 125837312 28846 4294967295 134512640 135223648 3212893008 3212891024 134586759 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29748/statm: 30722 28846 73 174 0 30547 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 125300

[startup+25.5205 s]
/proc/loadavg: 1.22 1.05 1.01 2/95 29752
/proc/meminfo: memFree=551300/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=29300 CPUtime=11.97
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 6935 0 0 0 1191 6 0 0 25 0 1 0 1013121290 30003200 6869 4294967295 134512640 135215339 3217678400 3217676496 134527353 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 7325 6869 73 172 0 7152 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 31716

[startup+51.1183 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 29935
/proc/meminfo: memFree=545932/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=33984 CPUtime=37.57
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 8080 0 0 0 3749 8 0 0 25 0 1 0 1013121290 34799616 8014 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 8496 8014 73 172 0 8323 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 36400

[startup+102.324 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 29956
/proc/meminfo: memFree=534000/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=45776 CPUtime=88.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 11049 0 0 0 8862 16 0 0 25 0 1 0 1013121290 46874624 10983 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 11444 10983 73 172 0 11271 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 48192

[startup+162.319 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 30145
/proc/meminfo: memFree=521532/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=58568 CPUtime=148.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 14190 0 0 0 14859 19 0 0 25 0 1 0 1013121290 59973632 14124 4294967295 134512640 135215339 3217678400 3217676688 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 14642 14124 73 172 0 14469 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 60984

[startup+222.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 30330
/proc/meminfo: memFree=506056/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=73940 CPUtime=208.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 18056 0 0 0 20854 24 0 0 25 0 1 0 1013121290 75714560 17990 4294967295 134512640 135215339 3217678400 3217676464 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 18485 17990 73 172 0 18312 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76356

[startup+282.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 30520
/proc/meminfo: memFree=492904/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=86904 CPUtime=268.78
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 21269 0 0 0 26853 25 0 0 25 0 1 0 1013121290 88989696 21203 4294967295 134512640 135215339 3217678400 3217676688 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 21726 21203 73 172 0 21553 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89320

[startup+342.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 30708
/proc/meminfo: memFree=477768/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=102284 CPUtime=328.79
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 25065 0 0 0 32853 26 0 0 25 0 1 0 1013121290 104738816 24999 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 25571 24999 73 172 0 25398 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 104700

[startup+402.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 30897
/proc/meminfo: memFree=465020/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45

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

[pid=29752] ppid=29743 vsize=130036 CPUtime=448.8
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 31946 0 0 0 44850 30 0 0 25 0 1 0 1013121290 133156864 31880 4294967295 134512640 135215339 3217678400 3217676688 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 32509 31880 73 172 0 32336 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 132452

[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31276
/proc/meminfo: memFree=434648/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=145028 CPUtime=508.81
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 35679 0 0 0 50847 34 0 0 25 0 1 0 1013121290 148508672 35613 4294967295 134512640 135215339 3217678400 3217676688 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 36257 35613 73 172 0 36084 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 147444

[startup+582.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31464
/proc/meminfo: memFree=421844/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=158520 CPUtime=568.81
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 38916 0 0 0 56845 36 0 0 25 0 1 0 1013121290 162324480 38850 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 39630 38850 73 172 0 39457 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 160936

[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 31652
/proc/meminfo: memFree=409088/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=171000 CPUtime=628.82
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 42047 0 0 0 62843 39 0 0 25 0 1 0 1013121290 175104000 41981 4294967295 134512640 135215339 3217678400 3217676688 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 42750 41981 73 172 0 42577 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 173416

[startup+702.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 31841
/proc/meminfo: memFree=393464/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=186824 CPUtime=688.83
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 45974 0 0 0 68842 41 0 0 25 0 1 0 1013121290 191307776 45908 4294967295 134512640 135215339 3217678400 3217676688 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 46706 45908 73 172 0 46533 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 189240

[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 32030
/proc/meminfo: memFree=380940/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=198944 CPUtime=748.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 49055 0 0 0 74842 42 0 0 25 0 1 0 1013121290 203718656 48989 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 49736 48989 73 172 0 49563 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 201360

[startup+822.321 s]
/proc/loadavg: 1.11 1.03 1.01 3/95 32222
/proc/meminfo: memFree=365820/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=214340 CPUtime=808.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 52878 0 0 0 80837 47 0 0 25 0 1 0 1013121290 219484160 52812 4294967295 134512640 135215339 3217678400 3217676688 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 53585 52812 73 172 0 53412 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 216756

[startup+882.316 s]
/proc/loadavg: 1.15 1.05 1.01 2/95 32410
/proc/meminfo: memFree=352652/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=227208 CPUtime=868.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 56119 0 0 0 86836 48 0 0 25 0 1 0 1013121290 232660992 56053 4294967295 134512640 135215339 3217678400 3217676688 134529171 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 56802 56053 73 172 0 56629 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 229624

[startup+942.311 s]
/proc/loadavg: 1.10 1.06 1.01 2/95 32598
/proc/meminfo: memFree=342516/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=238444 CPUtime=928.84
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 58746 0 0 0 92830 54 0 0 25 0 1 0 1013121290 244166656 58680 4294967295 134512640 135215339 3217678400 3217676672 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 59611 58680 73 172 0 59438 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 240860

[startup+1002.32 s]
/proc/loadavg: 1.04 1.04 1.01 2/95 319
/proc/meminfo: memFree=329968/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=250836 CPUtime=988.85
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 61818 0 0 0 98830 55 0 0 25 0 1 0 1013121290 256856064 61752 4294967295 134512640 135215339 3217678400 3217676688 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 62709 61752 73 172 0 62536 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 253252

[startup+1062.31 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 508
/proc/meminfo: memFree=317212/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=263844 CPUtime=1048.85
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 65007 0 0 0 104824 61 0 0 25 0 1 0 1013121290 270176256 64941 4294967295 134512640 135215339 3217678400 3217676400 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 65961 64941 73 172 0 65788 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 266260

[startup+1122.32 s]
/proc/loadavg: 1.00 1.03 1.00 3/95 693
/proc/meminfo: memFree=306672/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=274592 CPUtime=1108.86
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 67639 0 0 0 110823 63 0 0 25 0 1 0 1013121290 281182208 67573 4294967295 134512640 135215339 3217678400 3217676496 134527255 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 68648 67573 73 172 0 68475 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 277008

[startup+1182.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 882
/proc/meminfo: memFree=292272/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=289256 CPUtime=1168.87
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 71198 0 0 0 116822 65 0 0 25 0 1 0 1013121290 296198144 71132 4294967295 134512640 135215339 3217678400 3217676688 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 72314 71132 73 172 0 72141 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 291672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 1083
/proc/meminfo: memFree=288712/2074464 swapFree=1949056/1959888
[pid=29743] ppid=29741 vsize=2416 CPUtime=13.45
/proc/29743/stat : 29743 (SatELiteGTI) S 29741 29743 14060 0 -1 4194304 385 36162 0 0 0 0 1312 33 21 0 1 0 1013119935 2473984 277 4294967295 134512640 135169312 3217368992 3217365208 3085815534 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/29743/statm: 604 277 235 161 0 43 0
[pid=29752] ppid=29743 vsize=292700 CPUtime=1186.57
/proc/29752/stat : 29752 (minisat_static) R 29743 29743 14060 0 -1 4202496 72037 0 0 0 118591 66 0 0 25 0 1 0 1013121290 299724800 71971 4294967295 134512640 135215339 3217678400 3217676616 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/29752/statm: 73175 71971 73 172 0 73002 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 295116

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.04
CPU user time (s): 1199.03
CPU system time (s): 1.01
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 295116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.03
system time used= 1.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 1171

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi27 at 2009-05-16 17:03:47
IDJOB=1820908
IDBENCH=70769
IDSOLVER=657
FILE ID=tipi27/1820908-1242486227
PBS_JOBID=
Free space on /tmp= 9220 MiB

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

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED= 1858492713

Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.389
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        629524 kB
Buffers:         60596 kB
Cached:        1258116 kB
SwapCached:       5508 kB
Active:         673188 kB
Inactive:       655464 kB
HighTotal:     1178688 kB
HighFree:       345076 kB
LowTotal:       895776 kB
LowFree:        284448 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           15316 kB
Writeback:           0 kB
AnonPages:        9068 kB
Mapped:           3348 kB
Slab:           106860 kB
PageTables:        584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90628 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9179 MiB
End job on tipi27 at 2009-05-16 17:23:50