Trace number 1833923

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.1 1200.71

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
MD5SUM6d69d175921d14f1c2600aaedc59f514
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 variables2940
Number of clauses300446
Sum of the clauses size896973
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24737
Number of clauses of size 3295678
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.17	c ==============================================================================
0.00/0.17	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.17	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.17	c ==============================================================================
0.00/0.17	c |         0 |  300446   896973 |   90133       0        0     nan |  0.000 % |
3.98/4.06	c |         0 |  298711  1313786 |      --       0       --      -- |     --   | -1735/416813
3.98/4.06	c ==============================================================================
3.98/4.06	c Result  :   #vars: 1877   #clauses: 298711   #literals: 1313786
3.98/4.06	c CPU time:   4.00739 s
3.98/4.06	c ==============================================================================
4.39/4.42	c This is MiniSat 2.0 beta
4.39/4.42	c WARNING: for repeatability, setting FPU to use double precision
4.39/4.42	c ============================[ Problem Statistics ]=============================
4.39/4.42	c |                                                                             |
4.39/4.42	c |  Number of variables:  1877                                                 |
4.39/4.42	c |  Number of clauses:    298711                                               |
4.41/4.58	c |  Parsing time:         0.15         s                                       |
4.41/4.59	c ============================[ Search Statistics ]==============================
4.41/4.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.41/4.59	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.41/4.59	c ===============================================================================
4.41/4.59	c |         0 |    1877   298711  1313786 |    99570        0    nan |  0.000 % |
4.41/4.77	c |       102 |    1877   298711  1313786 |    99570      102    106 |  0.000 % |
4.41/4.80	c |       203 |    1877   298711  1313786 |    99570      203     87 |  0.000 % |
4.41/4.94	c |       304 |    1877   298711  1313786 |    99570      304     84 |  0.000 % |
4.41/5.01	c |       415 |    1877   298711  1313786 |    99570      415     79 |  0.000 % |
4.41/5.14	c |       516 |    1877   298711  1313786 |    99570      516     78 |  0.000 % |
4.41/5.22	c |       627 |    1877   298711  1313786 |    99570      627     78 |  0.000 % |
4.41/5.33	c |       751 |    1877   298711  1313786 |    99570      751     80 |  0.000 % |
4.41/5.39	c |       851 |    1877   298711  1313786 |    99570      851     80 |  0.000 % |
5.38/5.48	c |       961 |    1877   298711  1313786 |    99570      961     80 |  0.000 % |
5.48/5.56	c |      1084 |    1877   298711  1313786 |    99570     1084     79 |  0.000 % |
5.58/5.67	c |      1218 |    1877   298711  1313786 |    99570     1218     79 |  0.000 % |
5.68/5.73	c |      1318 |    1877   298711  1313786 |    99570     1318     80 |  0.000 % |
5.78/5.84	c |      1428 |    1877   298711  1313786 |    99570     1428     80 |  0.000 % |
5.88/5.94	c |      1550 |    1877   298711  1313786 |    99570     1550     79 |  0.000 % |
5.98/6.07	c |      1684 |    1877   298711  1313786 |    99570     1684     80 |  0.000 % |
6.08/6.15	c |      1833 |    1877   298711  1313786 |    99570     1833     80 |  0.000 % |
6.18/6.22	c |      1933 |    1877   298711  1313786 |    99570     1933     80 |  0.000 % |
6.18/6.28	c |      2043 |    1877   298711  1313786 |    99570     2043     80 |  0.000 % |
6.38/6.41	c |      2166 |    1877   298711  1313786 |    99570     2166     81 |  0.000 % |
6.38/6.47	c |      2302 |    1877   298711  1313786 |    99570     2302     81 |  0.000 % |
6.48/6.58	c |      2449 |    1877   298711  1313786 |    99570     2449     82 |  0.000 % |
6.68/6.71	c |      2610 |    1877   298711  1313786 |    99570     2610     82 |  0.000 % |
6.78/6.82	c |      2710 |    1877   298711  1313786 |    99570     2710     82 |  0.000 % |
6.88/6.95	c |      2820 |    1877   298711  1313786 |    99570     2820     82 |  0.000 % |
6.98/7.05	c |      2943 |    1877   298711  1313786 |    99570     2943     84 |  0.000 % |
7.08/7.15	c |      3076 |    1877   298711  1313786 |    99570     3076     83 |  0.000 % |
7.18/7.27	c |      3222 |    1877   298711  1313786 |    99570     3222     84 |  0.000 % |
7.28/7.32	c |      3386 |    1877   298711  1313786 |    99570     3386     85 |  0.000 % |
7.38/7.45	c |      3562 |    1877   298711  1313786 |    99570     3562     84 |  0.000 % |
7.48/7.55	c |      3663 |    1877   298711  1313786 |    99570     3663     84 |  0.000 % |
7.58/7.66	c |      3774 |    1877   298711  1313786 |    99570     3774     84 |  0.000 % |
7.68/7.76	c |      3895 |    1877   298711  1313786 |    99570     3895     85 |  0.000 % |
7.78/7.85	c |      4029 |    1877   298711  1313786 |    99570     4029     85 |  0.000 % |
7.88/7.97	c |      4176 |    1877   298711  1313786 |    99570     4176     87 |  0.000 % |
8.08/8.16	c |      4339 |    1877   298711  1313786 |    99570     4339     86 |  0.000 % |
8.17/8.28	c |      4515 |    1877   298711  1313786 |    99570     4515     86 |  0.000 % |
8.37/8.44	c |      4710 |    1877   298711  1313786 |    99570     4710     88 |  0.000 % |
8.47/8.52	c |      4810 |    1877   298711  1313786 |    99570     4810     88 |  0.000 % |
8.57/8.65	c |      4922 |    1877   298711  1313786 |    99570     4922     88 |  0.000 % |
8.68/8.75	c |      5043 |    1877   298711  1313786 |    99570     5043     88 |  0.000 % |
8.78/8.87	c |      5176 |    1877   298711  1313786 |    99570     5176     90 |  0.000 % |
8.87/8.94	c |      5324 |    1877   298711  1313786 |    99570     5324     90 |  0.000 % |
9.07/9.11	c |      5484 |    1877   298711  1313786 |    99570     5484     90 |  0.000 % |
9.17/9.23	c |      5660 |    1877   298711  1313786 |    99570     5660     90 |  0.000 % |
9.37/9.41	c |      5853 |    1877   298711  1313786 |    99570     5853     91 |  0.000 % |
9.47/9.56	c |      6065 |    1877   298711  1313786 |    99570     6065     90 |  0.000 % |
9.57/9.68	c |      6166 |    1877   298711  1313786 |    99570     6166     91 |  0.000 % |
9.67/9.77	c |      6276 |    1877   298711  1313786 |    99570     6276     91 |  0.000 % |
9.78/9.89	c |      6397 |    1877   298711  1313786 |    99570     6397     91 |  0.000 % |
9.98/10.00	c |      6531 |    1877   298711  1313786 |    99570     6531     91 |  0.000 % |
10.08/10.10	c |      6678 |    1877   298711  1313786 |    99570     6678     91 |  0.000 % |
10.18/10.20	c |      6840 |    1877   298711  1313786 |    99570     6840     91 |  0.000 % |
10.28/10.35	c |      7016 |    1877   298711  1313786 |    99570     7016     93 |  0.000 % |
10.47/10.57	c |      7209 |    1877   298711  1313786 |    99570     7209     93 |  0.000 % |
10.67/10.76	c |      7421 |    1877   298711  1313786 |    99570     7421     94 |  0.000 % |
10.88/10.95	c |      7655 |    1877   298711  1313786 |    99570     7655     95 |  0.000 % |
10.98/11.04	c |      7758 |    1877   298711  1313786 |    99570     7758     95 |  0.000 % |
11.07/11.16	c |      7869 |    1877   298711  1313786 |    99570     7869     95 |  0.000 % |
11.17/11.26	c |      7991 |    1877   298711  1313786 |    99570     7991     96 |  0.000 % |
11.37/11.40	c |      8124 |    1877   298711  1313786 |    99570     8124     96 |  0.000 % |
11.37/11.47	c |      8270 |    1877   298711  1313786 |    99570     8270     96 |  0.000 % |
11.57/11.61	c |      8430 |    1877   298711  1313786 |    99570     8430     96 |  0.000 % |
11.67/11.79	c |      8606 |    1877   298711  1313786 |    99570     8606     96 |  0.000 % |
11.87/11.95	c |      8800 |    1877   298711  1313786 |    99570     8800     95 |  0.000 % |
12.07/12.12	c |      9016 |    1877   298711  1313786 |    99570     9016     95 |  0.000 % |
12.27/12.32	c |      9251 |    1877   298711  1313786 |    99570     9251     96 |  0.000 % |
12.47/12.54	c |      9511 |    1877   298711  1313786 |    99570     9511     96 |  0.000 % |
12.57/12.63	c |      9612 |    1877   298711  1313786 |    99570     9612     96 |  0.000 % |
12.67/12.76	c |      9722 |    1877   298711  1313786 |    99570     9722     96 |  0.000 % |
12.77/12.89	c |      9843 |    1877   298711  1313786 |    99570     9843     96 |  0.000 % |
12.97/13.05	c |      9976 |    1877   298711  1313786 |    99570     9976     96 |  0.000 % |
13.17/13.24	c |     10122 |    1877   298711  1313786 | 2147483647    10122     95 |  0.000 % |
13.37/13.44	c |     10282 |    1877   298711  1313786 | 2147483647    10282     95 |  0.000 % |
13.57/13.66	c |     10461 |    1877   298711  1313786 | 2147483647    10461     94 |  0.000 % |
13.87/13.95	c |     10657 |    1877   298711  1313786 | 2147483647    10657     93 |  0.000 % |
14.17/14.30	c |     10871 |    1877   298711  1313786 | 2147483647    10871     92 |  0.000 % |
14.57/14.67	c |     11104 |    1877   298711  1313786 | 2147483647    11104     91 |  0.000 % |
14.97/15.00	c |     11361 |    1877   298711  1313786 | 2147483647    11361     90 |  0.000 % |
15.47/15.50	c |     11642 |    1877   298711  1313786 | 2147483647    11642     89 |  0.000 % |
15.57/15.69	c |     11744 |    1877   298711  1313786 | 2147483647    11744     88 |  0.000 % |
15.77/15.85	c |     11856 |    1877   298711  1313786 | 2147483647    11856     88 |  0.000 % |
15.97/16.01	c |     11977 |    1877   298711  1313786 | 2147483647    11977     88 |  0.000 % |
16.07/16.16	c |     12110 |    1877   298711  1313786 | 2147483647    12110     88 |  0.000 % |
16.17/16.27	c |     12256 |    1877   298711  1313786 | 2147483647    12256     88 |  0.000 % |
16.37/16.40	c |     12416 |    1877   298711  1313786 | 2147483647    12416     88 |  0.000 % |
16.47/16.56	c |     12593 |    1877   298711  1313786 | 2147483647    12593     88 |  0.000 % |
16.57/16.62	c |     12788 |    1877   298711  1313786 | 2147483647    12788     88 |  0.000 % |
16.76/16.80	c |     13000 |    1877   298711  1313786 | 2147483647    13000     89 |  0.000 % |
16.76/16.89	c |     13234 |    1877   298711  1313786 | 2147483647    13234     89 |  0.000 % |
16.96/17.07	c |     13490 |    1877   298711  1313786 | 2147483647    13490     90 |  0.000 % |
17.26/17.32	c |     13771 |    1877   298711  1313786 | 2147483647    13771     91 |  0.000 % |
17.47/17.53	c |     14084 |    1877   298711  1313786 | 2147483647    14084     90 |  0.000 % |
17.57/17.60	c |     14184 |    1877   298711  1313786 | 2147483647    14184     90 |  0.000 % |
17.57/17.69	c |     14294 |    1877   298711  1313786 | 2147483647    14294     90 |  0.000 % |
17.76/17.81	c |     14416 |    1877   298711  1313786 | 2147483647    14416     90 |  0.000 % |
17.76/17.89	c |     14550 |    1877   298711  1313786 | 2147483647    14550     90 |  0.000 % |
17.96/18.02	c |     14697 |    1877   298711  1313786 | 2147483647    14697     90 |  0.000 % |
18.06/18.13	c |     14858 |    1877   298711  1313786 | 2147483647    14858     90 |  0.000 % |
18.16/18.28	c |     15035 |    1877   298711  1313786 | 2147483647    15035     91 |  0.000 % |
18.47/18.50	c |     15228 |    1877   298711  1313786 | 2147483647    15228     91 |  0.000 % |
18.57/18.68	c |     15441 |    1877   298711  1313786 | 2147483647    15441     91 |  0.000 % |
18.77/18.85	c |     15675 |    1877   298711  1313786 | 2147483647    15675     91 |  0.000 % |
18.97/19.06	c |     15931 |    1877   298711  1313786 | 2147483647    15931     91 |  0.000 % |
19.17/19.28	c |     16215 |    1877   298711  1313786 | 2147483647    16215     92 |  0.000 % |
19.37/19.49	c |     16524 |    1877   298711  1313786 | 2147483647    16524     92 |  0.000 % |
19.67/19.77	c |     16863 |    1877   298711  1313786 | 2147483647    16863     92 |  0.000 % |
19.77/19.83	c |     16963 |    1877   298711  1313786 | 2147483647    16963     92 |  0.000 % |
19.87/19.97	c |     17073 |    1877   298711  1313786 | 2147483647    17073     93 |  0.000 % |
20.07/20.10	c |     17195 |    1877   298711  1313786 | 2147483647    17195     93 |  0.000 % |
20.17/20.25	c |     17328 |    1877   298711  1313786 | 2147483647    17328     93 |  0.000 % |
20.27/20.39	c |     17474 |    1877   298711  1313786 | 2147483647    17474     92 |  0.000 % |
20.46/20.57	c |     17634 |    1877   298711  1313786 | 2147483647    17634     92 |  0.000 % |
20.66/20.76	c |     17811 |    1877   298711  1313786 | 2147483647    17811     92 |  0.000 % |
20.77/20.88	c |     18004 |    1877   298711  1313786 | 2147483647    18004     92 |  0.000 % |
20.96/21.04	c |     18217 |    1877   298711  1313786 | 2147483647    18217     92 |  0.000 % |
21.16/21.24	c |     18450 |    1877   298711  1313786 | 2147483647    18450     92 |  0.000 % |
21.46/21.50	c |     18706 |    1877   298711  1313786 | 2147483647    18706     92 |  0.000 % |
21.76/21.90	c |     18988 |    1877   298711  1313786 | 2147483647    18988     91 |  0.000 % |
22.16/22.22	c |     19297 |    1877   298711  1313786 | 2147483647    19297     90 |  0.000 % |
22.36/22.40	c |     19636 |    1877   298711  1313786 | 2147483647    19636     90 |  0.000 % |
22.66/22.78	c |     20008 |    1877   298711  1313786 | 2147483647    20008     90 |  0.000 % |
22.86/22.91	c |     20108 |    1877   298711  1313786 | 2147483647    20108     90 |  0.000 % |
22.97/23.02	c |     20219 |    1877   298711  1313786 | 2147483647    20219     90 |  0.000 % |
23.07/23.14	c |     20341 |    1877   298711  1313786 | 2147483647    20341     90 |  0.000 % |
23.16/23.26	c |     20476 |    1877   298711  1313786 | 2147483647    20476     90 |  0.000 % |
23.26/23.38	c |     20624 |    1877   298711  1313786 | 2147483647    20624     90 |  0.000 % |
23.46/23.54	c |     20784 |    1877   298711  1313786 | 2147483647    20784     91 |  0.000 % |
23.56/23.69	c |     20960 |    1877   298711  1313786 | 2147483647    20960     91 |  0.000 % |
23.76/23.86	c |     21154 |    1877   298711  1313786 | 2147483647    21154     91 |  0.000 % |
23.96/24.06	c |     21366 |    1877   298711  1313786 | 2147483647    21366     91 |  0.000 % |
24.26/24.32	c |     21599 |    1877   298711  1313786 | 2147483647    21599     91 |  0.000 % |
24.46/24.52	c |     21856 |    1877   298711  1313786 | 2147483647    21856     91 |  0.000 % |
24.77/24.82	c |     22137 |    1877   298711  1313786 | 2147483647    22137     91 |  0.000 % |
25.07/25.18	c |     22446 |    1877   298711  1313786 | 2147483647    22446     91 |  0.000 % |
25.37/25.43	c |     22786 |    1877   298711  1313786 | 2147483647    22786     92 |  0.000 % |
25.67/25.72	c |     23158 |    1877   298711  1313786 | 2147483647    23158     93 |  0.000 % |
26.07/26.15	c |     23570 |    1877   298711  1313786 | 2147483647    23570     93 |  0.000 % |
26.17/26.26	c |     23670 |    1877   298711  1313786 | 2147483647    23670     93 |  0.000 % |
26.37/26.41	c |     23780 |    1877   298711  1313786 | 2147483647    23780     94 |  0.000 % |
26.46/26.57	c |     23902 |    1877   298711  1313786 | 2147483647    23902     94 |  0.000 % |
26.66/26.71	c |     24036 |    1877   298711  1313786 | 2147483647    24036     93 |  0.000 % |
26.76/26.83	c |     24183 |    1877   298711  1313786 | 2147483647    24183     94 |  0.000 % |
26.86/26.96	c |     24343 |    1877   298711  1313786 | 2147483647    24343     94 |  0.000 % |
26.96/27.09	c |     24520 |    1877   298711  1313786 | 2147483647    24520     94 |  0.000 % |
27.26/27.31	c |     24713 |    1877   298711  1313786 | 2147483647    24713     94 |  0.000 % |
27.37/27.49	c |     24925 |    1877   298711  1313786 | 2147483647    24925     94 |  0.000 % |
27.66/27.71	c |     25158 |    1877   298711  1313786 | 2147483647    25158     94 |  0.000 % |
27.76/27.88	c |     25414 |    1877   298711  1313786 | 2147483647    25414     94 |  0.000 % |
27.96/28.07	c |     25696 |    1877   298711  1313786 | 2147483647    25696     94 |  0.000 % |
28.26/28.35	c |     26005 |    1877   298711  1313786 | 2147483647    26005     95 |  0.000 % |
28.46/28.60	c |     26344 |    1877   298711  1313786 | 2147483647    26344     95 |  0.000 % |
29.06/29.11	c |     26716 |    1877   298711  1313786 | 2147483647    26716     95 |  0.000 % |
29.36/29.44	c |     27128 |    1877   298711  1313786 | 2147483647    27128     95 |  0.000 % |
29.86/29.90	c |     27578 |    1877   298711  1313786 | 2147483647    27578     95 |  0.000 % |
30.06/30.10	c |     27679 |    1877   298711  1313786 | 2147483647    27679     95 |  0.000 % |
30.16/30.23	c |     27789 |    1877   298711  1313786 | 2147483647    27789     95 |  0.000 % |
30.36/30.44	c |     27910 |    1877   298711  1313786 | 2147483647    27910     95 |  0.000 % |
30.46/30.57	c |     28043 |    1877   298711  1313786 | 2147483647    28043     95 |  0.000 % |
30.66/30.74	c |     28189 |    1877   298711  1313786 | 2147483647    28189     95 |  0.000 % |
30.85/30.94	c |     28349 |    1877   298711  1313786 | 2147483647    28349     95 |  0.000 % |
31.05/31.15	c |     28525 |    1877   298711  1313786 | 2147483647    28525     95 |  0.000 % |
31.25/31.35	c |     28719 |    1877   298711  1313786 | 2147483647    28719     95 |  0.000 % |
31.45/31.52	c |     28932 |    1877   298711  1313786 | 2147483647    28932     95 |  0.000 % |
31.65/31.74	c |     29167 |    1877   298711  1313786 | 2147483647    29167     95 |  0.000 % |
31.86/31.96	c |     29424 |    1877   298711  1313786 | 2147483647    29424     95 |  0.000 % |
32.35/32.41	c |     29706 |    1877   298711  1313786 | 2147483647    29706     95 |  0.000 % |
32.65/32.73	c |     30016 |    1877   298711  1313786 | 2147483647    30016     95 |  0.000 % |
32.95/33.03	c |     30356 |    1877   298711  1313786 | 2147483647    30356     96 |  0.000 % |
33.65/33.72	c |     30729 |    1877   298711  1313786 | 2147483647    30729     96 |  0.000 % |
34.05/34.18	c |     31138 |    1877   298711  1313786 | 2147483647    31138     96 |  0.000 % |
34.35/34.44	c |     31593 |    1877   298711  1313786 | 2147483647    31593     96 |  0.000 % |
34.85/34.98	c |     32089 |    1877   298711  1313786 | 2147483647    32089     96 |  0.000 % |
34.95/35.08	c |     32189 |    1877   298711  1313786 | 2147483647    32189     96 |  0.000 % |
35.15/35.22	c |     32299 |    1877   298711  1313786 | 2147483647    32299     96 |  0.000 % |
35.24/35.36	c |     32424 |    1877   298711  1313786 | 2147483647    32424     96 |  0.000 % |
35.45/35.52	c |     32558 |    1877   298711  1313786 | 2147483647    32558     96 |  0.000 % |
35.65/35.74	c |     32706 |    1877   298711  1313786 | 2147483647    32706     96 |  0.000 % |
35.85/35.90	c |     32866 |    1877   298711  1313786 | 2147483647    32866     97 |  0.000 % |
36.05/36.11	c |     33045 |    1877   298711  1313786 | 2147483647    33045     97 |  0.000 % |
36.26/36.34	c |     33239 |    1877   298711  1313786 | 2147483647    33239     97 |  0.000 % |
36.45/36.52	c |     33452 |    1877   298711  1313786 | 2147483647    33452     97 |  0.000 % |
36.65/36.78	c |     33685 |    1877   298711  1313786 | 2147483647    33685     97 |  0.000 % |
36.95/37.03	c |     33942 |    1877   298711  1313786 | 2147483647    33942     97 |  0.000 % |
37.26/37.34	c |     34223 |    1877   298711  1313786 | 2147483647    34223     97 |  0.000 % |
37.55/37.69	c |     34534 |    1877   298711  1313786 | 2147483647    34534     98 |  0.000 % |
37.85/37.95	c |     34876 |    1877   298711  1313786 | 2147483647    34876     98 |  0.000 % |
38.15/38.21	c |     35250 |    1877   298711  1313786 | 2147483647    35250     98 |  0.000 % |
38.55/38.63	c |     35659 |    1877   298711  1313786 | 2147483647    35659     98 |  0.000 % |
39.05/39.17	c |     36110 |    1877   298711  1313786 | 2147483647    36110     98 |  0.000 % |
39.84/39.91	c |     36605 |    1877   298711  1313786 | 2147483647    36605     98 |  0.000 % |
40.65/40.75	c |     37150 |    1877   298711  1313786 | 2147483647    37150     98 |  0.000 % |
40.84/40.95	c |     37251 |    1877   298711  1313786 | 2147483647    37251     98 |  0.000 % |
41.04/41.14	c |     37361 |    1877   298711  1313786 | 2147483647    37361     98 |  0.000 % |
41.14/41.27	c |     37484 |    1877   298711  1313786 | 2147483647    37484     98 |  0.000 % |
41.34/41.44	c |     37618 |    1877   298711  1313786 | 2147483647    37618     98 |  0.000 % |
41.54/41.61	c |     37765 |    1877   298711  1313786 | 2147483647    37765     98 |  0.000 % |
41.85/41.90	c |     37927 |    1877   298711  1313786 | 2147483647    37927     98 |  0.000 % |
41.95/42.03	c |     38105 |    1877   298711  1313786 | 2147483647    38105     98 |  0.000 % |
42.15/42.25	c |     38300 |    1877   298711  1313786 | 2147483647    38300     98 |  0.000 % |
42.55/42.70	c |     38512 |    1877   298711  1313786 | 2147483647    38512     98 |  0.000 % |
42.85/42.95	c |     38746 |    1877   298711  1313786 | 2147483647    38746     98 |  0.000 % |
43.15/43.24	c |     39003 |    1877   298711  1313786 | 2147483647    39003     98 |  0.000 % |
43.45/43.58	c |     39285 |    1877   298711  1313786 | 2147483647    39285     98 |  0.000 % |
43.95/44.06	c |     39595 |    1877   298711  1313786 | 2147483647    39595     98 |  0.000 % |
44.55/44.67	c |     39935 |    1877   298711  1313786 | 2147483647    39935     98 |  0.000 % |
44.95/45.01	c |     40309 |    1877   298711  1313786 | 2147483647    40309     98 |  0.000 % |
45.34/45.46	c |     40720 |    1877   298711  1313786 | 2147483647    40720     98 |  0.000 % |
45.74/45.85	c |     41169 |    1877   298711  1313786 | 2147483647    41169     98 |  0.000 % |
46.24/46.36	c |     41662 |    1877   298711  1313786 | 2147483647    41662     98 |  0.000 % |
47.04/47.13	c |     42206 |    1877   298711  1313786 | 2147483647    42206     98 |  0.000 % |
47.54/47.68	c |     42804 |    1877   298711  1313786 | 2147483647    42804     99 |  0.000 % |
47.74/47.85	c |     42904 |    1877   298711  1313786 | 2147483647    42904     99 |  0.000 % |
47.94/48.00	c |     43014 |    1877   298711  1313786 | 2147483647    43014     99 |  0.000 % |
48.14/48.21	c |     43135 |    1877   298711  1313786 | 2147483647    43135     99 |  0.000 % |
48.34/48.42	c |     43268 |    1877   298711  1313786 | 2147483647    43268     99 |  0.000 % |
48.44/48.56	c |     43414 |    1877   298711  1313786 | 2147483647    43414     99 |  0.000 % |
48.64/48.75	c |     43574 |    1877   298711  1313786 | 2147483647    43574     99 |  0.000 % |
48.94/49.01	c |     43751 |    1877   298711  1313786 | 2147483647    43751     99 |  0.000 % |
49.14/49.25	c |     43945 |    1877   298711  1313786 | 2147483647    43945     99 |  0.000 % |
49.34/49.49	c |     44158 |    1877   298711  1313786 | 2147483647    44158     99 |  0.000 % |
49.64/49.78	c |     44397 |    1877   298711  1313786 | 2147483647    44397     99 |  0.000 % |
49.94/50.03	c |     44655 |    1877   298711  1313786 | 2147483647    44655     99 |  0.000 % |
50.34/50.41	c |     44938 |    1877   298711  1313786 | 2147483647    44938     99 |  0.000 % |
50.64/50.74	c |     45248 |    1877   298711  1313786 | 2147483647    45248     99 |  0.000 % |
51.04/51.18	c |     45587 |    1877   298711  1313786 | 2147483647    45587     99 |  0.000 % |
51.44/51.56	c |     45960 |    1877   298711  1313786 | 2147483647    45960     99 |  0.000 % |
51.84/51.99	c |     46369 |    1877   298711  1313786 | 2147483647    46369     99 |  0.000 % |
52.44/52.55	c |     46818 |    1877   298711  1313786 | 2147483647    46818    100 |  0.000 % |
52.94/53.05	c |     47312 |    1877   298711  1313786 | 2147483647    47312    100 |  0.000 % |
53.84/53.95	c |     47856 |    1877   298711  1313786 | 2147483647    47856    100 |  0.000 % |
54.84/55.00	c |     48454 |    1877   298711  1313786 | 2147483647    48454    100 |  0.000 % |
55.74/55.89	c |     49111 |    1877   298711  1313786 | 2147483647    49111    100 |  0.000 % |
55.94/56.10	c |     49214 |    1877   298711  1313786 | 2147483647    49214    100 |  0.000 % |
56.14/56.23	c |     49329 |    1877   298711  1313786 | 2147483647    49329    100 |  0.000 % |
56.24/56.34	c |     49450 |    1877   298711  1313786 | 2147483647    49450    100 |  0.000 % |
56.44/56.58	c |     49583 |    1877   298711  1313786 | 2147483647    49583    101 |  0.000 % |
56.73/56.82	c |     49729 |    1877   298711  1313786 | 2147483647    49729    101 |  0.000 % |
56.93/57.08	c |     49891 |    1877   298711  1313786 | 2147483647    49891    101 |  0.000 % |
57.23/57.37	c |     50069 |    1877   298711  1313786 | 2147483647    50069    101 |  0.000 % |
57.53/57.64	c |     50262 |    1877   298711  1313786 | 2147483647    50262    101 |  0.000 % |
57.93/58.06	c |     50474 |    1877   298711  1313786 | 2147483647    50474    101 |  0.000 % |
58.23/58.33	c |     50710 |    1877   298711  1313786 | 2147483647    50710    101 |  0.000 % |
58.73/58.86	c |     50967 |    1877   298711  1313786 | 2147483647    50967    101 |  0.000 % |
59.13/59.29	c |     51249 |    1877   298711  1313786 | 2147483647    51249    100 |  0.000 % |
59.33/59.47	c |     51560 |    1877   298711  1313786 | 2147483647    51560    100 |  0.000 % |
59.74/59.87	c |     51900 |    1877   298711  1313786 | 2147483647    51900    100 |  0.000 % |
60.34/60.49	c |     52272 |    1877   298711  1313786 | 2147483647    52272    100 |  0.000 % |
60.84/60.96	c |     52684 |    1877   298711  1313786 | 2147483647    52684    100 |  0.000 % |
61.54/61.60	c |     53134 |    1877   298711  1313786 | 2147483647    53134    100 |  0.000 % |
62.43/62.51	c |     53627 |    1877   298711  1313786 | 2147483647    53627    100 |  0.000 % |
63.64/63.74	c |     54173 |    1877   298711  1313786 | 2147483647    54173    100 |  0.000 % |
64.84/64.94	c |     54769 |    1877   298711  1313786 | 2147483647    54769     99 |  0.000 % |
66.43/66.59	c |     55424 |    1877   298711  1313786 | 2147483647    55424     98 |  0.000 % |
67.83/67.96	c |     56148 |    1877   298711  1313786 | 2147483647    56148     98 |  0.000 % |
68.04/68.16	c |     56250 |    1877   298711  1313786 | 2147483647    56250     97 |  0.000 % |
68.23/68.38	c |     56361 |    1877   298711  1313786 | 2147483647    56361     97 |  0.000 % |
68.53/68.61	c |     56485 |    1877   298711  1313786 | 2147483647    56485     97 |  0.000 % |
68.73/68.89	c |     56623 |    1877   298711  1313786 | 2147483647    56623     97 |  0.000 % |
68.93/69.00	c |     56769 |    1877   298711  1313786 | 2147483647    56769     97 |  0.000 % |
69.24/69.38	c |     56930 |    1877   298711  1313786 | 2147483647    56930     97 |  0.000 % |
69.43/69.51	c |     57109 |    1877   298711  1313786 | 2147483647    57109     97 |  0.000 % |
69.63/69.74	c |     57303 |    1877   298711  1313786 | 2147483647    57303     97 |  0.000 % |
69.83/69.97	c |     57516 |    1877   298711  1313786 | 2147483647    57516     97 |  0.000 % |
70.24/70.34	c |     57750 |    1877   298711  1313786 | 2147483647    57750     97 |  0.000 % |
70.63/70.70	c |     58007 |    1877   298711  1313786 | 2147483647    58007     97 |  0.000 % |
70.93/71.05	c |     58289 |    1877   298711  1313786 | 2147483647    58289     97 |  0.000 % |
71.43/71.56	c |     58598 |    1877   298711  1313786 | 2147483647    58598     97 |  0.000 % |
71.93/72.02	c |     58937 |    1877   298711  1313786 | 2147483647    58937     97 |  0.000 % |
72.23/72.37	c |     59309 |    1877   298711  1313786 | 2147483647    59309     98 |  0.000 % |
72.73/72.89	c |     59720 |    1877   298711  1313786 | 2147483647    59720     98 |  0.000 % |
73.43/73.55	c |     60169 |    1877   298711  1313786 | 2147483647    60169     98 |  0.000 % |
73.83/73.95	c |     60664 |    1877   298711  1313786 | 2147483647    60664     98 |  0.000 % |
74.43/74.54	c |     61208 |    1877   298711  1313786 | 2147483647    61208     99 |  0.000 % |
75.22/75.32	c |     61804 |    1877   298711  1313786 | 2147483647    61804     99 |  0.000 % |
76.22/76.33	c |     62459 |    1877   298711  1313786 | 2147483647    62459     99 |  0.000 % |
76.82/76.92	c |     63179 |    1877   298711  1313786 | 2147483647    63179     99 |  0.000 % |
77.82/77.96	c |     63972 |    1877   298711  1313786 | 2147483647    63972     99 |  0.000 % |
78.12/78.23	c |     64073 |    1877   298711  1313786 | 2147483647    64073     99 |  0.000 % |
78.32/78.44	c |     64186 |    1877   298711  1313786 | 2147483647    64186     99 |  0.000 % |
78.52/78.64	c |     64310 |    1877   298711  1313786 | 2147483647    64310     99 |  0.000 % |
78.72/78.85	c |     64444 |    1877   298711  1313786 | 2147483647    64444     99 |  0.000 % |
79.02/79.12	c |     64593 |    1877   298711  1313786 | 2147483647    64593     99 |  0.000 % |
79.42/79.53	c |     64753 |    1877   298711  1313786 | 2147483647    64753     99 |  0.000 % |
79.72/79.87	c |     64929 |    1877   298711  1313786 | 2147483647    64929     99 |  0.000 % |
79.92/80.01	c |     65123 |    1877   298711  1313786 | 2147483647    65123     99 |  0.000 % |
80.12/80.23	c |     65335 |    1877   298711  1313786 | 2147483647    65335     99 |  0.000 % |
80.32/80.45	c |     65570 |    1877   298711  1313786 | 2147483647    65570     99 |  0.000 % |
80.72/80.83	c |     65828 |    1877   298711  1313786 | 2147483647    65828     99 |  0.000 % |
81.11/81.21	c |     66110 |    1877   298711  1313786 | 2147483647    66110     99 |  0.000 % |
81.51/81.64	c |     66420 |    1877   298711  1313786 | 2147483647    66420     99 |  0.000 % |
82.01/82.14	c |     66760 |    1877   298711  1313786 | 2147483647    66760     99 |  0.000 % |
82.51/82.61	c |     67135 |    1877   298711  1313786 | 2147483647    67135     99 |  0.000 % |
83.52/83.65	c |     67546 |    1877   298711  1313786 | 2147483647    67546     99 |  0.000 % |
84.11/84.24	c |     67996 |    1877   298711  1313786 | 2147483647    67996     99 |  0.000 % |
84.81/84.92	c |     68489 |    1877   298711  1313786 | 2147483647    68489     99 |  0.000 % |
85.31/85.46	c |     69032 |    1877   298711  1313786 | 2147483647    69032     99 |  0.000 % |
86.12/86.22	c |     69629 |    1877   298711  1313786 | 2147483647    69629     99 |  0.000 % |
86.92/87.01	c |     70285 |    1877   298711  1313786 | 2147483647    70285     99 |  0.000 % |
87.72/87.84	c |     71006 |    1877   298711  1313786 | 2147483647    71006    100 |  0.000 % |
88.81/89.00	c |     71798 |    1877   298711  1313786 | 2147483647    71798    100 |  0.000 % |
90.61/90.72	c |     72669 |    1877   298711  1313786 | 2147483647    72669    100 |  0.000 % |
90.71/90.89	c |     72769 |    1877   298711  1313786 | 2147483647    72769    100 |  0.000 % |
91.01/91.19	c |     72879 |    1877   298711  1313786 | 2147483647    72879    100 |  0.000 % |
91.41/91.51	c |     73000 |    1877   298711  1313786 | 2147483647    73000    100 |  0.000 % |
91.81/91.94	c |     73136 |    1877   298711  1313786 | 2147483647    73136    100 |  0.000 % |
92.11/92.22	c |     73283 |    1877   298711  1313786 | 2147483647    73283    100 |  0.000 % |
92.32/92.46	c |     73445 |    1877   298711  1313786 | 2147483647    73445    100 |  0.000 % |
92.51/92.69	c |     73621 |    1877   298711  1313786 | 2147483647    73621    100 |  0.000 % |
93.01/93.10	c |     73814 |    1877   298711  1313786 | 2147483647    73814    100 |  0.000 % |
93.31/93.47	c |     74028 |    1877   298711  1313786 | 2147483647    74028    100 |  0.000 % |
93.71/93.80	c |     74262 |    1877   298711  1313786 | 2147483647    74262    100 |  0.000 % |
94.11/94.27	c |     74518 |    1877   298711  1313786 | 2147483647    74518    100 |  0.000 % |
94.62/94.75	c |     74800 |    1877   298711  1313786 | 2147483647    74800    100 |  0.000 % |
95.42/95.51	c |     75110 |    1877   298711  1313786 | 2147483647    75110    100 |  0.000 % |
95.92/96.02	c |     75450 |    1877   298711  1313786 | 2147483647    75450    100 |  0.000 % |
96.42/96.57	c |     75824 |    1877   298711  1313786 | 2147483647    75824    100 |  0.000 % |
97.11/97.28	c |     76233 |    1877   298711  1313786 | 2147483647    76233    100 |  0.000 % |
97.82/97.90	c |     76682 |    1877   298711  1313786 | 2147483647    76682    100 |  0.000 % |
98.61/98.70	c |     77176 |    1877   298711  1313786 | 2147483647    77176    100 |  0.000 % |
99.11/99.29	c |     77720 |    1877   298711  1313786 | 2147483647    77720    100 |  0.000 % |
100.31/100.48	c |     78316 |    1877   298711  1313786 | 2147483647    78316    100 |  0.000 % |
101.31/101.47	c |     78973 |    1877   298711  1313786 | 2147483647    78973    100 |  0.000 % |
102.81/102.92	c |     79694 |    1877   298711  1313786 | 2147483647    79694    100 |  0.000 % |
103.51/103.66	c |     80487 |    1877   298711  1313786 | 2147483647    80487    100 |  0.000 % |
104.91/105.09	c |     81359 |    1877   298711  1313786 | 2147483647    81359    100 |  0.000 % |
105.90/106.08	c |     82317 |    1877   298711  1313786 | 2147483647    82317    101 |  0.000 % |
106.20/106.36	c |     82417 |    1877   298711  1313786 | 2147483647    82417    101 |  0.000 % |
106.30/106.49	c |     82531 |    1877   298711  1313786 | 2147483647    82531    101 |  0.000 % |
106.70/106.81	c |     82655 |    1877   298711  1313786 | 2147483647    82655    101 |  0.000 % |
106.80/106.98	c |     82788 |    1877   298711  1313786 | 2147483647    82788    101 |  0.000 % |
107.00/107.14	c |     82934 |    1877   298711  1313786 | 2147483647    82934    101 |  0.000 % |
107.20/107.36	c |     83094 |    1877   298711  1313786 | 2147483647    83094    101 |  0.000 % |
107.62/107.72	c |     83271 |    1877   298711  1313786 | 2147483647    83271    101 |  0.000 % |
108.11/108.22	c |     83465 |    1877   298711  1313786 | 2147483647    83465    101 |  0.000 % |
108.51/108.62	c |     83677 |    1877   298711  1313786 | 2147483647    83677    101 |  0.000 % |
108.91/109.01	c |     83911 |    1877   298711  1313786 | 2147483647    83911    101 |  0.000 % |
109.21/109.32	c |     84167 |    1877   298711  1313786 | 2147483647    84167    101 |  0.000 % |
109.81/109.94	c |     84448 |    1877   298711  1313786 | 2147483647    84448    101 |  0.000 % |
110.11/110.29	c |     84758 |    1877   298711  1313786 | 2147483647    84758    101 |  0.000 % |
110.51/110.70	c |     85100 |    1877   298711  1313786 | 2147483647    85100    101 |  0.000 % |
111.21/111.35	c |     85472 |    1877   298711  1313786 | 2147483647    85472    101 |  0.000 % |
112.01/112.11	c |     85883 |    1877   298711  1313786 | 2147483647    85883    101 |  0.000 % |
112.80/112.91	c |     86332 |    1877   298711  1313786 | 2147483647    86332    101 |  0.000 % |
113.60/113.78	c |     86825 |    1877   298711  1313786 | 2147483647    86825    101 |  0.000 % |
114.50/114.62	c |     87369 |    1877   298711  1313786 | 2147483647    87369    101 |  0.000 % |
115.70/115.81	c |     87968 |    1877   298711  1313786 | 2147483647    87968    101 |  0.000 % |
116.60/116.76	c |     88625 |    1877   298711  1313786 | 2147483647    88625    101 |  0.000 % |
117.70/117.89	c |     89345 |    1877   298711  1313786 | 2147483647    89345    101 |  0.000 % |
119.00/119.14	c |     90139 |    1877   298711  1313786 | 2147483647    90139    101 |  0.000 % |
119.90/120.07	c |     91010 |    1877   298711  1313786 | 2147483647    91010    101 |  0.000 % |
122.10/122.28	c |     91969 |    1877   298711  1313786 | 2147483647    91969    101 |  0.000 % |
123.99/124.19	c |     93022 |    1877   298711  1313786 | 2147483647    93022    101 |  0.000 % |
124.30/124.40	c |     93125 |    1877   298711  1313786 | 2147483647    93125    101 |  0.000 % |
124.40/124.57	c |     93236 |    1877   298711  1313786 | 2147483647    93236    101 |  0.000 % |
124.60/124.77	c |     93357 |    1877   298711  1313786 | 2147483647    93357    101 |  0.000 % |
124.90/125.02	c |     93491 |    1877   298711  1313786 | 2147483647    93491    101 |  0.000 % |
125.21/125.34	c |     93638 |    1877   298711  1313786 | 2147483647    93638    101 |  0.000 % |
125.50/125.69	c |     93798 |    1877   298711  1313786 | 2147483647    93798    101 |  0.000 % |
125.80/125.96	c |     93974 |    1877   298711  1313786 | 2147483647    93974    101 |  0.000 % |
126.41/126.51	c |     94167 |    1877   298711  1313786 | 2147483647    94167    101 |  0.000 % |
127.00/127.19	c |     94380 |    1877   298711  1313786 | 2147483647    94380    101 |  0.000 % |
127.80/127.92	c |     94613 |    1877   298711  1313786 | 2147483647    94613    101 |  0.000 % |
128.30/128.46	c |     94871 |    1877   298711  1313786 | 2147483647    94871    101 |  0.000 % |
128.90/129.08	c |     95155 |    1877   298711  1313786 | 2147483647    95155    101 |  0.000 % |
129.30/129.42	c |     95465 |    1877   298711  1313786 | 2147483647    95465    101 |  0.000 % |
129.60/129.78	c |     95805 |    1877   298711  1313786 | 2147483647    95805    101 |  0.000 % |
130.50/130.67	c |     96180 |    1877   298711  1313786 | 2147483647    96180    101 |  0.000 % |
131.20/131.34	c |     96590 |    1877   298711  1313786 | 2147483647    96590    101 |  0.000 % |
132.29/132.49	c |     97039 |    1877   298711  1313786 | 2147483647    97039    101 |  0.000 % |
133.79/133.97	c |     97532 |    1877   298711  1313786 | 2147483647    97532    101 |  0.000 % |
134.49/134.63	c |     98075 |    1877   298711  1313786 | 2147483647    98075    101 |  0.000 % |
135.49/135.66	c |     98671 |    1877   298711  1313786 | 2147483647    98671    102 |  0.000 % |
136.80/136.97	c |     99327 |    1877   298711  1313786 | 2147483647    99327    101 |  0.000 % |
138.90/139.04	c |    100048 |    1877   298711  1313786 | 2147483647   100048    101 |  0.000 % |
139.99/140.18	c |    100843 |    1877   298711  1313786 | 2147483647   100843    101 |  0.000 % |
141.29/141.49	c |    101715 |    1877   298711  1313786 | 2147483647   101715    101 |  0.000 % |
143.39/143.54	c |    102676 |    1877   298711  1313786 | 2147483647   102676    102 |  0.000 % |
144.59/144.79	c |    103729 |    1877   298711  1313786 | 2147483647   103729    101 |  0.000 % |
146.29/146.40	c |    104887 |    1877   298711  1313786 | 2147483647   104887    101 |  0.000 % |
146.39/146.52	c |    104988 |    1877   298711  1313786 | 2147483647   104988    101 |  0.000 % |
146.58/146.77	c |    105099 |    1877   298711  1313786 | 2147483647   105099    101 |  0.000 % |
146.98/147.10	c |    105220 |    1877   298711  1313786 | 2147483647   105220    101 |  0.000 % |
147.20/147.37	c |    105353 |    1877   298711  1313786 | 2147483647   105353    101 |  0.000 % |
147.49/147.64	c |    105501 |    1877   298711  1313786 | 2147483647   105501    101 |  0.000 % |
147.79/147.99	c |    105661 |    1877   298711  1313786 | 2147483647   105661    101 |  0.000 % |
148.30/148.46	c |    105837 |    1877   298711  1313786 | 2147483647   105837    101 |  0.000 % |
148.89/149.03	c |    106031 |    1877   298711  1313786 | 2147483647   106031    101 |  0.000 % |
149.29/149.46	c |    106244 |    1877   298711  1313786 | 2147483647   106244    101 |  0.000 % |
149.79/149.97	c |    106478 |    1877   298711  1313786 | 2147483647   106478    101 |  0.000 % |
150.39/150.55	c |    106736 |    1877   298711  1313786 | 2147483647   106736    101 |  0.000 % |
150.89/151.03	c |    107017 |    1877   298711  1313786 | 2147483647   107017    101 |  0.000 % |
151.29/151.49	c |    107326 |    1877   298711  1313786 | 2147483647   107326    101 |  0.000 % |
151.89/152.03	c |    107666 |    1877   298711  1313786 | 2147483647   107666    101 |  0.000 % |
152.69/152.84	c |    108038 |    1877   298711  1313786 | 2147483647   108038    101 |  0.000 % |
153.59/153.76	c |    108447 |    1877   298711  1313786 | 2147483647   108447    101 |  0.000 % |
154.39/154.55	c |    108900 |    1877   298711  1313786 | 2147483647   108900    102 |  0.000 % |
155.49/155.63	c |    109394 |    1877   298711  1313786 | 2147483647   109394    102 |  0.000 % |
156.48/156.69	c |    109936 |    1877   298711  1313786 | 2147483647   109936    102 |  0.000 % |
158.08/158.25	c |    110532 |    1877   298711  1313786 | 2147483647   110532    102 |  0.000 % |
159.88/160.08	c |    111187 |    1877   298711  1313786 | 2147483647   111187    102 |  0.000 % |
161.98/162.19	c |    111907 |    1877   298711  1313786 | 2147483647   111907    102 |  0.000 % |
163.08/163.26	c |    112700 |    1877   298711  1313786 | 2147483647   112700    102 |  0.000 % |
164.28/164.49	c |    113572 |    1877   298711  1313786 | 2147483647   113572    102 |  0.000 % |
166.48/166.67	c |    114532 |    1877   298711  1313786 | 2147483647   114532    102 |  0.000 % |
169.37/169.54	c |    115588 |    1877   298711  1313786 | 2147483647   115588    102 |  0.000 % |
173.07/173.25	c |    116746 |    1877   298711  1313786 | 2147483647   116746    102 |  0.000 % |
175.67/175.86	c |    118021 |    1877   298711  1313786 | 2147483647   118021    102 |  0.000 % |
175.97/176.11	c |    118121 |    1877   298711  1313786 | 2147483647   118121    102 |  0.000 % |
176.27/176.47	c |    118231 |    1877   298711  1313786 | 2147483647   118231    102 |  0.000 % |
176.67/176.84	c |    118352 |    1877   298711  1313786 | 2147483647   118352    102 |  0.000 % |
176.87/177.04	c |    118485 |    1877   298711  1313786 | 2147483647   118485    102 |  0.000 % |
177.17/177.39	c |    118632 |    1877   298711  1313786 | 2147483647   118632    102 |  0.000 % |
177.47/177.65	c |    118792 |    1877   298711  1313786 | 2147483647   118792    102 |  0.000 % |
177.77/177.93	c |    118968 |    1877   298711  1313786 | 2147483647   118968    102 |  0.000 % |
178.17/178.37	c |    119161 |    1877   298711  1313786 | 2147483647   119161    102 |  0.000 % |
178.58/178.72	c |    119373 |    1877   298711  1313786 | 2147483647   119373    102 |  0.000 % |
178.98/179.15	c |    119609 |    1877   298711  1313786 | 2147483647   119609    102 |  0.000 % |
179.38/179.51	c |    119866 |    1877   298711  1313786 | 2147483647   119866    102 |  0.000 % |
179.68/179.82	c |    120148 |    1877   298711  1313786 | 2147483647   120148    102 |  0.000 % |
179.98/180.18	c |    120460 |    1877   298711  1313786 | 2147483647   120460    102 |  0.000 % |
180.68/180.86	c |    120799 |    1877   298711  1313786 | 2147483647   120799    102 |  0.000 % |
181.47/181.66	c |    121171 |    1877   298711  1313786 | 2147483647   121171    102 |  0.000 % |
182.48/182.65	c |    121581 |    1877   298711  1313786 | 2147483647   121581    102 |  0.000 % |
183.27/183.40	c |    122033 |    1877   298711  1313786 | 2147483647   122033    102 |  0.000 % |
184.37/184.58	c |    122526 |    1877   298711  1313786 | 2147483647   122526    102 |  0.000 % |
185.37/185.53	c |    123068 |    1877   298711  1313786 | 2147483647   123068    102 |  0.000 % |
186.77/186.90	c |    123665 |    1877   298711  1313786 | 2147483647   123665    102 |  0.000 % |
187.77/187.99	c |    124321 |    1877   298711  1313786 | 2147483647   124321    102 |  0.000 % |
188.87/189.08	c |    125042 |    1877   298711  1313786 | 2147483647   125042    102 |  0.000 % |
190.77/190.90	c |    125835 |    1877   298711  1313786 | 2147483647   125835    102 |  0.000 % |
192.56/192.70	c |    126707 |    1877   298711  1313786 | 2147483647   126707    103 |  0.000 % |
194.06/194.22	c |    127668 |    1877   298711  1313786 | 2147483647   127668    103 |  0.000 % |
196.36/196.52	c |    128722 |    1877   298711  1313786 | 2147483647   128722    103 |  0.000 % |
197.96/198.17	c |    129881 |    1877   298711  1313786 | 2147483647   129881    103 |  0.000 % |
201.07/201.28	c |    131154 |    1877   298711  1313786 | 2147483647   131154    103 |  0.000 % |
202.76/202.96	c |    132555 |    1877   298711  1313786 | 2147483647   132555    103 |  0.000 % |
203.06/203.21	c |    132658 |    1877   298711  1313786 | 2147483647   132658    103 |  0.000 % |
203.56/203.75	c |    132771 |    1877   298711  1313786 | 2147483647   132771    103 |  0.000 % |
204.16/204.30	c |    132898 |    1877   298711  1313786 | 2147483647   132898    103 |  0.000 % |
204.56/204.72	c |    133034 |    1877   298711  1313786 | 2147483647   133034    103 |  0.000 % |
204.96/205.17	c |    133180 |    1877   298711  1313786 | 2147483647   133180    103 |  0.000 % |
205.47/205.68	c |    133341 |    1877   298711  1313786 | 2147483647   133341    103 |  0.000 % |
206.06/206.21	c |    133520 |    1877   298711  1313786 | 2147483647   133520    103 |  0.000 % |
206.57/206.73	c |    133714 |    1877   298711  1313786 | 2147483647   133714    103 |  0.000 % |
207.56/207.75	c |    133927 |    1877   298711  1313786 | 2147483647   133927    103 |  0.000 % |
208.16/208.39	c |    134161 |    1877   298711  1313786 | 2147483647   134161    103 |  0.000 % |
208.66/208.81	c |    134417 |    1877   298711  1313786 | 2147483647   134417    103 |  0.000 % |
209.15/209.31	c |    134698 |    1877   298711  1313786 | 2147483647   134698    103 |  0.000 % |
209.75/209.98	c |    135009 |    1877   298711  1313786 | 2147483647   135009    103 |  0.000 % |
210.55/210.76	c |    135348 |    1877   298711  1313786 | 2147483647   135348    103 |  0.000 % |
211.45/211.68	c |    135722 |    1877   298711  1313786 | 2147483647   135722    103 |  0.000 % |
212.65/212.89	c |    136131 |    1877   298711  1313786 | 2147483647   136131    103 |  0.000 % |
213.95/214.13	c |    136580 |    1877   298711  1313786 | 2147483647   136580    103 |  0.000 % |
215.75/215.90	c |    137074 |    1877   298711  1313786 | 2147483647   137074    103 |  0.000 % |
217.25/217.47	c |    137617 |    1877   298711  1313786 | 2147483647   137617    103 |  0.000 % |
218.75/218.93	c |    138213 |    1877   298711  1313786 | 2147483647   138213    103 |  0.000 % |
220.15/220.32	c |    138870 |    1877   298711  1313786 | 2147483647   138870    103 |  0.000 % |
221.55/221.74	c |    139591 |    1877   298711  1313786 | 2147483647   139591    103 |  0.000 % |
223.66/223.82	c |    140385 |    1877   298711  1313786 | 2147483647   140385    103 |  0.000 % |
226.15/226.37	c |    141257 |    1877   298711  1313786 | 2147483647   141257    103 |  0.000 % |
228.45/228.61	c |    142215 |    1877   298711  1313786 | 2147483647   142215    103 |  0.000 % |
230.65/230.80	c |    143269 |    1877   298711  1313786 | 2147483647   143269    103 |  0.000 % |
233.95/234.19	c |    144427 |    1877   298711  1313786 | 2147483647   144427    102 |  0.000 % |
237.85/238.06	c |    145700 |    1877   298711  1313786 | 2147483647   145700    102 |  0.000 % |
242.24/242.46	c |    147101 |    1877   298711  1313786 | 2147483647   147101    102 |  0.000 % |
247.34/247.58	c |    148642 |    1877   298711  1313786 | 2147483647   148642    101 |  0.000 % |
247.74/247.98	c |    148744 |    1877   298711  1313786 | 2147483647   148744    101 |  0.000 % |
248.14/248.31	c |    148854 |    1877   298711  1313786 | 2147483647   148854    101 |  0.000 % |
248.55/248.71	c |    148975 |    1877   298711  1313786 | 2147483647   148975    101 |  0.000 % |
248.95/249.12	c |    149108 |    1877   298711  1313786 | 2147483647   149108    101 |  0.000 % |
249.35/249.58	c |    149254 |    1877   298711  1313786 | 2147483647   149254    101 |  0.000 % |
249.55/249.79	c |    149415 |    1877   298711  1313786 | 2147483647   149415    101 |  0.000 % |
249.95/250.15	c |    149593 |    1877   298711  1313786 | 2147483647   149593    101 |  0.000 % |
250.45/250.60	c |    149786 |    1877   298711  1313786 | 2147483647   149786    101 |  0.000 % |
251.05/251.21	c |    150000 |    1877   298711  1313786 | 2147483647   150000    101 |  0.000 % |
251.65/251.86	c |    150233 |    1877   298711  1313786 | 2147483647   150233    101 |  0.000 % |
252.45/252.67	c |    150491 |    1877   298711  1313786 | 2147483647   150491    101 |  0.000 % |
253.24/253.49	c |    150772 |    1877   298711  1313786 | 2147483647   150772    101 |  0.000 % |
254.14/254.32	c |    151081 |    1877   298711  1313786 | 2147483647   151081    101 |  0.000 % |
255.04/255.23	c |    151423 |    1877   298711  1313786 | 2147483647   151423    101 |  0.000 % |
256.04/256.26	c |    151795 |    1877   298711  1313786 | 2147483647   151795    101 |  0.000 % |
257.73/257.97	c |    152204 |    1877   298711  1313786 | 2147483647   152204    101 |  0.000 % |
258.43/258.69	c |    152653 |    1877   298711  1313786 | 2147483647   152653    101 |  0.000 % |
259.63/259.80	c |    153146 |    1877   298711  1313786 | 2147483647   153146    101 |  0.000 % |
261.03/261.21	c |    153690 |    1877   298711  1313786 | 2147483647   153690    101 |  0.000 % |
261.93/262.17	c |    154286 |    1877   298711  1313786 | 2147483647   154286    101 |  0.000 % |
263.23/263.49	c |    154941 |    1877   298711  1313786 | 2147483647   154941    101 |  0.000 % |
265.03/265.21	c |    155661 |    1877   298711  1313786 | 2147483647   155661    101 |  0.000 % |
266.13/266.36	c |    156453 |    1877   298711  1313786 | 2147483647   156453    101 |  0.000 % |
267.73/267.95	c |    157324 |    1877   298711  1313786 | 2147483647   157324    101 |  0.000 % |
269.73/269.97	c |    158283 |    1877   298711  1313786 | 2147483647   158283    101 |  0.000 % |
271.53/271.70	c |    159336 |    1877   298711  1313786 | 2147483647   159336    101 |  0.000 % |
274.03/274.20	c |    160495 |    1877   298711  1313786 | 2147483647   160495    101 |  0.000 % |
277.03/277.29	c |    161768 |    1877   298711  1313786 | 2147483647   161768    101 |  0.000 % |
280.12/280.38	c |    163169 |    1877   298711  1313786 | 2147483647   163169    101 |  0.000 % |
283.42/283.65	c |    164709 |    1877   298711  1313786 | 2147483647   164709    101 |  0.000 % |
288.23/288.40	c |    166404 |    1877   298711  1313786 | 2147483647   166404    101 |  0.000 % |
288.53/288.70	c |    166506 |    1877   298711  1313786 | 2147483647   166506    101 |  0.000 % |
288.93/289.13	c |    166616 |    1877   298711  1313786 | 2147483647   166616    101 |  0.000 % |
289.13/289.36	c |    166737 |    1877   298711  1313786 | 2147483647   166737    101 |  0.000 % |
289.62/289.82	c |    166870 |    1877   298711  1313786 | 2147483647   166870    101 |  0.000 % |
290.33/290.53	c |    167016 |    1877   298711  1313786 | 2147483647   167016    101 |  0.000 % |
290.83/291.03	c |    167180 |    1877   298711  1313786 | 2147483647   167180    101 |  0.000 % |
291.23/291.41	c |    167357 |    1877   298711  1313786 | 2147483647   167357    101 |  0.000 % |
291.62/291.84	c |    167552 |    1877   298711  1313786 | 2147483647   167552    101 |  0.000 % |
292.52/292.78	c |    167767 |    1877   298711  1313786 | 2147483647   167767    101 |  0.000 % |
293.22/293.42	c |    168002 |    1877   298711  1313786 | 2147483647   168002    101 |  0.000 % |
294.12/294.34	c |    168258 |    1877   298711  1313786 | 2147483647   168258    101 |  0.000 % |
294.82/295.05	c |    168539 |    1877   298711  1313786 | 2147483647   168539    101 |  0.000 % |
295.92/296.14	c |    168848 |    1877   298711  1313786 | 2147483647   168848    101 |  0.000 % |
296.82/297.06	c |    169187 |    1877   298711  1313786 | 2147483647   169187    101 |  0.000 % |
297.82/298.08	c |    169562 |    1877   298711  1313786 | 2147483647   169562    101 |  0.000 % |
298.62/298.81	c |    169972 |    1877   298711  1313786 | 2147483647   169972    101 |  0.000 % |
299.91/300.12	c |    170422 |    1877   298711  1313786 | 2147483647   170422    101 |  0.000 % |
301.71/301.97	c |    170916 |    1877   298711  1313786 | 2147483647   170916    101 |  0.000 % |
302.61/302.86	c |    171460 |    1877   298711  1313786 | 2147483647   171460    101 |  0.000 % |
304.11/304.38	c |    172056 |    1877   298711  1313786 | 2147483647   172056    101 |  0.000 % |
305.31/305.58	c |    172712 |    1877   298711  1313786 | 2147483647   172712    101 |  0.000 % |
307.12/307.33	c |    173437 |    1877   298711  1313786 | 2147483647   173437    101 |  0.000 % |
309.11/309.31	c |    174229 |    1877   298711  1313786 | 2147483647   174229    101 |  0.000 % |
310.61/310.86	c |    175101 |    1877   298711  1313786 | 2147483647   175101    101 |  0.000 % |
311.71/311.94	c |    176059 |    1877   298711  1313786 | 2147483647   176059    101 |  0.000 % |
314.51/314.70	c |    177114 |    1877   298711  1313786 | 2147483647   177114    101 |  0.000 % |
316.71/316.97	c |    178272 |    1877   298711  1313786 | 2147483647   178272    101 |  0.000 % |
318.60/318.83	c |    179546 |    1877   298711  1313786 | 2147483647   179546    101 |  0.000 % |
323.11/323.31	c |    180946 |    1877   298711  1313786 | 2147483647   180946    101 |  0.000 % |
325.01/325.27	c |    182486 |    1877   298711  1313786 | 2147483647   182486    101 |  0.000 % |
330.61/330.82	c |    184182 |    1877   298711  1313786 | 2147483647   184182    100 |  0.000 % |
335.90/336.18	c |    186048 |    1877   298711  1313786 | 2147483647   186048    100 |  0.000 % |
336.31/336.56	c |    186149 |    1877   298711  1313786 | 2147483647   186149    100 |  0.000 % |
336.80/337.07	c |    186264 |    1877   298711  1313786 | 2147483647   186264    100 |  0.000 % |
337.10/337.33	c |    186385 |    1877   298711  1313786 | 2147483647   186385    100 |  0.000 % |
337.51/337.76	c |    186518 |    1877   298711  1313786 | 2147483647   186518    100 |  0.000 % |
338.00/338.20	c |    186665 |    1877   298711  1313786 | 2147483647   186665    100 |  0.000 % |
338.30/338.58	c |    186826 |    1877   298711  1313786 | 2147483647   186826    100 |  0.000 % |
339.30/339.53	c |    187004 |    1877   298711  1313786 | 2147483647   187004    100 |  0.000 % |
340.00/340.24	c |    187198 |    1877   298711  1313786 | 2147483647   187198    100 |  0.000 % |
340.60/340.82	c |    187410 |    1877   298711  1313786 | 2147483647   187410    100 |  0.000 % |
341.20/341.44	c |    187643 |    1877   298711  1313786 | 2147483647   187643    100 |  0.000 % |
342.00/342.27	c |    187901 |    1877   298711  1313786 | 2147483647   187901    100 |  0.000 % |
342.60/342.82	c |    188184 |    1877   298711  1313786 | 2147483647   188184    100 |  0.000 % |
343.10/343.39	c |    188493 |    1877   298711  1313786 | 2147483647   188493    100 |  0.000 % |
343.90/344.11	c |    188832 |    1877   298711  1313786 | 2147483647   188832    100 |  0.000 % |
344.79/345.08	c |    189204 |    1877   298711  1313786 | 2147483647   189204    100 |  0.000 % |
345.69/345.98	c |    189613 |    1877   298711  1313786 | 2147483647   189613    100 |  0.000 % |
346.79/347.03	c |    190062 |    1877   298711  1313786 | 2147483647   190062    100 |  0.000 % |
348.29/348.50	c |    190559 |    1877   298711  1313786 | 2147483647   190559    100 |  0.000 % |
349.60/349.88	c |    191101 |    1877   298711  1313786 | 2147483647   191101    100 |  0.000 % |
351.09/351.30	c |    191699 |    1877   298711  1313786 | 2147483647   191699    100 |  0.000 % |
352.99/353.29	c |    192359 |    1877   298711  1313786 | 2147483647   192359    100 |  0.000 % |
355.79/356.01	c |    193084 |    1877   298711  1313786 | 2147483647   193084    100 |  0.000 % |
357.19/357.40	c |    193877 |    1877   298711  1313786 | 2147483647   193877    100 |  0.000 % |
359.09/359.38	c |    194748 |    1877   298711  1313786 | 2147483647   194748    100 |  0.000 % |
362.69/362.96	c |    195706 |    1877   298711  1313786 | 2147483647   195706    100 |  0.000 % |
366.09/366.39	c |    196761 |    1877   298711  1313786 | 2147483647   196761    100 |  0.000 % |
368.39/368.66	c |    197922 |    1877   298711  1313786 | 2147483647   197922    100 |  0.000 % |
372.38/372.62	c |    199196 |    1877   298711  1313786 | 2147483647   199196    100 |  0.000 % |
376.08/376.37	c |    200597 |    1877   298711  1313786 | 2147483647   200597    100 |  0.000 % |
381.08/381.30	c |    202137 |    1877   298711  1313786 | 2147483647   202137    101 |  0.000 % |
386.18/386.45	c |    203832 |    1877   298711  1313786 | 2147483647   203832    101 |  0.000 % |
390.47/390.73	c |    205696 |    1877   298711  1313786 | 2147483647   205696    101 |  0.000 % |
396.37/396.62	c |    207745 |    1877   298711  1313786 | 2147483647   207745    101 |  0.000 % |
396.47/396.78	c |    207845 |    1877   298711  1313786 | 2147483647   207845    101 |  0.000 % |
396.67/396.97	c |    207956 |    1877   298711  1313786 | 2147483647   207956    101 |  0.000 % |
396.98/397.23	c |    208079 |    1877   298711  1313786 | 2147483647   208079    101 |  0.000 % |
397.28/397.59	c |    208212 |    1877   298711  1313786 | 2147483647   208212    101 |  0.000 % |
397.88/398.17	c |    208359 |    1877   298711  1313786 | 2147483647   208359    101 |  0.000 % |
398.38/398.64	c |    208521 |    1877   298711  1313786 | 2147483647   208521    101 |  0.000 % |
398.78/399.09	c |    208697 |    1877   298711  1313786 | 2147483647   208697    101 |  0.000 % |
399.37/399.61	c |    208892 |    1877   298711  1313786 | 2147483647   208892    101 |  0.000 % |
400.18/400.44	c |    209108 |    1877   298711  1313786 | 2147483647   209108    101 |  0.000 % |
400.77/401.04	c |    209341 |    1877   298711  1313786 | 2147483647   209341    101 |  0.000 % |
401.77/402.06	c |    209598 |    1877   298711  1313786 | 2147483647   209598    101 |  0.000 % |
402.67/402.93	c |    209879 |    1877   298711  1313786 | 2147483647   209879    101 |  0.000 % |
403.38/403.62	c |    210188 |    1877   298711  1313786 | 2147483647   210188    101 |  0.000 % |
404.48/404.73	c |    210529 |    1877   298711  1313786 | 2147483647   210529    101 |  0.000 % |
405.47/405.75	c |    210901 |    1877   298711  1313786 | 2147483647   210901    101 |  0.000 % |
406.57/406.81	c |    211310 |    1877   298711  1313786 | 2147483647   211310    101 |  0.000 % |
407.87/408.16	c |    211760 |    1877   298711  1313786 | 2147483647   211760    101 |  0.000 % |
409.06/409.32	c |    212254 |    1877   298711  1313786 | 2147483647   212254    101 |  0.000 % |
410.56/410.81	c |    212796 |    1877   298711  1313786 | 2147483647   212796    101 |  0.000 % |
412.66/412.93	c |    213392 |    1877   298711  1313786 | 2147483647   213392    101 |  0.000 % |
414.66/414.91	c |    214047 |    1877   298711  1313786 | 2147483647   214047    101 |  0.000 % |
417.56/417.90	c |    214767 |    1877   298711  1313786 | 2147483647   214767    101 |  0.000 % |
421.46/421.76	c |    215560 |    1877   298711  1313786 | 2147483647   215560    101 |  0.000 % |
425.26/425.53	c |    216431 |    1877   298711  1313786 | 2147483647   216431    101 |  0.000 % |
427.76/428.02	c |    217390 |    1877   298711  1313786 | 2147483647   217390    101 |  0.000 % |
430.46/430.79	c |    218443 |    1877   298711  1313786 | 2147483647   218443    102 |  0.000 % |
433.55/433.81	c |    219601 |    1877   298711  1313786 | 2147483647   219601    102 |  0.000 % |
436.56/436.82	c |    220874 |    1877   298711  1313786 | 2147483647   220874    102 |  0.000 % |
439.55/439.87	c |    222274 |    1877   298711  1313786 | 2147483647   222274    102 |  0.000 % |
444.35/444.64	c |    223814 |    1877   298711  1313786 | 2147483647   223814    102 |  0.000 % |
450.55/450.87	c |    225509 |    1877   298711  1313786 | 2147483647   225509    101 |  0.000 % |
457.04/457.34	c |    227373 |    1877   298711  1313786 | 2147483647   227373    101 |  0.000 % |
461.15/461.47	c |    229423 |    1877   298711  1313786 | 2147483647   229423    101 |  0.000 % |
466.35/466.69	c |    231676 |    1877   298711  1313786 | 2147483647   231676    102 |  0.000 % |
466.55/466.88	c |    231777 |    1877   298711  1313786 | 2147483647   231777    102 |  0.000 % |
467.05/467.36	c |    231887 |    1877   298711  1313786 | 2147483647   231887    102 |  0.000 % |
467.65/467.92	c |    232008 |    1877   298711  1313786 | 2147483647   232008    102 |  0.000 % |
468.14/468.49	c |    232143 |    1877   298711  1313786 | 2147483647   232143    102 |  0.000 % |
468.74/469.00	c |    232291 |    1877   298711  1313786 | 2147483647   232291    102 |  0.000 % |
469.14/469.40	c |    232451 |    1877   298711  1313786 | 2147483647   232451    102 |  0.000 % |
469.54/469.83	c |    232629 |    1877   298711  1313786 | 2147483647   232629    102 |  0.000 % |
470.34/470.66	c |    232822 |    1877   298711  1313786 | 2147483647   232822    102 |  0.000 % |
471.04/471.34	c |    233035 |    1877   298711  1313786 | 2147483647   233035    102 |  0.000 % |
471.74/472.03	c |    233268 |    1877   298711  1313786 | 2147483647   233268    102 |  0.000 % |
472.84/473.11	c |    233524 |    1877   298711  1313786 | 2147483647   233524    102 |  0.000 % |
473.84/474.12	c |    233805 |    1877   298711  1313786 | 2147483647   233805    102 |  0.000 % |
474.64/474.98	c |    234114 |    1877   298711  1313786 | 2147483647   234114    102 |  0.000 % |
475.43/475.71	c |    234453 |    1877   298711  1313786 | 2147483647   234453    102 |  0.000 % |
477.04/477.31	c |    234825 |    1877   298711  1313786 | 2147483647   234825    102 |  0.000 % |
478.24/478.55	c |    235235 |    1877   298711  1313786 | 2147483647   235235    102 |  0.000 % |
479.53/479.90	c |    235686 |    1877   298711  1313786 | 2147483647   235686    102 |  0.000 % |
480.93/481.22	c |    236179 |    1877   298711  1313786 | 2147483647   236179    102 |  0.000 % |
482.64/482.94	c |    236721 |    1877   298711  1313786 | 2147483647   236721    102 |  0.001 % |
484.03/484.32	c |    237318 |    1877   298711  1313786 | 2147483647   237318    102 |  0.000 % |
485.13/485.44	c |    237974 |    1877   298711  1313786 | 2147483647   237974    102 |  0.000 % |
488.83/489.10	c |    238694 |    1877   298711  1313786 | 2147483647   238694    102 |  0.000 % |
490.93/491.29	c |    239487 |    1877   298711  1313786 | 2147483647   239487    102 |  0.000 % |
493.43/493.73	c |    240359 |    1877   298711  1313786 | 2147483647   240359    101 |  0.000 % |
495.43/495.72	c |    241318 |    1877   298711  1313786 | 2147483647   241318    101 |  0.000 % |
498.03/498.32	c |    242374 |    1877   298711  1313786 | 2147483647   242374    101 |  0.000 % |
500.92/501.25	c |    243532 |    1877   298711  1313786 | 2147483647   243532    101 |  0.000 % |
507.12/507.41	c |    244807 |    1877   298711  1313786 | 2147483647   244807    101 |  0.000 % |
509.43/509.74	c |    246208 |    1877   298711  1313786 | 2147483647   246208    101 |  0.000 % |
513.82/514.11	c |    247751 |    1877   298711  1313786 | 2147483647   247751    101 |  0.000 % |
519.82/520.19	c |    249445 |    1877   298711  1313786 | 2147483647   249445    101 |  0.000 % |
526.31/526.69	c |    251308 |    1877   298711  1313786 | 2147483647   251308    102 |  0.000 % |
531.60/531.94	c |    253359 |    1877   298711  1313786 | 2147483647   253359    102 |  0.000 % |
537.40/537.71	c |    255612 |    1877   298711  1313786 | 2147483647   255612    102 |  0.000 % |
542.81/543.17	c |    258090 |    1877   298711  1313786 | 2147483647   258090    102 |  0.000 % |
543.51/543.82	c |    258190 |    1877   298711  1313786 | 2147483647   258190    102 |  0.000 % |
543.91/544.20	c |    258300 |    1877   298711  1313786 | 2147483647   258300    102 |  0.000 % |
544.31/544.66	c |    258421 |    1877   298711  1313786 | 2147483647   258421    102 |  0.000 % |
544.81/545.17	c |    258554 |    1877   298711  1313786 | 2147483647   258554    102 |  0.000 % |
545.51/545.85	c |    258701 |    1877   298711  1313786 | 2147483647   258701    102 |  0.000 % |
546.41/546.74	c |    258861 |    1877   298711  1313786 | 2147483647   258861    102 |  0.000 % |
546.91/547.27	c |    259038 |    1877   298711  1313786 | 2147483647   259038    102 |  0.000 % |
547.61/547.96	c |    259231 |    1877   298711  1313786 | 2147483647   259231    102 |  0.000 % |
548.21/548.53	c |    259445 |    1877   298711  1313786 | 2147483647   259445    102 |  0.000 % |
549.91/550.20	c |    259678 |    1877   298711  1313786 | 2147483647   259678    102 |  0.000 % |
551.10/551.49	c |    259934 |    1877   298711  1313786 | 2147483647   259934    102 |  0.000 % |
552.70/553.00	c |    260215 |    1877   298711  1313786 | 2147483647   260215    102 |  0.000 % |
554.30/554.61	c |    260524 |    1877   298711  1313786 | 2147483647   260524    102 |  0.000 % |
555.40/555.76	c |    260863 |    1877   298711  1313786 | 2147483647   260863    102 |  0.000 % |
557.20/557.54	c |    261236 |    1877   298711  1313786 | 2147483647   261236    102 |  0.000 % |
558.30/558.67	c |    261647 |    1877   298711  1313786 | 2147483647   261647    102 |  0.000 % |
559.80/560.10	c |    262097 |    1877   298711  1313786 | 2147483647   262097    102 |  0.000 % |
561.90/562.22	c |    262591 |    1877   298711  1313786 | 2147483647   262591    102 |  0.000 % |
563.70/564.08	c |    263133 |    1877   298711  1313786 | 2147483647   263133    102 |  0.000 % |
565.29/565.69	c |    263729 |    1877   298711  1313786 | 2147483647   263729    102 |  0.000 % |
566.99/567.31	c |    264385 |    1877   298711  1313786 | 2147483647   264385    102 |  0.000 % |
569.09/569.46	c |    265109 |    1877   298711  1313786 | 2147483647   265109    102 |  0.000 % |
572.30/572.65	c |    265903 |    1877   298711  1313786 | 2147483647   265903    102 |  0.000 % |
576.39/576.76	c |    266774 |    1877   298711  1313786 | 2147483647   266774    102 |  0.000 % |
579.99/580.33	c |    267732 |    1877   298711  1313786 | 2147483647   267732    102 |  0.000 % |
581.89/582.22	c |    268785 |    1877   298711  1313786 | 2147483647   268785    102 |  0.000 % |
585.39/585.77	c |    269944 |    1877   298711  1313786 | 2147483647   269944    102 |  0.000 % |
588.89/589.20	c |    271218 |    1877   298711  1313786 | 2147483647   271218    102 |  0.000 % |
593.59/593.92	c |    272619 |    1877   298711  1313786 | 2147483647   272619    102 |  0.000 % |
598.58/598.97	c |    274159 |    1877   298711  1313786 | 2147483647   274159    102 |  0.000 % |
606.18/606.58	c |    275853 |    1877   298711  1313786 | 2147483647   275853    102 |  0.000 % |
614.88/615.29	c |    277717 |    1877   298711  1313786 | 2147483647   277717    102 |  0.000 % |
622.87/623.20	c |    279767 |    1877   298711  1313786 | 2147483647   279767    102 |  0.000 % |
627.77/628.13	c |    282021 |    1877   298711  1313786 | 2147483647   282021    101 |  0.000 % |
634.87/635.26	c |    284500 |    1877   298711  1313786 | 2147483647   284500    101 |  0.000 % |
643.07/643.46	c |    287225 |    1877   298711  1313786 | 2147483647   287225    102 |  0.000 % |
643.56/643.92	c |    287325 |    1877   298711  1313786 | 2147483647   287325    102 |  0.000 % |
644.17/644.52	c |    287435 |    1877   298711  1313786 | 2147483647   287435    102 |  0.000 % |
644.46/644.86	c |    287556 |    1877   298711  1313786 | 2147483647   287556    102 |  0.000 % |
644.96/645.32	c |    287690 |    1877   298711  1313786 | 2147483647   287690    102 |  0.000 % |
645.76/646.13	c |    287837 |    1877   298711  1313786 | 2147483647   287837    102 |  0.000 % |
646.26/646.67	c |    288001 |    1877   298711  1313786 | 2147483647   288001    102 |  0.000 % |
647.26/647.63	c |    288178 |    1877   298711  1313786 | 2147483647   288178    102 |  0.000 % |
648.16/648.59	c |    288372 |    1877   298711  1313786 | 2147483647   288372    102 |  0.000 % |
649.16/649.56	c |    288586 |    1877   298711  1313786 | 2147483647   288586    102 |  0.000 % |
650.16/650.51	c |    288820 |    1877   298711  1313786 | 2147483647   288820    102 |  0.000 % |
651.46/651.80	c |    289077 |    1877   298711  1313786 | 2147483647   289077    102 |  0.000 % |
652.46/652.85	c |    289358 |    1877   298711  1313786 | 2147483647   289358    102 |  0.000 % |
654.06/654.49	c |    289667 |    1877   298711  1313786 | 2147483647   289667    102 |  0.000 % |
655.16/655.57	c |    290006 |    1877   298711  1313786 | 2147483647   290006    102 |  0.000 % |
656.26/656.67	c |    290378 |    1877   298711  1313786 | 2147483647   290378    102 |  0.000 % |
658.06/658.45	c |    290787 |    1877   298711  1313786 | 2147483647   290787    102 |  0.000 % |
659.25/659.60	c |    291238 |    1877   298711  1313786 | 2147483647   291238    102 |  0.000 % |
660.95/661.33	c |    291731 |    1877   298711  1313786 | 2147483647   291731    102 |  0.000 % |
662.75/663.18	c |    292276 |    1877   298711  1313786 | 2147483647   292276    102 |  0.000 % |
664.35/664.73	c |    292873 |    1877   298711  1313786 | 2147483647   292873    102 |  0.000 % |
665.85/666.22	c |    293528 |    1877   298711  1313786 | 2147483647   293528    102 |  0.000 % |
668.55/668.95	c |    294250 |    1877   298711  1313786 | 2147483647   294250    102 |  0.000 % |
671.65/672.09	c |    295044 |    1877   298711  1313786 | 2147483647   295044    102 |  0.000 % |
675.44/675.82	c |    295916 |    1877   298711  1313786 | 2147483647   295916    102 |  0.000 % |
681.14/681.55	c |    296874 |    1877   298711  1313786 | 2147483647   296874    102 |  0.000 % |
686.34/686.72	c |    297928 |    1877   298711  1313786 | 2147483647   297928    102 |  0.000 % |
692.03/692.47	c |    299088 |    1877   298711  1313786 | 2147483647   299088    102 |  0.000 % |
696.14/696.58	c |    300364 |    1877   298711  1313786 | 2147483647   300364    102 |  0.000 % |
702.64/703.04	c |    301764 |    1877   298711  1313786 | 2147483647   301764    102 |  0.000 % |
708.63/709.06	c |    303305 |    1877   298711  1313786 | 2147483647   303305    102 |  0.000 % |
716.03/716.45	c |    305000 |    1877   298711  1313786 | 2147483647   305000    102 |  0.000 % |
721.33/721.71	c |    306864 |    1877   298711  1313786 | 2147483647   306864    102 |  0.000 % |
728.22/728.69	c |    308913 |    1877   298711  1313786 | 2147483647   308913    102 |  0.000 % |
739.51/739.98	c |    311166 |    1877   298711  1313786 | 2147483647   311166    102 |  0.000 % |
745.72/746.16	c |    313646 |    1877   298711  1313786 | 2147483647   313646    102 |  0.000 % |
752.91/753.40	c |    316372 |    1877   298711  1313786 | 2147483647   316372    102 |  0.000 % |
764.40/764.83	c |    319370 |    1877   298711  1313786 | 2147483647   319370    102 |  0.000 % |
764.70/765.13	c |    319471 |    1877   298711  1313786 | 2147483647   319471    102 |  0.000 % |
765.21/765.65	c |    319581 |    1877   298711  1313786 | 2147483647   319581    102 |  0.000 % |
766.10/766.50	c |    319703 |    1877   298711  1313786 | 2147483647   319703    102 |  0.000 % |
766.90/767.32	c |    319837 |    1877   298711  1313786 | 2147483647   319837    102 |  0.000 % |
767.80/768.22	c |    319983 |    1877   298711  1313786 | 2147483647   319983    102 |  0.000 % |
768.20/768.63	c |    320143 |    1877   298711  1313786 | 2147483647   320143    102 |  0.000 % |
769.30/769.77	c |    320319 |    1877   298711  1313786 | 2147483647   320319    102 |  0.000 % |
769.90/770.37	c |    320512 |    1877   298711  1313786 | 2147483647   320512    102 |  0.000 % |
770.80/771.27	c |    320724 |    1877   298711  1313786 | 2147483647   320724    102 |  0.000 % |
772.70/773.17	c |    320960 |    1877   298711  1313786 | 2147483647   320960    102 |  0.000 % |
774.30/774.73	c |    321216 |    1877   298711  1313786 | 2147483647   321216    102 |  0.000 % |
775.20/775.60	c |    321497 |    1877   298711  1313786 | 2147483647   321497    102 |  0.000 % |
776.79/777.24	c |    321806 |    1877   298711  1313786 | 2147483647   321806    102 |  0.000 % |
778.19/778.60	c |    322146 |    1877   298711  1313786 | 2147483647   322146    102 |  0.000 % |
779.69/780.13	c |    322518 |    1877   298711  1313786 | 2147483647   322518    102 |  0.000 % |
781.60/782.02	c |    322928 |    1877   298711  1313786 | 2147483647   322928    102 |  0.000 % |
783.20/783.69	c |    323382 |    1877   298711  1313786 | 2147483647   323382    102 |  0.000 % |
785.60/786.01	c |    323875 |    1877   298711  1313786 | 2147483647   323875    102 |  0.000 % |
788.50/788.92	c |    324418 |    1877   298711  1313786 | 2147483647   324418    102 |  0.000 % |
790.50/790.99	c |    325014 |    1877   298711  1313786 | 2147483647   325014    102 |  0.000 % |
792.79/793.27	c |    325670 |    1877   298711  1313786 | 2147483647   325670    102 |  0.000 % |
794.69/795.17	c |    326391 |    1877   298711  1313786 | 2147483647   326391    102 |  0.000 % |
797.09/797.57	c |    327183 |    1877   298711  1313786 | 2147483647   327183    102 |  0.000 % |
799.78/800.30	c |    328054 |    1877   298711  1313786 | 2147483647   328054    102 |  0.000 % |
802.48/802.95	c |    329012 |    1877   298711  1313786 | 2147483647   329012    102 |  0.000 % |
806.08/806.56	c |    330069 |    1877   298711  1313786 | 2147483647   330069    102 |  0.000 % |
809.27/809.73	c |    331229 |    1877   298711  1313786 | 2147483647   331229    102 |  0.000 % |
813.08/813.53	c |    332503 |    1877   298711  1313786 | 2147483647   332503    102 |  0.000 % |
816.48/816.92	c |    333904 |    1877   298711  1313786 | 2147483647   333904    103 |  0.000 % |
823.97/824.47	c |    335444 |    1877   298711  1313786 | 2147483647   335444    103 |  0.000 % |
831.97/832.49	c |    337140 |    1877   298711  1313786 | 2147483647   337140    103 |  0.000 % |
838.06/838.53	c |    339005 |    1877   298711  1313786 | 2147483647   339005    103 |  0.000 % |
844.16/844.65	c |    341055 |    1877   298711  1313786 | 2147483647   341055    103 |  0.000 % |
853.35/853.88	c |    343310 |    1877   298711  1313786 | 2147483647   343310    103 |  0.000 % |
866.86/867.33	c |    345793 |    1877   298711  1313786 | 2147483647   345793    103 |  0.000 % |
877.95/878.43	c |    348520 |    1877   298711  1313786 | 2147483647   348520    103 |  0.000 % |
886.84/887.32	c |    351518 |    1877   298711  1313786 | 2147483647   351518    103 |  0.000 % |
901.83/902.38	c |    354821 |    1877   298711  1313786 | 2147483647   354821    103 |  0.000 % |
902.54/903.06	c |    354922 |    1877   298711  1313786 | 2147483647   354922    103 |  0.000 % |
903.34/903.85	c |    355032 |    1877   298711  1313786 | 2147483647   355032    103 |  0.000 % |
904.14/904.69	c |    355154 |    1877   298711  1313786 | 2147483647   355154    103 |  0.000 % |
904.84/905.35	c |    355287 |    1877   298711  1313786 | 2147483647   355287    103 |  0.000 % |
905.64/906.11	c |    355433 |    1877   298711  1313786 | 2147483647   355433    103 |  0.000 % |
906.14/906.69	c |    355594 |    1877   298711  1313786 | 2147483647   355594    103 |  0.000 % |
906.94/907.41	c |    355771 |    1877   298711  1313786 | 2147483647   355771    103 |  0.000 % |
907.73/908.24	c |    355964 |    1877   298711  1313786 | 2147483647   355964    103 |  0.000 % |
908.53/909.08	c |    356177 |    1877   298711  1313786 | 2147483647   356177    103 |  0.000 % |
910.43/910.90	c |    356412 |    1877   298711  1313786 | 2147483647   356412    103 |  0.000 % |
911.73/912.29	c |    356669 |    1877   298711  1313786 | 2147483647   356669    103 |  0.000 % |
912.83/913.37	c |    356950 |    1877   298711  1313786 | 2147483647   356950    103 |  0.000 % |
914.23/914.73	c |    357260 |    1877   298711  1313786 | 2147483647   357260    103 |  0.000 % |
915.23/915.71	c |    357599 |    1877   298711  1313786 | 2147483647   357599    103 |  0.000 % |
917.13/917.63	c |    357972 |    1877   298711  1313786 | 2147483647   357972    103 |  0.000 % |
919.13/919.65	c |    358381 |    1877   298711  1313786 | 2147483647   358381    103 |  0.000 % |
922.03/922.50	c |    358831 |    1877   298711  1313786 | 2147483647   358831    103 |  0.000 % |
924.43/924.96	c |    359325 |    1877   298711  1313786 | 2147483647   359325    103 |  0.000 % |
927.93/928.42	c |    359867 |    1877   298711  1313786 | 2147483647   359867    103 |  0.000 % |
929.72/930.25	c |    360464 |    1877   298711  1313786 | 2147483647   360464    103 |  0.000 % |
932.12/932.66	c |    361119 |    1877   298711  1313786 | 2147483647   361119    103 |  0.000 % |
933.92/934.40	c |    361840 |    1877   298711  1313786 | 2147483647   361840    103 |  0.000 % |
936.62/937.19	c |    362636 |    1877   298711  1313786 | 2147483647   362636    103 |  0.000 % |
940.41/940.90	c |    363508 |    1877   298711  1313786 | 2147483647   363508    103 |  0.000 % |
945.22/945.76	c |    364467 |    1877   298711  1313786 | 2147483647   364467    103 |  0.000 % |
948.72/949.26	c |    365520 |    1877   298711  1313786 | 2147483647   365520    103 |  0.000 % |
954.11/954.65	c |    366678 |    1877   298711  1313786 | 2147483647   366678    103 |  0.000 % |
958.51/959.03	c |    367955 |    1877   298711  1313786 | 2147483647   367955    103 |  0.000 % |
962.41/962.97	c |    369355 |    1877   298711  1313786 | 2147483647   369355    103 |  0.000 % |
968.20/968.72	c |    370895 |    1877   298711  1313786 | 2147483647   370895    103 |  0.000 % |
977.09/977.61	c |    372591 |    1877   298711  1313786 | 2147483647   372591    103 |  0.000 % |
985.30/985.80	c |    374454 |    1877   298711  1313786 | 2147483647   374454    103 |  0.000 % |
996.59/997.19	c |    376505 |    1877   298711  1313786 | 2147483647   376505    103 |  0.000 % |
1010.19/1010.72	c |    378760 |    1877   298711  1313786 | 2147483647   378760    103 |  0.000 % |
1019.78/1020.38	c |    381240 |    1877   298711  1313786 | 2147483647   381240    104 |  0.000 % |
1037.08/1037.63	c |    383965 |    1877   298711  1313786 | 2147483647   383965    104 |  0.000 % |
1046.37/1046.93	c |    386965 |    1877   298711  1313786 | 2147483647   386965    104 |  0.000 % |
1056.47/1057.05	c |    390263 |    1877   298711  1313786 | 2147483647   390263    104 |  0.000 % |
1074.65/1075.23	c |    393888 |    1877   298711  1313786 | 2147483647   393888    104 |  0.000 % |
1075.16/1075.75	c |    393988 |    1877   298711  1313786 | 2147483647   393988    104 |  0.000 % |
1075.75/1076.32	c |    394100 |    1877   298711  1313786 | 2147483647   394100    104 |  0.000 % |
1076.55/1077.10	c |    394221 |    1877   298711  1313786 | 2147483647   394221    104 |  0.000 % |
1077.15/1077.78	c |    394354 |    1877   298711  1313786 | 2147483647   394354    104 |  0.000 % |
1077.95/1078.59	c |    394500 |    1877   298711  1313786 | 2147483647   394500    104 |  0.000 % |
1078.85/1079.43	c |    394660 |    1877   298711  1313786 | 2147483647   394660    104 |  0.000 % |
1079.75/1080.38	c |    394836 |    1877   298711  1313786 | 2147483647   394836    104 |  0.000 % |
1080.85/1081.48	c |    395030 |    1877   298711  1313786 | 2147483647   395030    104 |  0.000 % |
1081.95/1082.53	c |    395248 |    1877   298711  1313786 | 2147483647   395248    104 |  0.000 % |
1083.45/1084.06	c |    395482 |    1877   298711  1313786 | 2147483647   395482    104 |  0.000 % |
1084.35/1084.98	c |    395739 |    1877   298711  1313786 | 2147483647   395739    104 |  0.000 % |
1086.16/1086.72	c |    396020 |    1877   298711  1313786 | 2147483647   396020    104 |  0.000 % |
1087.45/1088.06	c |    396330 |    1877   298711  1313786 | 2147483647   396330    104 |  0.000 % |
1089.75/1090.38	c |    396669 |    1877   298711  1313786 | 2147483647   396669    104 |  0.000 % |
1092.25/1092.89	c |    397041 |    1877   298711  1313786 | 2147483647   397041    104 |  0.000 % |
1095.55/1096.17	c |    397450 |    1877   298711  1313786 | 2147483647   397450    104 |  0.000 % |
1098.25/1098.88	c |    397904 |    1877   298711  1313786 | 2147483647   397904    104 |  0.000 % |
1101.35/1101.93	c |    398399 |    1877   298711  1313786 | 2147483647   398399    104 |  0.000 % |
1103.75/1104.35	c |    398942 |    1877   298711  1313786 | 2147483647   398942    104 |  0.000 % |
1106.14/1106.77	c |    399539 |    1877   298711  1313786 | 2147483647   399539    104 |  0.000 % |
1109.63/1110.26	c |    400195 |    1877   298711  1313786 | 2147483647   400195    104 |  0.000 % |
1114.13/1114.77	c |    400915 |    1877   298711  1313786 | 2147483647   400915    104 |  0.000 % |
1119.33/1119.97	c |    401708 |    1877   298711  1313786 | 2147483647   401708    104 |  0.000 % |
1123.23/1123.86	c |    402581 |    1877   298711  1313786 | 2147483647   402581    104 |  0.000 % |
1128.04/1128.67	c |    403539 |    1877   298711  1313786 | 2147483647   403539    104 |  0.000 % |
1135.73/1136.39	c |    404592 |    1877   298711  1313786 | 2147483647   404592    104 |  0.000 % |
1142.93/1143.55	c |    405752 |    1877   298711  1313786 | 2147483647   405752    104 |  0.000 % |
1152.02/1152.69	c |    407026 |    1877   298711  1313786 | 2147483647   407026    104 |  0.000 % |
1156.92/1157.56	c |    408428 |    1877   298711  1313786 | 2147483647   408428    104 |  0.000 % |
1166.11/1166.75	c |    409969 |    1877   298711  1313786 | 2147483647   409969    104 |  0.000 % |
1173.01/1173.69	c |    411664 |    1877   298711  1313786 | 2147483647   411664    104 |  0.000 % |
1179.11/1179.73	c |    413527 |    1877   298711  1313786 | 2147483647   413527    104 |  0.000 % |
1191.11/1191.70	c |    415576 |    1877   298711  1313786 | 2147483647   415576    104 |  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-1833923-1242826174/watcher-1833923-1242826174 -o /tmp/evaluation-result-1833923-1242826174/solver-1833923-1242826174 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833923-1242826174.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 1.00 2/64 5999
/proc/meminfo: memFree=1755216/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310643605 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 244277018706 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5999/statm: 1339 235 195 169 0 50 0
[pid=6000] ppid=5999 vsize=5356 CPUtime=0
/proc/6000/stat : 6000 (SatELiteGTI) S 5999 5999 5788 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310643606 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6000/statm: 1339 238 198 169 0 50 0
[pid=6002] ppid=6000 vsize=0 CPUtime=0
/proc/6002/stat : 6002 (sed) R 6000 5999 5788 0 -1 4194316 163 0 0 0 0 0 0 0 21 0 1 0 310643606 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/6002/statm: -- couldn't open statm file --
[startup+0.092079 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 5999
/proc/meminfo: memFree=1755216/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102076 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 5999
/proc/meminfo: memFree=1755216/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30111 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 5999
/proc/meminfo: memFree=1755216/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701148 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 5999
/proc/meminfo: memFree=1755216/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50123 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6004
/proc/meminfo: memFree=1728192/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
[pid=6004] ppid=5999 vsize=32848 CPUtime=1.48
/proc/6004/stat : 6004 (SatELite_releas) R 5999 5999 5788 0 -1 4194304 7432 0 0 0 144 4 0 0 25 0 1 0 310643606 33636352 7418 1992294400 134512640 135223648 4294956128 18446744073709551615 134585487 0 0 4096 3 0 0 0 17 0 0 0
/proc/6004/statm: 8212 7418 76 173 0 8037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38204

[startup+3.10141 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6004
/proc/meminfo: memFree=1724032/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=0
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310643605 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 237 197 169 0 50 0
[pid=6004] ppid=5999 vsize=32848 CPUtime=3.08
/proc/6004/stat : 6004 (SatELite_releas) R 5999 5999 5788 0 -1 4194304 7432 0 0 0 304 4 0 0 25 0 1 0 310643606 33636352 7418 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/6004/statm: 8212 7418 76 173 0 8037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38204

[startup+6.30177 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1731008/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=17464 CPUtime=1.87
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 4260 0 0 0 185 2 0 0 25 0 1 0 310644048 17883136 4246 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 4366 4246 77 171 0 4193 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22820

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1726784/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=21344 CPUtime=8.26
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 5224 0 0 0 823 3 0 0 25 0 1 0 310644048 21856256 5210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 5336 5210 77 171 0 5163 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 26700

[startup+25.5029 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1721344/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=26776 CPUtime=21.06
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 6575 0 0 0 2101 5 0 0 25 0 1 0 310644048 27418624 6561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 6694 6561 77 171 0 6521 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 32132

[startup+51.1028 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1710592/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=37620 CPUtime=46.63
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 9259 0 0 0 4655 8 0 0 25 0 1 0 310644048 38522880 9245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 9405 9245 77 171 0 9232 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 42976

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1694784/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=53140 CPUtime=97.8
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 13142 0 0 0 9769 11 0 0 25 0 1 0 310644048 54415360 13128 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 13285 13128 77 171 0 13112 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 58496

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1679424/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=68576 CPUtime=157.77
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 16969 0 0 0 15762 15 0 0 25 0 1 0 310644048 70221824 16955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 17144 16955 77 171 0 16971 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 73932

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1666048/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=82116 CPUtime=217.74
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 20296 0 0 0 21756 18 0 0 25 0 1 0 310644048 84086784 20282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 20529 20282 77 171 0 20356 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 87472

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1656512/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=91732 CPUtime=277.71
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 22721 0 0 0 27750 21 0 0 25 0 1 0 310644048 93933568 22707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 22933 22707 77 171 0 22760 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 97088

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1645888/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=102180 CPUtime=337.69
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 25317 0 0 0 33745 24 0 0 25 0 1 0 310644048 104632320 25303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 25545 25303 77 171 0 25372 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 107536

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1635584/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=112968 CPUtime=397.66
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 27901 0 0 0 39738 28 0 0 25 0 1 0 310644048 115679232 27887 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0

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

/proc/6005/statm: 35189 34823 77 171 0 35016 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 146112

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1599872/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=148368 CPUtime=637.56
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 36738 0 0 0 63720 36 0 0 25 0 1 0 310644048 151928832 36724 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 37092 36724 77 171 0 36919 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 153724

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1592960/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=155172 CPUtime=697.53
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 38454 0 0 0 69715 38 0 0 25 0 1 0 310644048 158896128 38440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 38793 38440 77 171 0 38620 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 160528

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1584704/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=163984 CPUtime=757.5
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 40491 0 0 0 75711 39 0 0 25 0 1 0 310644048 167919616 40477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 40996 40477 77 171 0 40823 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 169340

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1576448/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=172300 CPUtime=817.46
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 42549 0 0 0 81705 41 0 0 25 0 1 0 310644048 176435200 42535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 43075 42535 77 171 0 42902 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 177656

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6005
/proc/meminfo: memFree=1569728/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=179144 CPUtime=877.44
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 44231 0 0 0 87701 43 0 0 25 0 1 0 310644048 183443456 44217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 44786 44217 77 171 0 44613 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 184500

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1562944/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=185816 CPUtime=937.4
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 45892 0 0 0 93696 44 0 0 25 0 1 0 310644048 190275584 45878 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 46454 45878 77 171 0 46281 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 191172

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1555584/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=193248 CPUtime=997.38
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 47731 0 0 0 99691 47 0 0 25 0 1 0 310644048 197885952 47717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 48312 47717 77 171 0 48139 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 198604

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1548800/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=200048 CPUtime=1057.35
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 49449 0 0 0 105686 49 0 0 25 0 1 0 310644048 204849152 49435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 50012 49435 77 171 0 49839 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 205404

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1543232/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=205692 CPUtime=1117.32
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 50836 0 0 0 111681 51 0 0 25 0 1 0 310644048 210628608 50822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 51423 50822 77 171 0 51250 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 211048

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1537472/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=211648 CPUtime=1177.3
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 52278 0 0 0 117677 53 0 0 25 0 1 0 310644048 216727552 52264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 52912 52264 77 171 0 52739 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 217004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1536000/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=212900 CPUtime=1195.69
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 52599 0 0 0 119516 53 0 0 25 0 1 0 310644048 218009600 52585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 53225 52585 77 171 0 53052 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 218256

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

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

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6007
/proc/meminfo: memFree=1536000/2055920 swapFree=4178604/4192956
[pid=5999] ppid=5997 vsize=5356 CPUtime=4.41
/proc/5999/stat : 5999 (SatELiteGTI) S 5997 5999 5788 0 -1 4194304 336 7684 0 0 0 0 434 7 16 0 1 0 310643605 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5999/statm: 1339 239 197 169 0 50 0
[pid=6005] ppid=5999 vsize=212900 CPUtime=1195.69
/proc/6005/stat : 6005 (minisat_static) R 5999 5999 5788 0 -1 4194304 52599 0 0 0 119516 53 0 0 25 0 1 0 310644048 218009600 52585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6005/statm: 53225 52585 77 171 0 53052 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 218256

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5999 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=344339
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=72988
# CPU time returned by wait4() is 4.41733
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.1
CPU user time (s): 1199.5
CPU system time (s): 0.6
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 218256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34434
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 35

runsolver used 1.41678 second user time and 3.04054 second system time

The end

Launcher Data 

Begin job on node63 at 2009-05-20 15:29:34
IDJOB=1833923
IDBENCH=71071
IDSOLVER=671
FILE ID=node63/1833923-1242826174
PBS_JOBID= 9322535
Free space on /tmp= 66232 MiB

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

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

MD5SUM BENCH= 6d69d175921d14f1c2600aaedc59f514
RANDOM SEED=680428147

node63.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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1755760 kB
Buffers:         48332 kB
Cached:         201620 kB
SwapCached:       7836 kB
Active:          71272 kB
Inactive:       188316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755760 kB
SwapTotal:     4192956 kB
SwapFree:      4178604 kB
Dirty:            6624 kB
Writeback:           0 kB
Mapped:          14864 kB
Slab:            26396 kB
Committed_AS:  1128960 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66224 MiB
End job on node63 at 2009-05-20 15:49:37