Trace number 1833945

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
MD5SUMd4e16a803f6cd0903a2bd3e7157287b3
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 variables2730
Number of clauses271285
Sum of the clauses size809746
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24450
Number of clauses of size 3266804
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.16	c ==============================================================================
0.00/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.16	c ==============================================================================
0.00/0.16	c |         0 |  271285   809746 |   81385       0        0     nan |  0.000 % |
3.89/3.94	c |         0 |  269831  1187407 |      --       0       --      -- |     --   | -1454/377661
3.89/3.94	c ==============================================================================
3.89/3.94	c Result  :   #vars: 1698   #clauses: 269831   #literals: 1187407
3.89/3.94	c CPU time:   3.88141 s
3.89/3.94	c ==============================================================================
4.18/4.28	c This is MiniSat 2.0 beta
4.18/4.28	c WARNING: for repeatability, setting FPU to use double precision
4.18/4.28	c ============================[ Problem Statistics ]=============================
4.18/4.28	c |                                                                             |
4.18/4.29	c |  Number of variables:  1698                                                 |
4.18/4.29	c |  Number of clauses:    269831                                               |
4.37/4.45	c |  Parsing time:         0.14         s                                       |
4.37/4.45	c ============================[ Search Statistics ]==============================
4.37/4.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.37/4.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.37/4.45	c ===============================================================================
4.37/4.45	c |         0 |    1698   269831  1187407 |    89943        0    nan |  0.000 % |
4.57/4.62	c |       100 |    1698   269831  1187407 |    89943      100     67 |  0.000 % |
4.67/4.73	c |       202 |    1698   269831  1187407 |    89943      202     66 |  0.000 % |
4.77/4.82	c |       302 |    1698   269831  1187407 |    89943      302     64 |  0.000 % |
4.87/4.91	c |       412 |    1698   269831  1187407 |    89943      412     66 |  0.000 % |
4.97/5.01	c |       514 |    1698   269831  1187407 |    89943      514     66 |  0.000 % |
5.07/5.13	c |       624 |    1698   269831  1187407 |    89943      624     66 |  0.000 % |
5.17/5.21	c |       746 |    1698   269831  1187407 |    89943      746     69 |  0.000 % |
5.27/5.30	c |       846 |    1698   269831  1187407 |    89943      846     69 |  0.000 % |
5.27/5.39	c |       956 |    1698   269831  1187407 |    89943      956     69 |  0.000 % |
5.47/5.56	c |      1077 |    1698   269831  1187407 |    89943     1077     69 |  0.000 % |
5.56/5.64	c |      1211 |    1698   269831  1187407 |    89943     1211     71 |  0.000 % |
5.56/5.67	c |      1312 |    1698   269831  1187407 |    89943     1312     71 |  0.000 % |
5.66/5.75	c |      1422 |    1698   269831  1187407 |    89943     1422     71 |  0.000 % |
5.76/5.83	c |      1545 |    1698   269831  1187407 |    89943     1545     72 |  0.000 % |
5.86/5.95	c |      1678 |    1698   269831  1187407 |    89943     1678     73 |  0.000 % |
5.96/6.07	c |      1826 |    1698   269831  1187407 |    89943     1826     73 |  0.000 % |
6.06/6.14	c |      1926 |    1698   269831  1187407 |    89943     1926     73 |  0.000 % |
6.17/6.22	c |      2036 |    1698   269831  1187407 |    89943     2036     73 |  0.000 % |
6.27/6.33	c |      2159 |    1698   269831  1187407 |    89943     2159     74 |  0.000 % |
6.37/6.47	c |      2293 |    1698   269831  1187407 |    89943     2293     75 |  0.000 % |
6.48/6.56	c |      2440 |    1698   269831  1187407 |    89943     2440     77 |  0.000 % |
6.57/6.68	c |      2600 |    1698   269831  1187407 |    89943     2600     77 |  0.000 % |
6.67/6.75	c |      2700 |    1698   269831  1187407 |    89943     2700     77 |  0.000 % |
6.77/6.81	c |      2810 |    1698   269831  1187407 |    89943     2810     78 |  0.000 % |
6.87/6.91	c |      2931 |    1698   269831  1187407 |    89943     2931     78 |  0.000 % |
6.87/7.00	c |      3065 |    1698   269831  1187407 |    89943     3065     77 |  0.000 % |
7.07/7.16	c |      3212 |    1698   269831  1187407 |    89943     3212     79 |  0.000 % |
7.27/7.31	c |      3373 |    1698   269831  1187407 |    89943     3373     78 |  0.000 % |
7.47/7.51	c |      3549 |    1698   269831  1187407 |    89943     3549     78 |  0.000 % |
7.47/7.60	c |      3651 |    1698   269831  1187407 |    89943     3651     78 |  0.000 % |
7.57/7.69	c |      3761 |    1698   269831  1187407 |    89943     3761     77 |  0.000 % |
7.77/7.82	c |      3884 |    1698   269831  1187407 |    89943     3884     77 |  0.000 % |
7.77/7.90	c |      4021 |    1698   269831  1187407 |    89943     4021     79 |  0.000 % |
7.87/7.97	c |      4168 |    1698   269831  1187407 |    89943     4168     78 |  0.000 % |
8.07/8.13	c |      4329 |    1698   269831  1187407 |    89943     4329     79 |  0.000 % |
8.27/8.36	c |      4505 |    1698   269831  1187407 |    89943     4505     79 |  0.000 % |
8.47/8.55	c |      4698 |    1698   269831  1187407 |    89943     4698     79 |  0.000 % |
8.57/8.64	c |      4799 |    1698   269831  1187407 |    89943     4799     78 |  0.000 % |
8.67/8.72	c |      4910 |    1698   269831  1187407 |    89943     4910     78 |  0.000 % |
8.77/8.84	c |      5033 |    1698   269831  1187407 |    89943     5033     78 |  0.000 % |
8.87/8.97	c |      5168 |    1698   269831  1187407 |    89943     5168     78 |  0.000 % |
8.97/9.08	c |      5314 |    1698   269831  1187407 |    89943     5314     78 |  0.000 % |
9.17/9.23	c |      5474 |    1698   269831  1187407 |    89943     5474     78 |  0.000 % |
9.27/9.38	c |      5650 |    1698   269831  1187407 |    89943     5650     78 |  0.000 % |
9.47/9.51	c |      5844 |    1698   269831  1187407 |    89943     5844     78 |  0.000 % |
9.56/9.65	c |      6056 |    1698   269831  1187407 |    89943     6056     79 |  0.000 % |
9.66/9.73	c |      6156 |    1698   269831  1187407 |    89943     6156     79 |  0.000 % |
9.77/9.82	c |      6266 |    1698   269831  1187407 |    89943     6266     80 |  0.000 % |
9.87/9.94	c |      6387 |    1698   269831  1187407 |    89943     6387     80 |  0.000 % |
9.97/10.07	c |      6521 |    1698   269831  1187407 |    89943     6521     80 |  0.000 % |
10.06/10.18	c |      6668 |    1698   269831  1187407 |    89943     6668     80 |  0.000 % |
10.27/10.32	c |      6833 |    1698   269831  1187407 |    89943     6833     81 |  0.000 % |
10.37/10.46	c |      7009 |    1698   269831  1187407 |    89943     7009     81 |  0.000 % |
10.56/10.62	c |      7202 |    1698   269831  1187407 |    89943     7202     81 |  0.000 % |
10.76/10.80	c |      7416 |    1698   269831  1187407 |    89943     7416     81 |  0.000 % |
10.97/11.04	c |      7649 |    1698   269831  1187407 |    89943     7649     80 |  0.000 % |
11.07/11.15	c |      7751 |    1698   269831  1187407 |    89943     7751     80 |  0.000 % |
11.17/11.25	c |      7861 |    1698   269831  1187407 |    89943     7861     80 |  0.000 % |
11.27/11.34	c |      7982 |    1698   269831  1187407 |    89943     7982     80 |  0.000 % |
11.37/11.50	c |      8117 |    1698   269831  1187407 |    89943     8117     81 |  0.000 % |
11.57/11.63	c |      8263 |    1698   269831  1187407 |    89943     8263     80 |  0.000 % |
11.67/11.77	c |      8423 |    1698   269831  1187407 |    89943     8423     80 |  0.000 % |
11.87/11.99	c |      8599 |    1698   269831  1187407 |    89943     8599     80 |  0.000 % |
12.07/12.14	c |      8792 |    1698   269831  1187407 |    89943     8792     81 |  0.000 % |
12.37/12.42	c |      9005 |    1698   269831  1187407 |    89943     9005     80 |  0.000 % |
12.67/12.70	c |      9239 |    1698   269831  1187407 |    89943     9239     80 |  0.000 % |
12.77/12.89	c |      9495 |    1698   269831  1187407 |    89943     9495     81 |  0.000 % |
12.87/12.99	c |      9595 |    1698   269831  1187407 |    89943     9595     80 |  0.000 % |
13.07/13.13	c |      9707 |    1698   269831  1187407 |    89943     9707     80 |  0.000 % |
13.17/13.23	c |      9830 |    1698   269831  1187407 |    89943     9830     80 |  0.000 % |
13.17/13.29	c |      9963 |    1698   269831  1187407 |    89943     9963     80 |  0.000 % |
13.27/13.38	c |     10110 |    1698   269831  1187407 | 2147483647    10110     80 |  0.000 % |
13.47/13.56	c |     10272 |    1698   269831  1187407 | 2147483647    10272     80 |  0.000 % |
13.67/13.70	c |     10448 |    1698   269831  1187407 | 2147483647    10448     80 |  0.000 % |
13.77/13.88	c |     10644 |    1698   269831  1187407 | 2147483647    10644     79 |  0.000 % |
14.07/14.11	c |     10856 |    1698   269831  1187407 | 2147483647    10856     80 |  0.000 % |
14.27/14.31	c |     11090 |    1698   269831  1187407 | 2147483647    11090     80 |  0.000 % |
14.56/14.68	c |     11347 |    1698   269831  1187407 | 2147483647    11347     80 |  0.000 % |
14.96/15.04	c |     11628 |    1698   269831  1187407 | 2147483647    11628     80 |  0.000 % |
15.06/15.10	c |     11729 |    1698   269831  1187407 | 2147483647    11729     81 |  0.000 % |
15.16/15.23	c |     11840 |    1698   269831  1187407 | 2147483647    11840     81 |  0.000 % |
15.26/15.35	c |     11961 |    1698   269831  1187407 | 2147483647    11961     81 |  0.000 % |
15.36/15.45	c |     12095 |    1698   269831  1187407 | 2147483647    12095     81 |  0.000 % |
15.46/15.59	c |     12242 |    1698   269831  1187407 | 2147483647    12242     81 |  0.000 % |
15.66/15.72	c |     12403 |    1698   269831  1187407 | 2147483647    12403     81 |  0.000 % |
15.76/15.85	c |     12580 |    1698   269831  1187407 | 2147483647    12580     81 |  0.000 % |
15.96/16.00	c |     12775 |    1698   269831  1187407 | 2147483647    12775     81 |  0.000 % |
16.17/16.21	c |     12988 |    1698   269831  1187407 | 2147483647    12988     82 |  0.000 % |
16.37/16.45	c |     13225 |    1698   269831  1187407 | 2147483647    13225     82 |  0.000 % |
16.57/16.63	c |     13481 |    1698   269831  1187407 | 2147483647    13481     81 |  0.000 % |
16.77/16.89	c |     13762 |    1698   269831  1187407 | 2147483647    13762     82 |  0.000 % |
17.07/17.18	c |     14074 |    1698   269831  1187407 | 2147483647    14074     81 |  0.000 % |
17.17/17.28	c |     14175 |    1698   269831  1187407 | 2147483647    14175     81 |  0.000 % |
17.37/17.43	c |     14285 |    1698   269831  1187407 | 2147483647    14285     81 |  0.000 % |
17.47/17.58	c |     14406 |    1698   269831  1187407 | 2147483647    14406     81 |  0.000 % |
17.57/17.69	c |     14540 |    1698   269831  1187407 | 2147483647    14540     81 |  0.000 % |
17.76/17.82	c |     14689 |    1698   269831  1187407 | 2147483647    14689     81 |  0.000 % |
17.86/17.98	c |     14849 |    1698   269831  1187407 | 2147483647    14849     81 |  0.000 % |
17.96/18.09	c |     15025 |    1698   269831  1187407 | 2147483647    15025     81 |  0.000 % |
18.26/18.31	c |     15219 |    1698   269831  1187407 | 2147483647    15219     81 |  0.000 % |
18.36/18.45	c |     15432 |    1698   269831  1187407 | 2147483647    15432     81 |  0.000 % |
18.57/18.63	c |     15665 |    1698   269831  1187407 | 2147483647    15665     81 |  0.000 % |
18.67/18.78	c |     15923 |    1698   269831  1187407 | 2147483647    15923     82 |  0.000 % |
18.86/18.95	c |     16205 |    1698   269831  1187407 | 2147483647    16205     82 |  0.000 % |
19.06/19.16	c |     16514 |    1698   269831  1187407 | 2147483647    16514     83 |  0.000 % |
19.36/19.41	c |     16853 |    1698   269831  1187407 | 2147483647    16853     83 |  0.000 % |
19.46/19.52	c |     16953 |    1698   269831  1187407 | 2147483647    16953     83 |  0.000 % |
19.46/19.59	c |     17064 |    1698   269831  1187407 | 2147483647    17064     83 |  0.000 % |
19.66/19.70	c |     17187 |    1698   269831  1187407 | 2147483647    17187     83 |  0.000 % |
19.76/19.81	c |     17321 |    1698   269831  1187407 | 2147483647    17321     83 |  0.000 % |
19.86/19.96	c |     17467 |    1698   269831  1187407 | 2147483647    17467     83 |  0.000 % |
20.06/20.15	c |     17629 |    1698   269831  1187407 | 2147483647    17629     83 |  0.000 % |
20.26/20.35	c |     17806 |    1698   269831  1187407 | 2147483647    17806     83 |  0.000 % |
20.36/20.46	c |     17999 |    1698   269831  1187407 | 2147483647    17999     83 |  0.000 % |
20.56/20.68	c |     18211 |    1698   269831  1187407 | 2147483647    18211     82 |  0.000 % |
20.87/20.95	c |     18446 |    1698   269831  1187407 | 2147483647    18446     82 |  0.000 % |
20.96/21.04	c |     18704 |    1698   269831  1187407 | 2147483647    18704     82 |  0.000 % |
21.26/21.39	c |     18985 |    1698   269831  1187407 | 2147483647    18985     81 |  0.000 % |
21.56/21.62	c |     19298 |    1698   269831  1187407 | 2147483647    19298     81 |  0.000 % |
21.76/21.87	c |     19637 |    1698   269831  1187407 | 2147483647    19637     82 |  0.000 % |
22.16/22.22	c |     20010 |    1698   269831  1187407 | 2147483647    20010     82 |  0.000 % |
22.26/22.32	c |     20110 |    1698   269831  1187407 | 2147483647    20110     82 |  0.000 % |
22.36/22.41	c |     20222 |    1698   269831  1187407 | 2147483647    20222     82 |  0.000 % |
22.46/22.55	c |     20344 |    1698   269831  1187407 | 2147483647    20344     82 |  0.000 % |
22.56/22.65	c |     20477 |    1698   269831  1187407 | 2147483647    20477     82 |  0.000 % |
22.76/22.81	c |     20623 |    1698   269831  1187407 | 2147483647    20623     82 |  0.000 % |
22.86/22.91	c |     20783 |    1698   269831  1187407 | 2147483647    20783     82 |  0.000 % |
22.96/23.06	c |     20959 |    1698   269831  1187407 | 2147483647    20959     82 |  0.000 % |
23.16/23.21	c |     21153 |    1698   269831  1187407 | 2147483647    21153     82 |  0.000 % |
23.26/23.34	c |     21367 |    1698   269831  1187407 | 2147483647    21367     81 |  0.000 % |
23.46/23.51	c |     21601 |    1698   269831  1187407 | 2147483647    21601     81 |  0.000 % |
23.66/23.73	c |     21860 |    1698   269831  1187407 | 2147483647    21860     81 |  0.000 % |
23.76/23.87	c |     22143 |    1698   269831  1187407 | 2147483647    22143     81 |  0.000 % |
23.96/24.03	c |     22452 |    1698   269831  1187407 | 2147483647    22452     81 |  0.000 % |
24.06/24.20	c |     22791 |    1698   269831  1187407 | 2147483647    22791     81 |  0.000 % |
24.26/24.39	c |     23163 |    1698   269831  1187407 | 2147483647    23163     81 |  0.000 % |
24.46/24.59	c |     23572 |    1698   269831  1187407 | 2147483647    23572     81 |  0.000 % |
24.56/24.68	c |     23675 |    1698   269831  1187407 | 2147483647    23675     81 |  0.000 % |
24.65/24.77	c |     23785 |    1698   269831  1187407 | 2147483647    23785     81 |  0.000 % |
24.75/24.90	c |     23909 |    1698   269831  1187407 | 2147483647    23909     81 |  0.000 % |
24.95/25.04	c |     24042 |    1698   269831  1187407 | 2147483647    24042     81 |  0.000 % |
25.16/25.23	c |     24188 |    1698   269831  1187407 | 2147483647    24188     82 |  0.000 % |
25.26/25.37	c |     24348 |    1698   269831  1187407 | 2147483647    24348     82 |  0.000 % |
25.45/25.55	c |     24525 |    1698   269831  1187407 | 2147483647    24525     82 |  0.000 % |
25.65/25.70	c |     24718 |    1698   269831  1187407 | 2147483647    24718     82 |  0.000 % |
25.95/26.03	c |     24931 |    1698   269831  1187407 | 2147483647    24931     82 |  0.000 % |
26.26/26.38	c |     25164 |    1698   269831  1187407 | 2147483647    25164     82 |  0.000 % |
26.55/26.67	c |     25420 |    1698   269831  1187407 | 2147483647    25420     82 |  0.000 % |
26.85/26.91	c |     25701 |    1698   269831  1187407 | 2147483647    25701     82 |  0.000 % |
27.26/27.30	c |     26010 |    1698   269831  1187407 | 2147483647    26010     82 |  0.000 % |
27.76/27.83	c |     26350 |    1698   269831  1187407 | 2147483647    26350     82 |  0.000 % |
28.16/28.20	c |     26722 |    1698   269831  1187407 | 2147483647    26722     82 |  0.000 % |
28.56/28.61	c |     27131 |    1698   269831  1187407 | 2147483647    27131     82 |  0.000 % |
28.76/28.85	c |     27582 |    1698   269831  1187407 | 2147483647    27582     82 |  0.000 % |
28.86/28.93	c |     27683 |    1698   269831  1187407 | 2147483647    27683     82 |  0.000 % |
28.96/29.04	c |     27794 |    1698   269831  1187407 | 2147483647    27794     82 |  0.000 % |
29.06/29.18	c |     27916 |    1698   269831  1187407 | 2147483647    27916     82 |  0.000 % |
29.26/29.35	c |     28054 |    1698   269831  1187407 | 2147483647    28054     82 |  0.000 % |
29.46/29.52	c |     28202 |    1698   269831  1187407 | 2147483647    28202     82 |  0.000 % |
29.56/29.67	c |     28362 |    1698   269831  1187407 | 2147483647    28362     82 |  0.000 % |
29.86/29.92	c |     28538 |    1698   269831  1187407 | 2147483647    28538     82 |  0.000 % |
30.06/30.13	c |     28731 |    1698   269831  1187407 | 2147483647    28731     83 |  0.000 % |
30.26/30.32	c |     28943 |    1698   269831  1187407 | 2147483647    28943     82 |  0.000 % |
30.46/30.52	c |     29182 |    1698   269831  1187407 | 2147483647    29182     83 |  0.000 % |
30.66/30.74	c |     29439 |    1698   269831  1187407 | 2147483647    29439     83 |  0.000 % |
31.05/31.17	c |     29720 |    1698   269831  1187407 | 2147483647    29720     83 |  0.000 % |
31.35/31.47	c |     30031 |    1698   269831  1187407 | 2147483647    30031     83 |  0.000 % |
31.76/31.86	c |     30370 |    1698   269831  1187407 | 2147483647    30370     83 |  0.000 % |
32.15/32.24	c |     30742 |    1698   269831  1187407 | 2147483647    30742     84 |  0.000 % |
32.45/32.57	c |     31151 |    1698   269831  1187407 | 2147483647    31151     84 |  0.000 % |
33.15/33.26	c |     31603 |    1698   269831  1187407 | 2147483647    31603     84 |  0.000 % |
33.45/33.54	c |     32097 |    1698   269831  1187407 | 2147483647    32097     85 |  0.000 % |
33.65/33.74	c |     32197 |    1698   269831  1187407 | 2147483647    32197     85 |  0.000 % |
33.75/33.88	c |     32308 |    1698   269831  1187407 | 2147483647    32308     85 |  0.000 % |
33.85/33.98	c |     32431 |    1698   269831  1187407 | 2147483647    32431     85 |  0.000 % |
34.05/34.13	c |     32564 |    1698   269831  1187407 | 2147483647    32564     85 |  0.000 % |
34.25/34.36	c |     32711 |    1698   269831  1187407 | 2147483647    32711     85 |  0.000 % |
34.45/34.51	c |     32871 |    1698   269831  1187407 | 2147483647    32871     85 |  0.000 % |
34.55/34.68	c |     33048 |    1698   269831  1187407 | 2147483647    33048     85 |  0.000 % |
34.75/34.87	c |     33242 |    1698   269831  1187407 | 2147483647    33242     85 |  0.000 % |
34.95/35.01	c |     33455 |    1698   269831  1187407 | 2147483647    33455     85 |  0.000 % |
35.25/35.31	c |     33688 |    1698   269831  1187407 | 2147483647    33688     85 |  0.000 % |
35.46/35.56	c |     33944 |    1698   269831  1187407 | 2147483647    33944     85 |  0.000 % |
35.76/35.86	c |     34225 |    1698   269831  1187407 | 2147483647    34225     86 |  0.000 % |
36.06/36.11	c |     34536 |    1698   269831  1187407 | 2147483647    34536     86 |  0.000 % |
36.36/36.44	c |     34877 |    1698   269831  1187407 | 2147483647    34877     86 |  0.000 % |
36.76/36.82	c |     35250 |    1698   269831  1187407 | 2147483647    35250     86 |  0.000 % |
37.05/37.15	c |     35664 |    1698   269831  1187407 | 2147483647    35664     86 |  0.000 % |
37.36/37.49	c |     36114 |    1698   269831  1187407 | 2147483647    36114     87 |  0.000 % |
37.95/38.04	c |     36607 |    1698   269831  1187407 | 2147483647    36607     87 |  0.000 % |
38.75/38.83	c |     37152 |    1698   269831  1187407 | 2147483647    37152     86 |  0.000 % |
38.85/39.00	c |     37253 |    1698   269831  1187407 | 2147483647    37253     86 |  0.000 % |
39.05/39.18	c |     37365 |    1698   269831  1187407 | 2147483647    37365     86 |  0.000 % |
39.25/39.36	c |     37486 |    1698   269831  1187407 | 2147483647    37486     86 |  0.001 % |
39.46/39.57	c |     37619 |    1698   269831  1187407 | 2147483647    37619     86 |  0.000 % |
39.65/39.78	c |     37765 |    1698   269831  1187407 | 2147483647    37765     86 |  0.000 % |
39.95/40.01	c |     37926 |    1698   269831  1187407 | 2147483647    37926     85 |  0.000 % |
40.15/40.24	c |     38102 |    1698   269831  1187407 | 2147483647    38102     85 |  0.000 % |
40.45/40.53	c |     38295 |    1698   269831  1187407 | 2147483647    38295     85 |  0.000 % |
40.55/40.69	c |     38510 |    1698   269831  1187407 | 2147483647    38510     85 |  0.000 % |
40.85/40.96	c |     38744 |    1698   269831  1187407 | 2147483647    38744     85 |  0.000 % |
41.15/41.23	c |     39000 |    1698   269831  1187407 | 2147483647    39000     85 |  0.000 % |
41.55/41.60	c |     39282 |    1698   269831  1187407 | 2147483647    39282     85 |  0.000 % |
41.85/41.97	c |     39591 |    1698   269831  1187407 | 2147483647    39591     85 |  0.000 % |
42.15/42.22	c |     39930 |    1698   269831  1187407 | 2147483647    39930     86 |  0.000 % |
42.55/42.64	c |     40303 |    1698   269831  1187407 | 2147483647    40303     86 |  0.000 % |
43.25/43.30	c |     40716 |    1698   269831  1187407 | 2147483647    40716     86 |  0.000 % |
43.85/43.98	c |     41165 |    1698   269831  1187407 | 2147483647    41165     86 |  0.000 % |
44.65/44.76	c |     41659 |    1698   269831  1187407 | 2147483647    41659     86 |  0.000 % |
45.25/45.30	c |     42201 |    1698   269831  1187407 | 2147483647    42201     86 |  0.000 % |
45.94/46.04	c |     42797 |    1698   269831  1187407 | 2147483647    42797     86 |  0.000 % |
46.15/46.20	c |     42897 |    1698   269831  1187407 | 2147483647    42897     86 |  0.000 % |
46.34/46.40	c |     43009 |    1698   269831  1187407 | 2147483647    43009     86 |  0.000 % |
46.54/46.65	c |     43131 |    1698   269831  1187407 | 2147483647    43131     86 |  0.000 % |
46.74/46.87	c |     43264 |    1698   269831  1187407 | 2147483647    43264     86 |  0.000 % |
46.94/47.04	c |     43411 |    1698   269831  1187407 | 2147483647    43411     86 |  0.000 % |
47.15/47.28	c |     43572 |    1698   269831  1187407 | 2147483647    43572     86 |  0.000 % |
47.44/47.52	c |     43750 |    1698   269831  1187407 | 2147483647    43750     86 |  0.000 % |
47.64/47.76	c |     43944 |    1698   269831  1187407 | 2147483647    43944     86 |  0.000 % |
47.94/48.03	c |     44156 |    1698   269831  1187407 | 2147483647    44156     86 |  0.000 % |
48.14/48.21	c |     44390 |    1698   269831  1187407 | 2147483647    44390     86 |  0.000 % |
48.45/48.57	c |     44646 |    1698   269831  1187407 | 2147483647    44646     87 |  0.000 % |
48.95/49.06	c |     44927 |    1698   269831  1187407 | 2147483647    44927     86 |  0.000 % |
49.65/49.70	c |     45236 |    1698   269831  1187407 | 2147483647    45236     86 |  0.000 % |
50.15/50.20	c |     45575 |    1698   269831  1187407 | 2147483647    45575     86 |  0.000 % |
50.85/50.93	c |     45947 |    1698   269831  1187407 | 2147483647    45947     86 |  0.000 % |
51.35/51.42	c |     46358 |    1698   269831  1187407 | 2147483647    46358     86 |  0.000 % |
52.05/52.17	c |     46807 |    1698   269831  1187407 | 2147483647    46807     86 |  0.000 % |
52.75/52.86	c |     47302 |    1698   269831  1187407 | 2147483647    47302     86 |  0.000 % |
53.35/53.44	c |     47844 |    1698   269831  1187407 | 2147483647    47844     87 |  0.000 % |
54.25/54.39	c |     48442 |    1698   269831  1187407 | 2147483647    48442     87 |  0.000 % |
55.44/55.50	c |     49101 |    1698   269831  1187407 | 2147483647    49101     86 |  0.000 % |
55.54/55.66	c |     49201 |    1698   269831  1187407 | 2147483647    49201     86 |  0.000 % |
55.74/55.80	c |     49313 |    1698   269831  1187407 | 2147483647    49313     86 |  0.000 % |
55.84/55.97	c |     49434 |    1698   269831  1187407 | 2147483647    49434     86 |  0.000 % |
55.95/56.08	c |     49567 |    1698   269831  1187407 | 2147483647    49567     86 |  0.000 % |
56.34/56.42	c |     49713 |    1698   269831  1187407 | 2147483647    49713     86 |  0.000 % |
56.54/56.67	c |     49874 |    1698   269831  1187407 | 2147483647    49874     86 |  0.000 % |
56.84/56.99	c |     50052 |    1698   269831  1187407 | 2147483647    50052     86 |  0.000 % |
57.14/57.27	c |     50247 |    1698   269831  1187407 | 2147483647    50247     87 |  0.000 % |
57.44/57.56	c |     50460 |    1698   269831  1187407 | 2147483647    50460     86 |  0.000 % |
57.84/57.91	c |     50693 |    1698   269831  1187407 | 2147483647    50693     86 |  0.000 % |
58.04/58.12	c |     50951 |    1698   269831  1187407 | 2147483647    50951     87 |  0.000 % |
58.24/58.32	c |     51232 |    1698   269831  1187407 | 2147483647    51232     87 |  0.000 % |
58.64/58.75	c |     51541 |    1698   269831  1187407 | 2147483647    51541     87 |  0.000 % |
59.04/59.16	c |     51880 |    1698   269831  1187407 | 2147483647    51880     87 |  0.000 % |
59.45/59.52	c |     52253 |    1698   269831  1187407 | 2147483647    52253     87 |  0.000 % |
59.95/60.03	c |     52663 |    1698   269831  1187407 | 2147483647    52663     87 |  0.000 % |
60.64/60.78	c |     53113 |    1698   269831  1187407 | 2147483647    53113     87 |  0.000 % |
61.55/61.65	c |     53606 |    1698   269831  1187407 | 2147483647    53606     87 |  0.000 % |
62.34/62.48	c |     54149 |    1698   269831  1187407 | 2147483647    54149     87 |  0.000 % |
63.54/63.64	c |     54747 |    1698   269831  1187407 | 2147483647    54747     87 |  0.000 % |
64.74/64.82	c |     55404 |    1698   269831  1187407 | 2147483647    55404     86 |  0.000 % |
65.94/66.06	c |     56124 |    1698   269831  1187407 | 2147483647    56124     86 |  0.000 % |
66.14/66.26	c |     56224 |    1698   269831  1187407 | 2147483647    56224     86 |  0.000 % |
66.34/66.45	c |     56335 |    1698   269831  1187407 | 2147483647    56335     86 |  0.000 % |
66.54/66.66	c |     56457 |    1698   269831  1187407 | 2147483647    56457     86 |  0.000 % |
66.84/66.96	c |     56590 |    1698   269831  1187407 | 2147483647    56590     85 |  0.000 % |
67.14/67.27	c |     56736 |    1698   269831  1187407 | 2147483647    56736     85 |  0.000 % |
67.44/67.55	c |     56897 |    1698   269831  1187407 | 2147483647    56897     85 |  0.000 % |
67.84/67.91	c |     57075 |    1698   269831  1187407 | 2147483647    57075     85 |  0.000 % |
68.14/68.25	c |     57268 |    1698   269831  1187407 | 2147483647    57268     85 |  0.000 % |
68.34/68.44	c |     57480 |    1698   269831  1187407 | 2147483647    57480     85 |  0.000 % |
68.74/68.84	c |     57713 |    1698   269831  1187407 | 2147483647    57713     85 |  0.000 % |
69.34/69.50	c |     57972 |    1698   269831  1187407 | 2147483647    57972     85 |  0.000 % |
69.94/70.09	c |     58253 |    1698   269831  1187407 | 2147483647    58253     85 |  0.000 % |
70.24/70.39	c |     58563 |    1698   269831  1187407 | 2147483647    58563     85 |  0.000 % |
70.74/70.88	c |     58902 |    1698   269831  1187407 | 2147483647    58902     85 |  0.000 % |
71.53/71.69	c |     59274 |    1698   269831  1187407 | 2147483647    59274     85 |  0.000 % |
72.03/72.13	c |     59684 |    1698   269831  1187407 | 2147483647    59684     85 |  0.000 % |
72.93/73.02	c |     60135 |    1698   269831  1187407 | 2147483647    60135     85 |  0.000 % |
73.65/73.78	c |     60629 |    1698   269831  1187407 | 2147483647    60629     85 |  0.000 % |
74.44/74.53	c |     61171 |    1698   269831  1187407 | 2147483647    61171     85 |  0.000 % |
74.84/74.98	c |     61771 |    1698   269831  1187407 | 2147483647    61771     85 |  0.000 % |
75.74/75.85	c |     62429 |    1698   269831  1187407 | 2147483647    62429     86 |  0.000 % |
76.94/77.10	c |     63149 |    1698   269831  1187407 | 2147483647    63149     86 |  0.000 % |
78.64/78.79	c |     63944 |    1698   269831  1187407 | 2147483647    63944     86 |  0.000 % |
78.84/78.98	c |     64045 |    1698   269831  1187407 | 2147483647    64045     86 |  0.000 % |
79.04/79.18	c |     64155 |    1698   269831  1187407 | 2147483647    64155     86 |  0.000 % |
79.24/79.39	c |     64277 |    1698   269831  1187407 | 2147483647    64277     86 |  0.000 % |
79.44/79.57	c |     64410 |    1698   269831  1187407 | 2147483647    64410     86 |  0.000 % |
79.74/79.87	c |     64561 |    1698   269831  1187407 | 2147483647    64561     86 |  0.000 % |
80.04/80.10	c |     64722 |    1698   269831  1187407 | 2147483647    64722     86 |  0.000 % |
80.43/80.54	c |     64899 |    1698   269831  1187407 | 2147483647    64899     86 |  0.000 % |
80.83/80.95	c |     65092 |    1698   269831  1187407 | 2147483647    65092     86 |  0.000 % |
81.24/81.31	c |     65304 |    1698   269831  1187407 | 2147483647    65304     86 |  0.000 % |
81.83/81.93	c |     65540 |    1698   269831  1187407 | 2147483647    65540     86 |  0.000 % |
82.34/82.42	c |     65797 |    1698   269831  1187407 | 2147483647    65797     86 |  0.000 % |
82.63/82.79	c |     66078 |    1698   269831  1187407 | 2147483647    66078     86 |  0.000 % |
83.13/83.26	c |     66387 |    1698   269831  1187407 | 2147483647    66387     87 |  0.000 % |
83.73/83.80	c |     66727 |    1698   269831  1187407 | 2147483647    66727     87 |  0.000 % |
84.63/84.71	c |     67099 |    1698   269831  1187407 | 2147483647    67099     86 |  0.000 % |
85.53/85.63	c |     67509 |    1698   269831  1187407 | 2147483647    67509     86 |  0.000 % |
86.13/86.28	c |     67959 |    1698   269831  1187407 | 2147483647    67959     86 |  0.000 % |
87.03/87.15	c |     68453 |    1698   269831  1187407 | 2147483647    68453     86 |  0.000 % |
88.24/88.34	c |     68997 |    1698   269831  1187407 | 2147483647    68997     86 |  0.000 % |
88.94/89.04	c |     69594 |    1698   269831  1187407 | 2147483647    69594     86 |  0.000 % |
90.53/90.68	c |     70249 |    1698   269831  1187407 | 2147483647    70249     86 |  0.000 % |
91.43/91.59	c |     70970 |    1698   269831  1187407 | 2147483647    70970     86 |  0.000 % |
92.83/92.96	c |     71764 |    1698   269831  1187407 | 2147483647    71764     86 |  0.000 % |
94.23/94.30	c |     72638 |    1698   269831  1187407 | 2147483647    72638     87 |  0.000 % |
94.33/94.50	c |     72738 |    1698   269831  1187407 | 2147483647    72738     87 |  0.000 % |
94.63/94.71	c |     72848 |    1698   269831  1187407 | 2147483647    72848     87 |  0.000 % |
94.73/94.85	c |     72969 |    1698   269831  1187407 | 2147483647    72969     87 |  0.000 % |
94.83/94.95	c |     73102 |    1698   269831  1187407 | 2147483647    73102     87 |  0.000 % |
95.03/95.14	c |     73248 |    1698   269831  1187407 | 2147483647    73248     87 |  0.000 % |
95.23/95.35	c |     73408 |    1698   269831  1187407 | 2147483647    73408     87 |  0.000 % |
95.73/95.81	c |     73588 |    1698   269831  1187407 | 2147483647    73588     87 |  0.000 % |
96.03/96.12	c |     73781 |    1698   269831  1187407 | 2147483647    73781     87 |  0.000 % |
96.23/96.35	c |     73995 |    1698   269831  1187407 | 2147483647    73995     87 |  0.000 % |
96.53/96.66	c |     74229 |    1698   269831  1187407 | 2147483647    74229     87 |  0.000 % |
97.03/97.11	c |     74485 |    1698   269831  1187407 | 2147483647    74485     87 |  0.000 % |
97.53/97.69	c |     74766 |    1698   269831  1187407 | 2147483647    74766     87 |  0.000 % |
97.93/98.01	c |     75075 |    1698   269831  1187407 | 2147483647    75075     87 |  0.000 % |
98.53/98.67	c |     75414 |    1698   269831  1187407 | 2147483647    75414     87 |  0.000 % |
99.03/99.17	c |     75786 |    1698   269831  1187407 | 2147483647    75786     87 |  0.000 % |
99.63/99.74	c |     76195 |    1698   269831  1187407 | 2147483647    76195     87 |  0.000 % |
100.43/100.54	c |     76644 |    1698   269831  1187407 | 2147483647    76644     87 |  0.000 % |
101.03/101.18	c |     77137 |    1698   269831  1187407 | 2147483647    77137     87 |  0.000 % |
102.02/102.10	c |     77679 |    1698   269831  1187407 | 2147483647    77679     87 |  0.000 % |
103.02/103.12	c |     78277 |    1698   269831  1187407 | 2147483647    78277     87 |  0.000 % |
103.92/104.03	c |     78934 |    1698   269831  1187407 | 2147483647    78934     87 |  0.000 % |
105.02/105.15	c |     79654 |    1698   269831  1187407 | 2147483647    79654     87 |  0.000 % |
105.93/106.07	c |     80446 |    1698   269831  1187407 | 2147483647    80446     88 |  0.000 % |
107.43/107.54	c |     81317 |    1698   269831  1187407 | 2147483647    81317     88 |  0.000 % |
109.62/109.75	c |     82275 |    1698   269831  1187407 | 2147483647    82275     87 |  0.000 % |
109.83/109.99	c |     82376 |    1698   269831  1187407 | 2147483647    82376     87 |  0.000 % |
110.12/110.28	c |     82486 |    1698   269831  1187407 | 2147483647    82486     87 |  0.000 % |
110.52/110.68	c |     82607 |    1698   269831  1187407 | 2147483647    82607     87 |  0.000 % |
110.82/110.98	c |     82740 |    1698   269831  1187407 | 2147483647    82740     87 |  0.000 % |
111.22/111.34	c |     82887 |    1698   269831  1187407 | 2147483647    82887     87 |  0.000 % |
111.52/111.66	c |     83048 |    1698   269831  1187407 | 2147483647    83048     87 |  0.000 % |
111.92/112.07	c |     83224 |    1698   269831  1187407 | 2147483647    83224     87 |  0.000 % |
112.32/112.44	c |     83418 |    1698   269831  1187407 | 2147483647    83418     87 |  0.000 % |
112.72/112.88	c |     83630 |    1698   269831  1187407 | 2147483647    83630     87 |  0.000 % |
113.13/113.22	c |     83865 |    1698   269831  1187407 | 2147483647    83865     87 |  0.000 % |
113.82/113.92	c |     84122 |    1698   269831  1187407 | 2147483647    84122     87 |  0.000 % |
114.32/114.45	c |     84405 |    1698   269831  1187407 | 2147483647    84405     87 |  0.000 % |
114.72/114.85	c |     84716 |    1698   269831  1187407 | 2147483647    84716     87 |  0.000 % |
115.22/115.35	c |     85057 |    1698   269831  1187407 | 2147483647    85057     87 |  0.000 % |
115.92/116.07	c |     85429 |    1698   269831  1187407 | 2147483647    85429     87 |  0.000 % |
116.82/116.96	c |     85842 |    1698   269831  1187407 | 2147483647    85842     87 |  0.000 % |
117.62/117.76	c |     86292 |    1698   269831  1187407 | 2147483647    86292     87 |  0.000 % |
118.42/118.51	c |     86789 |    1698   269831  1187407 | 2147483647    86789     87 |  0.000 % |
119.02/119.17	c |     87331 |    1698   269831  1187407 | 2147483647    87331     87 |  0.000 % |
119.42/119.55	c |     87927 |    1698   269831  1187407 | 2147483647    87927     87 |  0.000 % |
120.32/120.42	c |     88582 |    1698   269831  1187407 | 2147483647    88582     88 |  0.000 % |
121.32/121.46	c |     89302 |    1698   269831  1187407 | 2147483647    89302     88 |  0.000 % |
122.52/122.64	c |     90095 |    1698   269831  1187407 | 2147483647    90095     88 |  0.000 % |
123.32/123.48	c |     90966 |    1698   269831  1187407 | 2147483647    90966     88 |  0.000 % |
124.61/124.78	c |     91924 |    1698   269831  1187407 | 2147483647    91924     88 |  0.000 % |
126.51/126.65	c |     92977 |    1698   269831  1187407 | 2147483647    92977     88 |  0.000 % |
126.71/126.86	c |     93077 |    1698   269831  1187407 | 2147483647    93077     88 |  0.000 % |
127.01/127.13	c |     93188 |    1698   269831  1187407 | 2147483647    93188     88 |  0.000 % |
127.21/127.39	c |     93309 |    1698   269831  1187407 | 2147483647    93309     88 |  0.000 % |
127.51/127.64	c |     93443 |    1698   269831  1187407 | 2147483647    93443     88 |  0.000 % |
127.81/127.92	c |     93590 |    1698   269831  1187407 | 2147483647    93590     88 |  0.000 % |
128.21/128.30	c |     93750 |    1698   269831  1187407 | 2147483647    93750     88 |  0.000 % |
128.41/128.56	c |     93929 |    1698   269831  1187407 | 2147483647    93929     88 |  0.000 % |
128.81/128.93	c |     94122 |    1698   269831  1187407 | 2147483647    94122     88 |  0.000 % |
129.32/129.44	c |     94335 |    1698   269831  1187407 | 2147483647    94335     88 |  0.000 % |
129.82/129.97	c |     94570 |    1698   269831  1187407 | 2147483647    94570     88 |  0.000 % |
130.52/130.65	c |     94827 |    1698   269831  1187407 | 2147483647    94827     88 |  0.000 % |
131.02/131.11	c |     95108 |    1698   269831  1187407 | 2147483647    95108     88 |  0.000 % |
131.42/131.56	c |     95417 |    1698   269831  1187407 | 2147483647    95417     88 |  0.000 % |
132.02/132.16	c |     95760 |    1698   269831  1187407 | 2147483647    95760     88 |  0.000 % |
132.52/132.63	c |     96133 |    1698   269831  1187407 | 2147483647    96133     88 |  0.000 % |
133.12/133.27	c |     96543 |    1698   269831  1187407 | 2147483647    96543     88 |  0.000 % |
133.91/134.03	c |     96993 |    1698   269831  1187407 | 2147483647    96993     88 |  0.000 % |
134.71/134.87	c |     97487 |    1698   269831  1187407 | 2147483647    97487     88 |  0.000 % |
136.21/136.31	c |     98035 |    1698   269831  1187407 | 2147483647    98035     88 |  0.000 % |
137.31/137.41	c |     98632 |    1698   269831  1187407 | 2147483647    98632     88 |  0.000 % |
138.92/139.05	c |     99288 |    1698   269831  1187407 | 2147483647    99288     88 |  0.000 % |
140.72/140.86	c |    100008 |    1698   269831  1187407 | 2147483647   100008     88 |  0.000 % |
141.91/142.00	c |    100800 |    1698   269831  1187407 | 2147483647   100800     88 |  0.000 % |
143.61/143.73	c |    101672 |    1698   269831  1187407 | 2147483647   101672     88 |  0.000 % |
144.81/144.90	c |    102631 |    1698   269831  1187407 | 2147483647   102631     89 |  0.000 % |
147.01/147.17	c |    103687 |    1698   269831  1187407 | 2147483647   103687     89 |  0.000 % |
148.71/148.82	c |    104846 |    1698   269831  1187407 | 2147483647   104846     89 |  0.000 % |
148.91/149.00	c |    104946 |    1698   269831  1187407 | 2147483647   104946     89 |  0.000 % |
149.20/149.34	c |    105057 |    1698   269831  1187407 | 2147483647   105057     89 |  0.000 % |
149.41/149.58	c |    105179 |    1698   269831  1187407 | 2147483647   105179     89 |  0.000 % |
149.90/150.01	c |    105312 |    1698   269831  1187407 | 2147483647   105312     89 |  0.000 % |
150.20/150.31	c |    105460 |    1698   269831  1187407 | 2147483647   105460     89 |  0.000 % |
150.51/150.68	c |    105620 |    1698   269831  1187407 | 2147483647   105620     89 |  0.000 % |
151.00/151.10	c |    105798 |    1698   269831  1187407 | 2147483647   105798     89 |  0.000 % |
151.50/151.65	c |    105991 |    1698   269831  1187407 | 2147483647   105991     89 |  0.000 % |
152.10/152.27	c |    106203 |    1698   269831  1187407 | 2147483647   106203     89 |  0.000 % |
152.81/152.94	c |    106437 |    1698   269831  1187407 | 2147483647   106437     89 |  0.000 % |
153.40/153.54	c |    106693 |    1698   269831  1187407 | 2147483647   106693     89 |  0.000 % |
153.91/154.04	c |    106975 |    1698   269831  1187407 | 2147483647   106975     89 |  0.000 % |
154.30/154.42	c |    107286 |    1698   269831  1187407 | 2147483647   107286     89 |  0.000 % |
154.71/154.86	c |    107625 |    1698   269831  1187407 | 2147483647   107625     89 |  0.000 % |
155.41/155.54	c |    107997 |    1698   269831  1187407 | 2147483647   107997     89 |  0.000 % |
156.61/156.71	c |    108406 |    1698   269831  1187407 | 2147483647   108406     89 |  0.000 % |
157.71/157.87	c |    108855 |    1698   269831  1187407 | 2147483647   108855     88 |  0.000 % |
158.91/159.07	c |    109353 |    1698   269831  1187407 | 2147483647   109353     88 |  0.000 % |
160.31/160.45	c |    109897 |    1698   269831  1187407 | 2147483647   109897     88 |  0.000 % |
162.01/162.15	c |    110493 |    1698   269831  1187407 | 2147483647   110493     88 |  0.000 % |
163.71/163.87	c |    111152 |    1698   269831  1187407 | 2147483647   111152     88 |  0.000 % |
165.20/165.36	c |    111872 |    1698   269831  1187407 | 2147483647   111872     88 |  0.000 % |
166.30/166.48	c |    112665 |    1698   269831  1187407 | 2147483647   112665     88 |  0.000 % |
168.50/168.69	c |    113537 |    1698   269831  1187407 | 2147483647   113537     87 |  0.000 % |
170.30/170.50	c |    114495 |    1698   269831  1187407 | 2147483647   114495     88 |  0.000 % |
172.30/172.47	c |    115549 |    1698   269831  1187407 | 2147483647   115549     88 |  0.000 % |
174.90/175.04	c |    116708 |    1698   269831  1187407 | 2147483647   116708     88 |  0.000 % |
176.49/176.62	c |    117981 |    1698   269831  1187407 | 2147483647   117981     88 |  0.000 % |
176.69/176.82	c |    118084 |    1698   269831  1187407 | 2147483647   118084     88 |  0.000 % |
176.90/177.10	c |    118194 |    1698   269831  1187407 | 2147483647   118194     88 |  0.000 % |
177.19/177.38	c |    118316 |    1698   269831  1187407 | 2147483647   118316     88 |  0.000 % |
177.59/177.74	c |    118450 |    1698   269831  1187407 | 2147483647   118450     88 |  0.000 % |
178.19/178.32	c |    118596 |    1698   269831  1187407 | 2147483647   118596     88 |  0.000 % |
178.69/178.83	c |    118759 |    1698   269831  1187407 | 2147483647   118759     88 |  0.000 % |
179.10/179.25	c |    118935 |    1698   269831  1187407 | 2147483647   118935     88 |  0.000 % |
179.79/179.94	c |    119133 |    1698   269831  1187407 | 2147483647   119133     88 |  0.000 % |
180.49/180.60	c |    119347 |    1698   269831  1187407 | 2147483647   119347     88 |  0.000 % |
181.09/181.25	c |    119584 |    1698   269831  1187407 | 2147483647   119584     88 |  0.000 % |
181.69/181.80	c |    119841 |    1698   269831  1187407 | 2147483647   119841     88 |  0.000 % |
182.29/182.41	c |    120123 |    1698   269831  1187407 | 2147483647   120123     88 |  0.000 % |
182.99/183.15	c |    120434 |    1698   269831  1187407 | 2147483647   120434     88 |  0.000 % |
183.69/183.81	c |    120774 |    1698   269831  1187407 | 2147483647   120774     89 |  0.000 % |
184.40/184.51	c |    121147 |    1698   269831  1187407 | 2147483647   121147     89 |  0.000 % |
185.10/185.26	c |    121559 |    1698   269831  1187407 | 2147483647   121559     89 |  0.000 % |
185.80/185.99	c |    122008 |    1698   269831  1187407 | 2147483647   122008     89 |  0.000 % |
186.90/187.04	c |    122502 |    1698   269831  1187407 | 2147483647   122502     89 |  0.000 % |
188.40/188.52	c |    123046 |    1698   269831  1187407 | 2147483647   123046     89 |  0.000 % |
190.20/190.30	c |    123642 |    1698   269831  1187407 | 2147483647   123642     89 |  0.000 % |
191.69/191.84	c |    124299 |    1698   269831  1187407 | 2147483647   124299     89 |  0.000 % |
193.79/193.96	c |    125019 |    1698   269831  1187407 | 2147483647   125019     89 |  0.000 % |
195.59/195.71	c |    125812 |    1698   269831  1187407 | 2147483647   125812     89 |  0.000 % |
196.69/196.82	c |    126683 |    1698   269831  1187407 | 2147483647   126683     89 |  0.000 % |
198.89/199.01	c |    127642 |    1698   269831  1187407 | 2147483647   127642     89 |  0.000 % |
201.09/201.24	c |    128698 |    1698   269831  1187407 | 2147483647   128698     89 |  0.000 % |
203.69/203.86	c |    129859 |    1698   269831  1187407 | 2147483647   129859     89 |  0.000 % |
206.78/206.98	c |    131132 |    1698   269831  1187407 | 2147483647   131132     88 |  0.000 % |
210.68/210.82	c |    132534 |    1698   269831  1187407 | 2147483647   132534     88 |  0.000 % |
210.99/211.17	c |    132636 |    1698   269831  1187407 | 2147483647   132636     88 |  0.000 % |
211.28/211.46	c |    132747 |    1698   269831  1187407 | 2147483647   132747     88 |  0.000 % |
211.58/211.73	c |    132868 |    1698   269831  1187407 | 2147483647   132868     88 |  0.000 % |
211.78/211.99	c |    133001 |    1698   269831  1187407 | 2147483647   133001     88 |  0.000 % |
212.09/212.29	c |    133149 |    1698   269831  1187407 | 2147483647   133149     88 |  0.000 % |
212.58/212.80	c |    133310 |    1698   269831  1187407 | 2147483647   133310     88 |  0.000 % |
213.08/213.23	c |    133487 |    1698   269831  1187407 | 2147483647   133487     88 |  0.000 % |
213.78/213.91	c |    133682 |    1698   269831  1187407 | 2147483647   133682     88 |  0.000 % |
214.38/214.58	c |    133900 |    1698   269831  1187407 | 2147483647   133900     88 |  0.000 % |
214.88/215.01	c |    134134 |    1698   269831  1187407 | 2147483647   134134     88 |  0.000 % |
215.28/215.47	c |    134391 |    1698   269831  1187407 | 2147483647   134391     88 |  0.000 % |
215.88/216.08	c |    134674 |    1698   269831  1187407 | 2147483647   134674     88 |  0.000 % |
216.88/217.08	c |    134983 |    1698   269831  1187407 | 2147483647   134983     88 |  0.000 % |
217.78/217.99	c |    135322 |    1698   269831  1187407 | 2147483647   135322     88 |  0.000 % |
218.98/219.18	c |    135695 |    1698   269831  1187407 | 2147483647   135695     88 |  0.000 % |
220.17/220.33	c |    136104 |    1698   269831  1187407 | 2147483647   136104     88 |  0.000 % |
221.77/221.91	c |    136554 |    1698   269831  1187407 | 2147483647   136554     88 |  0.000 % |
223.17/223.32	c |    137047 |    1698   269831  1187407 | 2147483647   137047     88 |  0.000 % |
224.47/224.65	c |    137590 |    1698   269831  1187407 | 2147483647   137590     88 |  0.000 % |
226.18/226.38	c |    138187 |    1698   269831  1187407 | 2147483647   138187     88 |  0.000 % |
228.18/228.31	c |    138842 |    1698   269831  1187407 | 2147483647   138842     88 |  0.000 % |
230.47/230.60	c |    139562 |    1698   269831  1187407 | 2147483647   139562     88 |  0.000 % |
232.87/233.03	c |    140355 |    1698   269831  1187407 | 2147483647   140355     88 |  0.000 % |
235.57/235.76	c |    141226 |    1698   269831  1187407 | 2147483647   141226     88 |  0.000 % |
238.27/238.48	c |    142187 |    1698   269831  1187407 | 2147483647   142187     88 |  0.000 % |
241.27/241.46	c |    143240 |    1698   269831  1187407 | 2147483647   143240     88 |  0.000 % |
244.46/244.68	c |    144398 |    1698   269831  1187407 | 2147483647   144398     87 |  0.000 % |
248.46/248.61	c |    145676 |    1698   269831  1187407 | 2147483647   145676     87 |  0.000 % |
252.66/252.89	c |    147077 |    1698   269831  1187407 | 2147483647   147077     87 |  0.000 % |
255.37/255.59	c |    148618 |    1698   269831  1187407 | 2147483647   148618     87 |  0.000 % |
255.77/255.93	c |    148719 |    1698   269831  1187407 | 2147483647   148719     87 |  0.000 % |
256.07/256.24	c |    148830 |    1698   269831  1187407 | 2147483647   148830     87 |  0.000 % |
256.47/256.60	c |    148952 |    1698   269831  1187407 | 2147483647   148952     87 |  0.000 % |
256.77/256.97	c |    149085 |    1698   269831  1187407 | 2147483647   149085     87 |  0.000 % |
257.27/257.48	c |    149231 |    1698   269831  1187407 | 2147483647   149231     87 |  0.000 % |
257.67/257.88	c |    149391 |    1698   269831  1187407 | 2147483647   149391     87 |  0.000 % |
258.17/258.38	c |    149567 |    1698   269831  1187407 | 2147483647   149567     87 |  0.000 % |
258.77/258.94	c |    149761 |    1698   269831  1187407 | 2147483647   149761     87 |  0.000 % |
259.17/259.37	c |    149975 |    1698   269831  1187407 | 2147483647   149975     87 |  0.000 % |
259.66/259.82	c |    150209 |    1698   269831  1187407 | 2147483647   150209     87 |  0.000 % |
260.26/260.46	c |    150465 |    1698   269831  1187407 | 2147483647   150465     87 |  0.000 % |
261.06/261.24	c |    150746 |    1698   269831  1187407 | 2147483647   150746     87 |  0.000 % |
262.26/262.49	c |    151056 |    1698   269831  1187407 | 2147483647   151056     87 |  0.000 % |
263.16/263.34	c |    151395 |    1698   269831  1187407 | 2147483647   151395     87 |  0.000 % |
263.76/263.99	c |    151767 |    1698   269831  1187407 | 2147483647   151767     87 |  0.000 % |
264.46/264.60	c |    152177 |    1698   269831  1187407 | 2147483647   152177     87 |  0.000 % |
265.36/265.55	c |    152626 |    1698   269831  1187407 | 2147483647   152626     87 |  0.000 % |
266.06/266.26	c |    153119 |    1698   269831  1187407 | 2147483647   153119     87 |  0.000 % |
266.86/267.00	c |    153661 |    1698   269831  1187407 | 2147483647   153661     87 |  0.000 % |
267.95/268.15	c |    154258 |    1698   269831  1187407 | 2147483647   154258     87 |  0.000 % |
269.05/269.26	c |    154914 |    1698   269831  1187407 | 2147483647   154914     87 |  0.000 % |
270.05/270.21	c |    155636 |    1698   269831  1187407 | 2147483647   155636     87 |  0.000 % |
271.25/271.45	c |    156428 |    1698   269831  1187407 | 2147483647   156428     87 |  0.000 % |
272.65/272.87	c |    157300 |    1698   269831  1187407 | 2147483647   157300     87 |  0.000 % |
274.16/274.35	c |    158258 |    1698   269831  1187407 | 2147483647   158258     87 |  0.000 % |
275.76/275.95	c |    159314 |    1698   269831  1187407 | 2147483647   159314     87 |  0.000 % |
277.35/277.55	c |    160474 |    1698   269831  1187407 | 2147483647   160474     87 |  0.000 % |
279.45/279.68	c |    161748 |    1698   269831  1187407 | 2147483647   161748     87 |  0.000 % |
281.85/282.02	c |    163148 |    1698   269831  1187407 | 2147483647   163148     87 |  0.000 % |
283.75/283.91	c |    164688 |    1698   269831  1187407 | 2147483647   164688     87 |  0.000 % |
285.95/286.12	c |    166382 |    1698   269831  1187407 | 2147483647   166382     86 |  0.000 % |
286.05/286.26	c |    166482 |    1698   269831  1187407 | 2147483647   166482     86 |  0.002 % |
286.25/286.41	c |    166592 |    1698   269831  1187407 | 2147483647   166592     86 |  0.000 % |
286.65/286.85	c |    166713 |    1698   269831  1187407 | 2147483647   166713     86 |  0.000 % |
286.95/287.17	c |    166846 |    1698   269831  1187407 | 2147483647   166846     86 |  0.000 % |
287.35/287.51	c |    166992 |    1698   269831  1187407 | 2147483647   166992     86 |  0.000 % |
287.75/287.90	c |    167153 |    1698   269831  1187407 | 2147483647   167153     86 |  0.000 % |
288.24/288.48	c |    167329 |    1698   269831  1187407 | 2147483647   167329     86 |  0.000 % |
288.74/288.93	c |    167523 |    1698   269831  1187407 | 2147483647   167523     86 |  0.000 % |
289.15/289.40	c |    167735 |    1698   269831  1187407 | 2147483647   167735     86 |  0.000 % |
289.55/289.73	c |    167971 |    1698   269831  1187407 | 2147483647   167971     86 |  0.000 % |
290.35/290.51	c |    168228 |    1698   269831  1187407 | 2147483647   168228     87 |  0.000 % |
291.65/291.87	c |    168511 |    1698   269831  1187407 | 2147483647   168511     86 |  0.000 % |
293.15/293.33	c |    168820 |    1698   269831  1187407 | 2147483647   168820     87 |  0.000 % |
294.45/294.67	c |    169161 |    1698   269831  1187407 | 2147483647   169161     86 |  0.000 % |
295.65/295.88	c |    169535 |    1698   269831  1187407 | 2147483647   169535     86 |  0.000 % |
296.85/297.08	c |    169944 |    1698   269831  1187407 | 2147483647   169944     86 |  0.000 % |
298.04/298.29	c |    170394 |    1698   269831  1187407 | 2147483647   170394     86 |  0.000 % |
299.64/299.80	c |    170887 |    1698   269831  1187407 | 2147483647   170887     86 |  0.000 % |
301.25/301.47	c |    171430 |    1698   269831  1187407 | 2147483647   171430     86 |  0.000 % |
302.74/302.95	c |    172026 |    1698   269831  1187407 | 2147483647   172026     86 |  0.000 % |
304.14/304.36	c |    172682 |    1698   269831  1187407 | 2147483647   172682     86 |  0.000 % |
306.44/306.61	c |    173402 |    1698   269831  1187407 | 2147483647   173402     86 |  0.000 % |
308.04/308.22	c |    174194 |    1698   269831  1187407 | 2147483647   174194     87 |  0.000 % |
309.94/310.12	c |    175067 |    1698   269831  1187407 | 2147483647   175067     87 |  0.000 % |
313.44/313.63	c |    176027 |    1698   269831  1187407 | 2147483647   176027     87 |  0.000 % |
316.34/316.53	c |    177080 |    1698   269831  1187407 | 2147483647   177080     87 |  0.000 % |
318.34/318.60	c |    178238 |    1698   269831  1187407 | 2147483647   178238     87 |  0.000 % |
322.04/322.22	c |    179515 |    1698   269831  1187407 | 2147483647   179515     87 |  0.000 % |
327.74/327.97	c |    180918 |    1698   269831  1187407 | 2147483647   180918     87 |  0.000 % |
332.63/332.80	c |    182458 |    1698   269831  1187407 | 2147483647   182458     87 |  0.000 % |
338.33/338.60	c |    184152 |    1698   269831  1187407 | 2147483647   184152     87 |  0.000 % |
342.23/342.44	c |    186017 |    1698   269831  1187407 | 2147483647   186017     86 |  0.000 % |
342.63/342.84	c |    186117 |    1698   269831  1187407 | 2147483647   186117     86 |  0.000 % |
343.03/343.23	c |    186229 |    1698   269831  1187407 | 2147483647   186229     86 |  0.000 % |
343.63/343.82	c |    186351 |    1698   269831  1187407 | 2147483647   186351     86 |  0.000 % |
344.03/344.28	c |    186488 |    1698   269831  1187407 | 2147483647   186488     86 |  0.000 % |
344.53/344.78	c |    186634 |    1698   269831  1187407 | 2147483647   186634     86 |  0.000 % |
345.03/345.27	c |    186794 |    1698   269831  1187407 | 2147483647   186794     86 |  0.000 % |
345.53/345.79	c |    186970 |    1698   269831  1187407 | 2147483647   186970     86 |  0.000 % |
346.33/346.57	c |    187166 |    1698   269831  1187407 | 2147483647   187166     86 |  0.000 % |
346.93/347.15	c |    187378 |    1698   269831  1187407 | 2147483647   187378     86 |  0.000 % |
347.62/347.87	c |    187613 |    1698   269831  1187407 | 2147483647   187613     86 |  0.000 % |
348.33/348.58	c |    187869 |    1698   269831  1187407 | 2147483647   187869     86 |  0.000 % |
349.43/349.61	c |    188152 |    1698   269831  1187407 | 2147483647   188152     86 |  0.000 % |
350.33/350.51	c |    188461 |    1698   269831  1187407 | 2147483647   188461     86 |  0.000 % |
350.93/351.17	c |    188800 |    1698   269831  1187407 | 2147483647   188800     86 |  0.000 % |
352.03/352.21	c |    189173 |    1698   269831  1187407 | 2147483647   189173     86 |  0.000 % |
353.03/353.24	c |    189584 |    1698   269831  1187407 | 2147483647   189584     86 |  0.000 % |
354.33/354.50	c |    190034 |    1698   269831  1187407 | 2147483647   190034     87 |  0.000 % |
355.73/355.93	c |    190530 |    1698   269831  1187407 | 2147483647   190530     87 |  0.000 % |
357.43/357.67	c |    191072 |    1698   269831  1187407 | 2147483647   191072     87 |  0.000 % |
359.13/359.38	c |    191668 |    1698   269831  1187407 | 2147483647   191668     87 |  0.000 % |
361.03/361.29	c |    192323 |    1698   269831  1187407 | 2147483647   192323     87 |  0.000 % |
362.52/362.74	c |    193045 |    1698   269831  1187407 | 2147483647   193045     87 |  0.000 % |
365.22/365.43	c |    193837 |    1698   269831  1187407 | 2147483647   193837     87 |  0.000 % |
367.72/367.95	c |    194708 |    1698   269831  1187407 | 2147483647   194708     87 |  0.000 % |
370.12/370.33	c |    195666 |    1698   269831  1187407 | 2147483647   195666     87 |  0.000 % |
373.92/374.17	c |    196719 |    1698   269831  1187407 | 2147483647   196719     87 |  0.000 % |
376.11/376.36	c |    197880 |    1698   269831  1187407 | 2147483647   197880     87 |  0.000 % |
380.21/380.43	c |    199154 |    1698   269831  1187407 | 2147483647   199154     87 |  0.000 % |
384.61/384.82	c |    200556 |    1698   269831  1187407 | 2147483647   200556     87 |  0.000 % |
389.62/389.81	c |    202097 |    1698   269831  1187407 | 2147483647   202097     87 |  0.000 % |
394.72/394.97	c |    203791 |    1698   269831  1187407 | 2147483647   203791     87 |  0.000 % |
400.81/401.09	c |    205654 |    1698   269831  1187407 | 2147483647   205654     87 |  0.000 % |
404.91/405.19	c |    207704 |    1698   269831  1187407 | 2147483647   207704     87 |  0.000 % |
405.21/405.47	c |    207805 |    1698   269831  1187407 | 2147483647   207805     87 |  0.000 % |
405.61/405.82	c |    207919 |    1698   269831  1187407 | 2147483647   207919     87 |  0.000 % |
405.91/406.12	c |    208040 |    1698   269831  1187407 | 2147483647   208040     87 |  0.000 % |
406.51/406.70	c |    208174 |    1698   269831  1187407 | 2147483647   208174     87 |  0.000 % |
406.91/407.13	c |    208320 |    1698   269831  1187407 | 2147483647   208320     87 |  0.000 % |
407.41/407.63	c |    208482 |    1698   269831  1187407 | 2147483647   208482     87 |  0.000 % |
408.11/408.31	c |    208661 |    1698   269831  1187407 | 2147483647   208661     87 |  0.000 % |
408.81/409.08	c |    208854 |    1698   269831  1187407 | 2147483647   208854     87 |  0.000 % |
409.81/410.10	c |    209071 |    1698   269831  1187407 | 2147483647   209071     87 |  0.000 % |
410.91/411.14	c |    209305 |    1698   269831  1187407 | 2147483647   209305     87 |  0.000 % |
411.60/411.89	c |    209562 |    1698   269831  1187407 | 2147483647   209562     87 |  0.000 % |
412.70/412.93	c |    209844 |    1698   269831  1187407 | 2147483647   209844     87 |  0.000 % |
413.80/414.05	c |    210153 |    1698   269831  1187407 | 2147483647   210153     87 |  0.000 % |
415.01/415.22	c |    210492 |    1698   269831  1187407 | 2147483647   210492     87 |  0.000 % |
416.41/416.60	c |    210864 |    1698   269831  1187407 | 2147483647   210864     87 |  0.000 % |
418.01/418.27	c |    211273 |    1698   269831  1187407 | 2147483647   211273     87 |  0.000 % |
419.11/419.31	c |    211725 |    1698   269831  1187407 | 2147483647   211725     87 |  0.000 % |
420.31/420.52	c |    212219 |    1698   269831  1187407 | 2147483647   212219     87 |  0.000 % |
421.41/421.65	c |    212762 |    1698   269831  1187407 | 2147483647   212762     87 |  0.000 % |
422.81/423.05	c |    213358 |    1698   269831  1187407 | 2147483647   213358     87 |  0.000 % |
424.21/424.42	c |    214014 |    1698   269831  1187407 | 2147483647   214014     87 |  0.000 % |
426.11/426.36	c |    214734 |    1698   269831  1187407 | 2147483647   214734     87 |  0.000 % |
428.71/428.95	c |    215528 |    1698   269831  1187407 | 2147483647   215528     87 |  0.000 % |
432.01/432.22	c |    216402 |    1698   269831  1187407 | 2147483647   216402     88 |  0.000 % |
434.50/434.78	c |    217360 |    1698   269831  1187407 | 2147483647   217360     87 |  0.000 % |
436.50/436.78	c |    218415 |    1698   269831  1187407 | 2147483647   218415     87 |  0.000 % |
439.30/439.55	c |    219577 |    1698   269831  1187407 | 2147483647   219577     87 |  0.000 % |
444.00/444.25	c |    220850 |    1698   269831  1187407 | 2147483647   220850     87 |  0.000 % |
447.30/447.57	c |    222250 |    1698   269831  1187407 | 2147483647   222250     88 |  0.000 % |
451.80/452.05	c |    223790 |    1698   269831  1187407 | 2147483647   223790     88 |  0.000 % |
457.99/458.27	c |    225485 |    1698   269831  1187407 | 2147483647   225485     88 |  0.000 % |
465.69/465.96	c |    227349 |    1698   269831  1187407 | 2147483647   227349     87 |  0.000 % |
471.59/471.83	c |    229399 |    1698   269831  1187407 | 2147483647   229399     87 |  0.000 % |
479.08/479.34	c |    231653 |    1698   269831  1187407 | 2147483647   231653     88 |  0.000 % |
479.48/479.72	c |    231753 |    1698   269831  1187407 | 2147483647   231753     88 |  0.000 % |
479.78/480.09	c |    231863 |    1698   269831  1187407 | 2147483647   231863     88 |  0.000 % |
480.28/480.51	c |    231986 |    1698   269831  1187407 | 2147483647   231986     88 |  0.000 % |
480.68/480.96	c |    232120 |    1698   269831  1187407 | 2147483647   232120     88 |  0.000 % |
481.28/481.52	c |    232266 |    1698   269831  1187407 | 2147483647   232266     88 |  0.000 % |
481.68/481.92	c |    232427 |    1698   269831  1187407 | 2147483647   232427     88 |  0.000 % |
482.48/482.71	c |    232604 |    1698   269831  1187407 | 2147483647   232604     88 |  0.000 % |
483.28/483.50	c |    232797 |    1698   269831  1187407 | 2147483647   232797     88 |  0.000 % |
483.98/484.29	c |    233012 |    1698   269831  1187407 | 2147483647   233012     88 |  0.000 % |
484.88/485.16	c |    233245 |    1698   269831  1187407 | 2147483647   233245     88 |  0.000 % |
485.58/485.88	c |    233502 |    1698   269831  1187407 | 2147483647   233502     88 |  0.000 % |
486.48/486.76	c |    233785 |    1698   269831  1187407 | 2147483647   233785     88 |  0.000 % |
487.48/487.74	c |    234096 |    1698   269831  1187407 | 2147483647   234096     88 |  0.000 % |
488.28/488.58	c |    234435 |    1698   269831  1187407 | 2147483647   234435     88 |  0.000 % |
489.88/490.12	c |    234807 |    1698   269831  1187407 | 2147483647   234807     88 |  0.000 % |
490.98/491.26	c |    235216 |    1698   269831  1187407 | 2147483647   235216     88 |  0.000 % |
492.68/492.99	c |    235665 |    1698   269831  1187407 | 2147483647   235665     88 |  0.000 % |
494.88/495.10	c |    236158 |    1698   269831  1187407 | 2147483647   236158     88 |  0.000 % |
497.18/497.41	c |    236701 |    1698   269831  1187407 | 2147483647   236701     88 |  0.000 % |
499.67/499.90	c |    237299 |    1698   269831  1187407 | 2147483647   237299     88 |  0.000 % |
501.97/502.26	c |    237956 |    1698   269831  1187407 | 2147483647   237956     88 |  0.000 % |
504.58/504.89	c |    238676 |    1698   269831  1187407 | 2147483647   238676     87 |  0.000 % |
507.88/508.12	c |    239469 |    1698   269831  1187407 | 2147483647   239469     87 |  0.000 % |
511.18/511.45	c |    240348 |    1698   269831  1187407 | 2147483647   240348     87 |  0.000 % |
514.87/515.12	c |    241307 |    1698   269831  1187407 | 2147483647   241307     87 |  0.000 % |
517.67/517.90	c |    242364 |    1698   269831  1187407 | 2147483647   242364     87 |  0.000 % |
521.18/521.41	c |    243522 |    1698   269831  1187407 | 2147483647   243522     87 |  0.000 % |
526.17/526.40	c |    244796 |    1698   269831  1187407 | 2147483647   244796     87 |  0.000 % |
532.57/532.89	c |    246198 |    1698   269831  1187407 | 2147483647   246198     87 |  0.000 % |
539.57/539.83	c |    247739 |    1698   269831  1187407 | 2147483647   247739     87 |  0.000 % |
546.86/547.15	c |    249433 |    1698   269831  1187407 | 2147483647   249433     87 |  0.000 % |
552.46/552.76	c |    251297 |    1698   269831  1187407 | 2147483647   251297     86 |  0.000 % |
558.87/559.14	c |    253346 |    1698   269831  1187407 | 2147483647   253346     86 |  0.000 % |
564.96/565.21	c |    255599 |    1698   269831  1187407 | 2147483647   255599     87 |  0.000 % |
570.75/571.06	c |    258077 |    1698   269831  1187407 | 2147483647   258077     87 |  0.000 % |
571.25/571.59	c |    258183 |    1698   269831  1187407 | 2147483647   258183     87 |  0.000 % |
571.95/572.25	c |    258293 |    1698   269831  1187407 | 2147483647   258293     87 |  0.000 % |
572.55/572.80	c |    258415 |    1698   269831  1187407 | 2147483647   258415     87 |  0.000 % |
572.76/573.09	c |    258548 |    1698   269831  1187407 | 2147483647   258548     87 |  0.000 % |
573.36/573.65	c |    258694 |    1698   269831  1187407 | 2147483647   258694     87 |  0.000 % |
574.16/574.49	c |    258856 |    1698   269831  1187407 | 2147483647   258856     87 |  0.000 % |
574.97/575.21	c |    259034 |    1698   269831  1187407 | 2147483647   259034     87 |  0.000 % |
575.76/576.07	c |    259231 |    1698   269831  1187407 | 2147483647   259231     87 |  0.000 % |
576.36/576.63	c |    259445 |    1698   269831  1187407 | 2147483647   259445     87 |  0.000 % |
577.26/577.51	c |    259679 |    1698   269831  1187407 | 2147483647   259679     87 |  0.000 % |
578.66/578.92	c |    259937 |    1698   269831  1187407 | 2147483647   259937     87 |  0.000 % |
579.66/579.95	c |    260218 |    1698   269831  1187407 | 2147483647   260218     87 |  0.000 % |
580.46/580.77	c |    260527 |    1698   269831  1187407 | 2147483647   260527     87 |  0.000 % |
581.76/582.00	c |    260866 |    1698   269831  1187407 | 2147483647   260866     87 |  0.000 % |
582.86/583.13	c |    261238 |    1698   269831  1187407 | 2147483647   261238     87 |  0.000 % |
584.55/584.82	c |    261653 |    1698   269831  1187407 | 2147483647   261653     87 |  0.000 % |
586.25/586.56	c |    262102 |    1698   269831  1187407 | 2147483647   262102     87 |  0.000 % |
587.65/587.93	c |    262597 |    1698   269831  1187407 | 2147483647   262597     87 |  0.000 % |
590.15/590.45	c |    263139 |    1698   269831  1187407 | 2147483647   263139     87 |  0.000 % |
591.85/592.14	c |    263738 |    1698   269831  1187407 | 2147483647   263738     87 |  0.000 % |
594.65/594.90	c |    264395 |    1698   269831  1187407 | 2147483647   264395     87 |  0.000 % |
597.55/597.84	c |    265118 |    1698   269831  1187407 | 2147483647   265118     87 |  0.000 % |
600.65/600.92	c |    265912 |    1698   269831  1187407 | 2147483647   265912     87 |  0.000 % |
604.14/604.43	c |    266783 |    1698   269831  1187407 | 2147483647   266783     87 |  0.000 % |
608.34/608.67	c |    267741 |    1698   269831  1187407 | 2147483647   267741     87 |  0.000 % |
612.64/612.95	c |    268794 |    1698   269831  1187407 | 2147483647   268794     86 |  0.000 % |
617.24/617.54	c |    269953 |    1698   269831  1187407 | 2147483647   269953     86 |  0.000 % |
621.95/622.29	c |    271227 |    1698   269831  1187407 | 2147483647   271227     86 |  0.000 % |
627.34/627.62	c |    272627 |    1698   269831  1187407 | 2147483647   272627     86 |  0.000 % |
632.34/632.61	c |    274168 |    1698   269831  1187407 | 2147483647   274168     86 |  0.000 % |
636.24/636.57	c |    275864 |    1698   269831  1187407 | 2147483647   275864     85 |  0.000 % |
639.84/640.19	c |    277728 |    1698   269831  1187407 | 2147483647   277728     85 |  0.000 % |
648.33/648.60	c |    279781 |    1698   269831  1187407 | 2147483647   279781     85 |  0.000 % |
658.03/658.35	c |    282035 |    1698   269831  1187407 | 2147483647   282035     85 |  0.000 % |
666.23/666.57	c |    284513 |    1698   269831  1187407 | 2147483647   284513     85 |  0.000 % |
676.03/676.31	c |    287238 |    1698   269831  1187407 | 2147483647   287238     85 |  0.000 % |
676.33/676.62	c |    287339 |    1698   269831  1187407 | 2147483647   287339     85 |  0.000 % |
676.83/677.12	c |    287451 |    1698   269831  1187407 | 2147483647   287451     85 |  0.000 % |
677.43/677.74	c |    287575 |    1698   269831  1187407 | 2147483647   287575     85 |  0.000 % |
678.23/678.53	c |    287709 |    1698   269831  1187407 | 2147483647   287709     86 |  0.000 % |
679.03/679.33	c |    287855 |    1698   269831  1187407 | 2147483647   287855     86 |  0.000 % |
679.73/680.02	c |    288015 |    1698   269831  1187407 | 2147483647   288015     86 |  0.000 % |
680.83/681.11	c |    288192 |    1698   269831  1187407 | 2147483647   288192     86 |  0.000 % |
681.33/681.65	c |    288386 |    1698   269831  1187407 | 2147483647   288386     85 |  0.000 % |
682.32/682.63	c |    288598 |    1698   269831  1187407 | 2147483647   288598     85 |  0.000 % |
683.22/683.52	c |    288832 |    1698   269831  1187407 | 2147483647   288832     86 |  0.000 % |
684.52/684.86	c |    289088 |    1698   269831  1187407 | 2147483647   289088     86 |  0.000 % |
685.92/686.29	c |    289369 |    1698   269831  1187407 | 2147483647   289369     86 |  0.000 % |
687.02/687.38	c |    289678 |    1698   269831  1187407 | 2147483647   289678     86 |  0.000 % |
688.22/688.56	c |    290018 |    1698   269831  1187407 | 2147483647   290018     86 |  0.000 % |
689.62/689.98	c |    290390 |    1698   269831  1187407 | 2147483647   290390     86 |  0.000 % |
691.32/691.65	c |    290800 |    1698   269831  1187407 | 2147483647   290800     86 |  0.000 % |
693.42/693.76	c |    291251 |    1698   269831  1187407 | 2147483647   291251     86 |  0.000 % |
694.73/695.10	c |    291745 |    1698   269831  1187407 | 2147483647   291745     86 |  0.000 % |
696.23/696.51	c |    292290 |    1698   269831  1187407 | 2147483647   292290     86 |  0.000 % |
699.03/699.39	c |    292886 |    1698   269831  1187407 | 2147483647   292886     86 |  0.000 % |
701.72/702.05	c |    293541 |    1698   269831  1187407 | 2147483647   293541     85 |  0.000 % |
704.02/704.37	c |    294261 |    1698   269831  1187407 | 2147483647   294261     86 |  0.000 % |
707.92/708.25	c |    295057 |    1698   269831  1187407 | 2147483647   295057     86 |  0.000 % |
711.12/711.40	c |    295929 |    1698   269831  1187407 | 2147483647   295929     86 |  0.000 % |
715.82/716.15	c |    296888 |    1698   269831  1187407 | 2147483647   296888     86 |  0.000 % |
719.91/720.21	c |    297943 |    1698   269831  1187407 | 2147483647   297943     86 |  0.000 % |
723.21/723.56	c |    299102 |    1698   269831  1187407 | 2147483647   299102     86 |  0.000 % |
728.62/728.92	c |    300375 |    1698   269831  1187407 | 2147483647   300375     86 |  0.000 % |
731.81/732.11	c |    301775 |    1698   269831  1187407 | 2147483647   301775     86 |  0.000 % |
738.11/738.50	c |    303315 |    1698   269831  1187407 | 2147483647   303315     86 |  0.000 % |
744.31/744.63	c |    305010 |    1698   269831  1187407 | 2147483647   305010     86 |  0.000 % |
752.50/752.80	c |    306873 |    1698   269831  1187407 | 2147483647   306873     86 |  0.000 % |
759.30/759.66	c |    308922 |    1698   269831  1187407 | 2147483647   308922     86 |  0.000 % |
770.51/770.85	c |    311178 |    1698   269831  1187407 | 2147483647   311178     86 |  0.000 % |
781.70/782.03	c |    313657 |    1698   269831  1187407 | 2147483647   313657     86 |  0.000 % |
793.90/794.25	c |    316382 |    1698   269831  1187407 | 2147483647   316382     85 |  0.000 % |
807.00/807.31	c |    319383 |    1698   269831  1187407 | 2147483647   319383     85 |  0.000 % |
807.49/807.81	c |    319483 |    1698   269831  1187407 | 2147483647   319483     85 |  0.000 % |
807.99/808.39	c |    319593 |    1698   269831  1187407 | 2147483647   319593     85 |  0.000 % |
808.89/809.26	c |    319714 |    1698   269831  1187407 | 2147483647   319714     85 |  0.000 % |
809.89/810.22	c |    319847 |    1698   269831  1187407 | 2147483647   319847     85 |  0.000 % |
810.49/810.81	c |    319995 |    1698   269831  1187407 | 2147483647   319995     85 |  0.000 % |
810.89/811.26	c |    320157 |    1698   269831  1187407 | 2147483647   320157     85 |  0.000 % |
811.69/812.04	c |    320333 |    1698   269831  1187407 | 2147483647   320333     85 |  0.000 % |
812.29/812.68	c |    320529 |    1698   269831  1187407 | 2147483647   320529     85 |  0.000 % |
813.29/813.70	c |    320743 |    1698   269831  1187407 | 2147483647   320743     85 |  0.000 % |
814.20/814.56	c |    320978 |    1698   269831  1187407 | 2147483647   320978     85 |  0.000 % |
815.29/815.64	c |    321235 |    1698   269831  1187407 | 2147483647   321235     85 |  0.000 % |
816.49/816.89	c |    321516 |    1698   269831  1187407 | 2147483647   321516     85 |  0.000 % |
817.89/818.22	c |    321825 |    1698   269831  1187407 | 2147483647   321825     85 |  0.000 % |
819.39/819.79	c |    322165 |    1698   269831  1187407 | 2147483647   322165     85 |  0.000 % |
820.49/820.82	c |    322537 |    1698   269831  1187407 | 2147483647   322537     85 |  0.000 % |
822.29/822.67	c |    322947 |    1698   269831  1187407 | 2147483647   322947     85 |  0.000 % |
824.89/825.23	c |    323397 |    1698   269831  1187407 | 2147483647   323397     85 |  0.000 % |
826.19/826.56	c |    323891 |    1698   269831  1187407 | 2147483647   323891     85 |  0.000 % |
829.09/829.43	c |    324434 |    1698   269831  1187407 | 2147483647   324434     85 |  0.000 % |
831.08/831.44	c |    325032 |    1698   269831  1187407 | 2147483647   325032     85 |  0.000 % |
834.29/834.64	c |    325687 |    1698   269831  1187407 | 2147483647   325687     85 |  0.000 % |
836.19/836.55	c |    326409 |    1698   269831  1187407 | 2147483647   326409     85 |  0.000 % |
838.99/839.39	c |    327201 |    1698   269831  1187407 | 2147483647   327201     85 |  0.000 % |
841.78/842.16	c |    328072 |    1698   269831  1187407 | 2147483647   328072     86 |  0.000 % |
846.69/847.06	c |    329033 |    1698   269831  1187407 | 2147483647   329033     86 |  0.000 % |
853.58/853.98	c |    330086 |    1698   269831  1187407 | 2147483647   330086     86 |  0.000 % |
858.47/858.86	c |    331246 |    1698   269831  1187407 | 2147483647   331246     86 |  0.000 % |
863.87/864.21	c |    332522 |    1698   269831  1187407 | 2147483647   332522     86 |  0.000 % |
871.87/872.27	c |    333922 |    1698   269831  1187407 | 2147483647   333922     86 |  0.000 % |
878.58/878.96	c |    335463 |    1698   269831  1187407 | 2147483647   335463     86 |  0.000 % |
886.47/886.89	c |    337160 |    1698   269831  1187407 | 2147483647   337160     85 |  0.000 % |
894.97/895.39	c |    339025 |    1698   269831  1187407 | 2147483647   339025     85 |  0.000 % |
905.16/905.50	c |    341076 |    1698   269831  1187407 | 2147483647   341076     85 |  0.000 % |
914.06/914.44	c |    343329 |    1698   269831  1187407 | 2147483647   343329     86 |  0.000 % |
925.76/926.12	c |    345807 |    1698   269831  1187407 | 2147483647   345807     86 |  0.000 % |
936.25/936.67	c |    348536 |    1698   269831  1187407 | 2147483647   348536     86 |  0.000 % |
952.45/952.88	c |    351535 |    1698   269831  1187407 | 2147483647   351535     86 |  0.000 % |
971.95/972.40	c |    354831 |    1698   269831  1187407 | 2147483647   354831     86 |  0.000 % |
972.65/973.01	c |    354931 |    1698   269831  1187407 | 2147483647   354931     86 |  0.000 % |
973.15/973.55	c |    355041 |    1698   269831  1187407 | 2147483647   355041     86 |  0.000 % |
974.05/974.41	c |    355162 |    1698   269831  1187407 | 2147483647   355162     86 |  0.000 % |
974.74/975.19	c |    355296 |    1698   269831  1187407 | 2147483647   355296     86 |  0.000 % |
975.74/976.19	c |    355442 |    1698   269831  1187407 | 2147483647   355442     86 |  0.000 % |
976.45/976.86	c |    355602 |    1698   269831  1187407 | 2147483647   355602     86 |  0.000 % |
977.34/977.72	c |    355779 |    1698   269831  1187407 | 2147483647   355779     86 |  0.000 % |
978.04/978.49	c |    355972 |    1698   269831  1187407 | 2147483647   355972     86 |  0.000 % |
979.04/979.41	c |    356184 |    1698   269831  1187407 | 2147483647   356184     86 |  0.000 % |
979.84/980.27	c |    356417 |    1698   269831  1187407 | 2147483647   356417     86 |  0.000 % |
980.94/981.38	c |    356673 |    1698   269831  1187407 | 2147483647   356673     86 |  0.000 % |
982.34/982.70	c |    356956 |    1698   269831  1187407 | 2147483647   356956     86 |  0.000 % |
983.74/984.12	c |    357267 |    1698   269831  1187407 | 2147483647   357267     86 |  0.000 % |
984.74/985.13	c |    357608 |    1698   269831  1187407 | 2147483647   357608     86 |  0.000 % |
985.75/986.12	c |    357981 |    1698   269831  1187407 | 2147483647   357981     86 |  0.000 % |
987.35/987.77	c |    358390 |    1698   269831  1187407 | 2147483647   358390     86 |  0.000 % |
989.65/990.02	c |    358840 |    1698   269831  1187407 | 2147483647   358840     86 |  0.000 % |
990.94/991.32	c |    359334 |    1698   269831  1187407 | 2147483647   359334     86 |  0.000 % |
992.04/992.49	c |    359878 |    1698   269831  1187407 | 2147483647   359878     86 |  0.000 % |
993.04/993.47	c |    360474 |    1698   269831  1187407 | 2147483647   360474     86 |  0.000 % |
994.34/994.76	c |    361130 |    1698   269831  1187407 | 2147483647   361130     86 |  0.000 % |
995.64/996.07	c |    361850 |    1698   269831  1187407 | 2147483647   361850     86 |  0.000 % |
997.14/997.56	c |    362642 |    1698   269831  1187407 | 2147483647   362642     86 |  0.000 % |
998.73/999.15	c |    363513 |    1698   269831  1187407 | 2147483647   363513     86 |  0.000 % |
1002.63/1003.03	c |    364473 |    1698   269831  1187407 | 2147483647   364473     87 |  0.000 % |
1008.64/1009.03	c |    365530 |    1698   269831  1187407 | 2147483647   365530     87 |  0.000 % |
1014.73/1015.19	c |    366688 |    1698   269831  1187407 | 2147483647   366688     87 |  0.000 % |
1020.93/1021.40	c |    367963 |    1698   269831  1187407 | 2147483647   367963     87 |  0.000 % |
1027.93/1028.33	c |    369363 |    1698   269831  1187407 | 2147483647   369363     86 |  0.000 % |
1034.73/1035.15	c |    370903 |    1698   269831  1187407 | 2147483647   370903     86 |  0.000 % |
1042.82/1043.21	c |    372599 |    1698   269831  1187407 | 2147483647   372599     86 |  0.000 % |
1048.43/1048.81	c |    374463 |    1698   269831  1187407 | 2147483647   374463     86 |  0.000 % |
1056.32/1056.72	c |    376513 |    1698   269831  1187407 | 2147483647   376513     86 |  0.000 % |
1071.22/1071.69	c |    378768 |    1698   269831  1187407 | 2147483647   378768     86 |  0.000 % |
1086.22/1086.63	c |    381246 |    1698   269831  1187407 | 2147483647   381246     86 |  0.000 % |
1099.41/1099.83	c |    383971 |    1698   269831  1187407 | 2147483647   383971     86 |  0.000 % |
1110.80/1111.24	c |    386969 |    1698   269831  1187407 | 2147483647   386969     86 |  0.001 % |
1121.91/1122.38	c |    390267 |    1698   269831  1187407 | 2147483647   390267     86 |  0.000 % |
1131.70/1132.19	c |    393892 |    1698   269831  1187407 | 2147483647   393892     86 |  0.000 % |
1132.50/1132.91	c |    393993 |    1698   269831  1187407 | 2147483647   393993     86 |  0.000 % |
1133.10/1133.55	c |    394104 |    1698   269831  1187407 | 2147483647   394104     86 |  0.000 % |
1133.70/1134.14	c |    394226 |    1698   269831  1187407 | 2147483647   394226     86 |  0.000 % |
1134.40/1134.82	c |    394359 |    1698   269831  1187407 | 2147483647   394359     86 |  0.000 % |
1135.20/1135.65	c |    394508 |    1698   269831  1187407 | 2147483647   394508     86 |  0.000 % |
1136.10/1136.52	c |    394670 |    1698   269831  1187407 | 2147483647   394670     86 |  0.000 % |
1137.10/1137.57	c |    394846 |    1698   269831  1187407 | 2147483647   394846     86 |  0.000 % |
1138.30/1138.77	c |    395040 |    1698   269831  1187407 | 2147483647   395040     86 |  0.000 % |
1139.21/1139.68	c |    395253 |    1698   269831  1187407 | 2147483647   395253     86 |  0.000 % |
1140.31/1140.76	c |    395488 |    1698   269831  1187407 | 2147483647   395488     86 |  0.000 % |
1141.31/1141.75	c |    395744 |    1698   269831  1187407 | 2147483647   395744     86 |  0.000 % |
1142.60/1143.01	c |    396029 |    1698   269831  1187407 | 2147483647   396029     86 |  0.000 % |
1144.00/1144.48	c |    396338 |    1698   269831  1187407 | 2147483647   396338     86 |  0.000 % |
1144.90/1145.33	c |    396677 |    1698   269831  1187407 | 2147483647   396677     86 |  0.000 % |
1147.70/1148.10	c |    397049 |    1698   269831  1187407 | 2147483647   397049     86 |  0.000 % |
1150.10/1150.53	c |    397461 |    1698   269831  1187407 | 2147483647   397461     86 |  0.000 % |
1152.00/1152.48	c |    397911 |    1698   269831  1187407 | 2147483647   397911     86 |  0.000 % |
1153.40/1153.89	c |    398404 |    1698   269831  1187407 | 2147483647   398404     86 |  0.000 % |
1156.40/1156.86	c |    398947 |    1698   269831  1187407 | 2147483647   398947     86 |  0.000 % |
1159.39/1159.89	c |    399544 |    1698   269831  1187407 | 2147483647   399544     86 |  0.000 % |
1162.49/1162.99	c |    400202 |    1698   269831  1187407 | 2147483647   400202     86 |  0.000 % |
1165.69/1166.13	c |    400924 |    1698   269831  1187407 | 2147483647   400924     86 |  0.000 % |
1168.80/1169.28	c |    401718 |    1698   269831  1187407 | 2147483647   401718     86 |  0.000 % |
1171.90/1172.30	c |    402589 |    1698   269831  1187407 | 2147483647   402589     86 |  0.000 % |
1175.19/1175.66	c |    403547 |    1698   269831  1187407 | 2147483647   403547     87 |  0.000 % |
1181.09/1181.57	c |    404602 |    1698   269831  1187407 | 2147483647   404602     87 |  0.000 % |
1187.49/1187.91	c |    405760 |    1698   269831  1187407 | 2147483647   405760     87 |  0.000 % |
1193.89/1194.30	c |    407033 |    1698   269831  1187407 | 2147483647   407033     86 |  0.000 % |
1199.18/1199.62	c |    408433 |    1698   269831  1187407 | 2147483647   408433     86 |  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-1833945-1242826415/watcher-1833945-1242826415 -o /tmp/evaluation-result-1833945-1242826415/solver-1833945-1242826415 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833945-1242826415.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: 1.06 1.02 1.00 3/64 17559
/proc/meminfo: memFree=1825576/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0

[startup+0.049857 s]
/proc/loadavg: 1.06 1.02 1.00 3/64 17559
/proc/meminfo: memFree=1825576/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101859 s]
/proc/loadavg: 1.06 1.02 1.00 3/64 17559
/proc/meminfo: memFree=1825576/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301871 s]
/proc/loadavg: 1.06 1.02 1.00 3/64 17559
/proc/meminfo: memFree=1825576/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701897 s]
/proc/loadavg: 1.06 1.02 1.00 3/64 17559
/proc/meminfo: memFree=1825576/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50195 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 17564
/proc/meminfo: memFree=1801048/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
[pid=17563] ppid=17559 vsize=30540 CPUtime=1.49
/proc/17563/stat : 17563 (SatELite_releas) R 17559 17559 17347 0 -1 4194304 6785 0 0 0 144 5 0 0 25 0 1 0 310675086 31272960 6771 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/17563/statm: 7635 6771 76 173 0 7460 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35896

[startup+3.10105 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 17564
/proc/meminfo: memFree=1796952/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=0
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310675085 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17559/statm: 1339 237 197 169 0 50 0
[pid=17563] ppid=17559 vsize=30540 CPUtime=3.09
/proc/17563/stat : 17563 (SatELite_releas) R 17559 17559 17347 0 -1 4194304 6785 0 0 0 304 5 0 0 25 0 1 0 310675086 31272960 6771 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/17563/statm: 7635 6771 76 173 0 7460 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35896

[startup+6.30126 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 17565
/proc/meminfo: memFree=1803160/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=16256 CPUtime=2
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 3913 0 0 0 198 2 0 0 25 0 1 0 310675514 16646144 3899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 4064 3899 77 171 0 3891 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21612

[startup+12.7017 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 17565
/proc/meminfo: memFree=1799768/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=19176 CPUtime=8.4
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 4642 0 0 0 837 3 0 0 25 0 1 0 310675514 19636224 4628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 4794 4628 77 171 0 4621 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 24532

[startup+25.5015 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 17565
/proc/meminfo: memFree=1794008/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=24896 CPUtime=21.18
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 6081 0 0 0 2113 5 0 0 25 0 1 0 310675514 25493504 6067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 6224 6067 77 171 0 6051 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 30252

[startup+51.1012 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 17565
/proc/meminfo: memFree=1785048/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=33896 CPUtime=46.78
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 8329 0 0 0 4670 8 0 0 25 0 1 0 310675514 34709504 8315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 8474 8315 77 171 0 8301 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39252

[startup+102.305 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 17565
/proc/meminfo: memFree=1772184/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=46664 CPUtime=97.96
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 11501 0 0 0 9784 12 0 0 25 0 1 0 310675514 47783936 11487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 11666 11487 77 171 0 11493 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 52020

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 17565
/proc/meminfo: memFree=1758744/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=60216 CPUtime=157.93
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 14843 0 0 0 15776 17 0 0 25 0 1 0 310675514 61661184 14829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 15054 14829 77 171 0 14881 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 65572

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17565
/proc/meminfo: memFree=1748120/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=70648 CPUtime=217.9
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 17482 0 0 0 21771 19 0 0 25 0 1 0 310675514 72343552 17468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 17662 17468 77 171 0 17489 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 76004

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17565
/proc/meminfo: memFree=1738776/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=80348 CPUtime=277.88
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 19849 0 0 0 27765 23 0 0 25 0 1 0 310675514 82276352 19835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 20087 19835 77 171 0 19914 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 85704

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17565
/proc/meminfo: memFree=1729880/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=89028 CPUtime=337.86
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 22023 0 0 0 33761 25 0 0 25 0 1 0 310675514 91164672 22009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 22257 22009 77 171 0 22084 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 94384

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17565
/proc/meminfo: memFree=1721560/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=97580 CPUtime=397.84
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 24123 0 0 0 39757 27 0 0 25 0 1 0 310675514 99921920 24109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 24395 24109 77 171 0 24222 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 102936

[startup+462.302 s]

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

/proc/17565/statm: 29925 29556 77 171 0 29752 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 125056

[startup+642.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 17567
/proc/meminfo: memFree=1694744/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=124572 CPUtime=637.77
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 30774 0 0 0 63743 34 0 0 25 0 1 0 310675514 127561728 30760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 31143 30760 77 171 0 30970 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 129928

[startup+702.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 17567
/proc/meminfo: memFree=1688536/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=130744 CPUtime=697.75
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 32323 0 0 0 69739 36 0 0 25 0 1 0 310675514 133881856 32309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 32686 32309 77 171 0 32513 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 136100

[startup+762.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 17567
/proc/meminfo: memFree=1681944/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=137340 CPUtime=757.74
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 33966 0 0 0 75736 38 0 0 25 0 1 0 310675514 140636160 33952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 34335 33952 77 171 0 34162 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 142696

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17567
/proc/meminfo: memFree=1678040/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=141868 CPUtime=817.72
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 34960 0 0 0 81733 39 0 0 25 0 1 0 310675514 145272832 34946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 35467 34946 77 171 0 35294 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 147224

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1672280/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=147640 CPUtime=877.7
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 36373 0 0 0 87729 41 0 0 25 0 1 0 310675514 151183360 36359 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 36910 36359 77 171 0 36737 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 152996

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1666392/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=153564 CPUtime=937.68
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 37841 0 0 0 93726 42 0 0 25 0 1 0 310675514 157249536 37827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 38391 37827 77 171 0 38218 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 158920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1659992/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=159876 CPUtime=997.66
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 39435 0 0 0 99722 44 0 0 25 0 1 0 310675514 163713024 39421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 39969 39421 77 171 0 39796 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 165232

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1655256/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=164564 CPUtime=1057.66
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 40627 0 0 0 105719 47 0 0 25 0 1 0 310675514 168513536 40613 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 41141 40613 77 171 0 40968 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 169920

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1650968/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=168848 CPUtime=1117.64
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 41694 0 0 0 111716 48 0 0 25 0 1 0 310675514 172900352 41680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 42212 41680 77 171 0 42039 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 174204

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1644184/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=175724 CPUtime=1177.62
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 43385 0 0 0 117712 50 0 0 25 0 1 0 310675514 179941376 43371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 43931 43371 77 171 0 43758 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 181080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1642776/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=177100 CPUtime=1195.82
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 43722 0 0 0 119532 50 0 0 25 0 1 0 310675514 181350400 43708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 44275 43708 77 171 0 44102 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 182456

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17567
/proc/meminfo: memFree=1642776/2055920 swapFree=4179964/4192956
[pid=17559] ppid=17557 vsize=5356 CPUtime=4.27
/proc/17559/stat : 17559 (SatELiteGTI) S 17557 17559 17347 0 -1 4194304 336 7037 0 0 0 0 420 7 16 0 1 0 310675085 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17559/statm: 1339 239 197 169 0 50 0
[pid=17565] ppid=17559 vsize=177100 CPUtime=1195.82
/proc/17565/stat : 17565 (minisat_static) R 17559 17559 17347 0 -1 4194304 43722 0 0 0 119532 50 0 0 25 0 1 0 310675514 181350400 43708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17565/statm: 44275 43708 77 171 0 44102 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 182456

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.52
CPU system time (s): 0.57
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 182456

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

runsolver used 1.48077 second user time and 2.98555 second system time

The end

Launcher Data 

Begin job on node22 at 2009-05-20 15:33:35
IDJOB=1833945
IDBENCH=71088
IDSOLVER=671
FILE ID=node22/1833945-1242826415
PBS_JOBID= 9322523
Free space on /tmp= 66408 MiB

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

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

MD5SUM BENCH= d4e16a803f6cd0903a2bd3e7157287b3
RANDOM SEED=1487835330

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1826064 kB
Buffers:         52516 kB
Cached:         127432 kB
SwapCached:       7936 kB
Active:          94472 kB
Inactive:        95632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826064 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            6044 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            25864 kB
Committed_AS:  1147160 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66400 MiB
End job on node22 at 2009-05-20 15:53:38