Trace number 1833791

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 1200.51

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
MD5SUM9fee570f53de23cb47dfa378d421371e
Bench CategoryCRAFTED (crafted 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 variables12584
Number of clauses202912
Sum of the clauses size618320
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 264604
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Solver Data 

0.00/0.00	c Parsing...
0.00/0.15	c ==============================================================================
0.00/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.15	c ==============================================================================
0.00/0.15	c |         0 |  202912   618320 |   60873       0        0     nan |  0.000 % |
1.39/1.49	c |         0 |  202823   618160 |      --       0       --      -- |     --   | -89/-160
1.39/1.49	c ==============================================================================
1.39/1.49	c Result  :   #vars: 12534   #clauses: 202823   #literals: 618160
1.39/1.49	c CPU time:   1.46478 s
1.39/1.49	c ==============================================================================
1.58/1.69	c This is MiniSat 2.0 beta
1.58/1.69	c WARNING: for repeatability, setting FPU to use double precision
1.58/1.70	c ============================[ Problem Statistics ]=============================
1.58/1.70	c |                                                                             |
1.68/1.70	c |  Number of variables:  12534                                                |
1.68/1.70	c |  Number of clauses:    202823                                               |
1.68/1.81	c |  Parsing time:         0.10         s                                       |
1.68/1.81	c ============================[ Search Statistics ]==============================
1.68/1.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.81	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.68/1.81	c ===============================================================================
1.68/1.81	c |         0 |   12534   202823   618160 |    67607        0    nan |  0.000 % |
1.68/1.84	c |       101 |   12534   202823   618160 |    67607      101    471 |  0.000 % |
1.68/1.87	c |       201 |   12534   202823   618160 |    67607      201    319 |  0.000 % |
1.68/1.94	c |       301 |   12534   202823   618160 |    67607      301    251 |  0.000 % |
1.68/2.03	c |       411 |   12534   202823   618160 |    67607      411    223 |  0.000 % |
2.07/2.11	c |       511 |   12534   202823   618160 |    67607      511    197 |  0.000 % |
2.07/2.20	c |       622 |   12534   202823   618160 |    67607      622    175 |  0.000 % |
2.26/2.30	c |       744 |   12534   202823   618160 |    67607      744    174 |  0.000 % |
2.26/2.39	c |       844 |   12534   202823   618160 |    67607      844    168 |  0.000 % |
2.36/2.44	c |       954 |   12534   202823   618160 |    67607      954    178 |  0.000 % |
2.46/2.53	c |      1075 |   12534   202823   618160 |    67607     1075    169 |  0.000 % |
2.56/2.68	c |      1208 |   12534   202823   618160 |    67607     1208    165 |  0.000 % |
2.66/2.78	c |      1308 |   12534   202823   618160 |    67607     1308    162 |  0.000 % |
2.76/2.86	c |      1421 |   12534   202823   618160 |    67607     1421    164 |  0.000 % |
2.86/2.94	c |      1542 |   12534   202823   618160 |    67607     1542    164 |  0.000 % |
2.96/3.05	c |      1676 |   12534   202823   618160 |    67607     1676    168 |  0.000 % |
3.06/3.15	c |      1822 |   12534   202823   618160 |    67607     1822    164 |  0.000 % |
3.17/3.22	c |      1923 |   12534   202823   618160 |    67607     1923    166 |  0.000 % |
3.27/3.31	c |      2033 |   12534   202823   618160 |    67607     2033    166 |  0.000 % |
3.36/3.44	c |      2154 |   12534   202823   618160 |    67607     2154    164 |  0.000 % |
3.47/3.57	c |      2287 |   12534   202823   618160 |    67607     2287    162 |  0.000 % |
3.57/3.68	c |      2433 |   12534   202823   618160 |    67607     2433    162 |  0.000 % |
3.77/3.80	c |      2593 |   12534   202823   618160 |    67607     2593    163 |  0.000 % |
3.77/3.86	c |      2693 |   12534   202823   618160 |    67607     2693    165 |  0.000 % |
3.87/3.90	c |      2804 |   12534   202823   618160 |    67607     2804    166 |  0.000 % |
3.87/3.99	c |      2925 |   12534   202823   618160 |    67607     2925    165 |  0.000 % |
3.97/4.09	c |      3058 |   12534   202823   618160 |    67607     3058    163 |  0.000 % |
4.17/4.22	c |      3205 |   12534   202823   618160 |    67607     3205    162 |  0.000 % |
4.27/4.36	c |      3365 |   12534   202823   618160 |    67607     3365    166 |  0.000 % |
4.47/4.51	c |      3543 |   12534   202823   618160 |    67607     3543    170 |  0.000 % |
4.57/4.62	c |      3643 |   12534   202823   618160 |    67607     3643    169 |  0.000 % |
4.67/4.73	c |      3753 |   12534   202823   618160 |    67607     3753    168 |  0.000 % |
4.77/4.88	c |      3874 |   12534   202823   618160 |    67607     3874    167 |  0.000 % |
4.87/4.97	c |      4008 |   12534   202823   618160 |    67607     4008    169 |  0.000 % |
4.97/5.06	c |      4154 |   12534   202823   618160 |    67607     4154    171 |  0.000 % |
5.07/5.13	c |      4314 |   12534   202823   618160 |    67607     4314    174 |  0.000 % |
5.26/5.34	c |      4490 |   12534   202823   618160 |    67607     4490    172 |  0.000 % |
5.37/5.45	c |      4683 |   12534   202823   618160 |    67607     4683    178 |  0.000 % |
5.47/5.59	c |      4783 |   12534   202823   618160 |    67607     4783    177 |  0.000 % |
5.66/5.73	c |      4894 |   12534   202823   618160 |    67607     4894    175 |  0.000 % |
5.76/5.84	c |      5015 |   12534   202823   618160 |    67607     5015    177 |  0.000 % |
5.96/6.02	c |      5149 |   12534   202823   618160 |    67607     5149    174 |  0.000 % |
6.06/6.14	c |      5295 |   12534   202823   618160 |    67607     5295    174 |  0.000 % |
6.17/6.20	c |      5457 |   12534   202823   618160 |    67607     5457    181 |  0.000 % |
6.27/6.35	c |      5635 |   12534   202823   618160 |    67607     5635    182 |  0.000 % |
6.47/6.50	c |      5829 |   12534   202823   618160 |    67607     5829    184 |  0.000 % |
6.57/6.64	c |      6047 |   12534   202823   618160 |    67607     6047    189 |  0.000 % |
6.67/6.72	c |      6147 |   12534   202823   618160 |    67607     6147    190 |  0.000 % |
6.77/6.83	c |      6257 |   12534   202823   618160 |    67607     6257    189 |  0.000 % |
6.87/6.93	c |      6379 |   12534   202823   618160 |    67607     6379    190 |  0.000 % |
6.97/7.05	c |      6513 |   12534   202823   618160 |    67607     6513    190 |  0.000 % |
7.07/7.17	c |      6659 |   12534   202823   618160 |    67607     6659    189 |  0.000 % |
7.27/7.30	c |      6819 |   12534   202823   618160 |    67607     6819    190 |  0.000 % |
7.37/7.48	c |      6995 |   12534   202823   618160 |    67607     6995    189 |  0.000 % |
7.67/7.72	c |      7188 |   12534   202823   618160 |    67607     7188    187 |  0.000 % |
7.67/7.79	c |      7400 |   12534   202823   618160 |    67607     7400    193 |  0.000 % |
7.96/8.03	c |      7633 |   12534   202823   618160 |    67607     7633    191 |  0.000 % |
8.06/8.13	c |      7733 |   12534   202823   618160 |    67607     7733    191 |  0.000 % |
8.16/8.22	c |      7845 |   12534   202823   618160 |    67607     7845    191 |  0.000 % |
8.16/8.29	c |      7966 |   12534   202823   618160 |    67607     7966    195 |  0.000 % |
8.36/8.41	c |      8099 |   12534   202823   618160 |    67607     8099    194 |  0.000 % |
8.36/8.48	c |      8245 |   12534   202823   618160 |    67607     8245    197 |  0.000 % |
8.46/8.57	c |      8405 |   12534   202823   618160 |    67607     8405    198 |  0.000 % |
8.67/8.75	c |      8581 |   12534   202823   618160 |    67607     8581    196 |  0.000 % |
8.86/8.97	c |      8774 |   12534   202823   618160 |    67607     8774    195 |  0.000 % |
9.06/9.14	c |      8986 |   12534   202823   618160 |    67607     8986    195 |  0.000 % |
9.26/9.32	c |      9219 |   12534   202823   618160 |    67607     9219    199 |  0.000 % |
9.46/9.56	c |      9475 |   12534   202823   618160 |    67607     9475    198 |  0.000 % |
9.56/9.68	c |      9575 |   12534   202823   618160 |    67607     9575    196 |  0.000 % |
9.76/9.82	c |      9685 |   12534   202823   618160 |    67607     9685    196 |  0.000 % |
9.86/9.93	c |      9806 |   12534   202823   618160 |    67607     9806    195 |  0.000 % |
9.96/10.06	c |      9939 |   12534   202823   618160 |    67607     9939    196 |  0.000 % |
10.16/10.25	c |     10085 |   12534   202823   618160 | 2147483647    10085    194 |  0.000 % |
10.36/10.44	c |     10245 |   12534   202823   618160 | 2147483647    10245    193 |  0.000 % |
10.46/10.59	c |     10421 |   12534   202823   618160 | 2147483647    10421    194 |  0.000 % |
10.66/10.76	c |     10614 |   12534   202823   618160 | 2147483647    10614    193 |  0.000 % |
10.87/10.95	c |     10827 |   12534   202823   618160 | 2147483647    10827    194 |  0.000 % |
11.17/11.24	c |     11060 |   12534   202823   618160 | 2147483647    11060    193 |  0.000 % |
11.47/11.50	c |     11316 |   12534   202823   618160 | 2147483647    11316    194 |  0.000 % |
11.67/11.76	c |     11597 |   12534   202823   618160 | 2147483647    11597    192 |  0.000 % |
11.77/11.89	c |     11697 |   12534   202823   618160 | 2147483647    11697    191 |  0.000 % |
11.97/12.04	c |     11807 |   12534   202823   618160 | 2147483647    11807    191 |  0.000 % |
12.07/12.11	c |     11928 |   12534   202823   618160 | 2147483647    11928    193 |  0.000 % |
12.16/12.23	c |     12061 |   12534   202823   618160 | 2147483647    12061    192 |  0.000 % |
12.36/12.42	c |     12207 |   12534   202823   618160 | 2147483647    12207    192 |  0.000 % |
12.46/12.56	c |     12367 |   12534   202823   618160 | 2147483647    12367    193 |  0.000 % |
12.66/12.71	c |     12543 |   12534   202823   618160 | 2147483647    12543    192 |  0.000 % |
12.86/12.99	c |     12736 |   12534   202823   618160 | 2147483647    12736    191 |  0.000 % |
13.07/13.18	c |     12948 |   12534   202823   618160 | 2147483647    12948    191 |  0.000 % |
13.26/13.38	c |     13182 |   12534   202823   618160 | 2147483647    13182    191 |  0.000 % |
13.56/13.62	c |     13438 |   12534   202823   618160 | 2147483647    13438    191 |  0.000 % |
13.76/13.88	c |     13720 |   12534   202823   618160 | 2147483647    13720    190 |  0.000 % |
14.06/14.16	c |     14029 |   12534   202823   618160 | 2147483647    14029    191 |  0.000 % |
14.26/14.31	c |     14131 |   12534   202823   618160 | 2147483647    14131    190 |  0.000 % |
14.36/14.47	c |     14241 |   12534   202823   618160 | 2147483647    14241    190 |  0.000 % |
14.46/14.59	c |     14362 |   12534   202823   618160 | 2147483647    14362    190 |  0.000 % |
14.66/14.76	c |     14495 |   12534   202823   618160 | 2147483647    14495    190 |  0.000 % |
14.86/14.94	c |     14641 |   12534   202823   618160 | 2147483647    14641    189 |  0.000 % |
14.96/15.03	c |     14801 |   12534   202823   618160 | 2147483647    14801    192 |  0.000 % |
15.16/15.26	c |     14978 |   12534   202823   618160 | 2147483647    14978    192 |  0.000 % |
15.47/15.53	c |     15171 |   12534   202823   618160 | 2147483647    15171    191 |  0.000 % |
15.57/15.68	c |     15383 |   12534   202823   618160 | 2147483647    15383    192 |  0.000 % |
15.86/15.91	c |     15617 |   12534   202823   618160 | 2147483647    15617    192 |  0.000 % |
16.06/16.18	c |     15873 |   12534   202823   618160 | 2147483647    15873    192 |  0.000 % |
16.47/16.59	c |     16154 |   12534   202823   618160 | 2147483647    16154    191 |  0.000 % |
16.66/16.79	c |     16463 |   12534   202823   618160 | 2147483647    16463    192 |  0.000 % |
16.96/17.09	c |     16802 |   12534   202823   618160 | 2147483647    16802    192 |  0.000 % |
17.16/17.24	c |     16902 |   12534   202823   618160 | 2147483647    16902    192 |  0.000 % |
17.26/17.33	c |     17014 |   12534   202823   618160 | 2147483647    17014    193 |  0.000 % |
17.36/17.49	c |     17135 |   12534   202823   618160 | 2147483647    17135    193 |  0.000 % |
17.56/17.64	c |     17268 |   12534   202823   618160 | 2147483647    17268    192 |  0.000 % |
17.66/17.79	c |     17414 |   12534   202823   618160 | 2147483647    17414    192 |  0.000 % |
17.86/17.97	c |     17574 |   12534   202823   618160 | 2147483647    17574    192 |  0.000 % |
18.06/18.19	c |     17750 |   12534   202823   618160 | 2147483647    17750    192 |  0.000 % |
18.36/18.45	c |     17943 |   12534   202823   618160 | 2147483647    17943    192 |  0.000 % |
18.56/18.62	c |     18155 |   12534   202823   618160 | 2147483647    18155    193 |  0.000 % |
18.86/18.95	c |     18388 |   12534   202823   618160 | 2147483647    18388    192 |  0.000 % |
19.06/19.13	c |     18645 |   12534   202823   618160 | 2147483647    18645    193 |  0.000 % |
19.26/19.37	c |     18926 |   12534   202823   618160 | 2147483647    18926    193 |  0.000 % |
19.56/19.65	c |     19235 |   12534   202823   618160 | 2147483647    19235    193 |  0.000 % |
19.76/19.87	c |     19574 |   12534   202823   618160 | 2147483647    19574    196 |  0.000 % |
20.06/20.12	c |     19948 |   12534   202823   618160 | 2147483647    19948    202 |  0.000 % |
20.16/20.21	c |     20048 |   12534   202823   618160 | 2147483647    20048    203 |  0.000 % |
20.26/20.32	c |     20158 |   12534   202823   618160 | 2147483647    20158    203 |  0.000 % |
20.36/20.47	c |     20279 |   12534   202823   618160 | 2147483647    20279    202 |  0.000 % |
20.46/20.58	c |     20412 |   12534   202823   618160 | 2147483647    20412    202 |  0.000 % |
20.77/20.83	c |     20558 |   12534   202823   618160 | 2147483647    20558    202 |  0.000 % |
20.96/21.07	c |     20718 |   12534   202823   618160 | 2147483647    20718    201 |  0.000 % |
21.16/21.27	c |     20894 |   12534   202823   618160 | 2147483647    20894    201 |  0.000 % |
21.46/21.51	c |     21088 |   12534   202823   618160 | 2147483647    21088    201 |  0.000 % |
21.66/21.74	c |     21300 |   12534   202823   618160 | 2147483647    21300    200 |  0.000 % |
21.96/22.07	c |     21533 |   12534   202823   618160 | 2147483647    21533    200 |  0.000 % |
22.26/22.38	c |     21790 |   12534   202823   618160 | 2147483647    21790    200 |  0.000 % |
22.55/22.63	c |     22071 |   12534   202823   618160 | 2147483647    22071    200 |  0.000 % |
22.85/22.98	c |     22381 |   12534   202823   618160 | 2147483647    22381    200 |  0.000 % |
23.36/23.42	c |     22720 |   12534   202823   618160 | 2147483647    22720    200 |  0.000 % |
23.76/23.84	c |     23092 |   12534   202823   618160 | 2147483647    23092    199 |  0.000 % |
24.07/24.17	c |     23502 |   12534   202823   618160 | 2147483647    23502    202 |  0.000 % |
24.17/24.24	c |     23602 |   12534   202823   618160 | 2147483647    23602    203 |  0.000 % |
24.26/24.38	c |     23713 |   12534   202823   618160 | 2147483647    23713    202 |  0.000 % |
24.46/24.56	c |     23836 |   12534   202823   618160 | 2147483647    23836    202 |  0.000 % |
24.66/24.74	c |     23969 |   12534   202823   618160 | 2147483647    23969    202 |  0.000 % |
24.86/24.95	c |     24115 |   12534   202823   618160 | 2147483647    24115    201 |  0.000 % |
25.06/25.16	c |     24275 |   12534   202823   618160 | 2147483647    24275    201 |  0.000 % |
25.26/25.35	c |     24451 |   12534   202823   618160 | 2147483647    24451    201 |  0.000 % |
25.46/25.56	c |     24644 |   12534   202823   618160 | 2147483647    24644    201 |  0.000 % |
25.66/25.73	c |     24856 |   12534   202823   618160 | 2147483647    24856    202 |  0.000 % |
25.96/26.06	c |     25089 |   12534   202823   618160 | 2147483647    25089    201 |  0.000 % |
26.26/26.39	c |     25345 |   12534   202823   618160 | 2147483647    25345    201 |  0.000 % |
26.66/26.74	c |     25626 |   12534   202823   618160 | 2147483647    25626    201 |  0.000 % |
27.06/27.11	c |     25936 |   12534   202823   618160 | 2147483647    25936    201 |  0.000 % |
27.55/27.60	c |     26275 |   12534   202823   618160 | 2147483647    26275    200 |  0.000 % |
27.95/28.03	c |     26647 |   12534   202823   618160 | 2147483647    26647    200 |  0.000 % |
28.36/28.48	c |     27056 |   12534   202823   618160 | 2147483647    27056    200 |  0.000 % |
28.66/28.70	c |     27506 |   12534   202823   618160 | 2147483647    27506    202 |  0.000 % |
28.76/28.85	c |     27606 |   12534   202823   618160 | 2147483647    27606    202 |  0.000 % |
28.86/28.99	c |     27717 |   12534   202823   618160 | 2147483647    27717    202 |  0.000 % |
29.06/29.14	c |     27839 |   12534   202823   618160 | 2147483647    27839    202 |  0.000 % |
29.26/29.32	c |     27972 |   12534   202823   618160 | 2147483647    27972    202 |  0.000 % |
29.46/29.52	c |     28119 |   12534   202823   618160 | 2147483647    28119    202 |  0.000 % |
29.76/29.82	c |     28279 |   12534   202823   618160 | 2147483647    28279    202 |  0.000 % |
29.96/30.04	c |     28455 |   12534   202823   618160 | 2147483647    28455    202 |  0.000 % |
30.26/30.34	c |     28649 |   12534   202823   618160 | 2147483647    28649    201 |  0.000 % |
30.46/30.58	c |     28861 |   12534   202823   618160 | 2147483647    28861    202 |  0.000 % |
30.56/30.69	c |     29097 |   12534   202823   618160 | 2147483647    29097    204 |  0.000 % |
30.96/31.09	c |     29353 |   12534   202823   618160 | 2147483647    29353    204 |  0.000 % |
31.26/31.37	c |     29634 |   12534   202823   618160 | 2147483647    29634    204 |  0.000 % |
31.65/31.76	c |     29944 |   12534   202823   618160 | 2147483647    29944    204 |  0.000 % |
31.95/32.09	c |     30283 |   12534   202823   618160 | 2147483647    30283    204 |  0.000 % |
32.45/32.60	c |     30656 |   12534   202823   618160 | 2147483647    30656    204 |  0.000 % |
32.96/33.07	c |     31065 |   12534   202823   618160 | 2147483647    31065    204 |  0.000 % |
33.65/33.71	c |     31514 |   12534   202823   618160 | 2147483647    31514    204 |  0.000 % |
34.15/34.25	c |     32007 |   12534   202823   618160 | 2147483647    32007    203 |  0.000 % |
34.36/34.43	c |     32107 |   12534   202823   618160 | 2147483647    32107    203 |  0.000 % |
34.46/34.50	c |     32217 |   12534   202823   618160 | 2147483647    32217    204 |  0.000 % |
34.56/34.61	c |     32339 |   12534   202823   618160 | 2147483647    32339    204 |  0.000 % |
34.66/34.72	c |     32472 |   12534   202823   618160 | 2147483647    32472    205 |  0.000 % |
34.86/34.91	c |     32618 |   12534   202823   618160 | 2147483647    32618    205 |  0.000 % |
34.96/35.10	c |     32778 |   12534   202823   618160 | 2147483647    32778    205 |  0.000 % |
35.26/35.30	c |     32954 |   12534   202823   618160 | 2147483647    32954    205 |  0.000 % |
35.46/35.57	c |     33148 |   12534   202823   618160 | 2147483647    33148    205 |  0.000 % |
35.76/35.90	c |     33360 |   12534   202823   618160 | 2147483647    33360    205 |  0.000 % |
36.26/36.33	c |     33593 |   12534   202823   618160 | 2147483647    33593    204 |  0.000 % |
36.66/36.76	c |     33849 |   12534   202823   618160 | 2147483647    33849    204 |  0.000 % |
37.06/37.13	c |     34130 |   12534   202823   618160 | 2147483647    34130    204 |  0.000 % |
37.26/37.35	c |     34440 |   12534   202823   618160 | 2147483647    34440    206 |  0.000 % |
37.75/37.86	c |     34780 |   12534   202823   618160 | 2147483647    34780    205 |  0.000 % |
38.25/38.31	c |     35152 |   12534   202823   618160 | 2147483647    35152    205 |  0.000 % |
38.65/38.74	c |     35561 |   12534   202823   618160 | 2147483647    35561    205 |  0.000 % |
39.35/39.46	c |     36010 |   12534   202823   618160 | 2147483647    36010    205 |  0.000 % |
40.05/40.19	c |     36503 |   12534   202823   618160 | 2147483647    36503    204 |  0.000 % |
41.05/41.11	c |     37046 |   12534   202823   618160 | 2147483647    37046    203 |  0.000 % |
41.15/41.28	c |     37147 |   12534   202823   618160 | 2147483647    37147    203 |  0.000 % |
41.25/41.37	c |     37257 |   12534   202823   618160 | 2147483647    37257    203 |  0.000 % |
41.45/41.57	c |     37378 |   12534   202823   618160 | 2147483647    37378    203 |  0.000 % |
41.55/41.69	c |     37511 |   12534   202823   618160 | 2147483647    37511    203 |  0.000 % |
41.75/41.85	c |     37657 |   12534   202823   618160 | 2147483647    37657    203 |  0.000 % |
41.85/41.99	c |     37817 |   12534   202823   618160 | 2147483647    37817    204 |  0.000 % |
41.95/42.08	c |     37993 |   12534   202823   618160 | 2147483647    37993    205 |  0.000 % |
42.35/42.40	c |     38186 |   12534   202823   618160 | 2147483647    38186    204 |  0.000 % |
42.55/42.63	c |     38398 |   12534   202823   618160 | 2147483647    38398    205 |  0.000 % |
42.75/42.90	c |     38631 |   12534   202823   618160 | 2147483647    38631    204 |  0.000 % |
43.15/43.20	c |     38888 |   12534   202823   618160 | 2147483647    38888    205 |  0.000 % |
43.55/43.63	c |     39169 |   12534   202823   618160 | 2147483647    39169    205 |  0.000 % |
44.05/44.10	c |     39478 |   12534   202823   618160 | 2147483647    39478    205 |  0.000 % |
44.45/44.55	c |     39817 |   12534   202823   618160 | 2147483647    39817    204 |  0.000 % |
44.75/44.88	c |     40192 |   12534   202823   618160 | 2147483647    40192    205 |  0.000 % |
45.34/45.49	c |     40602 |   12534   202823   618160 | 2147483647    40602    205 |  0.000 % |
46.16/46.21	c |     41051 |   12534   202823   618160 | 2147483647    41051    204 |  0.000 % |
46.85/46.95	c |     41544 |   12534   202823   618160 | 2147483647    41544    204 |  0.000 % |
47.65/47.77	c |     42086 |   12534   202823   618160 | 2147483647    42086    204 |  0.000 % |
48.45/48.56	c |     42683 |   12534   202823   618160 | 2147483647    42683    203 |  0.000 % |
48.65/48.73	c |     42783 |   12534   202823   618160 | 2147483647    42783    204 |  0.000 % |
48.85/48.92	c |     42894 |   12534   202823   618160 | 2147483647    42894    203 |  0.000 % |
48.95/49.09	c |     43015 |   12534   202823   618160 | 2147483647    43015    203 |  0.000 % |
49.25/49.40	c |     43150 |   12534   202823   618160 | 2147483647    43150    203 |  0.000 % |
49.45/49.57	c |     43296 |   12534   202823   618160 | 2147483647    43296    203 |  0.000 % |
49.75/49.81	c |     43457 |   12534   202823   618160 | 2147483647    43457    203 |  0.000 % |
49.85/49.95	c |     43634 |   12534   202823   618160 | 2147483647    43634    204 |  0.000 % |
50.15/50.28	c |     43827 |   12534   202823   618160 | 2147483647    43827    204 |  0.000 % |
50.55/50.68	c |     44039 |   12534   202823   618160 | 2147483647    44039    204 |  0.000 % |
50.94/51.08	c |     44273 |   12534   202823   618160 | 2147483647    44273    204 |  0.000 % |
51.34/51.45	c |     44529 |   12534   202823   618160 | 2147483647    44529    203 |  0.000 % |
51.84/51.97	c |     44810 |   12534   202823   618160 | 2147483647    44810    203 |  0.000 % |
52.44/52.56	c |     45119 |   12534   202823   618160 | 2147483647    45119    203 |  0.000 % |
52.94/53.01	c |     45458 |   12534   202823   618160 | 2147483647    45458    203 |  0.000 % |
53.54/53.66	c |     45831 |   12534   202823   618160 | 2147483647    45831    203 |  0.000 % |
54.14/54.29	c |     46240 |   12534   202823   618160 | 2147483647    46240    203 |  0.000 % |
54.74/54.86	c |     46689 |   12534   202823   618160 | 2147483647    46689    203 |  0.000 % |
55.54/55.65	c |     47182 |   12534   202823   618160 | 2147483647    47182    202 |  0.000 % |
56.24/56.37	c |     47724 |   12534   202823   618160 | 2147483647    47724    202 |  0.000 % |
57.14/57.27	c |     48320 |   12534   202823   618160 | 2147483647    48320    203 |  0.000 % |
58.24/58.30	c |     48978 |   12534   202823   618160 | 2147483647    48978    204 |  0.000 % |
58.34/58.44	c |     49078 |   12534   202823   618160 | 2147483647    49078    203 |  0.000 % |
58.44/58.59	c |     49188 |   12534   202823   618160 | 2147483647    49188    204 |  0.000 % |
58.64/58.78	c |     49309 |   12534   202823   618160 | 2147483647    49309    204 |  0.000 % |
58.84/58.95	c |     49442 |   12534   202823   618160 | 2147483647    49442    204 |  0.000 % |
58.94/59.10	c |     49588 |   12534   202823   618160 | 2147483647    49588    204 |  0.000 % |
59.24/59.39	c |     49748 |   12534   202823   618160 | 2147483647    49748    204 |  0.000 % |
59.43/59.57	c |     49924 |   12534   202823   618160 | 2147483647    49924    205 |  0.000 % |
59.74/59.88	c |     50117 |   12534   202823   618160 | 2147483647    50117    205 |  0.000 % |
60.14/60.22	c |     50329 |   12534   202823   618160 | 2147483647    50329    205 |  0.000 % |
60.64/60.73	c |     50562 |   12534   202823   618160 | 2147483647    50562    204 |  0.000 % |
61.04/61.11	c |     50818 |   12534   202823   618160 | 2147483647    50818    205 |  0.000 % |
61.45/61.51	c |     51099 |   12534   202823   618160 | 2147483647    51099    205 |  0.000 % |
61.84/61.92	c |     51408 |   12534   202823   618160 | 2147483647    51408    205 |  0.000 % |
62.14/62.30	c |     51747 |   12534   202823   618160 | 2147483647    51747    205 |  0.000 % |
62.64/62.79	c |     52121 |   12534   202823   618160 | 2147483647    52121    205 |  0.000 % |
63.34/63.41	c |     52530 |   12534   202823   618160 | 2147483647    52530    205 |  0.000 % |
64.13/64.30	c |     52979 |   12534   202823   618160 | 2147483647    52979    205 |  0.000 % |
64.93/65.07	c |     53472 |   12534   202823   618160 | 2147483647    53472    205 |  0.000 % |
65.84/65.97	c |     54015 |   12534   202823   618160 | 2147483647    54015    206 |  0.000 % |
66.83/66.96	c |     54611 |   12534   202823   618160 | 2147483647    54611    206 |  0.000 % |
67.83/67.95	c |     55266 |   12534   202823   618160 | 2147483647    55266    205 |  0.000 % |
68.83/68.91	c |     55986 |   12534   202823   618160 | 2147483647    55986    206 |  0.000 % |
68.83/68.99	c |     56091 |   12534   202823   618160 | 2147483647    56091    206 |  0.000 % |
69.03/69.18	c |     56201 |   12534   202823   618160 | 2147483647    56201    206 |  0.000 % |
69.23/69.37	c |     56322 |   12534   202823   618160 | 2147483647    56322    206 |  0.000 % |
69.53/69.66	c |     56455 |   12534   202823   618160 | 2147483647    56455    206 |  0.000 % |
69.83/69.91	c |     56601 |   12534   202823   618160 | 2147483647    56601    206 |  0.000 % |
70.13/70.24	c |     56761 |   12534   202823   618160 | 2147483647    56761    205 |  0.000 % |
70.53/70.60	c |     56938 |   12534   202823   618160 | 2147483647    56938    205 |  0.000 % |
70.83/70.92	c |     57131 |   12534   202823   618160 | 2147483647    57131    205 |  0.000 % |
71.13/71.21	c |     57343 |   12534   202823   618160 | 2147483647    57343    205 |  0.000 % |
71.44/71.54	c |     57576 |   12534   202823   618160 | 2147483647    57576    205 |  0.000 % |
71.74/71.84	c |     57832 |   12534   202823   618160 | 2147483647    57832    205 |  0.000 % |
72.14/72.22	c |     58113 |   12534   202823   618160 | 2147483647    58113    206 |  0.000 % |
72.74/72.82	c |     58422 |   12534   202823   618160 | 2147483647    58422    206 |  0.000 % |
73.43/73.51	c |     58762 |   12534   202823   618160 | 2147483647    58762    205 |  0.000 % |
74.03/74.16	c |     59135 |   12534   202823   618160 | 2147483647    59135    205 |  0.000 % |
74.74/74.89	c |     59544 |   12534   202823   618160 | 2147483647    59544    206 |  0.000 % |
75.43/75.57	c |     59993 |   12534   202823   618160 | 2147483647    59993    207 |  0.000 % |
76.33/76.41	c |     60486 |   12534   202823   618160 | 2147483647    60486    207 |  0.000 % |
77.23/77.37	c |     61028 |   12534   202823   618160 | 2147483647    61028    207 |  0.000 % |
78.43/78.53	c |     61624 |   12534   202823   618160 | 2147483647    61624    207 |  0.000 % |
79.43/79.59	c |     62279 |   12534   202823   618160 | 2147483647    62279    207 |  0.000 % |
80.73/80.88	c |     62999 |   12534   202823   618160 | 2147483647    62999    207 |  0.000 % |
82.33/82.45	c |     63792 |   12534   202823   618160 | 2147483647    63792    207 |  0.000 % |
82.53/82.66	c |     63894 |   12534   202823   618160 | 2147483647    63894    207 |  0.000 % |
82.73/82.86	c |     64005 |   12534   202823   618160 | 2147483647    64005    207 |  0.000 % |
83.03/83.17	c |     64127 |   12534   202823   618160 | 2147483647    64127    207 |  0.000 % |
83.33/83.44	c |     64260 |   12534   202823   618160 | 2147483647    64260    207 |  0.000 % |
83.53/83.69	c |     64406 |   12534   202823   618160 | 2147483647    64406    207 |  0.000 % |
83.93/84.06	c |     64566 |   12534   202823   618160 | 2147483647    64566    207 |  0.000 % |
84.33/84.45	c |     64742 |   12534   202823   618160 | 2147483647    64742    206 |  0.000 % |
84.53/84.66	c |     64936 |   12534   202823   618160 | 2147483647    64936    206 |  0.000 % |
84.92/85.02	c |     65148 |   12534   202823   618160 | 2147483647    65148    206 |  0.000 % |
85.32/85.46	c |     65381 |   12534   202823   618160 | 2147483647    65381    206 |  0.000 % |
85.82/85.93	c |     65638 |   12534   202823   618160 | 2147483647    65638    206 |  0.000 % |
86.12/86.29	c |     65922 |   12534   202823   618160 | 2147483647    65922    207 |  0.000 % |
86.73/86.86	c |     66231 |   12534   202823   618160 | 2147483647    66231    206 |  0.000 % |
87.52/87.63	c |     66570 |   12534   202823   618160 | 2147483647    66570    206 |  0.000 % |
88.32/88.41	c |     66942 |   12534   202823   618160 | 2147483647    66942    206 |  0.000 % |
89.03/89.19	c |     67351 |   12534   202823   618160 | 2147483647    67351    206 |  0.000 % |
89.83/89.95	c |     67800 |   12534   202823   618160 | 2147483647    67800    206 |  0.000 % |
90.62/90.79	c |     68293 |   12534   202823   618160 | 2147483647    68293    206 |  0.000 % |
91.62/91.75	c |     68835 |   12534   202823   618160 | 2147483647    68835    206 |  0.000 % |
92.53/92.61	c |     69431 |   12534   202823   618160 | 2147483647    69431    206 |  0.000 % |
93.63/93.74	c |     70086 |   12534   202823   618160 | 2147483647    70086    206 |  0.000 % |
94.92/95.08	c |     70806 |   12534   202823   618160 | 2147483647    70806    206 |  0.000 % |
96.22/96.35	c |     71598 |   12534   202823   618160 | 2147483647    71598    206 |  0.000 % |
97.82/97.96	c |     72471 |   12534   202823   618160 | 2147483647    72471    207 |  0.000 % |
97.92/98.09	c |     72571 |   12534   202823   618160 | 2147483647    72571    207 |  0.000 % |
98.22/98.40	c |     72681 |   12534   202823   618160 | 2147483647    72681    207 |  0.000 % |
98.62/98.72	c |     72803 |   12534   202823   618160 | 2147483647    72803    207 |  0.000 % |
98.82/98.94	c |     72936 |   12534   202823   618160 | 2147483647    72936    207 |  0.000 % |
99.12/99.25	c |     73082 |   12534   202823   618160 | 2147483647    73082    207 |  0.000 % |
99.41/99.53	c |     73242 |   12534   202823   618160 | 2147483647    73242    207 |  0.000 % |
99.81/99.91	c |     73418 |   12534   202823   618160 | 2147483647    73418    207 |  0.000 % |
100.32/100.44	c |     73611 |   12534   202823   618160 | 2147483647    73611    206 |  0.000 % |
100.72/100.88	c |     73823 |   12534   202823   618160 | 2147483647    73823    206 |  0.000 % |
101.32/101.48	c |     74056 |   12534   202823   618160 | 2147483647    74056    206 |  0.000 % |
101.72/101.84	c |     74313 |   12534   202823   618160 | 2147483647    74313    207 |  0.000 % |
102.22/102.38	c |     74594 |   12534   202823   618160 | 2147483647    74594    207 |  0.000 % |
102.92/103.02	c |     74903 |   12534   202823   618160 | 2147483647    74903    207 |  0.000 % |
103.52/103.67	c |     75244 |   12534   202823   618160 | 2147483647    75244    206 |  0.000 % |
103.92/104.09	c |     75617 |   12534   202823   618160 | 2147483647    75617    207 |  0.000 % |
104.71/104.83	c |     76026 |   12534   202823   618160 | 2147483647    76026    207 |  0.000 % |
105.42/105.60	c |     76475 |   12534   202823   618160 | 2147483647    76475    207 |  0.000 % |
106.72/106.85	c |     76969 |   12534   202823   618160 | 2147483647    76969    207 |  0.000 % |
107.81/107.90	c |     77511 |   12534   202823   618160 | 2147483647    77511    207 |  0.000 % |
108.72/108.88	c |     78107 |   12534   202823   618160 | 2147483647    78107    208 |  0.000 % |
109.61/109.70	c |     78763 |   12534   202823   618160 | 2147483647    78763    209 |  0.000 % |
111.02/111.19	c |     79483 |   12534   202823   618160 | 2147483647    79483    209 |  0.000 % |
112.91/113.01	c |     80275 |   12534   202823   618160 | 2147483647    80275    209 |  0.000 % |
114.71/114.84	c |     81146 |   12534   202823   618160 | 2147483647    81146    208 |  0.000 % |
116.31/116.41	c |     82104 |   12534   202823   618160 | 2147483647    82104    209 |  0.000 % |
116.41/116.59	c |     82204 |   12534   202823   618160 | 2147483647    82204    209 |  0.000 % |
116.71/116.84	c |     82314 |   12534   202823   618160 | 2147483647    82314    209 |  0.000 % |
117.01/117.13	c |     82435 |   12534   202823   618160 | 2147483647    82435    209 |  0.000 % |
117.21/117.31	c |     82568 |   12534   202823   618160 | 2147483647    82568    209 |  0.000 % |
117.51/117.63	c |     82716 |   12534   202823   618160 | 2147483647    82716    209 |  0.000 % |
117.71/117.85	c |     82878 |   12534   202823   618160 | 2147483647    82878    209 |  0.000 % |
118.21/118.37	c |     83054 |   12534   202823   618160 | 2147483647    83054    209 |  0.000 % |
118.71/118.87	c |     83247 |   12534   202823   618160 | 2147483647    83247    209 |  0.000 % |
119.21/119.35	c |     83459 |   12534   202823   618160 | 2147483647    83459    209 |  0.000 % |
119.72/119.84	c |     83692 |   12534   202823   618160 | 2147483647    83692    209 |  0.000 % |
120.31/120.46	c |     83948 |   12534   202823   618160 | 2147483647    83948    209 |  0.000 % |
120.92/121.09	c |     84230 |   12534   202823   618160 | 2147483647    84230    209 |  0.000 % |
121.61/121.78	c |     84539 |   12534   202823   618160 | 2147483647    84539    209 |  0.000 % |
122.01/122.14	c |     84878 |   12534   202823   618160 | 2147483647    84878    209 |  0.000 % |
122.81/122.91	c |     85250 |   12534   202823   618160 | 2147483647    85250    209 |  0.000 % |
123.61/123.78	c |     85660 |   12534   202823   618160 | 2147483647    85660    209 |  0.000 % |
123.91/124.06	c |     86110 |   12534   202823   618160 | 2147483647    86110    211 |  0.000 % |
125.01/125.16	c |     86603 |   12534   202823   618160 | 2147483647    86603    211 |  0.000 % |
125.91/126.03	c |     87145 |   12534   202823   618160 | 2147483647    87145    211 |  0.000 % |
127.10/127.23	c |     87741 |   12534   202823   618160 | 2147483647    87741    211 |  0.000 % |
128.61/128.72	c |     88397 |   12534   202823   618160 | 2147483647    88397    211 |  0.000 % |
129.90/130.04	c |     89117 |   12534   202823   618160 | 2147483647    89117    212 |  0.000 % |
131.61/131.76	c |     89910 |   12534   202823   618160 | 2147483647    89910    212 |  0.000 % |
133.21/133.34	c |     90781 |   12534   202823   618160 | 2147483647    90781    213 |  0.000 % |
135.00/135.18	c |     91739 |   12534   202823   618160 | 2147483647    91739    213 |  0.000 % |
137.31/137.47	c |     92792 |   12534   202823   618160 | 2147483647    92792    213 |  0.000 % |
137.50/137.68	c |     92892 |   12534   202823   618160 | 2147483647    92892    213 |  0.000 % |
137.70/137.86	c |     93003 |   12534   202823   618160 | 2147483647    93003    213 |  0.000 % |
138.00/138.12	c |     93125 |   12534   202823   618160 | 2147483647    93125    213 |  0.000 % |
138.30/138.42	c |     93258 |   12534   202823   618160 | 2147483647    93258    213 |  0.000 % |
138.60/138.77	c |     93404 |   12534   202823   618160 | 2147483647    93404    213 |  0.000 % |
139.00/139.19	c |     93564 |   12534   202823   618160 | 2147483647    93564    213 |  0.000 % |
139.60/139.74	c |     93740 |   12534   202823   618160 | 2147483647    93740    213 |  0.000 % |
140.10/140.26	c |     93933 |   12534   202823   618160 | 2147483647    93933    213 |  0.000 % |
140.80/140.90	c |     94145 |   12534   202823   618160 | 2147483647    94145    213 |  0.000 % |
141.20/141.38	c |     94378 |   12534   202823   618160 | 2147483647    94378    213 |  0.000 % |
141.71/141.88	c |     94635 |   12534   202823   618160 | 2147483647    94635    213 |  0.000 % |
142.20/142.38	c |     94916 |   12534   202823   618160 | 2147483647    94916    213 |  0.000 % |
142.90/143.05	c |     95227 |   12534   202823   618160 | 2147483647    95227    213 |  0.000 % |
143.70/143.83	c |     95566 |   12534   202823   618160 | 2147483647    95566    213 |  0.000 % |
144.50/144.63	c |     95938 |   12534   202823   618160 | 2147483647    95938    213 |  0.000 % |
145.30/145.46	c |     96348 |   12534   202823   618160 | 2147483647    96348    214 |  0.000 % |
146.10/146.22	c |     96799 |   12534   202823   618160 | 2147483647    96799    214 |  0.000 % |
147.20/147.38	c |     97292 |   12534   202823   618160 | 2147483647    97292    215 |  0.000 % |
147.80/147.92	c |     97834 |   12534   202823   618160 | 2147483647    97834    216 |  0.000 % |
148.60/148.77	c |     98430 |   12534   202823   618160 | 2147483647    98430    216 |  0.000 % |
149.99/150.11	c |     99085 |   12534   202823   618160 | 2147483647    99085    216 |  0.000 % |
151.89/152.07	c |     99805 |   12534   202823   618160 | 2147483647    99805    216 |  0.000 % |
153.59/153.72	c |    100597 |   12534   202823   618160 | 2147483647   100597    216 |  0.000 % |
155.49/155.65	c |    101468 |   12534   202823   618160 | 2147483647   101468    216 |  0.000 % |
157.69/157.87	c |    102426 |   12534   202823   618160 | 2147483647   102426    216 |  0.000 % |
160.09/160.26	c |    103479 |   12534   202823   618160 | 2147483647   103479    216 |  0.000 % |
162.59/162.78	c |    104638 |   12534   202823   618160 | 2147483647   104638    216 |  0.000 % |
162.89/163.01	c |    104738 |   12534   202823   618160 | 2147483647   104738    216 |  0.000 % |
163.19/163.32	c |    104848 |   12534   202823   618160 | 2147483647   104848    216 |  0.000 % |
163.39/163.59	c |    104969 |   12534   202823   618160 | 2147483647   104969    216 |  0.000 % |
163.79/163.95	c |    105102 |   12534   202823   618160 | 2147483647   105102    216 |  0.000 % |
164.19/164.34	c |    105249 |   12534   202823   618160 | 2147483647   105249    216 |  0.000 % |
164.49/164.62	c |    105409 |   12534   202823   618160 | 2147483647   105409    216 |  0.000 % |
164.89/165.02	c |    105585 |   12534   202823   618160 | 2147483647   105585    216 |  0.000 % |
165.38/165.53	c |    105778 |   12534   202823   618160 | 2147483647   105778    216 |  0.000 % |
165.68/165.82	c |    105990 |   12534   202823   618160 | 2147483647   105990    216 |  0.000 % |
166.19/166.32	c |    106223 |   12534   202823   618160 | 2147483647   106223    216 |  0.000 % |
166.79/166.93	c |    106479 |   12534   202823   618160 | 2147483647   106479    216 |  0.000 % |
167.29/167.49	c |    106760 |   12534   202823   618160 | 2147483647   106760    217 |  0.000 % |
168.10/168.29	c |    107069 |   12534   202823   618160 | 2147483647   107069    216 |  0.000 % |
169.09/169.23	c |    107408 |   12534   202823   618160 | 2147483647   107408    216 |  0.000 % |
170.29/170.50	c |    107780 |   12534   202823   618160 | 2147483647   107780    216 |  0.000 % |
171.49/171.62	c |    108189 |   12534   202823   618160 | 2147483647   108189    216 |  0.000 % |
172.49/172.60	c |    108640 |   12534   202823   618160 | 2147483647   108640    216 |  0.000 % |
173.58/173.73	c |    109133 |   12534   202823   618160 | 2147483647   109133    216 |  0.000 % |
174.99/175.11	c |    109675 |   12534   202823   618160 | 2147483647   109675    216 |  0.000 % |
176.49/176.67	c |    110272 |   12534   202823   618160 | 2147483647   110272    216 |  0.000 % |
178.29/178.45	c |    110927 |   12534   202823   618160 | 2147483647   110927    215 |  0.000 % |
180.08/180.24	c |    111647 |   12534   202823   618160 | 2147483647   111647    215 |  0.000 % |
181.58/181.73	c |    112439 |   12534   202823   618160 | 2147483647   112439    216 |  0.000 % |
183.68/183.87	c |    113310 |   12534   202823   618160 | 2147483647   113310    217 |  0.000 % |
185.88/186.02	c |    114268 |   12534   202823   618160 | 2147483647   114268    217 |  0.000 % |
188.68/188.86	c |    115321 |   12534   202823   618160 | 2147483647   115321    217 |  0.000 % |
190.38/190.58	c |    116479 |   12534   202823   618160 | 2147483647   116479    219 |  0.000 % |
192.58/192.72	c |    117752 |   12534   202823   618160 | 2147483647   117752    220 |  0.000 % |
192.77/192.95	c |    117852 |   12534   202823   618160 | 2147483647   117852    219 |  0.000 % |
192.97/193.19	c |    117962 |   12534   202823   618160 | 2147483647   117962    220 |  0.000 % |
193.27/193.43	c |    118083 |   12534   202823   618160 | 2147483647   118083    220 |  0.000 % |
193.48/193.69	c |    118216 |   12534   202823   618160 | 2147483647   118216    220 |  0.000 % |
193.98/194.14	c |    118363 |   12534   202823   618160 | 2147483647   118363    220 |  0.000 % |
194.28/194.49	c |    118523 |   12534   202823   618160 | 2147483647   118523    220 |  0.000 % |
194.68/194.82	c |    118699 |   12534   202823   618160 | 2147483647   118699    220 |  0.000 % |
195.18/195.34	c |    118892 |   12534   202823   618160 | 2147483647   118892    220 |  0.000 % |
195.78/195.91	c |    119105 |   12534   202823   618160 | 2147483647   119105    220 |  0.000 % |
196.38/196.57	c |    119339 |   12534   202823   618160 | 2147483647   119339    220 |  0.000 % |
197.08/197.29	c |    119596 |   12534   202823   618160 | 2147483647   119596    220 |  0.000 % |
197.98/198.12	c |    119877 |   12534   202823   618160 | 2147483647   119877    220 |  0.000 % |
198.78/198.93	c |    120187 |   12534   202823   618160 | 2147483647   120187    220 |  0.000 % |
199.58/199.77	c |    120526 |   12534   202823   618160 | 2147483647   120526    220 |  0.000 % |
200.58/200.74	c |    120898 |   12534   202823   618160 | 2147483647   120898    220 |  0.000 % |
201.78/201.91	c |    121307 |   12534   202823   618160 | 2147483647   121307    220 |  0.000 % |
203.38/203.50	c |    121757 |   12534   202823   618160 | 2147483647   121757    220 |  0.000 % |
204.48/204.65	c |    122251 |   12534   202823   618160 | 2147483647   122251    220 |  0.000 % |
205.77/205.97	c |    122794 |   12534   202823   618160 | 2147483647   122794    220 |  0.000 % |
207.37/207.57	c |    123391 |   12534   202823   618160 | 2147483647   123391    220 |  0.000 % |
209.08/209.29	c |    124046 |   12534   202823   618160 | 2147483647   124046    220 |  0.000 % |
211.08/211.24	c |    124767 |   12534   202823   618160 | 2147483647   124767    220 |  0.000 % |
212.57/212.80	c |    125559 |   12534   202823   618160 | 2147483647   125559    220 |  0.000 % |
213.97/214.14	c |    126432 |   12534   202823   618160 | 2147483647   126432    224 |  0.000 % |
216.27/216.40	c |    127390 |   12534   202823   618160 | 2147483647   127390    224 |  0.000 % |
218.78/218.93	c |    128444 |   12534   202823   618160 | 2147483647   128444    224 |  0.000 % |
221.27/221.45	c |    129602 |   12534   202823   618160 | 2147483647   129602    224 |  0.000 % |
223.56/223.79	c |    130875 |   12534   202823   618160 | 2147483647   130875    225 |  0.000 % |
227.17/227.32	c |    132275 |   12534   202823   618160 | 2147483647   132275    226 |  0.000 % |
227.47/227.66	c |    132376 |   12534   202823   618160 | 2147483647   132376    226 |  0.000 % |
227.76/227.99	c |    132487 |   12534   202823   618160 | 2147483647   132487    226 |  0.000 % |
227.96/228.19	c |    132608 |   12534   202823   618160 | 2147483647   132608    226 |  0.000 % |
228.26/228.48	c |    132742 |   12534   202823   618160 | 2147483647   132742    226 |  0.000 % |
228.57/228.79	c |    132890 |   12534   202823   618160 | 2147483647   132890    226 |  0.000 % |
229.26/229.41	c |    133050 |   12534   202823   618160 | 2147483647   133050    226 |  0.000 % |
229.96/230.19	c |    133227 |   12534   202823   618160 | 2147483647   133227    226 |  0.000 % |
230.66/230.87	c |    133420 |   12534   202823   618160 | 2147483647   133420    226 |  0.000 % |
231.46/231.64	c |    133632 |   12534   202823   618160 | 2147483647   133632    226 |  0.000 % |
232.06/232.29	c |    133865 |   12534   202823   618160 | 2147483647   133865    226 |  0.000 % |
232.96/233.14	c |    134121 |   12534   202823   618160 | 2147483647   134121    226 |  0.000 % |
233.86/234.03	c |    134402 |   12534   202823   618160 | 2147483647   134402    226 |  0.000 % |
234.56/234.74	c |    134712 |   12534   202823   618160 | 2147483647   134712    226 |  0.000 % |
235.46/235.65	c |    135051 |   12534   202823   618160 | 2147483647   135051    226 |  0.000 % |
236.56/236.76	c |    135423 |   12534   202823   618160 | 2147483647   135423    226 |  0.000 % |
237.56/237.79	c |    135833 |   12534   202823   618160 | 2147483647   135833    226 |  0.000 % |
238.56/238.73	c |    136282 |   12534   202823   618160 | 2147483647   136282    226 |  0.000 % |
239.95/240.18	c |    136775 |   12534   202823   618160 | 2147483647   136775    226 |  0.000 % |
241.55/241.76	c |    137317 |   12534   202823   618160 | 2147483647   137317    226 |  0.000 % |
243.16/243.38	c |    137913 |   12534   202823   618160 | 2147483647   137913    226 |  0.000 % |
244.86/245.04	c |    138568 |   12534   202823   618160 | 2147483647   138568    226 |  0.000 % |
246.65/246.85	c |    139289 |   12534   202823   618160 | 2147483647   139289    226 |  0.000 % |
248.75/248.97	c |    140081 |   12534   202823   618160 | 2147483647   140081    227 |  0.000 % |
251.25/251.41	c |    140952 |   12534   202823   618160 | 2147483647   140952    227 |  0.000 % |
253.65/253.82	c |    141910 |   12534   202823   618160 | 2147483647   141910    228 |  0.000 % |
255.85/256.01	c |    142963 |   12534   202823   618160 | 2147483647   142963    228 |  0.000 % |
258.85/259.05	c |    144124 |   12534   202823   618160 | 2147483647   144124    229 |  0.000 % |
262.85/263.00	c |    145398 |   12534   202823   618160 | 2147483647   145398    229 |  0.000 % |
267.05/267.29	c |    146798 |   12534   202823   618160 | 2147483647   146798    229 |  0.000 % |
271.55/271.71	c |    148338 |   12534   202823   618160 | 2147483647   148338    229 |  0.000 % |
271.84/272.03	c |    148438 |   12534   202823   618160 | 2147483647   148438    229 |  0.000 % |
272.24/272.44	c |    148549 |   12534   202823   618160 | 2147483647   148549    229 |  0.000 % |
272.74/273.00	c |    148670 |   12534   202823   618160 | 2147483647   148670    229 |  0.000 % |
273.15/273.40	c |    148803 |   12534   202823   618160 | 2147483647   148803    229 |  0.000 % |
273.65/273.89	c |    148949 |   12534   202823   618160 | 2147483647   148949    229 |  0.000 % |
274.55/274.80	c |    149109 |   12534   202823   618160 | 2147483647   149109    229 |  0.000 % |
274.95/275.14	c |    149285 |   12534   202823   618160 | 2147483647   149285    229 |  0.000 % |
275.45/275.63	c |    149478 |   12534   202823   618160 | 2147483647   149478    229 |  0.000 % |
276.05/276.27	c |    149690 |   12534   202823   618160 | 2147483647   149690    229 |  0.000 % |
276.75/276.94	c |    149923 |   12534   202823   618160 | 2147483647   149923    229 |  0.000 % |
277.65/277.85	c |    150180 |   12534   202823   618160 | 2147483647   150180    229 |  0.000 % |
278.34/278.55	c |    150461 |   12534   202823   618160 | 2147483647   150461    229 |  0.000 % |
279.44/279.62	c |    150770 |   12534   202823   618160 | 2147483647   150770    229 |  0.000 % |
279.94/280.10	c |    151111 |   12534   202823   618160 | 2147483647   151111    229 |  0.000 % |
280.94/281.17	c |    151483 |   12534   202823   618160 | 2147483647   151483    229 |  0.000 % |
282.04/282.27	c |    151893 |   12534   202823   618160 | 2147483647   151893    229 |  0.000 % |
283.44/283.69	c |    152342 |   12534   202823   618160 | 2147483647   152342    229 |  0.000 % |
284.94/285.18	c |    152835 |   12534   202823   618160 | 2147483647   152835    229 |  0.000 % |
286.74/286.92	c |    153377 |   12534   202823   618160 | 2147483647   153377    229 |  0.000 % |
288.24/288.43	c |    153975 |   12534   202823   618160 | 2147483647   153975    229 |  0.000 % |
288.93/289.19	c |    154630 |   12534   202823   618160 | 2147483647   154630    230 |  0.000 % |
291.13/291.38	c |    155350 |   12534   202823   618160 | 2147483647   155350    230 |  0.000 % |
292.94/293.14	c |    156142 |   12534   202823   618160 | 2147483647   156142    230 |  0.000 % |
294.94/295.14	c |    157013 |   12534   202823   618160 | 2147483647   157013    231 |  0.000 % |
298.03/298.28	c |    157971 |   12534   202823   618160 | 2147483647   157971    231 |  0.000 % |
301.23/301.45	c |    159025 |   12534   202823   618160 | 2147483647   159025    231 |  0.000 % |
305.33/305.58	c |    160183 |   12534   202823   618160 | 2147483647   160183    231 |  0.000 % |
309.63/309.86	c |    161457 |   12534   202823   618160 | 2147483647   161457    230 |  0.000 % |
314.33/314.57	c |    162857 |   12534   202823   618160 | 2147483647   162857    230 |  0.000 % |
320.43/320.63	c |    164397 |   12534   202823   618160 | 2147483647   164397    230 |  0.000 % |
326.03/326.29	c |    166091 |   12534   202823   618160 | 2147483647   166091    230 |  0.000 % |
326.53/326.71	c |    166192 |   12534   202823   618160 | 2147483647   166192    230 |  0.000 % |
326.93/327.12	c |    166302 |   12534   202823   618160 | 2147483647   166302    230 |  0.000 % |
327.23/327.48	c |    166423 |   12534   202823   618160 | 2147483647   166423    230 |  0.000 % |
327.63/327.85	c |    166556 |   12534   202823   618160 | 2147483647   166556    230 |  0.000 % |
328.22/328.47	c |    166703 |   12534   202823   618160 | 2147483647   166703    230 |  0.000 % |
328.82/329.01	c |    166863 |   12534   202823   618160 | 2147483647   166863    230 |  0.000 % |
329.52/329.78	c |    167039 |   12534   202823   618160 | 2147483647   167039    230 |  0.000 % |
330.12/330.31	c |    167232 |   12534   202823   618160 | 2147483647   167232    230 |  0.000 % |
330.72/330.99	c |    167444 |   12534   202823   618160 | 2147483647   167444    230 |  0.000 % |
331.62/331.87	c |    167677 |   12534   202823   618160 | 2147483647   167677    230 |  0.000 % |
332.52/332.76	c |    167933 |   12534   202823   618160 | 2147483647   167933    230 |  0.000 % |
333.42/333.61	c |    168214 |   12534   202823   618160 | 2147483647   168214    231 |  0.000 % |
334.12/334.36	c |    168524 |   12534   202823   618160 | 2147483647   168524    231 |  0.000 % |
335.41/335.65	c |    168866 |   12534   202823   618160 | 2147483647   168866    231 |  0.000 % |
336.72/336.94	c |    169238 |   12534   202823   618160 | 2147483647   169238    231 |  0.000 % |
338.12/338.39	c |    169647 |   12534   202823   618160 | 2147483647   169647    231 |  0.000 % |
339.42/339.66	c |    170096 |   12534   202823   618160 | 2147483647   170096    231 |  0.000 % |
341.12/341.32	c |    170589 |   12534   202823   618160 | 2147483647   170589    231 |  0.000 % |
342.41/342.65	c |    171133 |   12534   202823   618160 | 2147483647   171133    231 |  0.000 % |
344.71/344.96	c |    171729 |   12534   202823   618160 | 2147483647   171729    232 |  0.000 % |
346.61/346.83	c |    172385 |   12534   202823   618160 | 2147483647   172385    232 |  0.000 % |
348.82/349.04	c |    173106 |   12534   202823   618160 | 2147483647   173106    232 |  0.000 % |
351.21/351.48	c |    173898 |   12534   202823   618160 | 2147483647   173898    232 |  0.000 % |
354.31/354.53	c |    174769 |   12534   202823   618160 | 2147483647   174769    232 |  0.000 % |
358.00/358.25	c |    175729 |   12534   202823   618160 | 2147483647   175729    232 |  0.000 % |
361.41/361.68	c |    176784 |   12534   202823   618160 | 2147483647   176784    232 |  0.000 % |
364.81/365.03	c |    177942 |   12534   202823   618160 | 2147483647   177942    233 |  0.000 % |
368.31/368.55	c |    179216 |   12534   202823   618160 | 2147483647   179216    233 |  0.000 % |
372.00/372.23	c |    180616 |   12534   202823   618160 | 2147483647   180616    234 |  0.000 % |
376.81/377.03	c |    182156 |   12534   202823   618160 | 2147483647   182156    235 |  0.000 % |
383.50/383.75	c |    183850 |   12534   202823   618160 | 2147483647   183850    235 |  0.000 % |
387.90/388.15	c |    185713 |   12534   202823   618160 | 2147483647   185713    237 |  0.000 % |
388.30/388.58	c |    185813 |   12534   202823   618160 | 2147483647   185813    237 |  0.000 % |
388.80/389.05	c |    185923 |   12534   202823   618160 | 2147483647   185923    237 |  0.000 % |
389.30/389.54	c |    186047 |   12534   202823   618160 | 2147483647   186047    237 |  0.000 % |
389.90/390.14	c |    186180 |   12534   202823   618160 | 2147483647   186180    237 |  0.000 % |
390.40/390.64	c |    186326 |   12534   202823   618160 | 2147483647   186326    237 |  0.000 % |
390.90/391.15	c |    186486 |   12534   202823   618160 | 2147483647   186486    237 |  0.000 % |
391.80/392.02	c |    186662 |   12534   202823   618160 | 2147483647   186662    237 |  0.000 % |
392.20/392.46	c |    186855 |   12534   202823   618160 | 2147483647   186855    237 |  0.000 % |
393.09/393.39	c |    187067 |   12534   202823   618160 | 2147483647   187067    237 |  0.000 % |
393.69/393.97	c |    187300 |   12534   202823   618160 | 2147483647   187300    237 |  0.000 % |
394.70/394.90	c |    187558 |   12534   202823   618160 | 2147483647   187558    237 |  0.000 % |
395.89/396.17	c |    187841 |   12534   202823   618160 | 2147483647   187841    237 |  0.000 % |
397.09/397.39	c |    188151 |   12534   202823   618160 | 2147483647   188151    237 |  0.000 % |
397.99/398.25	c |    188490 |   12534   202823   618160 | 2147483647   188490    237 |  0.000 % |
399.40/399.62	c |    188862 |   12534   202823   618160 | 2147483647   188862    237 |  0.000 % |
400.50/400.72	c |    189271 |   12534   202823   618160 | 2147483647   189271    237 |  0.000 % |
402.20/402.44	c |    189721 |   12534   202823   618160 | 2147483647   189721    237 |  0.000 % |
402.99/403.20	c |    190218 |   12534   202823   618160 | 2147483647   190218    238 |  0.000 % |
404.79/405.04	c |    190760 |   12534   202823   618160 | 2147483647   190760    238 |  0.000 % |
407.49/407.77	c |    191356 |   12534   202823   618160 | 2147483647   191356    238 |  0.000 % |
409.78/410.03	c |    192014 |   12534   202823   618160 | 2147483647   192014    238 |  0.000 % |
412.48/412.78	c |    192734 |   12534   202823   618160 | 2147483647   192734    238 |  0.000 % |
415.09/415.37	c |    193526 |   12534   202823   618160 | 2147483647   193526    238 |  0.000 % |
417.39/417.62	c |    194398 |   12534   202823   618160 | 2147483647   194398    241 |  0.000 % |
419.28/419.50	c |    195357 |   12534   202823   618160 | 2147483647   195357    241 |  0.000 % |
422.79/423.04	c |    196412 |   12534   202823   618160 | 2147483647   196412    241 |  0.000 % |
426.38/426.62	c |    197570 |   12534   202823   618160 | 2147483647   197570    242 |  0.000 % |
431.08/431.33	c |    198844 |   12534   202823   618160 | 2147483647   198844    242 |  0.000 % |
435.88/436.15	c |    200244 |   12534   202823   618160 | 2147483647   200244    242 |  0.000 % |
441.98/442.27	c |    201785 |   12534   202823   618160 | 2147483647   201785    242 |  0.000 % |
447.98/448.26	c |    203479 |   12534   202823   618160 | 2147483647   203479    242 |  0.000 % |
454.97/455.25	c |    205343 |   12534   202823   618160 | 2147483647   205343    242 |  0.000 % |
462.47/462.76	c |    207394 |   12534   202823   618160 | 2147483647   207394    242 |  0.000 % |
462.87/463.12	c |    207494 |   12534   202823   618160 | 2147483647   207494    242 |  0.000 % |
463.17/463.45	c |    207604 |   12534   202823   618160 | 2147483647   207604    242 |  0.000 % |
463.67/463.93	c |    207725 |   12534   202823   618160 | 2147483647   207725    242 |  0.000 % |
464.07/464.35	c |    207858 |   12534   202823   618160 | 2147483647   207858    242 |  0.000 % |
464.47/464.73	c |    208005 |   12534   202823   618160 | 2147483647   208005    243 |  0.000 % |
465.46/465.76	c |    208165 |   12534   202823   618160 | 2147483647   208165    242 |  0.000 % |
466.07/466.40	c |    208341 |   12534   202823   618160 | 2147483647   208341    242 |  0.000 % |
466.76/467.09	c |    208535 |   12534   202823   618160 | 2147483647   208535    242 |  0.000 % |
467.76/468.09	c |    208747 |   12534   202823   618160 | 2147483647   208747    242 |  0.000 % |
468.86/469.16	c |    208980 |   12534   202823   618160 | 2147483647   208980    242 |  0.000 % |
469.97/470.29	c |    209236 |   12534   202823   618160 | 2147483647   209236    242 |  0.000 % |
470.97/471.21	c |    209517 |   12534   202823   618160 | 2147483647   209517    242 |  0.000 % |
471.87/472.18	c |    209827 |   12534   202823   618160 | 2147483647   209827    242 |  0.000 % |
472.86/473.18	c |    210166 |   12534   202823   618160 | 2147483647   210166    243 |  0.000 % |
474.16/474.48	c |    210538 |   12534   202823   618160 | 2147483647   210538    243 |  0.000 % |
475.76/476.03	c |    210947 |   12534   202823   618160 | 2147483647   210947    243 |  0.000 % |
477.97/478.25	c |    211396 |   12534   202823   618160 | 2147483647   211396    243 |  0.000 % |
478.56/478.89	c |    211889 |   12534   202823   618160 | 2147483647   211889    243 |  0.000 % |
481.06/481.38	c |    212432 |   12534   202823   618160 | 2147483647   212432    243 |  0.000 % |
483.35/483.61	c |    213028 |   12534   202823   618160 | 2147483647   213028    243 |  0.000 % |
486.06/486.36	c |    213684 |   12534   202823   618160 | 2147483647   213684    243 |  0.000 % |
488.06/488.36	c |    214404 |   12534   202823   618160 | 2147483647   214404    243 |  0.000 % |
489.96/490.27	c |    215196 |   12534   202823   618160 | 2147483647   215196    244 |  0.000 % |
493.56/493.85	c |    216067 |   12534   202823   618160 | 2147483647   216067    244 |  0.000 % |
496.15/496.47	c |    217025 |   12534   202823   618160 | 2147483647   217025    244 |  0.000 % |
500.05/500.33	c |    218078 |   12534   202823   618160 | 2147483647   218078    245 |  0.000 % |
503.75/504.01	c |    219236 |   12534   202823   618160 | 2147483647   219236    246 |  0.000 % |
507.75/508.09	c |    220510 |   12534   202823   618160 | 2147483647   220510    246 |  0.000 % |
512.54/512.87	c |    221911 |   12534   202823   618160 | 2147483647   221911    247 |  0.000 % |
518.45/518.78	c |    223451 |   12534   202823   618160 | 2147483647   223451    246 |  0.000 % |
523.44/523.75	c |    225145 |   12534   202823   618160 | 2147483647   225145    247 |  0.000 % |
530.34/530.63	c |    227008 |   12534   202823   618160 | 2147483647   227008    247 |  0.000 % |
537.54/537.82	c |    229057 |   12534   202823   618160 | 2147483647   229057    249 |  0.000 % |
545.13/545.47	c |    231310 |   12534   202823   618160 | 2147483647   231310    249 |  0.000 % |
545.53/545.85	c |    231411 |   12534   202823   618160 | 2147483647   231411    249 |  0.000 % |
545.93/546.22	c |    231522 |   12534   202823   618160 | 2147483647   231522    249 |  0.000 % |
546.63/546.91	c |    231644 |   12534   202823   618160 | 2147483647   231644    249 |  0.000 % |
547.23/547.56	c |    231777 |   12534   202823   618160 | 2147483647   231777    249 |  0.000 % |
547.83/548.16	c |    231928 |   12534   202823   618160 | 2147483647   231928    249 |  0.000 % |
548.64/548.98	c |    232088 |   12534   202823   618160 | 2147483647   232088    249 |  0.000 % |
549.54/549.84	c |    232264 |   12534   202823   618160 | 2147483647   232264    249 |  0.000 % |
549.94/550.26	c |    232458 |   12534   202823   618160 | 2147483647   232458    249 |  0.000 % |
550.84/551.12	c |    232672 |   12534   202823   618160 | 2147483647   232672    249 |  0.000 % |
551.64/551.99	c |    232905 |   12534   202823   618160 | 2147483647   232905    249 |  0.000 % |
552.94/553.26	c |    233161 |   12534   202823   618160 | 2147483647   233161    249 |  0.000 % |
554.23/554.51	c |    233442 |   12534   202823   618160 | 2147483647   233442    249 |  0.000 % |
555.63/555.99	c |    233751 |   12534   202823   618160 | 2147483647   233751    249 |  0.000 % |
556.93/557.26	c |    234090 |   12534   202823   618160 | 2147483647   234090    249 |  0.000 % |
558.33/558.60	c |    234462 |   12534   202823   618160 | 2147483647   234462    250 |  0.000 % |
560.04/560.31	c |    234873 |   12534   202823   618160 | 2147483647   234873    250 |  0.000 % |
561.93/562.21	c |    235322 |   12534   202823   618160 | 2147483647   235322    250 |  0.000 % |
564.03/564.36	c |    235815 |   12534   202823   618160 | 2147483647   235815    250 |  0.000 % |
566.03/566.38	c |    236357 |   12534   202823   618160 | 2147483647   236357    250 |  0.000 % |
568.43/568.73	c |    236953 |   12534   202823   618160 | 2147483647   236953    250 |  0.000 % |
571.03/571.30	c |    237609 |   12534   202823   618160 | 2147483647   237609    250 |  0.000 % |
573.53/573.84	c |    238329 |   12534   202823   618160 | 2147483647   238329    250 |  0.000 % |
576.42/576.76	c |    239121 |   12534   202823   618160 | 2147483647   239121    250 |  0.000 % |
580.13/580.48	c |    239993 |   12534   202823   618160 | 2147483647   239993    250 |  0.000 % |
584.02/584.36	c |    240951 |   12534   202823   618160 |   240001   240951    250 |  0.000 % |
587.32/587.66	c |    242004 |   12534   202823   618160 |   240001   215917    246 |  0.000 % |
591.12/591.43	c |    243162 |   12534   202823   618160 |   240001   217075    246 |  0.000 % |
594.92/595.27	c |    244436 |   12534   202823   618160 |   240001   218349    247 |  0.000 % |
599.52/599.82	c |    245838 |   12534   202823   618160 |   240001   219751    248 |  0.000 % |
604.11/604.42	c |    247378 |   12534   202823   618160 |   240001   221291    249 |  0.000 % |
610.61/610.96	c |    249072 |   12534   202823   618160 |   240001   222985    249 |  0.000 % |
618.61/618.97	c |    250937 |   12534   202823   618160 | 2147483647   224850    249 |  0.000 % |
626.30/626.66	c |    252986 |   12534   202823   618160 | 2147483647   226899    250 |  0.000 % |
634.70/635.04	c |    255240 |   12534   202823   618160 | 2147483647   229153    250 |  0.000 % |
643.50/643.83	c |    257718 |   12534   202823   618160 | 2147483647   231631    251 |  0.000 % |
644.00/644.31	c |    257819 |   12534   202823   618160 | 2147483647   231732    251 |  0.000 % |
644.40/644.71	c |    257929 |   12534   202823   618160 | 2147483647   231842    251 |  0.000 % |
644.70/645.05	c |    258050 |   12534   202823   618160 | 2147483647   231963    251 |  0.000 % |
645.40/645.73	c |    258183 |   12534   202823   618160 | 2147483647   232096    251 |  0.000 % |
645.90/646.24	c |    258329 |   12534   202823   618160 | 2147483647   232242    251 |  0.000 % |
646.69/647.08	c |    258489 |   12534   202823   618160 | 2147483647   232402    251 |  0.000 % |
647.69/648.01	c |    258666 |   12534   202823   618160 | 2147483647   232579    251 |  0.000 % |
648.49/648.83	c |    258859 |   12534   202823   618160 | 2147483647   232772    251 |  0.000 % |
648.89/649.29	c |    259071 |   12534   202823   618160 | 2147483647   232984    251 |  0.000 % |
650.19/650.52	c |    259304 |   12534   202823   618160 | 2147483647   233217    251 |  0.000 % |
651.09/651.45	c |    259562 |   12534   202823   618160 | 2147483647   233475    251 |  0.000 % |
652.59/652.96	c |    259843 |   12534   202823   618160 | 2147483647   233756    251 |  0.000 % |
653.89/654.24	c |    260153 |   12534   202823   618160 | 2147483647   234066    251 |  0.000 % |
654.99/655.34	c |    260492 |   12534   202823   618160 | 2147483647   234405    251 |  0.000 % |
656.69/657.03	c |    260865 |   12534   202823   618160 | 2147483647   234778    251 |  0.000 % |
658.39/658.73	c |    261274 |   12534   202823   618160 | 2147483647   235187    251 |  0.000 % |
660.89/661.26	c |    261723 |   12534   202823   618160 | 2147483647   235636    251 |  0.000 % |
663.29/663.62	c |    262216 |   12534   202823   618160 | 2147483647   236129    251 |  0.000 % |
665.89/666.28	c |    262759 |   12534   202823   618160 | 2147483647   236672    251 |  0.000 % |
668.58/668.92	c |    263355 |   12534   202823   618160 | 2147483647   237268    251 |  0.000 % |
671.08/671.41	c |    264010 |   12534   202823   618160 | 2147483647   237923    251 |  0.000 % |
674.39/674.73	c |    264730 |   12534   202823   618160 | 2147483647   238643    251 |  0.000 % |
677.58/677.98	c |    265522 |   12534   202823   618160 | 2147483647   239435    251 |  0.000 % |
681.88/682.29	c |    266393 |   12534   202823   618160 | 2147483647   240306    251 |  0.000 % |
686.19/686.58	c |    267351 |   12534   202823   618160 | 2147483647   241264    251 |  0.000 % |
690.18/690.59	c |    268404 |   12534   202823   618160 | 2147483647   242317    251 |  0.000 % |
694.78/695.17	c |    269562 |   12534   202823   618160 | 2147483647   243475    251 |  0.000 % |
700.98/701.37	c |    270835 |   12534   202823   618160 |   243913   244748    251 |  0.000 % |
705.78/706.16	c |    272235 |   12534   202823   618160 |   243913   219454    247 |  0.000 % |
712.38/712.74	c |    273775 |   12534   202823   618160 |   243913   220994    247 |  0.000 % |
719.17/719.59	c |    275469 |   12534   202823   618160 |   243913   222688    247 |  0.000 % |
722.67/723.08	c |    277332 |   12534   202823   618160 |   243913   224551    250 |  0.000 % |
731.17/731.55	c |    279381 |   12534   202823   618160 |   243913   226600    250 |  0.000 % |
739.76/740.12	c |    281634 |   12534   202823   618160 | 2147483647   228853    250 |  0.000 % |
748.16/748.53	c |    284112 |   12534   202823   618160 | 2147483647   231331    251 |  0.000 % |
757.95/758.39	c |    286840 |   12534   202823   618160 | 2147483647   234059    252 |  0.000 % |
758.56/758.99	c |    286940 |   12534   202823   618160 | 2147483647   234159    252 |  0.000 % |
758.95/759.34	c |    287050 |   12534   202823   618160 | 2147483647   234269    252 |  0.000 % |
759.45/759.86	c |    287171 |   12534   202823   618160 | 2147483647   234390    252 |  0.000 % |
760.15/760.57	c |    287304 |   12534   202823   618160 | 2147483647   234523    252 |  0.000 % |
761.15/761.50	c |    287450 |   12534   202823   618160 | 2147483647   234669    252 |  0.000 % |
761.65/762.05	c |    287610 |   12534   202823   618160 | 2147483647   234829    252 |  0.000 % |
762.05/762.45	c |    287787 |   12534   202823   618160 | 2147483647   235006    252 |  0.000 % |
763.06/763.45	c |    287981 |   12534   202823   618160 | 2147483647   235200    252 |  0.000 % |
764.16/764.52	c |    288195 |   12534   202823   618160 | 2147483647   235414    252 |  0.000 % |
765.16/765.57	c |    288428 |   12534   202823   618160 | 2147483647   235647    252 |  0.000 % |
765.65/766.08	c |    288684 |   12534   202823   618160 | 2147483647   235903    252 |  0.000 % |
767.25/767.66	c |    288965 |   12534   202823   618160 | 2147483647   236184    252 |  0.000 % |
768.35/768.79	c |    289274 |   12534   202823   618160 | 2147483647   236493    252 |  0.000 % |
769.15/769.55	c |    289615 |   12534   202823   618160 | 2147483647   236834    253 |  0.000 % |
770.75/771.15	c |    289987 |   12534   202823   618160 | 2147483647   237206    253 |  0.000 % |
772.05/772.47	c |    290396 |   12534   202823   618160 |   237222   237615    253 |  0.000 % |
774.45/774.87	c |    290846 |   12534   202823   618160 |   237222   212808    250 |  0.000 % |
776.05/776.46	c |    291341 |   12534   202823   618160 |   237222   213303    250 |  0.000 % |
778.25/778.64	c |    291883 |   12534   202823   618160 |   237222   213845    250 |  0.000 % |
780.04/780.40	c |    292479 |   12534   202823   618160 |   237222   214441    251 |  0.000 % |
782.35/782.74	c |    293136 |   12534   202823   618160 |   237222   215098    251 |  0.000 % |
784.75/785.15	c |    293856 |   12534   202823   618160 |   237222   215818    251 |  0.000 % |
787.85/788.26	c |    294648 |   12534   202823   618160 |   237222   216610    251 |  0.000 % |
790.55/790.94	c |    295521 |   12534   202823   618160 |   237222   217483    252 |  0.000 % |
793.75/794.14	c |    296479 |   12534   202823   618160 |   237222   218441    252 |  0.000 % |
797.95/798.39	c |    297532 |   12534   202823   618160 |   237222   219494    252 |  0.000 % |
799.65/800.06	c |    298692 |   12534   202823   618160 |   237222   220654    253 |  0.000 % |
803.85/804.22	c |    299966 |   12534   202823   618160 |   237222   221928    253 |  0.000 % |
806.24/806.67	c |    301369 |   12534   202823   618160 | 2147483647   223331    256 |  0.000 % |
812.24/812.62	c |    302911 |   12534   202823   618160 | 2147483647   224873    256 |  0.000 % |
816.44/816.87	c |    304605 |   12534   202823   618160 | 2147483647   226567    258 |  0.000 % |
821.74/822.11	c |    306468 |   12534   202823   618160 | 2147483647   228430    260 |  0.000 % |
827.14/827.56	c |    308517 |   12534   202823   618160 | 2147483647   230479    262 |  0.000 % |
833.63/834.03	c |    310770 |   12534   202823   618160 | 2147483647   232732    265 |  0.000 % |
841.53/841.98	c |    313251 |   12534   202823   618160 | 2147483647   235213    266 |  0.000 % |
851.32/851.80	c |    315977 |   12534   202823   618160 | 2147483647   237939    267 |  0.000 % |
862.32/862.73	c |    318974 |   12534   202823   618160 | 2147483647   240936    267 |  0.000 % |
862.52/862.98	c |    319074 |   12534   202823   618160 | 2147483647   241036    267 |  0.000 % |
863.22/863.67	c |    319184 |   12534   202823   618160 | 2147483647   241146    267 |  0.000 % |
863.72/864.15	c |    319306 |   12534   202823   618160 | 2147483647   241268    267 |  0.000 % |
864.52/864.92	c |    319439 |   12534   202823   618160 | 2147483647   241401    267 |  0.000 % |
865.02/865.45	c |    319586 |   12534   202823   618160 | 2147483647   241548    267 |  0.000 % |
865.72/866.11	c |    319746 |   12534   202823   618160 | 2147483647   241708    267 |  0.000 % |
866.32/866.79	c |    319923 |   12534   202823   618160 | 2147483647   241885    267 |  0.000 % |
867.32/867.75	c |    320116 |   12534   202823   618160 |   241962   242078    267 |  0.000 % |
868.32/868.73	c |    320330 |   12534   202823   618160 |   241962   215920    262 |  0.000 % |
869.02/869.48	c |    320563 |   12534   202823   618160 |   241962   216153    262 |  0.000 % |
869.82/870.27	c |    320820 |   12534   202823   618160 |   241962   216410    262 |  0.000 % |
871.12/871.58	c |    321101 |   12534   202823   618160 |   241962   216691    262 |  0.000 % |
872.21/872.64	c |    321410 |   12534   202823   618160 |   241962   217000    262 |  0.000 % |
873.52/873.96	c |    321749 |   12534   202823   618160 |   241962   217339    262 |  0.000 % |
874.51/875.00	c |    322121 |   12534   202823   618160 |   241962   217711    262 |  0.000 % |
875.41/875.85	c |    322530 |   12534   202823   618160 |   241962   218120    263 |  0.000 % |
876.91/877.30	c |    322980 |   12534   202823   618160 |   241962   218570    263 |  0.000 % |
878.31/878.75	c |    323474 |   12534   202823   618160 |   241962   219064    263 |  0.000 % |
880.31/880.74	c |    324016 |   12534   202823   618160 |   241962   219606    263 |  0.000 % |
882.31/882.71	c |    324613 |   12534   202823   618160 |   241962   220203    264 |  0.000 % |
884.91/885.35	c |    325268 |   12534   202823   618160 |   241962   220858    264 |  0.000 % |
887.91/888.37	c |    325988 |   12534   202823   618160 |   241962   221578    264 |  0.000 % |
891.11/891.57	c |    326780 |   12534   202823   618160 |   241962   222370    264 |  0.000 % |
894.01/894.43	c |    327652 |   12534   202823   618160 |   241962   223242    264 |  0.000 % |
897.31/897.76	c |    328610 |   12534   202823   618160 |   241962   224200    265 |  0.000 % |
899.60/900.05	c |    329663 |   12534   202823   618160 |   241962   225253    266 |  0.000 % |
904.91/905.38	c |    330823 |   12534   202823   618160 | 2147483647   226413    266 |  0.000 % |
909.00/909.41	c |    332096 |   12534   202823   618160 | 2147483647   227686    267 |  0.000 % |
914.10/914.56	c |    333496 |   12534   202823   618160 | 2147483647   229086    267 |  0.000 % |
919.10/919.52	c |    335038 |   12534   202823   618160 | 2147483647   230628    268 |  0.000 % |
923.30/923.70	c |    336732 |   12534   202823   618160 | 2147483647   232322    269 |  0.000 % |
930.29/930.70	c |    338595 |   12534   202823   618160 | 2147483647   234185    269 |  0.000 % |
938.29/938.73	c |    340644 |   12534   202823   618160 |   235592   236234    269 |  0.000 % |
946.29/946.72	c |    342897 |   12534   202823   618160 |   235592   213435    268 |  0.000 % |
955.58/956.06	c |    345375 |   12534   202823   618160 |   235592   215913    268 |  0.000 % |
964.08/964.51	c |    348101 |   12534   202823   618160 |   235592   218639    269 |  0.000 % |
973.58/974.05	c |    351099 |   12534   202823   618160 |   220539   221637    270 |  0.000 % |
983.57/984.00	c |    354396 |   12534   202823   618160 |   220539   202771    267 |  0.000 % |
983.87/984.38	c |    354496 |   12534   202823   618160 |   220539   202871    267 |  0.000 % |
984.47/984.94	c |    354606 |   12534   202823   618160 |   220539   202981    266 |  0.000 % |
984.97/985.49	c |    354727 |   12534   202823   618160 |   220539   203102    266 |  0.000 % |
985.37/985.88	c |    354860 |   12534   202823   618160 |   220539   203235    266 |  0.000 % |
985.97/986.43	c |    355006 |   12534   202823   618160 |   220539   203381    266 |  0.000 % |
986.87/987.34	c |    355166 |   12534   202823   618160 |   220539   203541    266 |  0.000 % |
987.38/987.81	c |    355342 |   12534   202823   618160 |   220539   203717    266 |  0.000 % |
988.17/988.68	c |    355535 |   12534   202823   618160 |   220539   203910    266 |  0.000 % |
988.97/989.43	c |    355748 |   12534   202823   618160 |   220539   204123    266 |  0.000 % |
989.67/990.11	c |    355981 |   12534   202823   618160 |   220539   204356    266 |  0.000 % |
990.87/991.36	c |    356238 |   12534   202823   618160 |   220539   204613    266 |  0.000 % |
991.97/992.46	c |    356521 |   12534   202823   618160 |   220539   204896    266 |  0.000 % |
993.27/993.74	c |    356830 |   12534   202823   618160 |   220539   205205    266 |  0.000 % |
994.37/994.89	c |    357170 |   12534   202823   618160 |   220539   205545    266 |  0.000 % |
995.17/995.68	c |    357542 |   12534   202823   618160 |   220539   205917    267 |  0.000 % |
996.27/996.74	c |    357951 |   12534   202823   618160 |   220539   206326    267 |  0.000 % |
998.17/998.62	c |    358400 |   12534   202823   618160 |   220539   206775    267 |  0.000 % |
999.67/1000.13	c |    358893 |   12534   202823   618160 |   220539   207268    268 |  0.000 % |
1001.87/1002.35	c |    359435 |   12534   202823   618160 |   220539   207810    268 |  0.000 % |
1003.26/1003.79	c |    360031 |   12534   202823   618160 | 2147483647   208406    269 |  0.000 % |
1004.76/1005.25	c |    360687 |   12534   202823   618160 | 2147483647   209062    269 |  0.000 % |
1007.56/1008.07	c |    361407 |   12534   202823   618160 | 2147483647   209782    269 |  0.000 % |
1010.96/1011.46	c |    362200 |   12534   202823   618160 | 2147483647   210575    269 |  0.000 % |
1013.77/1014.21	c |    363073 |   12534   202823   618160 | 2147483647   211448    269 |  0.000 % |
1017.46/1017.94	c |    364031 |   12534   202823   618160 | 2147483647   212406    269 |  0.000 % |
1020.86/1021.39	c |    365084 |   12534   202823   618160 | 2147483647   213459    269 |  0.000 % |
1025.36/1025.87	c |    366242 |   12534   202823   618160 | 2147483647   214617    269 |  0.000 % |
1030.35/1030.84	c |    367515 |   12534   202823   618160 | 2147483647   215890    269 |  0.000 % |
1034.66/1035.14	c |    368916 |   12534   202823   618160 | 2147483647   217291    269 |  0.000 % |
1040.65/1041.18	c |    370457 |   12534   202823   618160 | 2147483647   218832    269 |  0.000 % |
1047.25/1047.79	c |    372151 |   12534   202823   618160 | 2147483647   220526    269 |  0.000 % |
1053.65/1054.13	c |    374015 |   12534   202823   618160 | 2147483647   222390    270 |  0.000 % |
1061.94/1062.43	c |    376064 |   12534   202823   618160 | 2147483647   224439    269 |  0.000 % |
1067.74/1068.29	c |    378318 |   12534   202823   618160 | 2147483647   226693    270 |  0.000 % |
1076.94/1077.44	c |    380797 |   12534   202823   618160 | 2147483647   229172    270 |  0.000 % |
1083.05/1083.50	c |    383522 |   12534   202823   618160 | 2147483647   231897    272 |  0.000 % |
1095.44/1095.90	c |    386519 |   12534   202823   618160 | 2147483647   234894    272 |  0.000 % |
1107.73/1108.24	c |    389815 |   12534   202823   618160 | 2147483647   238190    273 |  0.000 % |
1121.83/1122.33	c |    393440 |   12534   202823   618160 |   238375   213018    270 |  0.000 % |
1122.33/1122.83	c |    393540 |   12534   202823   618160 |   238375   213118    270 |  0.000 % |
1123.03/1123.50	c |    393652 |   12534   202823   618160 |   238375   213230    270 |  0.000 % |
1123.43/1123.97	c |    393773 |   12534   202823   618160 |   238375   213351    270 |  0.000 % |
1123.93/1124.40	c |    393906 |   12534   202823   618160 |   238375   213484    270 |  0.000 % |
1124.33/1124.80	c |    394052 |   12534   202823   618160 |   238375   213630    270 |  0.000 % |
1125.13/1125.68	c |    394212 |   12534   202823   618160 |   238375   213790    270 |  0.000 % |
1126.13/1126.62	c |    394388 |   12534   202823   618160 |   238375   213966    270 |  0.000 % |
1126.83/1127.32	c |    394581 |   12534   202823   618160 |   238375   214159    270 |  0.000 % |
1127.63/1128.16	c |    394793 |   12534   202823   618160 |   238375   214371    270 |  0.000 % |
1128.53/1129.08	c |    395028 |   12534   202823   618160 |   238375   214606    270 |  0.000 % |
1129.83/1130.35	c |    395284 |   12534   202823   618160 |   238375   214862    270 |  0.000 % |
1130.53/1131.01	c |    395565 |   12534   202823   618160 |   238375   215143    270 |  0.000 % |
1131.73/1132.23	c |    395874 |   12534   202823   618160 |   238375   215452    270 |  0.000 % |
1133.33/1133.82	c |    396214 |   12534   202823   618160 |   238375   215792    270 |  0.000 % |
1134.22/1134.79	c |    396587 |   12534   202823   618160 |   238375   216165    270 |  0.000 % |
1135.52/1136.08	c |    396996 |   12534   202823   618160 |   238375   216574    270 |  0.000 % |
1137.42/1137.95	c |    397446 |   12534   202823   618160 |   238375   217024    270 |  0.000 % |
1138.22/1138.75	c |    397940 |   12534   202823   618160 |   238375   217518    271 |  0.000 % |
1140.02/1140.52	c |    398482 |   12534   202823   618160 |   238375   218060    271 |  0.000 % |
1142.52/1143.08	c |    399078 |   12534   202823   618160 |   238375   218656    271 |  0.000 % |
1145.12/1145.68	c |    399735 |   12534   202823   618160 |   238375   219313    271 |  0.000 % |
1146.62/1147.19	c |    400456 |   12534   202823   618160 |   219578   220034    272 |  0.000 % |
1149.52/1150.06	c |    401248 |   12534   202823   618160 |   219578   196904    265 |  0.000 % |
1151.82/1152.30	c |    402123 |   12534   202823   618160 |   219578   197779    266 |  0.000 % |
1155.01/1155.56	c |    403081 |   12534   202823   618160 |   219578   198737    266 |  0.000 % |
1159.31/1159.82	c |    404134 |   12534   202823   618160 |   219578   199790    266 |  0.000 % |
1164.32/1164.82	c |    405292 |   12534   202823   618160 |   219578   200948    266 |  0.000 % |
1168.41/1168.94	c |    406565 |   12534   202823   618160 |   219578   202221    267 |  0.000 % |
1173.61/1174.15	c |    407967 |   12534   202823   618160 |   219578   203623    267 |  0.000 % |
1178.81/1179.30	c |    409507 |   12534   202823   618160 |   219578   205163    267 |  0.000 % |
1183.91/1184.41	c |    411202 |   12534   202823   618160 | 2147483647   206858    267 |  0.000 % |
1188.40/1188.91	c |    413065 |   12534   202823   618160 | 2147483647   208721    270 |  0.000 % |
1193.50/1194.01	c |    415115 |   12534   202823   618160 | 2147483647   210771    271 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6201
/proc/meminfo: memFree=1829800/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310556210 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227848978514 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6201/statm: 1339 235 195 169 0 50 0
[pid=6202] ppid=6201 vsize=5356 CPUtime=0
/proc/6202/stat : 6202 (SatELiteGTI) S 6201 6201 6021 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310556210 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6202/statm: 1339 238 198 169 0 50 0
[pid=6204] ppid=6202 vsize=188 CPUtime=0
/proc/6204/stat : 6204 (sed) R 6202 6201 6021 0 -1 4194304 35 0 0 0 0 0 0 0 18 0 1 0 310556210 192512 16 1992294400 4194304 4240196 548682069056 18446744073709551615 227846161680 0 0 4096 0 0 0 0 17 0 0 0
/proc/6204/statm: 48 23 16 11 0 11 0

[startup+0.053125 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6201
/proc/meminfo: memFree=1829800/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310556210 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6201/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10213 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6201
/proc/meminfo: memFree=1829800/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310556210 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6201/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302164 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6201
/proc/meminfo: memFree=1829800/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310556210 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6201/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701235 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6201
/proc/meminfo: memFree=1829800/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310556210 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6201/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50138 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6206
/proc/meminfo: memFree=1814936/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=0
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310556210 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6201/statm: 1339 237 197 169 0 50 0
[pid=6206] ppid=6201 vsize=17344 CPUtime=1.48
/proc/6206/stat : 6206 (SatELite_releas) R 6201 6201 6021 0 -1 4194304 4324 0 0 0 146 2 0 0 25 0 1 0 310556210 17760256 3911 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6206/statm: 4336 3911 76 173 0 4161 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22700

[startup+3.10166 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1813976/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=12688 CPUtime=1.38
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 3031 0 0 0 137 1 0 0 25 0 1 0 310556379 12992512 3017 1992294400 134512640 135215339 4294956240 18446744073709551615 134525434 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 3172 3017 77 171 0 2999 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18044

[startup+6.30122 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1810712/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=16016 CPUtime=4.59
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 3869 0 0 0 456 3 0 0 25 0 1 0 310556379 16400384 3855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 4004 3855 77 171 0 3831 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21372

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1803992/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=22484 CPUtime=10.98
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 5463 0 0 0 1094 4 0 0 25 0 1 0 310556379 23023616 5449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 5621 5449 77 171 0 5448 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27840

[startup+25.5026 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1791896/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=34004 CPUtime=23.78
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 8366 0 0 0 2371 7 0 0 25 0 1 0 310556379 34820096 8352 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 8501 8352 77 171 0 8328 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39360

[startup+51.1021 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1773016/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=53008 CPUtime=49.36
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 13095 0 0 0 4925 11 0 0 25 0 1 0 310556379 54280192 13081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 13252 13081 77 171 0 13079 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 58364

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1743128/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=82576 CPUtime=100.54
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 20497 0 0 0 10036 18 0 0 25 0 1 0 310556379 84557824 20483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 20644 20483 77 171 0 20471 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 87932

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1710872/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=114996 CPUtime=160.51
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 28586 0 0 0 16026 25 0 0 25 0 1 0 310556379 117755904 28572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 28749 28572 77 171 0 28576 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 120352

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1680600/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=144860 CPUtime=220.48
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 36060 0 0 0 22016 32 0 0 25 0 1 0 310556379 148336640 36046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 36215 36046 77 171 0 36042 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 150216

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1655320/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=170512 CPUtime=280.46
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 42434 0 0 0 28007 39 0 0 25 0 1 0 310556379 174604288 42420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 42628 42420 77 171 0 42455 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 175868

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1633568/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=191776 CPUtime=340.44
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 47762 0 0 0 34000 44 0 0 25 0 1 0 310556379 196378624 47748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 47944 47748 77 171 0 47771 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 197132

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1609120/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=216224 CPUtime=400.42

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

/proc/6207/statm: 70883 70676 77 171 0 70710 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 288888

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1540832/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=284192 CPUtime=640.32
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 70858 0 0 0 63965 67 0 0 25 0 1 0 310556379 291012608 70844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 71048 70844 77 171 0 70875 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 289548

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1533152/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=291736 CPUtime=700.3
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 72739 0 0 0 69960 70 0 0 25 0 1 0 310556379 298737664 72725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 72934 72725 77 171 0 72761 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 297092

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1533088/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=291736 CPUtime=760.28
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 72739 0 0 0 75958 70 0 0 25 0 1 0 310556379 298737664 72725 1992294400 134512640 135215339 4294956240 18446744073709551615 134532941 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 72934 72725 77 171 0 72761 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 297092

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1533024/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=291736 CPUtime=820.26
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 72739 0 0 0 81955 71 0 0 25 0 1 0 310556379 298737664 72725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 72934 72725 77 171 0 72761 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 297092

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1517344/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=307396 CPUtime=880.23
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 76655 0 0 0 87949 74 0 0 25 0 1 0 310556379 314773504 76641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 76849 76641 77 171 0 76676 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 312752

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1517216/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=307396 CPUtime=940.21
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 76655 0 0 0 93947 74 0 0 25 0 1 0 310556379 314773504 76641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 76849 76641 77 171 0 76676 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 312752

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1517216/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=307396 CPUtime=1000.19
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 76655 0 0 0 99945 74 0 0 25 0 1 0 310556379 314773504 76641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 76849 76641 77 171 0 76676 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 312752

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1517216/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=307396 CPUtime=1060.16
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 76655 0 0 0 105942 74 0 0 25 0 1 0 310556379 314773504 76641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 76849 76641 77 171 0 76676 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 312752

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1511840/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=312808 CPUtime=1120.15
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 77989 0 0 0 111939 76 0 0 25 0 1 0 310556379 320315392 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 78202 77975 77 171 0 78029 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 318164

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1511840/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=312808 CPUtime=1180.13
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 77989 0 0 0 117937 76 0 0 25 0 1 0 310556379 320315392 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 78202 77975 77 171 0 78029 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 318164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1511840/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=312808 CPUtime=1198.32
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 77989 0 0 0 119756 76 0 0 25 0 1 0 310556379 320315392 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 78202 77975 77 171 0 78029 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 318164

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6207
/proc/meminfo: memFree=1511840/2055920 swapFree=4180392/4192956
[pid=6201] ppid=6199 vsize=5356 CPUtime=1.68
/proc/6201/stat : 6201 (SatELiteGTI) S 6199 6201 6021 0 -1 4194304 336 4575 0 0 0 0 164 4 16 0 1 0 310556210 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6201/statm: 1339 239 197 169 0 50 0
[pid=6207] ppid=6201 vsize=312808 CPUtime=1198.32
/proc/6207/stat : 6207 (minisat_static) R 6201 6201 6021 0 -1 4194304 77989 0 0 0 119756 76 0 0 25 0 1 0 310556379 320315392 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6207/statm: 78202 77975 77 171 0 78029 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 318164

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6201 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=645749
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=50992
# CPU time returned by wait4() is 1.69674
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1199.2
CPU system time (s): 0.8
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 318164

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

runsolver used 1.36379 second user time and 3.09653 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-20 15:13:49
IDJOB=1833791
IDBENCH=70936
IDSOLVER=671
FILE ID=node18/1833791-1242825229
PBS_JOBID= 9322496
Free space on /tmp= 66232 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_12_2_4_fbc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833791-1242825229/watcher-1833791-1242825229 -o /tmp/evaluation-result-1833791-1242825229/solver-1833791-1242825229 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833791-1242825229.cnf

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

MD5SUM BENCH= 9fee570f53de23cb47dfa378d421371e
RANDOM SEED=498335419

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1830280 kB
Buffers:         49608 kB
Cached:         128128 kB
SwapCached:       6680 kB
Active:          81840 kB
Inactive:       104200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1830280 kB
SwapTotal:     4192956 kB
SwapFree:      4180392 kB
Dirty:            5756 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            25616 kB
Committed_AS:  1090808 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66228 MiB
End job on node18 at 2009-05-20 15:33:52