Trace number 1833925

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.07 1200.51

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
MD5SUM238f1788225c41f1f5779700e39b5833
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2316
Number of clauses216962
Sum of the clauses size647286
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23879
Number of clauses of size 3213052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.00/0.13	c ==============================================================================
0.00/0.13	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.13	c ==============================================================================
0.00/0.13	c |         0 |  216962   647286 |   65088       0        0     nan |  0.000 % |
3.08/3.11	c |         0 |  215680   949307 |      --       0       --      -- |     --   | -1282/302021
3.08/3.11	c ==============================================================================
3.08/3.11	c Result  :   #vars: 1435   #clauses: 215680   #literals: 949307
3.08/3.11	c CPU time:   3.07553 s
3.08/3.11	c ==============================================================================
3.29/3.39	c This is MiniSat 2.0 beta
3.29/3.39	c WARNING: for repeatability, setting FPU to use double precision
3.29/3.39	c ============================[ Problem Statistics ]=============================
3.29/3.39	c |                                                                             |
3.29/3.39	c |  Number of variables:  1435                                                 |
3.29/3.39	c |  Number of clauses:    215680                                               |
3.37/3.51	c |  Parsing time:         0.10         s                                       |
3.37/3.51	c ============================[ Search Statistics ]==============================
3.37/3.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.37/3.51	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.37/3.51	c ===============================================================================
3.37/3.51	c |         0 |    1435   215680   949307 |    71893        0    nan |  0.000 % |
3.37/3.67	c |       101 |    1435   215680   949307 |    71893      101     62 |  0.000 % |
3.37/3.79	c |       202 |    1435   215680   949307 |    71893      202     59 |  0.000 % |
3.37/3.90	c |       302 |    1435   215680   949307 |    71893      302     60 |  0.000 % |
3.37/4.01	c |       413 |    1435   215680   949307 |    71893      413     62 |  0.000 % |
3.37/4.13	c |       515 |    1435   215680   949307 |    71893      515     60 |  0.000 % |
3.37/4.24	c |       625 |    1435   215680   949307 |    71893      625     61 |  0.000 % |
4.27/4.37	c |       748 |    1435   215680   949307 |    71893      748     59 |  0.000 % |
4.37/4.42	c |       848 |    1435   215680   949307 |    71893      848     62 |  0.000 % |
4.46/4.51	c |       959 |    1435   215680   949307 |    71893      959     63 |  0.000 % |
4.56/4.60	c |      1081 |    1435   215680   949307 |    71893     1081     62 |  0.000 % |
4.56/4.66	c |      1214 |    1435   215680   949307 |    71893     1214     62 |  0.000 % |
4.66/4.72	c |      1314 |    1435   215680   949307 |    71893     1314     61 |  0.000 % |
4.76/4.80	c |      1425 |    1435   215680   949307 |    71893     1425     61 |  0.000 % |
4.76/4.88	c |      1548 |    1435   215680   949307 |    71893     1548     61 |  0.000 % |
4.86/4.98	c |      1682 |    1435   215680   949307 |    71893     1682     63 |  0.000 % |
4.96/5.05	c |      1828 |    1435   215680   949307 |    71893     1828     64 |  0.000 % |
5.06/5.14	c |      1930 |    1435   215680   949307 |    71893     1930     65 |  0.000 % |
5.16/5.24	c |      2040 |    1435   215680   949307 |    71893     2040     64 |  0.000 % |
5.26/5.36	c |      2161 |    1435   215680   949307 |    71893     2161     65 |  0.000 % |
5.37/5.45	c |      2296 |    1435   215680   949307 |    71893     2296     65 |  0.000 % |
5.57/5.62	c |      2443 |    1435   215680   949307 |    71893     2443     65 |  0.000 % |
5.77/5.81	c |      2603 |    1435   215680   949307 |    71893     2603     64 |  0.000 % |
5.87/5.92	c |      2703 |    1435   215680   949307 |    71893     2703     63 |  0.000 % |
5.97/6.03	c |      2814 |    1435   215680   949307 |    71893     2814     62 |  0.000 % |
6.07/6.18	c |      2935 |    1435   215680   949307 |    71893     2935     61 |  0.000 % |
6.27/6.36	c |      3070 |    1435   215680   949307 |    71893     3070     60 |  0.000 % |
6.48/6.50	c |      3216 |    1435   215680   949307 |    71893     3216     61 |  0.000 % |
6.58/6.62	c |      3378 |    1435   215680   949307 |    71893     3378     61 |  0.000 % |
6.77/6.81	c |      3556 |    1435   215680   949307 |    71893     3556     61 |  0.000 % |
6.87/6.90	c |      3656 |    1435   215680   949307 |    71893     3656     61 |  0.000 % |
6.87/6.98	c |      3766 |    1435   215680   949307 |    71893     3766     61 |  0.000 % |
6.97/7.09	c |      3887 |    1435   215680   949307 |    71893     3887     61 |  0.000 % |
7.07/7.18	c |      4020 |    1435   215680   949307 |    71893     4020     62 |  0.000 % |
7.27/7.36	c |      4167 |    1435   215680   949307 |    71893     4167     62 |  0.000 % |
7.47/7.52	c |      4328 |    1435   215680   949307 |    71893     4328     61 |  0.000 % |
7.58/7.62	c |      4506 |    1435   215680   949307 |    71893     4506     61 |  0.000 % |
7.77/7.80	c |      4700 |    1435   215680   949307 |    71893     4700     62 |  0.000 % |
7.87/7.92	c |      4803 |    1435   215680   949307 |    71893     4803     62 |  0.000 % |
7.97/8.02	c |      4913 |    1435   215680   949307 |    71893     4913     62 |  0.000 % |
8.07/8.13	c |      5035 |    1435   215680   949307 |    71893     5035     63 |  0.000 % |
8.17/8.29	c |      5168 |    1435   215680   949307 |    71893     5168     63 |  0.000 % |
8.37/8.43	c |      5314 |    1435   215680   949307 |    71893     5314     63 |  0.000 % |
8.47/8.54	c |      5474 |    1435   215680   949307 |    71893     5474     63 |  0.000 % |
8.67/8.72	c |      5653 |    1435   215680   949307 |    71893     5653     63 |  0.000 % |
8.87/8.93	c |      5846 |    1435   215680   949307 |    71893     5846     62 |  0.000 % |
9.17/9.20	c |      6059 |    1435   215680   949307 |    71893     6059     61 |  0.000 % |
9.27/9.30	c |      6159 |    1435   215680   949307 |    71893     6159     62 |  0.000 % |
9.37/9.43	c |      6272 |    1435   215680   949307 |    71893     6272     61 |  0.000 % |
9.47/9.56	c |      6394 |    1435   215680   949307 |    71893     6394     61 |  0.000 % |
9.57/9.68	c |      6527 |    1435   215680   949307 |    71893     6527     61 |  0.000 % |
9.67/9.80	c |      6673 |    1435   215680   949307 |    71893     6673     62 |  0.000 % |
9.87/9.91	c |      6834 |    1435   215680   949307 |    71893     6834     62 |  0.000 % |
9.96/10.06	c |      7012 |    1435   215680   949307 |    71893     7012     62 |  0.000 % |
10.06/10.16	c |      7205 |    1435   215680   949307 |    71893     7205     61 |  0.000 % |
10.26/10.39	c |      7417 |    1435   215680   949307 |    71893     7417     61 |  0.000 % |
10.56/10.62	c |      7650 |    1435   215680   949307 |    71893     7650     61 |  0.000 % |
10.66/10.72	c |      7751 |    1435   215680   949307 |    71893     7751     60 |  0.000 % |
10.76/10.83	c |      7861 |    1435   215680   949307 |    71893     7861     60 |  0.000 % |
10.87/10.92	c |      7985 |    1435   215680   949307 |    71893     7985     60 |  0.000 % |
10.97/11.05	c |      8118 |    1435   215680   949307 |    71893     8118     59 |  0.000 % |
11.16/11.25	c |      8265 |    1435   215680   949307 |    71893     8265     59 |  0.000 % |
11.26/11.39	c |      8425 |    1435   215680   949307 |    71893     8425     58 |  0.000 % |
11.46/11.55	c |      8601 |    1435   215680   949307 |    71893     8601     58 |  0.000 % |
11.66/11.75	c |      8794 |    1435   215680   949307 |    71893     8794     57 |  0.000 % |
11.86/11.93	c |      9006 |    1435   215680   949307 |    71893     9006     57 |  0.000 % |
12.16/12.25	c |      9240 |    1435   215680   949307 |    71893     9240     57 |  0.000 % |
12.56/12.62	c |      9497 |    1435   215680   949307 |    71893     9497     57 |  0.000 % |
12.66/12.76	c |      9599 |    1435   215680   949307 |    71893     9599     57 |  0.000 % |
12.76/12.86	c |      9709 |    1435   215680   949307 |    71893     9709     57 |  0.000 % |
12.86/12.98	c |      9830 |    1435   215680   949307 |    71893     9830     57 |  0.000 % |
13.06/13.16	c |      9963 |    1435   215680   949307 |    71893     9963     56 |  0.000 % |
13.26/13.35	c |     10111 |    1435   215680   949307 | 2147483647    10111     56 |  0.000 % |
13.46/13.59	c |     10271 |    1435   215680   949307 | 2147483647    10271     56 |  0.001 % |
13.76/13.81	c |     10448 |    1435   215680   949307 | 2147483647    10448     55 |  0.000 % |
13.96/14.05	c |     10642 |    1435   215680   949307 | 2147483647    10642     55 |  0.000 % |
14.26/14.32	c |     10854 |    1435   215680   949307 | 2147483647    10854     54 |  0.000 % |
14.56/14.61	c |     11088 |    1435   215680   949307 | 2147483647    11088     54 |  0.000 % |
14.76/14.85	c |     11344 |    1435   215680   949307 | 2147483647    11344     55 |  0.000 % |
14.96/15.08	c |     11625 |    1435   215680   949307 | 2147483647    11625     55 |  0.000 % |
15.06/15.18	c |     11727 |    1435   215680   949307 | 2147483647    11727     55 |  0.000 % |
15.16/15.27	c |     11837 |    1435   215680   949307 | 2147483647    11837     55 |  0.000 % |
15.26/15.38	c |     11958 |    1435   215680   949307 | 2147483647    11958     55 |  0.000 % |
15.36/15.46	c |     12092 |    1435   215680   949307 | 2147483647    12092     55 |  0.000 % |
15.46/15.59	c |     12242 |    1435   215680   949307 | 2147483647    12242     55 |  0.000 % |
15.66/15.78	c |     12402 |    1435   215680   949307 | 2147483647    12402     55 |  0.000 % |
15.86/15.95	c |     12578 |    1435   215680   949307 | 2147483647    12578     55 |  0.000 % |
15.96/16.09	c |     12771 |    1435   215680   949307 | 2147483647    12771     55 |  0.000 % |
16.16/16.29	c |     12983 |    1435   215680   949307 | 2147483647    12983     56 |  0.000 % |
16.46/16.51	c |     13218 |    1435   215680   949307 | 2147483647    13218     56 |  0.000 % |
16.76/16.82	c |     13480 |    1435   215680   949307 | 2147483647    13480     56 |  0.000 % |
17.06/17.16	c |     13761 |    1435   215680   949307 | 2147483647    13761     55 |  0.000 % |
17.56/17.60	c |     14071 |    1435   215680   949307 | 2147483647    14071     55 |  0.000 % |
17.65/17.72	c |     14171 |    1435   215680   949307 | 2147483647    14171     55 |  0.000 % |
17.75/17.89	c |     14281 |    1435   215680   949307 | 2147483647    14281     55 |  0.000 % |
17.95/18.03	c |     14404 |    1435   215680   949307 | 2147483647    14404     55 |  0.000 % |
18.05/18.17	c |     14542 |    1435   215680   949307 | 2147483647    14542     55 |  0.000 % |
18.25/18.32	c |     14688 |    1435   215680   949307 | 2147483647    14688     55 |  0.000 % |
18.45/18.53	c |     14850 |    1435   215680   949307 | 2147483647    14850     55 |  0.000 % |
18.56/18.68	c |     15028 |    1435   215680   949307 | 2147483647    15028     55 |  0.000 % |
18.75/18.89	c |     15222 |    1435   215680   949307 | 2147483647    15222     56 |  0.002 % |
18.95/19.03	c |     15434 |    1435   215680   949307 | 2147483647    15434     56 |  0.000 % |
19.06/19.19	c |     15667 |    1435   215680   949307 | 2147483647    15667     56 |  0.000 % |
19.26/19.31	c |     15924 |    1435   215680   949307 | 2147483647    15924     56 |  0.000 % |
19.56/19.61	c |     16209 |    1435   215680   949307 | 2147483647    16209     56 |  0.000 % |
19.86/19.92	c |     16520 |    1435   215680   949307 | 2147483647    16520     56 |  0.000 % |
20.06/20.20	c |     16859 |    1435   215680   949307 | 2147483647    16859     57 |  0.000 % |
20.16/20.29	c |     16959 |    1435   215680   949307 | 2147483647    16959     57 |  0.000 % |
20.36/20.42	c |     17072 |    1435   215680   949307 | 2147483647    17072     57 |  0.000 % |
20.46/20.56	c |     17194 |    1435   215680   949307 | 2147483647    17194     57 |  0.000 % |
20.66/20.73	c |     17327 |    1435   215680   949307 | 2147483647    17327     57 |  0.000 % |
20.86/20.90	c |     17474 |    1435   215680   949307 | 2147483647    17474     57 |  0.000 % |
20.96/21.05	c |     17635 |    1435   215680   949307 | 2147483647    17635     57 |  0.000 % |
21.16/21.24	c |     17812 |    1435   215680   949307 | 2147483647    17812     57 |  0.000 % |
21.36/21.45	c |     18006 |    1435   215680   949307 | 2147483647    18006     57 |  0.000 % |
21.56/21.67	c |     18219 |    1435   215680   949307 | 2147483647    18219     57 |  0.000 % |
21.86/21.96	c |     18456 |    1435   215680   949307 | 2147483647    18456     57 |  0.000 % |
22.16/22.24	c |     18712 |    1435   215680   949307 | 2147483647    18712     57 |  0.000 % |
22.36/22.43	c |     18995 |    1435   215680   949307 | 2147483647    18995     57 |  0.000 % |
22.76/22.81	c |     19305 |    1435   215680   949307 | 2147483647    19305     57 |  0.000 % |
23.06/23.20	c |     19644 |    1435   215680   949307 | 2147483647    19644     56 |  0.000 % |
23.55/23.60	c |     20020 |    1435   215680   949307 | 2147483647    20020     56 |  0.000 % |
23.65/23.70	c |     20120 |    1435   215680   949307 | 2147483647    20120     56 |  0.000 % |
23.75/23.82	c |     20230 |    1435   215680   949307 | 2147483647    20230     56 |  0.000 % |
23.85/23.91	c |     20351 |    1435   215680   949307 | 2147483647    20351     56 |  0.000 % |
23.85/23.98	c |     20485 |    1435   215680   949307 | 2147483647    20485     56 |  0.000 % |
24.05/24.20	c |     20632 |    1435   215680   949307 | 2147483647    20632     56 |  0.000 % |
24.25/24.36	c |     20792 |    1435   215680   949307 | 2147483647    20792     56 |  0.000 % |
24.35/24.49	c |     20970 |    1435   215680   949307 | 2147483647    20970     57 |  0.000 % |
24.65/24.79	c |     21165 |    1435   215680   949307 | 2147483647    21165     57 |  0.000 % |
24.95/25.06	c |     21380 |    1435   215680   949307 | 2147483647    21380     57 |  0.000 % |
25.35/25.42	c |     21615 |    1435   215680   949307 | 2147483647    21615     56 |  0.000 % |
25.65/25.72	c |     21874 |    1435   215680   949307 | 2147483647    21874     56 |  0.000 % |
26.05/26.11	c |     22155 |    1435   215680   949307 | 2147483647    22155     56 |  0.000 % |
26.45/26.59	c |     22465 |    1435   215680   949307 | 2147483647    22465     56 |  0.000 % |
27.05/27.12	c |     22804 |    1435   215680   949307 | 2147483647    22804     55 |  0.000 % |
27.55/27.66	c |     23176 |    1435   215680   949307 | 2147483647    23176     55 |  0.000 % |
28.16/28.27	c |     23585 |    1435   215680   949307 | 2147483647    23585     55 |  0.000 % |
28.36/28.43	c |     23685 |    1435   215680   949307 | 2147483647    23685     55 |  0.000 % |
28.46/28.57	c |     23798 |    1435   215680   949307 | 2147483647    23798     55 |  0.000 % |
28.66/28.75	c |     23919 |    1435   215680   949307 | 2147483647    23919     55 |  0.000 % |
28.86/28.92	c |     24052 |    1435   215680   949307 | 2147483647    24052     55 |  0.000 % |
28.96/29.07	c |     24198 |    1435   215680   949307 | 2147483647    24198     55 |  0.000 % |
29.06/29.20	c |     24358 |    1435   215680   949307 | 2147483647    24358     55 |  0.000 % |
29.35/29.42	c |     24537 |    1435   215680   949307 | 2147483647    24537     55 |  0.000 % |
29.45/29.59	c |     24731 |    1435   215680   949307 | 2147483647    24731     55 |  0.000 % |
29.66/29.74	c |     24943 |    1435   215680   949307 | 2147483647    24943     55 |  0.000 % |
29.75/29.83	c |     25179 |    1435   215680   949307 | 2147483647    25179     55 |  0.000 % |
29.95/30.06	c |     25438 |    1435   215680   949307 | 2147483647    25438     56 |  0.000 % |
30.25/30.36	c |     25719 |    1435   215680   949307 | 2147483647    25719     56 |  0.000 % |
30.55/30.65	c |     26029 |    1435   215680   949307 | 2147483647    26029     56 |  0.000 % |
30.76/30.81	c |     26368 |    1435   215680   949307 | 2147483647    26368     56 |  0.000 % |
30.95/31.09	c |     26740 |    1435   215680   949307 | 2147483647    26740     56 |  0.000 % |
31.15/31.29	c |     27149 |    1435   215680   949307 | 2147483647    27149     56 |  0.000 % |
31.45/31.54	c |     27600 |    1435   215680   949307 | 2147483647    27600     56 |  0.000 % |
31.55/31.60	c |     27701 |    1435   215680   949307 | 2147483647    27701     56 |  0.000 % |
31.65/31.72	c |     27813 |    1435   215680   949307 | 2147483647    27813     56 |  0.000 % |
31.76/31.83	c |     27934 |    1435   215680   949307 | 2147483647    27934     56 |  0.000 % |
31.86/31.97	c |     28069 |    1435   215680   949307 | 2147483647    28069     56 |  0.000 % |
32.05/32.13	c |     28218 |    1435   215680   949307 | 2147483647    28218     56 |  0.000 % |
32.25/32.30	c |     28378 |    1435   215680   949307 | 2147483647    28378     56 |  0.000 % |
32.45/32.52	c |     28557 |    1435   215680   949307 | 2147483647    28557     56 |  0.000 % |
32.55/32.65	c |     28751 |    1435   215680   949307 | 2147483647    28751     56 |  0.000 % |
32.86/32.91	c |     28963 |    1435   215680   949307 | 2147483647    28963     56 |  0.000 % |
33.05/33.19	c |     29196 |    1435   215680   949307 | 2147483647    29196     56 |  0.000 % |
33.35/33.47	c |     29452 |    1435   215680   949307 | 2147483647    29452     56 |  0.000 % |
33.65/33.76	c |     29738 |    1435   215680   949307 | 2147483647    29738     56 |  0.000 % |
33.95/34.07	c |     30050 |    1435   215680   949307 | 2147483647    30050     56 |  0.000 % |
34.34/34.40	c |     30390 |    1435   215680   949307 | 2147483647    30390     57 |  0.000 % |
34.54/34.60	c |     30762 |    1435   215680   949307 | 2147483647    30762     57 |  0.000 % |
34.94/35.08	c |     31172 |    1435   215680   949307 | 2147483647    31172     57 |  0.000 % |
35.44/35.52	c |     31621 |    1435   215680   949307 | 2147483647    31621     56 |  0.000 % |
36.04/36.17	c |     32115 |    1435   215680   949307 | 2147483647    32115     56 |  0.000 % |
36.14/36.29	c |     32216 |    1435   215680   949307 | 2147483647    32216     56 |  0.000 % |
36.34/36.45	c |     32334 |    1435   215680   949307 | 2147483647    32334     56 |  0.000 % |
36.54/36.64	c |     32460 |    1435   215680   949307 | 2147483647    32460     56 |  0.000 % |
36.74/36.85	c |     32595 |    1435   215680   949307 | 2147483647    32595     56 |  0.000 % |
36.94/37.03	c |     32741 |    1435   215680   949307 | 2147483647    32741     56 |  0.000 % |
37.13/37.22	c |     32901 |    1435   215680   949307 | 2147483647    32901     56 |  0.000 % |
37.34/37.41	c |     33077 |    1435   215680   949307 | 2147483647    33077     56 |  0.000 % |
37.54/37.68	c |     33274 |    1435   215680   949307 | 2147483647    33274     56 |  0.000 % |
37.84/37.98	c |     33486 |    1435   215680   949307 | 2147483647    33486     56 |  0.000 % |
38.13/38.24	c |     33720 |    1435   215680   949307 | 2147483647    33720     56 |  0.000 % |
38.44/38.51	c |     33978 |    1435   215680   949307 | 2147483647    33978     56 |  0.000 % |
38.73/38.82	c |     34260 |    1435   215680   949307 | 2147483647    34260     56 |  0.000 % |
38.93/39.07	c |     34571 |    1435   215680   949307 | 2147483647    34571     56 |  0.000 % |
39.34/39.44	c |     34910 |    1435   215680   949307 | 2147483647    34910     56 |  0.000 % |
39.84/39.91	c |     35283 |    1435   215680   949307 | 2147483647    35283     57 |  0.000 % |
40.24/40.40	c |     35693 |    1435   215680   949307 | 2147483647    35693     57 |  0.000 % |
40.84/40.94	c |     36145 |    1435   215680   949307 | 2147483647    36145     57 |  0.000 % |
41.44/41.51	c |     36638 |    1435   215680   949307 | 2147483647    36638     57 |  0.000 % |
41.84/41.95	c |     37181 |    1435   215680   949307 | 2147483647    37181     57 |  0.000 % |
41.94/42.09	c |     37281 |    1435   215680   949307 | 2147483647    37281     57 |  0.000 % |
42.14/42.27	c |     37395 |    1435   215680   949307 | 2147483647    37395     56 |  0.000 % |
42.34/42.42	c |     37517 |    1435   215680   949307 | 2147483647    37517     56 |  0.000 % |
42.44/42.57	c |     37650 |    1435   215680   949307 | 2147483647    37650     57 |  0.000 % |
42.63/42.75	c |     37796 |    1435   215680   949307 | 2147483647    37796     57 |  0.000 % |
42.74/42.89	c |     37956 |    1435   215680   949307 | 2147483647    37956     57 |  0.000 % |
42.93/43.04	c |     38132 |    1435   215680   949307 | 2147483647    38132     57 |  0.000 % |
43.13/43.27	c |     38326 |    1435   215680   949307 | 2147483647    38326     57 |  0.000 % |
43.33/43.47	c |     38540 |    1435   215680   949307 | 2147483647    38540     57 |  0.000 % |
43.63/43.71	c |     38775 |    1435   215680   949307 | 2147483647    38775     57 |  0.000 % |
43.84/43.97	c |     39033 |    1435   215680   949307 | 2147483647    39033     57 |  0.000 % |
44.13/44.25	c |     39314 |    1435   215680   949307 | 2147483647    39314     57 |  0.000 % |
44.63/44.73	c |     39626 |    1435   215680   949307 | 2147483647    39626     57 |  0.000 % |
45.04/45.17	c |     39966 |    1435   215680   949307 | 2147483647    39966     57 |  0.000 % |
45.43/45.54	c |     40338 |    1435   215680   949307 | 2147483647    40338     58 |  0.000 % |
45.63/45.77	c |     40747 |    1435   215680   949307 | 2147483647    40747     58 |  0.000 % |
45.93/46.04	c |     41196 |    1435   215680   949307 | 2147483647    41196     58 |  0.000 % |
46.14/46.28	c |     41689 |    1435   215680   949307 | 2147483647    41689     58 |  0.000 % |
46.53/46.63	c |     42232 |    1435   215680   949307 | 2147483647    42232     58 |  0.000 % |
46.83/46.98	c |     42829 |    1435   215680   949307 | 2147483647    42829     59 |  0.000 % |
46.93/47.05	c |     42931 |    1435   215680   949307 | 2147483647    42931     59 |  0.000 % |
47.03/47.12	c |     43043 |    1435   215680   949307 | 2147483647    43043     59 |  0.000 % |
47.13/47.27	c |     43164 |    1435   215680   949307 | 2147483647    43164     59 |  0.000 % |
47.23/47.38	c |     43297 |    1435   215680   949307 | 2147483647    43297     59 |  0.000 % |
47.33/47.48	c |     43444 |    1435   215680   949307 | 2147483647    43444     59 |  0.000 % |
47.43/47.55	c |     43607 |    1435   215680   949307 | 2147483647    43607     59 |  0.000 % |
47.53/47.65	c |     43784 |    1435   215680   949307 | 2147483647    43784     59 |  0.000 % |
47.63/47.79	c |     43977 |    1435   215680   949307 | 2147483647    43977     59 |  0.000 % |
47.83/47.90	c |     44190 |    1435   215680   949307 | 2147483647    44190     59 |  0.000 % |
47.93/48.05	c |     44424 |    1435   215680   949307 | 2147483647    44424     59 |  0.000 % |
48.13/48.20	c |     44681 |    1435   215680   949307 | 2147483647    44681     59 |  0.000 % |
48.23/48.38	c |     44962 |    1435   215680   949307 | 2147483647    44962     59 |  0.000 % |
48.44/48.57	c |     45272 |    1435   215680   949307 | 2147483647    45272     59 |  0.001 % |
48.64/48.75	c |     45613 |    1435   215680   949307 | 2147483647    45613     59 |  0.000 % |
48.83/48.92	c |     45988 |    1435   215680   949307 | 2147483647    45988     59 |  0.000 % |
49.13/49.20	c |     46398 |    1435   215680   949307 | 2147483647    46398     59 |  0.000 % |
49.34/49.48	c |     46847 |    1435   215680   949307 | 2147483647    46847     59 |  0.000 % |
49.73/49.81	c |     47340 |    1435   215680   949307 | 2147483647    47340     59 |  0.000 % |
49.93/50.08	c |     47882 |    1435   215680   949307 | 2147483647    47882     60 |  0.000 % |
50.33/50.44	c |     48478 |    1435   215680   949307 | 2147483647    48478     60 |  0.000 % |
50.63/50.74	c |     49133 |    1435   215680   949307 | 2147483647    49133     60 |  0.000 % |
50.63/50.79	c |     49233 |    1435   215680   949307 | 2147483647    49233     60 |  0.000 % |
50.73/50.85	c |     49345 |    1435   215680   949307 | 2147483647    49345     60 |  0.000 % |
50.83/50.93	c |     49466 |    1435   215680   949307 | 2147483647    49466     60 |  0.000 % |
50.93/51.01	c |     49600 |    1435   215680   949307 | 2147483647    49600     60 |  0.000 % |
50.93/51.07	c |     49747 |    1435   215680   949307 | 2147483647    49747     60 |  0.000 % |
51.03/51.18	c |     49908 |    1435   215680   949307 | 2147483647    49908     60 |  0.000 % |
51.13/51.29	c |     50085 |    1435   215680   949307 | 2147483647    50085     60 |  0.000 % |
51.53/51.63	c |     50280 |    1435   215680   949307 | 2147483647    50280     60 |  0.000 % |
51.83/51.93	c |     50495 |    1435   215680   949307 | 2147483647    50495     60 |  0.000 % |
52.13/52.26	c |     50729 |    1435   215680   949307 | 2147483647    50729     60 |  0.000 % |
52.43/52.59	c |     50985 |    1435   215680   949307 | 2147483647    50985     60 |  0.000 % |
52.93/53.01	c |     51267 |    1435   215680   949307 | 2147483647    51267     60 |  0.000 % |
53.43/53.55	c |     51577 |    1435   215680   949307 | 2147483647    51577     60 |  0.000 % |
54.02/54.19	c |     51916 |    1435   215680   949307 | 2147483647    51916     60 |  0.000 % |
54.62/54.73	c |     52288 |    1435   215680   949307 | 2147483647    52288     60 |  0.000 % |
55.22/55.39	c |     52697 |    1435   215680   949307 | 2147483647    52697     60 |  0.000 % |
55.82/55.90	c |     53147 |    1435   215680   949307 | 2147483647    53147     60 |  0.000 % |
56.52/56.64	c |     53643 |    1435   215680   949307 | 2147483647    53643     60 |  0.000 % |
57.52/57.62	c |     54186 |    1435   215680   949307 | 2147483647    54186     60 |  0.000 % |
58.52/58.66	c |     54782 |    1435   215680   949307 | 2147483647    54782     60 |  0.000 % |
59.42/59.54	c |     55437 |    1435   215680   949307 | 2147483647    55437     60 |  0.000 % |
60.53/60.64	c |     56157 |    1435   215680   949307 | 2147483647    56157     60 |  0.000 % |
60.73/60.81	c |     56258 |    1435   215680   949307 | 2147483647    56258     60 |  0.000 % |
60.83/60.99	c |     56372 |    1435   215680   949307 | 2147483647    56372     60 |  0.000 % |
61.03/61.18	c |     56493 |    1435   215680   949307 | 2147483647    56493     60 |  0.000 % |
61.33/61.42	c |     56626 |    1435   215680   949307 | 2147483647    56626     60 |  0.000 % |
61.53/61.63	c |     56772 |    1435   215680   949307 | 2147483647    56772     60 |  0.000 % |
61.73/61.88	c |     56939 |    1435   215680   949307 | 2147483647    56939     60 |  0.000 % |
62.03/62.19	c |     57118 |    1435   215680   949307 | 2147483647    57118     60 |  0.000 % |
62.43/62.55	c |     57312 |    1435   215680   949307 | 2147483647    57312     59 |  0.000 % |
62.82/62.92	c |     57526 |    1435   215680   949307 | 2147483647    57526     59 |  0.000 % |
63.13/63.22	c |     57761 |    1435   215680   949307 | 2147483647    57761     60 |  0.000 % |
63.43/63.58	c |     58020 |    1435   215680   949307 | 2147483647    58020     60 |  0.000 % |
64.02/64.16	c |     58301 |    1435   215680   949307 | 2147483647    58301     60 |  0.000 % |
64.52/64.68	c |     58611 |    1435   215680   949307 | 2147483647    58611     60 |  0.000 % |
65.12/65.29	c |     58951 |    1435   215680   949307 | 2147483647    58951     60 |  0.000 % |
65.62/65.74	c |     59325 |    1435   215680   949307 | 2147483647    59325     60 |  0.000 % |
66.32/66.42	c |     59734 |    1435   215680   949307 | 2147483647    59734     60 |  0.000 % |
66.72/66.83	c |     60184 |    1435   215680   949307 | 2147483647    60184     60 |  0.000 % |
67.32/67.46	c |     60677 |    1435   215680   949307 | 2147483647    60677     60 |  0.000 % |
68.22/68.30	c |     61219 |    1435   215680   949307 | 2147483647    61219     60 |  0.000 % |
69.23/69.38	c |     61818 |    1435   215680   949307 | 2147483647    61818     59 |  0.000 % |
70.33/70.43	c |     62478 |    1435   215680   949307 | 2147483647    62478     59 |  0.000 % |
71.52/71.62	c |     63199 |    1435   215680   949307 | 2147483647    63199     59 |  0.000 % |
73.02/73.18	c |     63991 |    1435   215680   949307 | 2147483647    63991     59 |  0.000 % |
73.22/73.33	c |     64092 |    1435   215680   949307 | 2147483647    64092     59 |  0.000 % |
73.42/73.50	c |     64202 |    1435   215680   949307 | 2147483647    64202     59 |  0.000 % |
73.62/73.75	c |     64326 |    1435   215680   949307 | 2147483647    64326     59 |  0.000 % |
73.82/73.95	c |     64460 |    1435   215680   949307 | 2147483647    64460     59 |  0.000 % |
74.12/74.24	c |     64609 |    1435   215680   949307 | 2147483647    64609     59 |  0.000 % |
74.42/74.51	c |     64773 |    1435   215680   949307 | 2147483647    64773     59 |  0.000 % |
74.62/74.76	c |     64949 |    1435   215680   949307 | 2147483647    64949     59 |  0.000 % |
74.92/75.02	c |     65142 |    1435   215680   949307 | 2147483647    65142     59 |  0.000 % |
75.22/75.33	c |     65355 |    1435   215680   949307 | 2147483647    65355     59 |  0.000 % |
75.52/75.66	c |     65588 |    1435   215680   949307 | 2147483647    65588     59 |  0.000 % |
75.82/75.99	c |     65844 |    1435   215680   949307 | 2147483647    65844     59 |  0.000 % |
76.22/76.30	c |     66125 |    1435   215680   949307 | 2147483647    66125     59 |  0.000 % |
76.72/76.83	c |     66434 |    1435   215680   949307 | 2147483647    66434     59 |  0.000 % |
77.31/77.50	c |     66773 |    1435   215680   949307 | 2147483647    66773     59 |  0.000 % |
78.02/78.10	c |     67148 |    1435   215680   949307 | 2147483647    67148     59 |  0.000 % |
78.81/78.92	c |     67557 |    1435   215680   949307 | 2147483647    67557     59 |  0.000 % |
79.61/79.78	c |     68006 |    1435   215680   949307 | 2147483647    68006     59 |  0.000 % |
80.81/80.92	c |     68499 |    1435   215680   949307 | 2147483647    68499     59 |  0.000 % |
81.71/81.83	c |     69041 |    1435   215680   949307 | 2147483647    69041     59 |  0.000 % |
82.62/82.73	c |     69638 |    1435   215680   949307 | 2147483647    69638     59 |  0.000 % |
83.62/83.79	c |     70293 |    1435   215680   949307 | 2147483647    70293     59 |  0.000 % |
84.82/84.97	c |     71014 |    1435   215680   949307 | 2147483647    71014     59 |  0.000 % |
85.92/86.00	c |     71809 |    1435   215680   949307 | 2147483647    71809     59 |  0.000 % |
86.91/87.09	c |     72680 |    1435   215680   949307 | 2147483647    72680     60 |  0.000 % |
87.21/87.32	c |     72783 |    1435   215680   949307 | 2147483647    72783     60 |  0.000 % |
87.41/87.53	c |     72893 |    1435   215680   949307 | 2147483647    72893     60 |  0.000 % |
87.61/87.74	c |     73015 |    1435   215680   949307 | 2147483647    73015     60 |  0.000 % |
87.82/87.96	c |     73149 |    1435   215680   949307 | 2147483647    73149     60 |  0.000 % |
88.21/88.31	c |     73296 |    1435   215680   949307 | 2147483647    73296     60 |  0.000 % |
88.41/88.52	c |     73456 |    1435   215680   949307 | 2147483647    73456     60 |  0.000 % |
88.71/88.88	c |     73632 |    1435   215680   949307 | 2147483647    73632     60 |  0.000 % |
89.11/89.30	c |     73827 |    1435   215680   949307 | 2147483647    73827     60 |  0.000 % |
89.51/89.62	c |     74040 |    1435   215680   949307 | 2147483647    74040     60 |  0.000 % |
89.91/90.03	c |     74274 |    1435   215680   949307 | 2147483647    74274     60 |  0.000 % |
90.41/90.53	c |     74530 |    1435   215680   949307 | 2147483647    74530     60 |  0.000 % |
91.01/91.12	c |     74812 |    1435   215680   949307 | 2147483647    74812     60 |  0.000 % |
91.41/91.53	c |     75121 |    1435   215680   949307 | 2147483647    75121     60 |  0.000 % |
91.81/91.90	c |     75461 |    1435   215680   949307 | 2147483647    75461     60 |  0.000 % |
92.21/92.34	c |     75834 |    1435   215680   949307 | 2147483647    75834     60 |  0.000 % |
93.11/93.26	c |     76246 |    1435   215680   949307 | 2147483647    76246     60 |  0.000 % |
93.61/93.72	c |     76695 |    1435   215680   949307 | 2147483647    76695     61 |  0.000 % |
94.51/94.68	c |     77188 |    1435   215680   949307 | 2147483647    77188     61 |  0.000 % |
95.41/95.60	c |     77731 |    1435   215680   949307 | 2147483647    77731     61 |  0.000 % |
96.50/96.64	c |     78327 |    1435   215680   949307 | 2147483647    78327     61 |  0.000 % |
97.71/97.88	c |     78982 |    1435   215680   949307 | 2147483647    78982     61 |  0.000 % |
99.00/99.15	c |     79705 |    1435   215680   949307 | 2147483647    79705     61 |  0.000 % |
100.41/100.59	c |     80497 |    1435   215680   949307 | 2147483647    80497     60 |  0.000 % |
102.01/102.19	c |     81370 |    1435   215680   949307 | 2147483647    81370     60 |  0.000 % |
103.71/103.88	c |     82331 |    1435   215680   949307 | 2147483647    82331     60 |  0.000 % |
103.81/103.99	c |     82431 |    1435   215680   949307 | 2147483647    82431     60 |  0.000 % |
104.11/104.20	c |     82541 |    1435   215680   949307 | 2147483647    82541     60 |  0.000 % |
104.31/104.43	c |     82663 |    1435   215680   949307 | 2147483647    82663     60 |  0.000 % |
104.61/104.77	c |     82796 |    1435   215680   949307 | 2147483647    82796     60 |  0.000 % |
104.91/105.01	c |     82944 |    1435   215680   949307 | 2147483647    82944     60 |  0.000 % |
105.21/105.30	c |     83105 |    1435   215680   949307 | 2147483647    83105     60 |  0.000 % |
105.31/105.48	c |     83281 |    1435   215680   949307 | 2147483647    83281     60 |  0.000 % |
105.81/105.93	c |     83474 |    1435   215680   949307 | 2147483647    83474     60 |  0.000 % |
106.21/106.38	c |     83688 |    1435   215680   949307 | 2147483647    83688     60 |  0.000 % |
106.71/106.86	c |     83922 |    1435   215680   949307 | 2147483647    83922     60 |  0.000 % |
107.20/107.36	c |     84179 |    1435   215680   949307 | 2147483647    84179     60 |  0.000 % |
107.71/107.86	c |     84461 |    1435   215680   949307 | 2147483647    84461     60 |  0.000 % |
108.20/108.37	c |     84771 |    1435   215680   949307 | 2147483647    84771     60 |  0.000 % |
108.81/108.99	c |     85114 |    1435   215680   949307 | 2147483647    85114     60 |  0.000 % |
109.50/109.68	c |     85486 |    1435   215680   949307 | 2147483647    85486     59 |  0.000 % |
110.00/110.12	c |     85895 |    1435   215680   949307 | 2147483647    85895     60 |  0.000 % |
110.90/111.03	c |     86347 |    1435   215680   949307 | 2147483647    86347     60 |  0.000 % |
111.70/111.82	c |     86840 |    1435   215680   949307 | 2147483647    86840     60 |  0.000 % |
113.10/113.24	c |     87383 |    1435   215680   949307 | 2147483647    87383     60 |  0.000 % |
114.20/114.33	c |     87979 |    1435   215680   949307 | 2147483647    87979     60 |  0.000 % |
115.20/115.34	c |     88634 |    1435   215680   949307 | 2147483647    88634     60 |  0.000 % |
116.80/116.94	c |     89359 |    1435   215680   949307 | 2147483647    89359     60 |  0.000 % |
118.30/118.45	c |     90153 |    1435   215680   949307 | 2147483647    90153     60 |  0.000 % |
119.71/119.89	c |     91024 |    1435   215680   949307 | 2147483647    91024     60 |  0.000 % |
121.20/121.31	c |     91982 |    1435   215680   949307 | 2147483647    91982     60 |  0.000 % |
123.20/123.38	c |     93035 |    1435   215680   949307 | 2147483647    93035     60 |  0.000 % |
123.50/123.65	c |     93136 |    1435   215680   949307 | 2147483647    93136     60 |  0.000 % |
123.70/123.88	c |     93246 |    1435   215680   949307 | 2147483647    93246     60 |  0.000 % |
123.90/124.01	c |     93367 |    1435   215680   949307 | 2147483647    93367     60 |  0.000 % |
124.20/124.37	c |     93501 |    1435   215680   949307 | 2147483647    93501     60 |  0.000 % |
124.50/124.68	c |     93648 |    1435   215680   949307 | 2147483647    93648     60 |  0.000 % |
124.80/124.99	c |     93809 |    1435   215680   949307 | 2147483647    93809     61 |  0.000 % |
125.40/125.50	c |     93988 |    1435   215680   949307 | 2147483647    93988     61 |  0.000 % |
125.80/125.93	c |     94182 |    1435   215680   949307 | 2147483647    94182     60 |  0.000 % |
126.20/126.37	c |     94395 |    1435   215680   949307 | 2147483647    94395     60 |  0.000 % |
126.80/126.90	c |     94628 |    1435   215680   949307 | 2147483647    94628     60 |  0.000 % |
127.29/127.42	c |     94889 |    1435   215680   949307 | 2147483647    94889     60 |  0.000 % |
127.89/128.02	c |     95170 |    1435   215680   949307 | 2147483647    95170     60 |  0.000 % |
128.50/128.64	c |     95480 |    1435   215680   949307 | 2147483647    95480     60 |  0.000 % |
129.19/129.34	c |     95819 |    1435   215680   949307 | 2147483647    95819     60 |  0.000 % |
129.99/130.10	c |     96192 |    1435   215680   949307 | 2147483647    96192     60 |  0.001 % |
130.80/130.96	c |     96603 |    1435   215680   949307 | 2147483647    96603     60 |  0.000 % |
131.69/131.86	c |     97052 |    1435   215680   949307 | 2147483647    97052     60 |  0.000 % |
132.69/132.88	c |     97545 |    1435   215680   949307 | 2147483647    97545     60 |  0.000 % |
133.89/134.06	c |     98087 |    1435   215680   949307 | 2147483647    98087     60 |  0.000 % |
135.19/135.33	c |     98684 |    1435   215680   949307 | 2147483647    98684     60 |  0.000 % |
136.69/136.80	c |     99346 |    1435   215680   949307 | 2147483647    99346     60 |  0.000 % |
137.89/138.02	c |    100067 |    1435   215680   949307 | 2147483647   100067     60 |  0.000 % |
139.19/139.33	c |    100860 |    1435   215680   949307 | 2147483647   100860     60 |  0.000 % |
140.59/140.76	c |    101731 |    1435   215680   949307 | 2147483647   101731     60 |  0.000 % |
142.09/142.29	c |    102694 |    1435   215680   949307 | 2147483647   102694     60 |  0.000 % |
144.00/144.20	c |    103747 |    1435   215680   949307 | 2147483647   103747     60 |  0.000 % |
146.20/146.35	c |    104909 |    1435   215680   949307 | 2147483647   104909     60 |  0.000 % |
146.39/146.50	c |    105009 |    1435   215680   949307 | 2147483647   105009     60 |  0.000 % |
146.69/146.83	c |    105119 |    1435   215680   949307 | 2147483647   105119     60 |  0.000 % |
147.09/147.20	c |    105240 |    1435   215680   949307 | 2147483647   105240     60 |  0.000 % |
147.39/147.56	c |    105375 |    1435   215680   949307 | 2147483647   105375     60 |  0.000 % |
147.79/147.92	c |    105523 |    1435   215680   949307 | 2147483647   105523     59 |  0.000 % |
148.09/148.28	c |    105684 |    1435   215680   949307 | 2147483647   105684     60 |  0.000 % |
148.49/148.62	c |    105860 |    1435   215680   949307 | 2147483647   105860     60 |  0.000 % |
148.99/149.19	c |    106054 |    1435   215680   949307 | 2147483647   106054     60 |  0.000 % |
149.40/149.57	c |    106266 |    1435   215680   949307 | 2147483647   106266     60 |  0.000 % |
149.79/149.95	c |    106499 |    1435   215680   949307 | 2147483647   106499     60 |  0.000 % |
150.19/150.35	c |    106755 |    1435   215680   949307 | 2147483647   106755     60 |  0.000 % |
150.89/151.06	c |    107038 |    1435   215680   949307 | 2147483647   107038     60 |  0.000 % |
151.79/151.93	c |    107351 |    1435   215680   949307 | 2147483647   107351     60 |  0.000 % |
152.49/152.68	c |    107690 |    1435   215680   949307 | 2147483647   107690     60 |  0.000 % |
153.29/153.46	c |    108063 |    1435   215680   949307 | 2147483647   108063     60 |  0.000 % |
153.99/154.17	c |    108472 |    1435   215680   949307 | 2147483647   108472     60 |  0.000 % |
154.99/155.11	c |    108922 |    1435   215680   949307 | 2147483647   108922     60 |  0.000 % |
155.99/156.11	c |    109416 |    1435   215680   949307 | 2147483647   109416     60 |  0.000 % |
157.09/157.23	c |    109958 |    1435   215680   949307 | 2147483647   109958     60 |  0.000 % |
158.19/158.31	c |    110556 |    1435   215680   949307 | 2147483647   110556     60 |  0.000 % |
159.08/159.29	c |    111211 |    1435   215680   949307 | 2147483647   111211     60 |  0.000 % |
160.49/160.64	c |    111931 |    1435   215680   949307 | 2147483647   111931     60 |  0.000 % |
161.88/162.03	c |    112724 |    1435   215680   949307 | 2147483647   112724     60 |  0.000 % |
163.68/163.90	c |    113595 |    1435   215680   949307 | 2147483647   113595     60 |  0.000 % |
165.38/165.51	c |    114553 |    1435   215680   949307 | 2147483647   114553     60 |  0.000 % |
167.49/167.65	c |    115608 |    1435   215680   949307 | 2147483647   115608     61 |  0.000 % |
169.78/169.98	c |    116767 |    1435   215680   949307 | 2147483647   116767     61 |  0.000 % |
172.18/172.33	c |    118041 |    1435   215680   949307 | 2147483647   118041     61 |  0.000 % |
172.49/172.61	c |    118144 |    1435   215680   949307 | 2147483647   118144     61 |  0.000 % |
172.78/172.97	c |    118254 |    1435   215680   949307 | 2147483647   118254     61 |  0.000 % |
173.18/173.30	c |    118376 |    1435   215680   949307 | 2147483647   118376     61 |  0.000 % |
173.48/173.60	c |    118510 |    1435   215680   949307 | 2147483647   118510     61 |  0.000 % |
173.88/174.07	c |    118658 |    1435   215680   949307 | 2147483647   118658     61 |  0.000 % |
174.28/174.47	c |    118819 |    1435   215680   949307 | 2147483647   118819     61 |  0.000 % |
174.78/174.91	c |    118999 |    1435   215680   949307 | 2147483647   118999     61 |  0.000 % |
175.28/175.40	c |    119194 |    1435   215680   949307 | 2147483647   119194     61 |  0.000 % |
175.78/175.96	c |    119408 |    1435   215680   949307 | 2147483647   119408     61 |  0.000 % |
176.38/176.53	c |    119641 |    1435   215680   949307 | 2147483647   119641     61 |  0.000 % |
176.88/177.07	c |    119900 |    1435   215680   949307 | 2147483647   119900     61 |  0.000 % |
177.58/177.73	c |    120182 |    1435   215680   949307 | 2147483647   120182     61 |  0.000 % |
178.18/178.39	c |    120491 |    1435   215680   949307 | 2147483647   120491     61 |  0.000 % |
178.98/179.15	c |    120830 |    1435   215680   949307 | 2147483647   120830     61 |  0.000 % |
179.88/180.06	c |    121203 |    1435   215680   949307 | 2147483647   121203     61 |  0.000 % |
180.78/180.96	c |    121612 |    1435   215680   949307 | 2147483647   121612     61 |  0.000 % |
181.98/182.13	c |    122061 |    1435   215680   949307 | 2147483647   122061     61 |  0.000 % |
182.78/182.99	c |    122556 |    1435   215680   949307 | 2147483647   122556     61 |  0.000 % |
184.28/184.41	c |    123099 |    1435   215680   949307 | 2147483647   123099     61 |  0.000 % |
185.68/185.83	c |    123696 |    1435   215680   949307 | 2147483647   123696     61 |  0.000 % |
187.28/187.43	c |    124352 |    1435   215680   949307 | 2147483647   124352     61 |  0.000 % |
188.87/189.03	c |    125072 |    1435   215680   949307 | 2147483647   125072     61 |  0.000 % |
190.57/190.74	c |    125864 |    1435   215680   949307 | 2147483647   125864     61 |  0.000 % |
192.38/192.57	c |    126738 |    1435   215680   949307 | 2147483647   126738     61 |  0.000 % |
194.77/194.91	c |    127697 |    1435   215680   949307 | 2147483647   127697     61 |  0.000 % |
197.27/197.41	c |    128750 |    1435   215680   949307 | 2147483647   128750     61 |  0.000 % |
200.07/200.26	c |    129908 |    1435   215680   949307 | 2147483647   129908     61 |  0.000 % |
202.58/202.74	c |    131182 |    1435   215680   949307 | 2147483647   131182     61 |  0.000 % |
204.87/205.08	c |    132582 |    1435   215680   949307 | 2147483647   132582     62 |  0.000 % |
205.17/205.31	c |    132683 |    1435   215680   949307 | 2147483647   132683     62 |  0.000 % |
205.48/205.60	c |    132793 |    1435   215680   949307 | 2147483647   132793     62 |  0.000 % |
205.87/206.03	c |    132914 |    1435   215680   949307 | 2147483647   132914     62 |  0.000 % |
206.17/206.38	c |    133047 |    1435   215680   949307 | 2147483647   133047     62 |  0.000 % |
206.58/206.75	c |    133196 |    1435   215680   949307 | 2147483647   133196     62 |  0.000 % |
206.97/207.20	c |    133360 |    1435   215680   949307 | 2147483647   133360     62 |  0.000 % |
207.47/207.65	c |    133536 |    1435   215680   949307 | 2147483647   133536     62 |  0.000 % |
208.17/208.31	c |    133731 |    1435   215680   949307 | 2147483647   133731     62 |  0.000 % |
208.87/209.06	c |    133943 |    1435   215680   949307 | 2147483647   133943     62 |  0.000 % |
209.57/209.72	c |    134177 |    1435   215680   949307 | 2147483647   134177     62 |  0.000 % |
210.17/210.31	c |    134433 |    1435   215680   949307 | 2147483647   134433     62 |  0.000 % |
210.87/211.09	c |    134714 |    1435   215680   949307 | 2147483647   134714     62 |  0.000 % |
211.67/211.89	c |    135024 |    1435   215680   949307 | 2147483647   135024     62 |  0.000 % |
212.37/212.57	c |    135363 |    1435   215680   949307 | 2147483647   135363     62 |  0.000 % |
213.37/213.52	c |    135735 |    1435   215680   949307 | 2147483647   135735     62 |  0.000 % |
214.37/214.59	c |    136146 |    1435   215680   949307 | 2147483647   136146     62 |  0.000 % |
215.67/215.85	c |    136598 |    1435   215680   949307 | 2147483647   136598     62 |  0.000 % |
216.57/216.77	c |    137092 |    1435   215680   949307 | 2147483647   137092     62 |  0.000 % |
217.96/218.12	c |    137634 |    1435   215680   949307 | 2147483647   137634     62 |  0.000 % |
219.46/219.64	c |    138230 |    1435   215680   949307 | 2147483647   138230     62 |  0.000 % |
220.57/220.70	c |    138887 |    1435   215680   949307 | 2147483647   138887     62 |  0.000 % |
221.57/221.71	c |    139607 |    1435   215680   949307 | 2147483647   139607     62 |  0.000 % |
222.17/222.39	c |    140399 |    1435   215680   949307 | 2147483647   140399     62 |  0.000 % |
223.07/223.23	c |    141272 |    1435   215680   949307 | 2147483647   141272     62 |  0.000 % |
224.57/224.76	c |    142230 |    1435   215680   949307 | 2147483647   142230     62 |  0.000 % |
227.36/227.59	c |    143284 |    1435   215680   949307 | 2147483647   143284     62 |  0.000 % |
230.56/230.74	c |    144442 |    1435   215680   949307 | 2147483647   144442     62 |  0.000 % |
233.76/233.91	c |    145716 |    1435   215680   949307 | 2147483647   145716     62 |  0.000 % |
236.76/236.97	c |    147118 |    1435   215680   949307 | 2147483647   147118     62 |  0.000 % |
239.46/239.64	c |    148659 |    1435   215680   949307 | 2147483647   148659     62 |  0.000 % |
239.76/239.90	c |    148760 |    1435   215680   949307 | 2147483647   148760     62 |  0.000 % |
239.96/240.15	c |    148871 |    1435   215680   949307 | 2147483647   148871     62 |  0.000 % |
240.16/240.35	c |    148992 |    1435   215680   949307 | 2147483647   148992     62 |  0.000 % |
240.36/240.54	c |    149126 |    1435   215680   949307 | 2147483647   149126     62 |  0.000 % |
240.56/240.73	c |    149272 |    1435   215680   949307 | 2147483647   149272     62 |  0.000 % |
240.86/241.00	c |    149432 |    1435   215680   949307 | 2147483647   149432     62 |  0.000 % |
241.26/241.42	c |    149610 |    1435   215680   949307 | 2147483647   149610     62 |  0.000 % |
241.76/241.99	c |    149803 |    1435   215680   949307 | 2147483647   149803     62 |  0.000 % |
242.46/242.66	c |    150016 |    1435   215680   949307 | 2147483647   150016     62 |  0.000 % |
243.16/243.39	c |    150249 |    1435   215680   949307 | 2147483647   150249     63 |  0.000 % |
244.06/244.26	c |    150505 |    1435   215680   949307 | 2147483647   150505     63 |  0.000 % |
244.96/245.16	c |    150788 |    1435   215680   949307 | 2147483647   150788     63 |  0.000 % |
246.05/246.27	c |    151099 |    1435   215680   949307 | 2147483647   151099     63 |  0.000 % |
247.15/247.36	c |    151440 |    1435   215680   949307 | 2147483647   151440     63 |  0.000 % |
248.25/248.46	c |    151813 |    1435   215680   949307 | 2147483647   151813     63 |  0.000 % |
249.35/249.55	c |    152222 |    1435   215680   949307 | 2147483647   152222     62 |  0.000 % |
250.66/250.86	c |    152674 |    1435   215680   949307 | 2147483647   152674     62 |  0.000 % |
252.15/252.36	c |    153169 |    1435   215680   949307 | 2147483647   153169     62 |  0.000 % |
253.66/253.85	c |    153712 |    1435   215680   949307 | 2147483647   153712     62 |  0.000 % |
255.16/255.34	c |    154310 |    1435   215680   949307 | 2147483647   154310     62 |  0.000 % |
256.76/256.95	c |    154965 |    1435   215680   949307 | 2147483647   154965     62 |  0.000 % |
258.06/258.23	c |    155685 |    1435   215680   949307 | 2147483647   155685     62 |  0.000 % |
260.76/260.91	c |    156478 |    1435   215680   949307 | 2147483647   156478     62 |  0.000 % |
263.05/263.22	c |    157352 |    1435   215680   949307 | 2147483647   157352     62 |  0.000 % |
265.45/265.63	c |    158311 |    1435   215680   949307 | 2147483647   158311     62 |  0.000 % |
268.05/268.23	c |    159364 |    1435   215680   949307 | 2147483647   159364     62 |  0.000 % |
271.05/271.27	c |    160523 |    1435   215680   949307 | 2147483647   160523     62 |  0.000 % |
274.94/275.18	c |    161797 |    1435   215680   949307 | 2147483647   161797     62 |  0.000 % |
278.25/278.49	c |    163197 |    1435   215680   949307 | 2147483647   163197     62 |  0.000 % |
281.85/282.05	c |    164739 |    1435   215680   949307 | 2147483647   164739     62 |  0.000 % |
286.25/286.47	c |    166433 |    1435   215680   949307 | 2147483647   166433     62 |  0.000 % |
286.55/286.79	c |    166540 |    1435   215680   949307 | 2147483647   166540     62 |  0.000 % |
286.95/287.10	c |    166650 |    1435   215680   949307 | 2147483647   166650     62 |  0.000 % |
287.35/287.56	c |    166771 |    1435   215680   949307 | 2147483647   166771     62 |  0.000 % |
287.65/287.85	c |    166904 |    1435   215680   949307 | 2147483647   166904     62 |  0.000 % |
287.95/288.20	c |    167051 |    1435   215680   949307 | 2147483647   167051     62 |  0.000 % |
288.65/288.82	c |    167212 |    1435   215680   949307 | 2147483647   167212     62 |  0.000 % |
289.05/289.29	c |    167388 |    1435   215680   949307 | 2147483647   167388     62 |  0.000 % |
289.55/289.74	c |    167582 |    1435   215680   949307 | 2147483647   167582     62 |  0.000 % |
290.45/290.60	c |    167796 |    1435   215680   949307 | 2147483647   167796     62 |  0.000 % |
291.15/291.35	c |    168031 |    1435   215680   949307 | 2147483647   168031     62 |  0.000 % |
291.75/291.97	c |    168287 |    1435   215680   949307 | 2147483647   168287     62 |  0.000 % |
292.35/292.57	c |    168568 |    1435   215680   949307 | 2147483647   168568     62 |  0.000 % |
293.45/293.61	c |    168877 |    1435   215680   949307 | 2147483647   168877     62 |  0.000 % |
294.24/294.42	c |    169224 |    1435   215680   949307 | 2147483647   169224     62 |  0.000 % |
295.24/295.49	c |    169597 |    1435   215680   949307 | 2147483647   169597     62 |  0.000 % |
296.44/296.64	c |    170008 |    1435   215680   949307 | 2147483647   170008     62 |  0.000 % |
297.84/298.09	c |    170457 |    1435   215680   949307 | 2147483647   170457     62 |  0.000 % |
299.64/299.83	c |    170954 |    1435   215680   949307 | 2147483647   170954     62 |  0.000 % |
300.44/300.70	c |    171496 |    1435   215680   949307 | 2147483647   171496     62 |  0.000 % |
302.44/302.64	c |    172093 |    1435   215680   949307 | 2147483647   172093     62 |  0.000 % |
304.34/304.56	c |    172749 |    1435   215680   949307 | 2147483647   172749     62 |  0.000 % |
305.84/306.03	c |    173469 |    1435   215680   949307 | 2147483647   173469     62 |  0.000 % |
307.74/307.96	c |    174265 |    1435   215680   949307 | 2147483647   174265     62 |  0.000 % |
309.94/310.12	c |    175143 |    1435   215680   949307 | 2147483647   175143     62 |  0.000 % |
312.94/313.10	c |    176101 |    1435   215680   949307 | 2147483647   176101     62 |  0.000 % |
315.84/316.10	c |    177157 |    1435   215680   949307 | 2147483647   177157     62 |  0.000 % |
319.33/319.56	c |    178317 |    1435   215680   949307 | 2147483647   178317     62 |  0.000 % |
322.93/323.14	c |    179591 |    1435   215680   949307 | 2147483647   179591     62 |  0.000 % |
325.73/325.90	c |    180991 |    1435   215680   949307 | 2147483647   180991     62 |  0.000 % |
329.13/329.34	c |    182533 |    1435   215680   949307 | 2147483647   182533     62 |  0.000 % |
335.43/335.62	c |    184227 |    1435   215680   949307 | 2147483647   184227     62 |  0.000 % |
341.23/341.45	c |    186091 |    1435   215680   949307 | 2147483647   186091     62 |  0.000 % |
341.63/341.82	c |    186193 |    1435   215680   949307 | 2147483647   186193     62 |  0.000 % |
342.03/342.29	c |    186306 |    1435   215680   949307 | 2147483647   186306     62 |  0.000 % |
342.53/342.71	c |    186427 |    1435   215680   949307 | 2147483647   186427     62 |  0.000 % |
342.94/343.14	c |    186562 |    1435   215680   949307 | 2147483647   186562     62 |  0.000 % |
343.53/343.71	c |    186710 |    1435   215680   949307 | 2147483647   186710     62 |  0.000 % |
344.13/344.32	c |    186871 |    1435   215680   949307 | 2147483647   186871     62 |  0.000 % |
344.63/344.89	c |    187049 |    1435   215680   949307 | 2147483647   187049     62 |  0.000 % |
345.23/345.50	c |    187243 |    1435   215680   949307 | 2147483647   187243     62 |  0.000 % |
345.93/346.18	c |    187455 |    1435   215680   949307 | 2147483647   187455     62 |  0.000 % |
346.63/346.84	c |    187689 |    1435   215680   949307 | 2147483647   187689     62 |  0.000 % |
347.53/347.79	c |    187945 |    1435   215680   949307 | 2147483647   187945     62 |  0.000 % |
348.43/348.61	c |    188226 |    1435   215680   949307 | 2147483647   188226     62 |  0.000 % |
349.43/349.66	c |    188535 |    1435   215680   949307 | 2147483647   188535     62 |  0.000 % |
350.43/350.69	c |    188874 |    1435   215680   949307 | 2147483647   188874     62 |  0.000 % |
351.73/351.92	c |    189247 |    1435   215680   949307 | 2147483647   189247     62 |  0.000 % |
353.12/353.31	c |    189656 |    1435   215680   949307 | 2147483647   189656     62 |  0.000 % |
354.52/354.79	c |    190105 |    1435   215680   949307 | 2147483647   190105     62 |  0.000 % |
356.32/356.51	c |    190598 |    1435   215680   949307 | 2147483647   190598     62 |  0.000 % |
358.33/358.57	c |    191141 |    1435   215680   949307 | 2147483647   191141     62 |  0.000 % |
360.22/360.45	c |    191742 |    1435   215680   949307 | 2147483647   191742     62 |  0.000 % |
361.92/362.18	c |    192397 |    1435   215680   949307 | 2147483647   192397     62 |  0.000 % |
364.32/364.53	c |    193118 |    1435   215680   949307 | 2147483647   193118     62 |  0.000 % |
366.32/366.55	c |    193910 |    1435   215680   949307 | 2147483647   193910     62 |  0.000 % |
368.62/368.88	c |    194783 |    1435   215680   949307 | 2147483647   194783     62 |  0.000 % |
371.32/371.55	c |    195741 |    1435   215680   949307 | 2147483647   195741     62 |  0.000 % |
374.32/374.57	c |    196794 |    1435   215680   949307 | 2147483647   196794     62 |  0.000 % |
377.52/377.78	c |    197953 |    1435   215680   949307 | 2147483647   197953     61 |  0.000 % |
381.42/381.60	c |    199227 |    1435   215680   949307 | 2147483647   199227     61 |  0.000 % |
385.72/385.93	c |    200630 |    1435   215680   949307 | 2147483647   200630     61 |  0.000 % |
390.42/390.64	c |    202170 |    1435   215680   949307 | 2147483647   202170     61 |  0.000 % |
395.31/395.56	c |    203864 |    1435   215680   949307 | 2147483647   203864     61 |  0.000 % |
400.41/400.68	c |    205727 |    1435   215680   949307 | 2147483647   205727     61 |  0.000 % |
406.01/406.28	c |    207777 |    1435   215680   949307 | 2147483647   207777     60 |  0.000 % |
406.31/406.54	c |    207877 |    1435   215680   949307 | 2147483647   207877     60 |  0.000 % |
406.61/406.80	c |    207988 |    1435   215680   949307 | 2147483647   207988     60 |  0.000 % |
406.91/407.12	c |    208110 |    1435   215680   949307 | 2147483647   208110     60 |  0.000 % |
407.31/407.51	c |    208249 |    1435   215680   949307 | 2147483647   208249     60 |  0.000 % |
407.71/407.99	c |    208401 |    1435   215680   949307 | 2147483647   208401     60 |  0.000 % |
408.30/408.59	c |    208562 |    1435   215680   949307 | 2147483647   208562     60 |  0.000 % |
409.01/409.21	c |    208738 |    1435   215680   949307 | 2147483647   208738     60 |  0.000 % |
409.50/409.79	c |    208934 |    1435   215680   949307 | 2147483647   208934     60 |  0.000 % |
410.50/410.72	c |    209147 |    1435   215680   949307 | 2147483647   209147     60 |  0.000 % |
411.00/411.26	c |    209381 |    1435   215680   949307 | 2147483647   209381     60 |  0.000 % |
412.10/412.39	c |    209637 |    1435   215680   949307 | 2147483647   209637     60 |  0.000 % |
413.00/413.20	c |    209920 |    1435   215680   949307 | 2147483647   209920     60 |  0.000 % |
413.90/414.17	c |    210229 |    1435   215680   949307 | 2147483647   210229     60 |  0.000 % |
415.30/415.55	c |    210568 |    1435   215680   949307 | 2147483647   210568     60 |  0.000 % |
416.80/417.08	c |    210940 |    1435   215680   949307 | 2147483647   210940     60 |  0.000 % |
417.90/418.18	c |    211349 |    1435   215680   949307 | 2147483647   211349     60 |  0.000 % |
418.90/419.14	c |    211799 |    1435   215680   949307 | 2147483647   211799     60 |  0.000 % |
420.21/420.44	c |    212292 |    1435   215680   949307 | 2147483647   212292     60 |  0.000 % |
421.71/421.92	c |    212835 |    1435   215680   949307 | 2147483647   212835     60 |  0.000 % |
423.31/423.54	c |    213432 |    1435   215680   949307 | 2147483647   213432     61 |  0.000 % |
424.90/425.18	c |    214088 |    1435   215680   949307 | 2147483647   214088     61 |  0.000 % |
427.61/427.86	c |    214808 |    1435   215680   949307 | 2147483647   214808     61 |  0.000 % |
430.40/430.60	c |    215601 |    1435   215680   949307 | 2147483647   215601     61 |  0.000 % |
432.00/432.22	c |    216472 |    1435   215680   949307 | 2147483647   216472     61 |  0.000 % |
435.10/435.32	c |    217432 |    1435   215680   949307 | 2147483647   217432     61 |  0.000 % |
438.10/438.36	c |    218486 |    1435   215680   949307 | 2147483647   218486     61 |  0.000 % |
441.49/441.70	c |    219644 |    1435   215680   949307 | 2147483647   219644     61 |  0.000 % |
443.99/444.23	c |    220917 |    1435   215680   949307 | 2147483647   220917     61 |  0.000 % |
448.29/448.57	c |    222317 |    1435   215680   949307 | 2147483647   222317     61 |  0.000 % |
452.49/452.75	c |    223860 |    1435   215680   949307 | 2147483647   223860     61 |  0.000 % |
457.59/457.81	c |    225558 |    1435   215680   949307 | 2147483647   225558     61 |  0.000 % |
463.79/464.05	c |    227424 |    1435   215680   949307 | 2147483647   227424     61 |  0.000 % |
467.89/468.10	c |    229473 |    1435   215680   949307 | 2147483647   229473     61 |  0.000 % |
471.39/471.64	c |    231726 |    1435   215680   949307 | 2147483647   231726     61 |  0.000 % |
471.49/471.79	c |    231826 |    1435   215680   949307 | 2147483647   231826     61 |  0.000 % |
471.69/471.95	c |    231936 |    1435   215680   949307 | 2147483647   231936     61 |  0.000 % |
471.89/472.16	c |    232057 |    1435   215680   949307 | 2147483647   232057     61 |  0.000 % |
472.49/472.71	c |    232190 |    1435   215680   949307 | 2147483647   232190     61 |  0.000 % |
472.99/473.22	c |    232337 |    1435   215680   949307 | 2147483647   232337     61 |  0.000 % |
473.49/473.70	c |    232497 |    1435   215680   949307 | 2147483647   232497     61 |  0.000 % |
473.89/474.13	c |    232673 |    1435   215680   949307 | 2147483647   232673     61 |  0.000 % |
474.49/474.72	c |    232869 |    1435   215680   949307 | 2147483647   232869     61 |  0.000 % |
475.29/475.60	c |    233082 |    1435   215680   949307 | 2147483647   233082     61 |  0.000 % |
475.89/476.15	c |    233315 |    1435   215680   949307 | 2147483647   233315     61 |  0.000 % |
476.59/476.80	c |    233573 |    1435   215680   949307 | 2147483647   233573     61 |  0.000 % |
477.19/477.43	c |    233855 |    1435   215680   949307 | 2147483647   233855     61 |  0.000 % |
477.68/477.96	c |    234165 |    1435   215680   949307 | 2147483647   234165     61 |  0.000 % |
478.19/478.45	c |    234504 |    1435   215680   949307 | 2147483647   234504     61 |  0.000 % |
478.88/479.12	c |    234877 |    1435   215680   949307 | 2147483647   234877     61 |  0.000 % |
479.39/479.68	c |    235287 |    1435   215680   949307 | 2147483647   235287     61 |  0.000 % |
480.18/480.45	c |    235738 |    1435   215680   949307 | 2147483647   235738     61 |  0.000 % |
480.98/481.24	c |    236231 |    1435   215680   949307 | 2147483647   236231     61 |  0.000 % |
481.78/482.05	c |    236773 |    1435   215680   949307 | 2147483647   236773     61 |  0.000 % |
482.59/482.90	c |    237370 |    1435   215680   949307 | 2147483647   237370     61 |  0.000 % |
483.98/484.22	c |    238026 |    1435   215680   949307 | 2147483647   238026     61 |  0.000 % |
485.78/486.02	c |    238746 |    1435   215680   949307 | 2147483647   238746     61 |  0.000 % |
487.88/488.10	c |    239538 |    1435   215680   949307 | 2147483647   239538     61 |  0.000 % |
489.88/490.11	c |    240409 |    1435   215680   949307 | 2147483647   240409     62 |  0.000 % |
492.18/492.50	c |    241368 |    1435   215680   949307 | 2147483647   241368     62 |  0.000 % |
495.58/495.88	c |    242422 |    1435   215680   949307 | 2147483647   242422     62 |  0.000 % |
497.98/498.25	c |    243580 |    1435   215680   949307 | 2147483647   243580     62 |  0.000 % |
500.07/500.39	c |    244854 |    1435   215680   949307 | 2147483647   244854     62 |  0.000 % |
502.48/502.74	c |    246254 |    1435   215680   949307 | 2147483647   246254     62 |  0.000 % |
504.58/504.85	c |    247796 |    1435   215680   949307 | 2147483647   247796     62 |  0.000 % |
506.48/506.77	c |    249492 |    1435   215680   949307 | 2147483647   249492     62 |  0.000 % |
508.58/508.83	c |    251356 |    1435   215680   949307 | 2147483647   251356     62 |  0.000 % |
512.67/512.99	c |    253405 |    1435   215680   949307 | 2147483647   253405     62 |  0.000 % |
516.37/516.60	c |    255660 |    1435   215680   949307 | 2147483647   255660     62 |  0.000 % |
520.57/520.86	c |    258138 |    1435   215680   949307 | 2147483647   258138     62 |  0.001 % |
520.87/521.14	c |    258238 |    1435   215680   949307 | 2147483647   258238     62 |  0.000 % |
521.07/521.36	c |    258348 |    1435   215680   949307 | 2147483647   258348     62 |  0.000 % |
521.37/521.67	c |    258469 |    1435   215680   949307 | 2147483647   258469     62 |  0.000 % |
521.77/522.04	c |    258602 |    1435   215680   949307 | 2147483647   258602     62 |  0.000 % |
522.17/522.46	c |    258750 |    1435   215680   949307 | 2147483647   258750     62 |  0.000 % |
522.57/522.81	c |    258911 |    1435   215680   949307 | 2147483647   258911     62 |  0.000 % |
522.97/523.25	c |    259087 |    1435   215680   949307 | 2147483647   259087     62 |  0.000 % |
523.37/523.68	c |    259280 |    1435   215680   949307 | 2147483647   259280     62 |  0.000 % |
523.77/524.04	c |    259494 |    1435   215680   949307 | 2147483647   259494     62 |  0.000 % |
524.17/524.42	c |    259727 |    1435   215680   949307 | 2147483647   259727     62 |  0.000 % |
524.67/524.99	c |    259986 |    1435   215680   949307 | 2147483647   259986     62 |  0.000 % |
525.37/525.67	c |    260268 |    1435   215680   949307 | 2147483647   260268     62 |  0.000 % |
525.97/526.25	c |    260579 |    1435   215680   949307 | 2147483647   260579     62 |  0.000 % |
526.97/527.23	c |    260918 |    1435   215680   949307 | 2147483647   260918     62 |  0.000 % |
527.87/528.18	c |    261290 |    1435   215680   949307 | 2147483647   261290     62 |  0.000 % |
528.87/529.17	c |    261702 |    1435   215680   949307 | 2147483647   261702     62 |  0.000 % |
529.87/530.18	c |    262152 |    1435   215680   949307 | 2147483647   262152     62 |  0.000 % |
531.37/531.64	c |    262646 |    1435   215680   949307 | 2147483647   262646     62 |  0.000 % |
532.96/533.25	c |    263188 |    1435   215680   949307 | 2147483647   263188     62 |  0.000 % |
534.37/534.62	c |    263784 |    1435   215680   949307 | 2147483647   263784     62 |  0.000 % |
536.57/536.80	c |    264440 |    1435   215680   949307 | 2147483647   264440     61 |  0.000 % |
538.86/539.14	c |    265161 |    1435   215680   949307 | 2147483647   265161     61 |  0.000 % |
541.16/541.40	c |    265955 |    1435   215680   949307 | 2147483647   265955     61 |  0.000 % |
543.46/543.74	c |    266828 |    1435   215680   949307 | 2147483647   266828     61 |  0.000 % |
545.16/545.47	c |    267786 |    1435   215680   949307 | 2147483647   267786     61 |  0.000 % |
546.87/547.10	c |    268840 |    1435   215680   949307 | 2147483647   268840     61 |  0.000 % |
548.77/549.09	c |    269999 |    1435   215680   949307 | 2147483647   269999     62 |  0.000 % |
551.57/551.80	c |    271272 |    1435   215680   949307 |   270000   235100     61 |  0.000 % |
554.07/554.34	c |    272674 |    1435   215680   949307 |   270000   236502     61 |  0.000 % |
559.06/559.31	c |    274216 |    1435   215680   949307 |   270000   238044     61 |  0.000 % |
565.06/565.34	c |    275913 |    1435   215680   949307 |   270000   239741     61 |  0.000 % |
571.86/572.18	c |    277776 |    1435   215680   949307 |   270000   241604     61 |  0.000 % |
579.95/580.26	c |    279827 |    1435   215680   949307 |   270000   243655     60 |  0.000 % |
587.95/588.26	c |    282080 |    1435   215680   949307 | 2147483647   245908     60 |  0.000 % |
597.45/597.76	c |    284558 |    1435   215680   949307 | 2147483647   248386     60 |  0.000 % |
609.64/609.95	c |    287284 |    1435   215680   949307 | 2147483647   251112     61 |  0.000 % |
610.04/610.35	c |    287386 |    1435   215680   949307 | 2147483647   251214     61 |  0.000 % |
610.44/610.71	c |    287497 |    1435   215680   949307 | 2147483647   251325     61 |  0.000 % |
610.94/611.29	c |    287618 |    1435   215680   949307 | 2147483647   251446     61 |  0.000 % |
611.74/612.01	c |    287753 |    1435   215680   949307 | 2147483647   251581     61 |  0.000 % |
612.35/612.61	c |    287899 |    1435   215680   949307 | 2147483647   251727     61 |  0.000 % |
612.94/613.28	c |    288060 |    1435   215680   949307 | 2147483647   251888     61 |  0.000 % |
613.55/613.86	c |    288236 |    1435   215680   949307 | 2147483647   252064     61 |  0.000 % |
614.65/614.97	c |    288431 |    1435   215680   949307 | 2147483647   252259     61 |  0.000 % |
615.44/615.71	c |    288646 |    1435   215680   949307 | 2147483647   252474     61 |  0.000 % |
616.54/616.90	c |    288881 |    1435   215680   949307 | 2147483647   252709     61 |  0.000 % |
617.74/618.08	c |    289137 |    1435   215680   949307 | 2147483647   252965     61 |  0.000 % |
618.74/619.03	c |    289423 |    1435   215680   949307 | 2147483647   253251     61 |  0.000 % |
619.74/620.06	c |    289735 |    1435   215680   949307 | 2147483647   253563     61 |  0.000 % |
621.74/622.02	c |    290075 |    1435   215680   949307 | 2147483647   253903     61 |  0.000 % |
624.04/624.33	c |    290449 |    1435   215680   949307 | 2147483647   254277     61 |  0.000 % |
625.44/625.72	c |    290858 |    1435   215680   949307 | 2147483647   254686     61 |  0.000 % |
627.14/627.40	c |    291308 |    1435   215680   949307 | 2147483647   255136     61 |  0.000 % |
629.24/629.58	c |    291801 |    1435   215680   949307 | 2147483647   255629     61 |  0.000 % |
631.53/631.83	c |    292344 |    1435   215680   949307 | 2147483647   256172     61 |  0.000 % |
633.63/633.93	c |    292940 |    1435   215680   949307 | 2147483647   256768     61 |  0.000 % |
635.83/636.16	c |    293595 |    1435   215680   949307 | 2147483647   257423     61 |  0.000 % |
639.13/639.44	c |    294318 |    1435   215680   949307 | 2147483647   258146     61 |  0.000 % |
643.03/643.38	c |    295112 |    1435   215680   949307 | 2147483647   258940     61 |  0.000 % |
646.43/646.77	c |    295984 |    1435   215680   949307 | 2147483647   259812     61 |  0.000 % |
649.63/649.93	c |    296944 |    1435   215680   949307 | 2147483647   260772     61 |  0.000 % |
652.53/652.89	c |    297997 |    1435   215680   949307 | 2147483647   261825     60 |  0.000 % |
656.83/657.16	c |    299156 |    1435   215680   949307 | 2147483647   262984     60 |  0.000 % |
663.03/663.36	c |    300430 |    1435   215680   949307 | 2147483647   264258     60 |  0.000 % |
668.02/668.35	c |    301831 |    1435   215680   949307 | 2147483647   265659     60 |  0.000 % |
673.12/673.47	c |    303372 |    1435   215680   949307 | 2147483647   267200     60 |  0.000 % |
680.12/680.47	c |    305066 |    1435   215680   949307 | 2147483647   268894     60 |  0.000 % |
685.82/686.19	c |    306930 |    1435   215680   949307 | 2147483647   270758     60 |  0.000 % |
694.82/695.18	c |    308981 |    1435   215680   949307 | 2147483647   272809     60 |  0.000 % |
702.31/702.62	c |    311239 |    1435   215680   949307 | 2147483647   275067     60 |  0.000 % |
711.42/711.74	c |    313720 |    1435   215680   949307 | 2147483647   277548     60 |  0.000 % |
720.32/720.67	c |    316447 |    1435   215680   949307 | 2147483647   280275     60 |  0.000 % |
729.41/729.72	c |    319445 |    1435   215680   949307 | 2147483647   283273     59 |  0.000 % |
729.71/730.01	c |    319547 |    1435   215680   949307 | 2147483647   283375     59 |  0.000 % |
730.31/730.63	c |    319659 |    1435   215680   949307 | 2147483647   283487     59 |  0.000 % |
730.91/731.20	c |    319780 |    1435   215680   949307 | 2147483647   283608     59 |  0.000 % |
731.51/731.83	c |    319914 |    1435   215680   949307 | 2147483647   283742     59 |  0.000 % |
732.32/732.64	c |    320064 |    1435   215680   949307 | 2147483647   283892     59 |  0.000 % |
732.91/733.21	c |    320225 |    1435   215680   949307 | 2147483647   284053     60 |  0.000 % |
733.51/733.84	c |    320401 |    1435   215680   949307 | 2147483647   284229     60 |  0.000 % |
734.21/734.58	c |    320594 |    1435   215680   949307 | 2147483647   284422     60 |  0.000 % |
735.21/735.50	c |    320808 |    1435   215680   949307 | 2147483647   284636     60 |  0.000 % |
736.41/736.72	c |    321042 |    1435   215680   949307 | 2147483647   284870     60 |  0.000 % |
737.41/737.78	c |    321298 |    1435   215680   949307 | 2147483647   285126     60 |  0.000 % |
738.51/738.87	c |    321579 |    1435   215680   949307 | 2147483647   285407     60 |  0.000 % |
739.91/740.24	c |    321888 |    1435   215680   949307 | 2147483647   285716     60 |  0.000 % |
741.21/741.59	c |    322227 |    1435   215680   949307 | 2147483647   286055     60 |  0.000 % |
743.00/743.38	c |    322600 |    1435   215680   949307 | 2147483647   286428     60 |  0.000 % |
744.60/744.92	c |    323009 |    1435   215680   949307 | 2147483647   286837     60 |  0.000 % |
746.80/747.11	c |    323458 |    1435   215680   949307 | 2147483647   287286     60 |  0.000 % |
748.60/748.94	c |    323951 |    1435   215680   949307 | 2147483647   287779     60 |  0.000 % |
750.60/750.90	c |    324494 |    1435   215680   949307 | 2147483647   288322     60 |  0.000 % |
752.60/752.96	c |    325090 |    1435   215680   949307 | 2147483647   288918     60 |  0.000 % |
756.10/756.40	c |    325745 |    1435   215680   949307 | 2147483647   289573     60 |  0.000 % |
758.90/759.20	c |    326465 |    1435   215680   949307 | 2147483647   290293     60 |  0.000 % |
762.10/762.45	c |    327257 |    1435   215680   949307 | 2147483647   291085     60 |  0.000 % |
766.20/766.57	c |    328133 |    1435   215680   949307 | 2147483647   291961     60 |  0.000 % |
770.20/770.58	c |    329093 |    1435   215680   949307 | 2147483647   292921     60 |  0.000 % |
774.29/774.62	c |    330148 |    1435   215680   949307 | 2147483647   293976     60 |  0.000 % |
779.09/779.43	c |    331307 |    1435   215680   949307 | 2147483647   295135     60 |  0.000 % |
782.30/782.66	c |    332581 |    1435   215680   949307 | 2147483647   296409     60 |  0.000 % |
788.30/788.61	c |    333981 |    1435   215680   949307 | 2147483647   297809     60 |  0.000 % |
793.69/794.09	c |    335522 |    1435   215680   949307 | 2147483647   299350     60 |  0.000 % |
800.69/801.05	c |    337216 |    1435   215680   949307 | 2147483647   301044     60 |  0.000 % |
808.19/808.54	c |    339079 |    1435   215680   949307 | 2147483647   302907     60 |  0.000 % |
814.48/814.86	c |    341128 |    1435   215680   949307 | 2147483647   304956     60 |  0.000 % |
823.38/823.76	c |    343381 |    1435   215680   949307 | 2147483647   307209     60 |  0.000 % |
831.69/832.05	c |    345859 |    1435   215680   949307 | 2147483647   309687     60 |  0.000 % |
840.78/841.12	c |    348586 |    1435   215680   949307 | 2147483647   312414     61 |  0.000 % |
853.57/854.00	c |    351583 |    1435   215680   949307 | 2147483647   315411     61 |  0.000 % |
867.27/867.69	c |    354879 |    1435   215680   949307 | 2147483647   318707     61 |  0.000 % |
867.67/868.08	c |    354980 |    1435   215680   949307 | 2147483647   318808     61 |  0.000 % |
868.07/868.47	c |    355092 |    1435   215680   949307 | 2147483647   318920     61 |  0.000 % |
868.68/869.00	c |    355213 |    1435   215680   949307 | 2147483647   319041     61 |  0.000 % |
869.17/869.50	c |    355346 |    1435   215680   949307 | 2147483647   319174     61 |  0.000 % |
869.87/870.23	c |    355494 |    1435   215680   949307 | 2147483647   319322     61 |  0.000 % |
870.47/870.81	c |    355654 |    1435   215680   949307 | 2147483647   319482     61 |  0.000 % |
870.97/871.39	c |    355830 |    1435   215680   949307 | 2147483647   319658     61 |  0.000 % |
871.57/871.98	c |    356024 |    1435   215680   949307 | 2147483647   319852     61 |  0.000 % |
872.87/873.28	c |    356238 |    1435   215680   949307 | 2147483647   320066     61 |  0.000 % |
874.07/874.49	c |    356472 |    1435   215680   949307 | 2147483647   320300     61 |  0.000 % |
875.57/875.97	c |    356728 |    1435   215680   949307 | 2147483647   320556     61 |  0.000 % |
876.67/877.02	c |    357009 |    1435   215680   949307 | 2147483647   320837     61 |  0.000 % |
877.67/878.06	c |    357320 |    1435   215680   949307 | 2147483647   321148     61 |  0.000 % |
878.87/879.24	c |    357660 |    1435   215680   949307 | 2147483647   321488     61 |  0.000 % |
880.07/880.41	c |    358033 |    1435   215680   949307 | 2147483647   321861     61 |  0.000 % |
881.77/882.19	c |    358442 |    1435   215680   949307 | 2147483647   322270     61 |  0.000 % |
883.06/883.42	c |    358893 |    1435   215680   949307 | 2147483647   322721     61 |  0.000 % |
884.47/884.85	c |    359388 |    1435   215680   949307 | 2147483647   323216     61 |  0.000 % |
886.36/886.76	c |    359930 |    1435   215680   949307 | 2147483647   323758     61 |  0.000 % |
888.76/889.12	c |    360528 |    1435   215680   949307 | 2147483647   324356     61 |  0.000 % |
890.16/890.58	c |    361183 |    1435   215680   949307 | 2147483647   325011     61 |  0.000 % |
891.76/892.17	c |    361903 |    1435   215680   949307 | 2147483647   325731     61 |  0.000 % |
893.86/894.24	c |    362695 |    1435   215680   949307 | 2147483647   326523     61 |  0.000 % |
895.86/896.30	c |    363567 |    1435   215680   949307 | 2147483647   327395     61 |  0.000 % |
898.76/899.19	c |    364529 |    1435   215680   949307 | 2147483647   328357     61 |  0.000 % |
903.26/903.69	c |    365583 |    1435   215680   949307 | 2147483647   329411     61 |  0.000 % |
907.26/907.60	c |    366743 |    1435   215680   949307 | 2147483647   330571     61 |  0.000 % |
912.45/912.87	c |    368017 |    1435   215680   949307 | 2147483647   331845     61 |  0.000 % |
915.05/915.45	c |    369418 |    1435   215680   949307 | 2147483647   333246     61 |  0.000 % |
921.55/921.90	c |    370958 |    1435   215680   949307 | 2147483647   334786     61 |  0.000 % |
926.85/927.23	c |    372652 |    1435   215680   949307 | 2147483647   336480     61 |  0.000 % |
934.24/934.65	c |    374516 |    1435   215680   949307 | 2147483647   338344     61 |  0.000 % |
940.95/941.35	c |    376565 |    1435   215680   949307 | 2147483647   340393     61 |  0.000 % |
951.15/951.51	c |    378820 |    1435   215680   949307 | 2147483647   342648     61 |  0.000 % |
960.24/960.61	c |    381299 |    1435   215680   949307 | 2147483647   345127     61 |  0.000 % |
972.43/972.83	c |    384025 |    1435   215680   949307 | 2147483647   347853     61 |  0.000 % |
985.33/985.70	c |    387027 |    1435   215680   949307 | 2147483647   350855     61 |  0.000 % |
1000.63/1001.03	c |    390324 |    1435   215680   949307 | 2147483647   354152     62 |  0.000 % |
1015.83/1016.20	c |    393949 |    1435   215680   949307 | 2147483647   357777     62 |  0.000 % |
1016.23/1016.62	c |    394051 |    1435   215680   949307 | 2147483647   357879     62 |  0.000 % |
1017.23/1017.61	c |    394161 |    1435   215680   949307 | 2147483647   357989     62 |  0.000 % |
1017.92/1018.32	c |    394285 |    1435   215680   949307 | 2147483647   358113     62 |  0.000 % |
1018.52/1018.92	c |    394419 |    1435   215680   949307 | 2147483647   358247     62 |  0.000 % |
1019.52/1019.96	c |    394566 |    1435   215680   949307 | 2147483647   358394     62 |  0.000 % |
1020.52/1020.90	c |    394726 |    1435   215680   949307 | 2147483647   358554     62 |  0.000 % |
1021.53/1021.92	c |    394902 |    1435   215680   949307 | 2147483647   358730     62 |  0.000 % |
1022.63/1023.02	c |    395095 |    1435   215680   949307 | 2147483647   358923     62 |  0.000 % |
1023.63/1024.06	c |    395307 |    1435   215680   949307 | 2147483647   359135     62 |  0.000 % |
1024.92/1025.33	c |    395540 |    1435   215680   949307 | 2147483647   359368     62 |  0.000 % |
1026.52/1026.95	c |    395798 |    1435   215680   949307 | 2147483647   359626     62 |  0.002 % |
1027.82/1028.24	c |    396087 |    1435   215680   949307 | 2147483647   359915     62 |  0.000 % |
1029.92/1030.31	c |    396396 |    1435   215680   949307 | 2147483647   360224     62 |  0.000 % |
1031.52/1031.95	c |    396735 |    1435   215680   949307 | 2147483647   360563     62 |  0.000 % |
1033.02/1033.46	c |    397108 |    1435   215680   949307 | 2147483647   360936     62 |  0.000 % |
1034.52/1034.94	c |    397518 |    1435   215680   949307 | 2147483647   361346     62 |  0.000 % |
1037.12/1037.53	c |    397967 |    1435   215680   949307 | 2147483647   361795     62 |  0.000 % |
1039.31/1039.71	c |    398460 |    1435   215680   949307 | 2147483647   362288     62 |  0.000 % |
1041.81/1042.23	c |    399004 |    1435   215680   949307 | 2147483647   362832     62 |  0.000 % |
1044.91/1045.35	c |    399601 |    1435   215680   949307 | 2147483647   363429     62 |  0.000 % |
1047.82/1048.30	c |    400256 |    1435   215680   949307 | 2147483647   364084     62 |  0.000 % |
1051.81/1052.24	c |    400979 |    1435   215680   949307 | 2147483647   364807     62 |  0.000 % |
1053.92/1054.38	c |    401773 |    1435   215680   949307 | 2147483647   365601     62 |  0.000 % |
1060.81/1061.21	c |    402644 |    1435   215680   949307 | 2147483647   366472     62 |  0.000 % |
1066.81/1067.24	c |    403603 |    1435   215680   949307 | 2147483647   367431     62 |  0.000 % |
1072.91/1073.38	c |    404657 |    1435   215680   949307 | 2147483647   368485     62 |  0.000 % |
1077.81/1078.29	c |    405815 |    1435   215680   949307 | 2147483647   369643     62 |  0.000 % |
1083.30/1083.74	c |    407089 |    1435   215680   949307 | 2147483647   370917     62 |  0.000 % |
1090.50/1090.98	c |    408491 |    1435   215680   949307 | 2147483647   372319     62 |  0.000 % |
1097.50/1097.93	c |    410036 |    1435   215680   949307 | 2147483647   373864     62 |  0.000 % |
1105.19/1105.61	c |    411731 |    1435   215680   949307 | 2147483647   375559     62 |  0.000 % |
1113.59/1114.09	c |    413594 |    1435   215680   949307 | 2147483647   377422     62 |  0.000 % |
1120.19/1120.62	c |    415644 |    1435   215680   949307 | 2147483647   379472     62 |  0.000 % |
1128.89/1129.37	c |    417897 |    1435   215680   949307 | 2147483647   381725     62 |  0.000 % |
1135.09/1135.51	c |    420375 |    1435   215680   949307 | 2147483647   384203     62 |  0.000 % |
1145.18/1145.62	c |    423101 |    1435   215680   949307 | 2147483647   386929     62 |  0.000 % |
1152.29/1152.72	c |    426098 |    1435   215680   949307 | 2147483647   389926     62 |  0.000 % |
1159.28/1159.74	c |    429394 |    1435   215680   949307 | 2147483647   393222     62 |  0.000 % |
1175.98/1176.49	c |    433022 |    1435   215680   949307 |   393829   340791     61 |  0.000 % |
1186.57/1187.00	c |    437012 |    1435   215680   949307 |   393829   344781     61 |  0.000 % |
1186.87/1187.30	c |    437112 |    1435   215680   949307 |   393829   344881     61 |  0.000 % |
1187.27/1187.71	c |    437226 |    1435   215680   949307 |   393829   344995     61 |  0.000 % |
1187.67/1188.11	c |    437347 |    1435   215680   949307 |   393829   345116     61 |  0.000 % |
1188.07/1188.54	c |    437481 |    1435   215680   949307 |   393829   345250     61 |  0.000 % |
1188.57/1189.06	c |    437628 |    1435   215680   949307 |   393829   345397     61 |  0.000 % |
1189.07/1189.58	c |    437789 |    1435   215680   949307 |   393829   345558     61 |  0.001 % |
1189.77/1190.23	c |    437966 |    1435   215680   949307 |   393829   345735     61 |  0.000 % |
1190.37/1190.85	c |    438161 |    1435   215680   949307 |   393829   345930     61 |  0.000 % |
1191.07/1191.55	c |    438373 |    1435   215680   949307 |   393829   346142     61 |  0.000 % |
1191.97/1192.44	c |    438608 |    1435   215680   949307 |   393829   346377     61 |  0.000 % |
1192.77/1193.23	c |    438867 |    1435   215680   949307 |   393829   346636     61 |  0.000 % |
1193.47/1193.99	c |    439148 |    1435   215680   949307 |   393829   346917     61 |  0.000 % |
1194.57/1195.02	c |    439457 |    1435   215680   949307 |   393829   347226     61 |  0.000 % |
1195.57/1196.09	c |    439798 |    1435   215680   949307 |   393829   347567     61 |  0.000 % |
1196.67/1197.19	c |    440172 |    1435   215680   949307 |   347769   347941     61 |  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-1833925-1242826197/watcher-1833925-1242826197 -o /tmp/evaluation-result-1833925-1242826197/solver-1833925-1242826197 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833925-1242826197.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 4542
/proc/meminfo: memFree=1951888/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0

[startup+0.0928359 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4542
/proc/meminfo: memFree=1951888/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101835 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4542
/proc/meminfo: memFree=1951888/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301854 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4542
/proc/meminfo: memFree=1951888/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70189 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4542
/proc/meminfo: memFree=1951888/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50197 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4547
/proc/meminfo: memFree=1929152/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
[pid=4546] ppid=4542 vsize=23896 CPUtime=1.49
/proc/4546/stat : 4546 (SatELite_releas) R 4542 4542 4302 0 -1 4194304 5411 0 0 0 146 3 0 0 25 0 1 0 310653229 24469504 5397 1992294400 134512640 135223648 4294956128 18446744073709551615 134585553 0 0 4096 3 0 0 0 17 1 0 0
/proc/4546/statm: 5974 5397 76 173 0 5799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29252

[startup+3.10211 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4547
/proc/meminfo: memFree=1929024/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=0
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4542/statm: 1339 237 197 169 0 50 0
[pid=4546] ppid=4542 vsize=23896 CPUtime=3.08
/proc/4546/stat : 4546 (SatELite_releas) R 4542 4542 4302 0 -1 4194304 5411 0 0 0 305 3 0 0 25 0 1 0 310653229 24469504 5397 1992294400 134512640 135223648 4294956128 18446744073709551615 134585912 0 0 4096 3 0 0 0 17 1 0 0
/proc/4546/statm: 5974 5397 76 173 0 5799 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29252

[startup+6.30141 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1933056/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=14096 CPUtime=2.9
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 3313 0 0 0 288 2 0 0 25 0 1 0 310653568 14434304 3299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 3524 3299 77 171 0 3351 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19452

[startup+12.703 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1931008/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=15856 CPUtime=9.29
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 3768 0 0 0 927 2 0 0 25 0 1 0 310653568 16236544 3754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 3964 3754 77 171 0 3791 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21212

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1927680/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=19060 CPUtime=22.08
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 4575 0 0 0 2205 3 0 0 25 0 1 0 310653568 19517440 4561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 4765 4561 77 171 0 4592 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24416

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1920128/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=27152 CPUtime=47.66
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 6586 0 0 0 4760 6 0 0 25 0 1 0 310653568 27803648 6572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 6788 6572 77 171 0 6615 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 32508

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1910272/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=36508 CPUtime=98.84
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 8909 0 0 0 9875 9 0 0 25 0 1 0 310653568 37384192 8895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 9127 8895 77 171 0 8954 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 41864

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1901184/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=45664 CPUtime=158.81
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 11177 0 0 0 15870 11 0 0 25 0 1 0 310653568 46759936 11163 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 11416 11163 77 171 0 11243 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 51020

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1892224/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=54772 CPUtime=218.8
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 13371 0 0 0 21866 14 0 0 25 0 1 0 310653568 56086528 13357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 13693 13357 77 171 0 13520 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 60128

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1885184/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=61692 CPUtime=278.78
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 15109 0 0 0 27862 16 0 0 25 0 1 0 310653568 63172608 15095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 15423 15095 77 171 0 15250 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 67048

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1878528/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=68268 CPUtime=338.76
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 16743 0 0 0 33858 18 0 0 25 0 1 0 310653568 69906432 16729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 17067 16729 77 171 0 16894 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 73624

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1873856/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=72716 CPUtime=398.74
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 17881 0 0 0 39855 19 0 0 25 0 1 0 310653568 74461184 17867 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 18179 17867 77 171 0 18006 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 78072

[startup+462.302 s]

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

/proc/4548/statm: 23108 22677 77 171 0 22935 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 97788

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1852416/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=94320 CPUtime=638.67
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 23152 0 0 0 63844 23 0 0 25 0 1 0 310653568 96583680 23138 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 23580 23138 77 171 0 23407 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 99676

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4548
/proc/meminfo: memFree=1851712/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=94860 CPUtime=698.64
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 23281 0 0 0 69841 23 0 0 25 0 1 0 310653568 97136640 23267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 23715 23267 77 171 0 23542 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 100216

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1848192/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=98200 CPUtime=758.64
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 24106 0 0 0 75839 25 0 0 25 0 1 0 310653568 100556800 24092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 24550 24092 77 171 0 24377 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 103556

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1843200/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=103248 CPUtime=818.61
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 25365 0 0 0 81835 26 0 0 25 0 1 0 310653568 105725952 25351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 25812 25351 77 171 0 25639 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 108604

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1838016/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=109060 CPUtime=878.6
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 26653 0 0 0 87832 28 0 0 25 0 1 0 310653568 111677440 26639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 27265 26639 77 171 0 27092 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 114416

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1832384/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=114592 CPUtime=938.58
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 28036 0 0 0 93828 30 0 0 25 0 1 0 310653568 117342208 28022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 28648 28022 77 171 0 28475 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 119948

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1828224/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=118716 CPUtime=998.56
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 29063 0 0 0 99825 31 0 0 25 0 1 0 310653568 121565184 29049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 29679 29049 77 171 0 29506 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 124072

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1824128/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=122980 CPUtime=1058.54
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 30089 0 0 0 105822 32 0 0 25 0 1 0 310653568 125931520 30075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 30745 30075 77 171 0 30572 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 128336

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1820224/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=126832 CPUtime=1118.52
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 31044 0 0 0 111819 33 0 0 25 0 1 0 310653568 129875968 31030 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 31708 31030 77 171 0 31535 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 132188

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1815488/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=131376 CPUtime=1178.5
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 32187 0 0 0 117816 34 0 0 25 0 1 0 310653568 134529024 32164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 32844 32164 77 171 0 32671 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 136732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4550
/proc/meminfo: memFree=1815488/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=131376 CPUtime=1196.7
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 32188 0 0 0 119636 34 0 0 25 0 1 0 310653568 134529024 32165 1992294400 134512640 135215339 4294956240 18446744073709551615 134534288 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 32844 32165 77 171 0 32671 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 136732

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 4550
/proc/meminfo: memFree=1815488/2055920 swapFree=4180004/4192956
[pid=4542] ppid=4540 vsize=5356 CPUtime=3.37
/proc/4542/stat : 4542 (SatELiteGTI) S 4540 4542 4302 0 -1 4194304 336 5663 0 0 0 0 332 5 16 0 1 0 310653229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4542/statm: 1339 239 197 169 0 50 0
[pid=4548] ppid=4542 vsize=131376 CPUtime=1196.7
/proc/4548/stat : 4548 (minisat_static) R 4542 4542 4302 0 -1 4194304 32188 0 0 0 119636 34 0 0 25 0 1 0 310653568 134529024 32165 1992294400 134512640 135215339 4294956240 18446744073709551615 134534288 0 0 4096 3 0 0 0 17 1 0 0
/proc/4548/statm: 32844 32165 77 171 0 32671 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 136732

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4542 and gives
#  childrusage.ru_utime.tv_sec=3
#  childrusage.ru_utime.tv_usec=329493
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=59990
# CPU time returned by wait4() is 3.38948
# while last known CPU time is 1200.07
#
# 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.07
CPU user time (s): 1199.68
CPU system time (s): 0.39
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 136732

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

runsolver used 1.3228 second user time and 3.12453 second system time

The end

Launcher Data 

Begin job on node14 at 2009-05-20 15:29:57
IDJOB=1833925
IDBENCH=71074
IDSOLVER=671
FILE ID=node14/1833925-1242826197
PBS_JOBID= 9322471
Free space on /tmp= 66280 MiB

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

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

MD5SUM BENCH= 238f1788225c41f1f5779700e39b5833
RANDOM SEED=1612784062

node14.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.256
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	: 5931.00
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.256
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:       1952432 kB
Buffers:         16192 kB
Cached:          49728 kB
SwapCached:       6908 kB
Active:          34068 kB
Inactive:        40464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1952432 kB
SwapTotal:     4192956 kB
SwapFree:      4180004 kB
Dirty:            5080 kB
Writeback:           0 kB
Mapped:          13924 kB
Slab:            15000 kB
Committed_AS:  1000704 kB
PageTables:       1452 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= 66272 MiB
End job on node14 at 2009-05-20 15:50:00