Trace number 1833953

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
MD5SUMd18a114d646a89f18fb3efba2be009e6
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 variables1898
Number of clauses118441
Sum of the clauses size352559
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22994
Number of clauses of size 3115424
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.00/0.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  118441   352559 |   35532       0        0     nan |  0.000 % |
0.00/0.87	c |         0 |  117566   500149 |      --       0       --      -- |     --   | -875/147590
0.00/0.87	c ==============================================================================
0.00/0.87	c Result  :   #vars: 1205   #clauses: 117566   #literals: 500149
0.00/0.87	c CPU time:   0.843871 s
0.00/0.87	c ==============================================================================
0.99/1.01	c This is MiniSat 2.0 beta
0.99/1.01	c WARNING: for repeatability, setting FPU to use double precision
0.99/1.01	c ============================[ Problem Statistics ]=============================
0.99/1.01	c |                                                                             |
0.99/1.01	c |  Number of variables:  1205                                                 |
0.99/1.01	c |  Number of clauses:    117566                                               |
0.99/1.08	c |  Parsing time:         0.05         s                                       |
0.99/1.08	c ============================[ Search Statistics ]==============================
0.99/1.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.99/1.08	c ===============================================================================
0.99/1.08	c |         0 |    1205   117566   500149 |    39188        0    nan |  0.000 % |
1.00/1.11	c |       100 |    1205   117566   500149 |    39188      100     47 |  0.000 % |
1.00/1.13	c |       200 |    1205   117566   500149 |    39188      200     65 |  0.000 % |
1.00/1.14	c |       303 |    1205   117566   500149 |    39188      303     73 |  0.000 % |
1.00/1.16	c |       413 |    1205   117566   500149 |    39188      413     77 |  0.000 % |
1.00/1.18	c |       514 |    1205   117566   500149 |    39188      514     77 |  0.000 % |
1.00/1.20	c |       626 |    1205   117566   500149 |    39188      626     83 |  0.000 % |
1.00/1.22	c |       750 |    1205   117566   500149 |    39188      750     87 |  0.000 % |
1.00/1.23	c |       851 |    1205   117566   500149 |    39188      851     89 |  0.000 % |
1.00/1.25	c |       964 |    1205   117566   500149 |    39188      964     94 |  0.000 % |
1.00/1.27	c |      1087 |    1205   117566   500149 |    39188     1087     96 |  0.000 % |
1.00/1.30	c |      1221 |    1205   117566   500149 |    39188     1221     98 |  0.000 % |
1.00/1.32	c |      1321 |    1205   117566   500149 |    39188     1321     99 |  0.000 % |
1.00/1.34	c |      1431 |    1205   117566   500149 |    39188     1431    100 |  0.000 % |
1.00/1.36	c |      1552 |    1205   117566   500149 |    39188     1552    102 |  0.000 % |
1.00/1.39	c |      1686 |    1205   117566   500149 |    39188     1686    104 |  0.000 % |
1.00/1.42	c |      1833 |    1205   117566   500149 |    39188     1833    106 |  0.000 % |
1.00/1.44	c |      1934 |    1205   117566   500149 |    39188     1934    108 |  0.000 % |
1.00/1.46	c |      2049 |    1205   117566   500149 |    39188     2049    110 |  0.000 % |
1.00/1.48	c |      2170 |    1205   117566   500149 |    39188     2170    111 |  0.000 % |
1.00/1.51	c |      2303 |    1205   117566   500149 |    39188     2303    113 |  0.000 % |
1.00/1.53	c |      2449 |    1205   117566   500149 |    39188     2449    114 |  0.000 % |
1.00/1.56	c |      2609 |    1205   117566   500149 |    39188     2609    115 |  0.000 % |
1.00/1.58	c |      2710 |    1205   117566   500149 |    39188     2710    116 |  0.000 % |
1.00/1.61	c |      2820 |    1205   117566   500149 |    39188     2820    116 |  0.000 % |
1.00/1.64	c |      2942 |    1205   117566   500149 |    39188     2942    117 |  0.000 % |
1.00/1.67	c |      3079 |    1205   117566   500149 |    39188     3079    117 |  0.000 % |
1.00/1.71	c |      3226 |    1205   117566   500149 |    39188     3226    117 |  0.000 % |
1.00/1.75	c |      3386 |    1205   117566   500149 |    39188     3386    118 |  0.000 % |
1.00/1.80	c |      3563 |    1205   117566   500149 |    39188     3563    118 |  0.000 % |
1.00/1.83	c |      3663 |    1205   117566   500149 |    39188     3663    118 |  0.000 % |
1.00/1.86	c |      3774 |    1205   117566   500149 |    39188     3774    119 |  0.000 % |
1.00/1.89	c |      3895 |    1205   117566   500149 |    39188     3895    119 |  0.000 % |
1.00/1.91	c |      4029 |    1205   117566   500149 |    39188     4029    119 |  0.000 % |
1.00/1.93	c |      4178 |    1205   117566   500149 |    39188     4178    119 |  0.000 % |
1.00/1.96	c |      4338 |    1205   117566   500149 |    39188     4338    119 |  0.000 % |
1.00/2.00	c |      4514 |    1205   117566   500149 |    39188     4514    119 |  0.000 % |
1.00/2.07	c |      4710 |    1205   117566   500149 |    39188     4710    119 |  0.000 % |
2.08/2.11	c |      4810 |    1205   117566   500149 |    39188     4810    119 |  0.000 % |
2.08/2.14	c |      4921 |    1205   117566   500149 |    39188     4921    119 |  0.000 % |
2.18/2.20	c |      5042 |    1205   117566   500149 |    39188     5042    120 |  0.000 % |
2.18/2.26	c |      5175 |    1205   117566   500149 |    39188     5175    120 |  0.000 % |
2.27/2.35	c |      5321 |    1205   117566   500149 |    39188     5321    120 |  0.000 % |
2.37/2.44	c |      5481 |    1205   117566   500149 |    39188     5481    120 |  0.000 % |
2.37/2.50	c |      5658 |    1205   117566   500149 |    39188     5658    119 |  0.000 % |
2.47/2.58	c |      5852 |    1205   117566   500149 |    39188     5852    120 |  0.000 % |
2.57/2.63	c |      6065 |    1205   117566   500149 |    39188     6065    119 |  0.000 % |
2.57/2.69	c |      6166 |    1205   117566   500149 |    39188     6166    119 |  0.000 % |
2.67/2.75	c |      6279 |    1205   117566   500149 |    39188     6279    119 |  0.000 % |
2.67/2.79	c |      6400 |    1205   117566   500149 |    39188     6400    119 |  0.000 % |
2.77/2.84	c |      6535 |    1205   117566   500149 |    39188     6535    120 |  0.000 % |
2.77/2.88	c |      6681 |    1205   117566   500149 |    39188     6681    120 |  0.000 % |
2.87/2.95	c |      6841 |    1205   117566   500149 |    39188     6841    120 |  0.000 % |
2.97/3.01	c |      7017 |    1205   117566   500149 |    39188     7017    120 |  0.000 % |
2.97/3.08	c |      7211 |    1205   117566   500149 |    39188     7211    120 |  0.000 % |
3.07/3.16	c |      7426 |    1205   117566   500149 |    39188     7426    120 |  0.000 % |
3.27/3.30	c |      7660 |    1205   117566   500149 |    39188     7660    120 |  0.000 % |
3.27/3.37	c |      7760 |    1205   117566   500149 |    39188     7760    120 |  0.000 % |
3.37/3.44	c |      7870 |    1205   117566   500149 |    39188     7870    120 |  0.000 % |
3.47/3.52	c |      7991 |    1205   117566   500149 |    39188     7991    120 |  0.000 % |
3.57/3.63	c |      8124 |    1205   117566   500149 |    39188     8124    120 |  0.000 % |
3.67/3.73	c |      8271 |    1205   117566   500149 |    39188     8271    120 |  0.000 % |
3.77/3.86	c |      8433 |    1205   117566   500149 |    39188     8433    121 |  0.000 % |
3.97/4.01	c |      8609 |    1205   117566   500149 |    39188     8609    121 |  0.000 % |
4.07/4.14	c |      8803 |    1205   117566   500149 |    39188     8803    121 |  0.000 % |
4.17/4.27	c |      9016 |    1205   117566   500149 |    39188     9016    121 |  0.000 % |
4.37/4.45	c |      9251 |    1205   117566   500149 |    39188     9251    121 |  0.000 % |
4.57/4.66	c |      9507 |    1205   117566   500149 |    39188     9507    121 |  0.000 % |
4.67/4.75	c |      9609 |    1205   117566   500149 |    39188     9609    121 |  0.000 % |
4.77/4.81	c |      9720 |    1205   117566   500149 |    39188     9720    121 |  0.000 % |
4.87/4.91	c |      9843 |    1205   117566   500149 |    39188     9843    121 |  0.000 % |
4.87/4.96	c |      9977 |    1205   117566   500149 |    39188     9977    121 |  0.000 % |
4.97/5.02	c |     10124 |    1205   117566   500149 | 2147483647    10124    121 |  0.000 % |
4.97/5.09	c |     10286 |    1205   117566   500149 | 2147483647    10286    121 |  0.000 % |
5.07/5.17	c |     10462 |    1205   117566   500149 | 2147483647    10462    121 |  0.000 % |
5.17/5.25	c |     10656 |    1205   117566   500149 | 2147483647    10656    121 |  0.000 % |
5.37/5.43	c |     10868 |    1205   117566   500149 | 2147483647    10868    121 |  0.000 % |
5.57/5.65	c |     11102 |    1205   117566   500149 | 2147483647    11102    121 |  0.000 % |
5.87/5.90	c |     11358 |    1205   117566   500149 | 2147483647    11358    121 |  0.000 % |
6.07/6.17	c |     11639 |    1205   117566   500149 | 2147483647    11639    121 |  0.000 % |
6.17/6.29	c |     11739 |    1205   117566   500149 | 2147483647    11739    121 |  0.000 % |
6.27/6.38	c |     11849 |    1205   117566   500149 | 2147483647    11849    121 |  0.000 % |
6.37/6.46	c |     11971 |    1205   117566   500149 | 2147483647    11971    121 |  0.000 % |
6.47/6.58	c |     12105 |    1205   117566   500149 | 2147483647    12105    121 |  0.000 % |
6.57/6.69	c |     12254 |    1205   117566   500149 | 2147483647    12254    121 |  0.000 % |
6.77/6.81	c |     12415 |    1205   117566   500149 | 2147483647    12415    121 |  0.000 % |
6.86/6.90	c |     12591 |    1205   117566   500149 | 2147483647    12591    121 |  0.000 % |
7.16/7.20	c |     12784 |    1205   117566   500149 | 2147483647    12784    121 |  0.000 % |
7.36/7.44	c |     12996 |    1205   117566   500149 | 2147483647    12996    121 |  0.000 % |
7.57/7.70	c |     13229 |    1205   117566   500149 | 2147483647    13229    121 |  0.000 % |
7.86/7.95	c |     13486 |    1205   117566   500149 | 2147483647    13486    121 |  0.000 % |
8.17/8.28	c |     13767 |    1205   117566   500149 | 2147483647    13767    121 |  0.000 % |
8.57/8.63	c |     14077 |    1205   117566   500149 | 2147483647    14077    120 |  0.000 % |
8.67/8.76	c |     14180 |    1205   117566   500149 | 2147483647    14180    120 |  0.000 % |
8.77/8.84	c |     14291 |    1205   117566   500149 | 2147483647    14291    120 |  0.000 % |
8.87/8.95	c |     14412 |    1205   117566   500149 | 2147483647    14412    120 |  0.000 % |
8.97/9.07	c |     14545 |    1205   117566   500149 | 2147483647    14545    120 |  0.000 % |
9.07/9.15	c |     14695 |    1205   117566   500149 | 2147483647    14695    120 |  0.000 % |
9.27/9.33	c |     14855 |    1205   117566   500149 | 2147483647    14855    119 |  0.000 % |
9.37/9.45	c |     15031 |    1205   117566   500149 | 2147483647    15031    119 |  0.000 % |
9.57/9.62	c |     15226 |    1205   117566   500149 | 2147483647    15226    118 |  0.000 % |
9.67/9.79	c |     15439 |    1205   117566   500149 | 2147483647    15439    118 |  0.000 % |
9.87/9.95	c |     15673 |    1205   117566   500149 | 2147483647    15673    117 |  0.000 % |
9.97/10.05	c |     15930 |    1205   117566   500149 | 2147483647    15930    116 |  0.000 % |
10.07/10.14	c |     16211 |    1205   117566   500149 | 2147483647    16211    115 |  0.000 % |
10.37/10.45	c |     16521 |    1205   117566   500149 | 2147483647    16521    115 |  0.000 % |
10.57/10.66	c |     16861 |    1205   117566   500149 | 2147483647    16861    114 |  0.000 % |
10.67/10.71	c |     16961 |    1205   117566   500149 | 2147483647    16961    114 |  0.000 % |
10.77/10.80	c |     17075 |    1205   117566   500149 | 2147483647    17075    113 |  0.000 % |
10.87/10.90	c |     17196 |    1205   117566   500149 | 2147483647    17196    113 |  0.000 % |
10.87/10.97	c |     17329 |    1205   117566   500149 | 2147483647    17329    113 |  0.000 % |
11.07/11.12	c |     17477 |    1205   117566   500149 | 2147483647    17477    112 |  0.000 % |
11.17/11.22	c |     17637 |    1205   117566   500149 | 2147483647    17637    112 |  0.000 % |
11.27/11.32	c |     17813 |    1205   117566   500149 | 2147483647    17813    111 |  0.000 % |
11.47/11.54	c |     18006 |    1205   117566   500149 | 2147483647    18006    111 |  0.000 % |
11.57/11.68	c |     18220 |    1205   117566   500149 | 2147483647    18220    111 |  0.000 % |
11.77/11.83	c |     18454 |    1205   117566   500149 | 2147483647    18454    110 |  0.000 % |
12.16/12.24	c |     18711 |    1205   117566   500149 | 2147483647    18711    110 |  0.000 % |
12.36/12.42	c |     18994 |    1205   117566   500149 | 2147483647    18994    109 |  0.000 % |
12.46/12.59	c |     19303 |    1205   117566   500149 | 2147483647    19303    109 |  0.000 % |
12.86/12.91	c |     19642 |    1205   117566   500149 | 2147483647    19642    108 |  0.000 % |
13.07/13.12	c |     20019 |    1205   117566   500149 | 2147483647    20019    108 |  0.000 % |
13.07/13.20	c |     20119 |    1205   117566   500149 | 2147483647    20119    108 |  0.000 % |
13.26/13.35	c |     20229 |    1205   117566   500149 | 2147483647    20229    108 |  0.000 % |
13.36/13.44	c |     20353 |    1205   117566   500149 | 2147483647    20353    108 |  0.000 % |
13.46/13.57	c |     20487 |    1205   117566   500149 | 2147483647    20487    107 |  0.000 % |
13.66/13.71	c |     20633 |    1205   117566   500149 | 2147483647    20633    107 |  0.000 % |
13.76/13.80	c |     20793 |    1205   117566   500149 | 2147483647    20793    107 |  0.000 % |
13.86/13.94	c |     20971 |    1205   117566   500149 | 2147483647    20971    107 |  0.000 % |
14.06/14.15	c |     21164 |    1205   117566   500149 | 2147483647    21164    107 |  0.000 % |
14.27/14.39	c |     21379 |    1205   117566   500149 | 2147483647    21379    106 |  0.000 % |
14.46/14.51	c |     21613 |    1205   117566   500149 | 2147483647    21613    106 |  0.000 % |
14.66/14.76	c |     21869 |    1205   117566   500149 | 2147483647    21869    106 |  0.000 % |
14.96/15.06	c |     22151 |    1205   117566   500149 | 2147483647    22151    106 |  0.000 % |
15.16/15.22	c |     22461 |    1205   117566   500149 | 2147483647    22461    106 |  0.000 % |
15.36/15.44	c |     22800 |    1205   117566   500149 | 2147483647    22800    105 |  0.000 % |
15.57/15.66	c |     23173 |    1205   117566   500149 | 2147483647    23173    105 |  0.000 % |
15.87/16.00	c |     23582 |    1205   117566   500149 | 2147483647    23582    105 |  0.000 % |
15.97/16.06	c |     23682 |    1205   117566   500149 | 2147483647    23682    105 |  0.000 % |
16.07/16.13	c |     23792 |    1205   117566   500149 | 2147483647    23792    105 |  0.000 % |
16.17/16.23	c |     23914 |    1205   117566   500149 | 2147483647    23914    105 |  0.000 % |
16.27/16.34	c |     24047 |    1205   117566   500149 | 2147483647    24047    105 |  0.000 % |
16.37/16.48	c |     24195 |    1205   117566   500149 | 2147483647    24195    104 |  0.000 % |
16.57/16.62	c |     24356 |    1205   117566   500149 | 2147483647    24356    104 |  0.000 % |
16.77/16.80	c |     24532 |    1205   117566   500149 | 2147483647    24532    105 |  0.000 % |
16.97/17.01	c |     24727 |    1205   117566   500149 | 2147483647    24727    104 |  0.000 % |
17.07/17.17	c |     24939 |    1205   117566   500149 | 2147483647    24939    104 |  0.000 % |
17.27/17.34	c |     25172 |    1205   117566   500149 | 2147483647    25172    104 |  0.000 % |
17.47/17.57	c |     25428 |    1205   117566   500149 | 2147483647    25428    104 |  0.000 % |
17.67/17.79	c |     25709 |    1205   117566   500149 | 2147483647    25709    104 |  0.000 % |
18.07/18.11	c |     26020 |    1205   117566   500149 | 2147483647    26020    104 |  0.000 % |
18.36/18.45	c |     26359 |    1205   117566   500149 | 2147483647    26359    104 |  0.000 % |
18.86/18.95	c |     26732 |    1205   117566   500149 | 2147483647    26732    104 |  0.000 % |
19.26/19.32	c |     27143 |    1205   117566   500149 | 2147483647    27143    103 |  0.000 % |
19.56/19.68	c |     27592 |    1205   117566   500149 | 2147483647    27592    103 |  0.000 % |
19.67/19.79	c |     27692 |    1205   117566   500149 | 2147483647    27692    103 |  0.000 % |
19.86/19.91	c |     27802 |    1205   117566   500149 | 2147483647    27802    103 |  0.000 % |
19.96/20.02	c |     27923 |    1205   117566   500149 | 2147483647    27923    103 |  0.000 % |
19.96/20.08	c |     28056 |    1205   117566   500149 | 2147483647    28056    103 |  0.000 % |
20.06/20.18	c |     28203 |    1205   117566   500149 | 2147483647    28203    103 |  0.000 % |
20.16/20.29	c |     28364 |    1205   117566   500149 | 2147483647    28364    103 |  0.001 % |
20.26/20.36	c |     28542 |    1205   117566   500149 | 2147483647    28542    103 |  0.000 % |
20.36/20.46	c |     28735 |    1205   117566   500149 | 2147483647    28735    103 |  0.000 % |
20.56/20.64	c |     28947 |    1205   117566   500149 | 2147483647    28947    103 |  0.000 % |
20.76/20.82	c |     29180 |    1205   117566   500149 | 2147483647    29180    103 |  0.000 % |
20.86/21.00	c |     29436 |    1205   117566   500149 | 2147483647    29436    102 |  0.000 % |
21.06/21.14	c |     29719 |    1205   117566   500149 | 2147483647    29719    102 |  0.000 % |
21.17/21.27	c |     30028 |    1205   117566   500149 | 2147483647    30028    102 |  0.000 % |
21.37/21.48	c |     30368 |    1205   117566   500149 | 2147483647    30368    102 |  0.000 % |
21.57/21.65	c |     30741 |    1205   117566   500149 | 2147483647    30741    102 |  0.000 % |
21.87/21.92	c |     31150 |    1205   117566   500149 | 2147483647    31150    103 |  0.000 % |
22.16/22.26	c |     31599 |    1205   117566   500149 | 2147483647    31599    103 |  0.000 % |
22.36/22.47	c |     32094 |    1205   117566   500149 | 2147483647    32094    103 |  0.000 % |
22.46/22.54	c |     32194 |    1205   117566   500149 | 2147483647    32194    103 |  0.000 % |
22.56/22.60	c |     32307 |    1205   117566   500149 | 2147483647    32307    103 |  0.000 % |
22.56/22.67	c |     32428 |    1205   117566   500149 | 2147483647    32428    102 |  0.000 % |
22.66/22.74	c |     32564 |    1205   117566   500149 | 2147483647    32564    102 |  0.000 % |
22.76/22.85	c |     32711 |    1205   117566   500149 | 2147483647    32711    102 |  0.000 % |
22.86/22.94	c |     32873 |    1205   117566   500149 | 2147483647    32873    102 |  0.000 % |
22.86/22.99	c |     33050 |    1205   117566   500149 | 2147483647    33050    102 |  0.000 % |
23.07/23.10	c |     33244 |    1205   117566   500149 | 2147483647    33244    102 |  0.000 % |
23.07/23.18	c |     33456 |    1205   117566   500149 | 2147483647    33456    102 |  0.000 % |
23.26/23.32	c |     33690 |    1205   117566   500149 | 2147483647    33690    102 |  0.000 % |
23.36/23.43	c |     33946 |    1205   117566   500149 | 2147483647    33946    102 |  0.000 % |
23.46/23.59	c |     34229 |    1205   117566   500149 | 2147483647    34229    102 |  0.000 % |
23.66/23.78	c |     34541 |    1205   117566   500149 | 2147483647    34541    102 |  0.000 % |
23.96/24.00	c |     34880 |    1205   117566   500149 | 2147483647    34880    102 |  0.000 % |
24.16/24.29	c |     35256 |    1205   117566   500149 | 2147483647    35256    102 |  0.000 % |
24.47/24.59	c |     35665 |    1205   117566   500149 | 2147483647    35665    102 |  0.000 % |
24.87/24.92	c |     36116 |    1205   117566   500149 | 2147483647    36116    101 |  0.000 % |
25.17/25.26	c |     36609 |    1205   117566   500149 | 2147483647    36609    101 |  0.000 % |
25.56/25.64	c |     37152 |    1205   117566   500149 | 2147483647    37152    101 |  0.000 % |
25.56/25.69	c |     37254 |    1205   117566   500149 | 2147483647    37254    101 |  0.000 % |
25.66/25.76	c |     37364 |    1205   117566   500149 | 2147483647    37364    101 |  0.000 % |
25.76/25.82	c |     37485 |    1205   117566   500149 | 2147483647    37485    101 |  0.000 % |
25.86/25.91	c |     37620 |    1205   117566   500149 | 2147483647    37620    101 |  0.000 % |
25.96/26.01	c |     37771 |    1205   117566   500149 | 2147483647    37771    101 |  0.000 % |
26.06/26.12	c |     37932 |    1205   117566   500149 | 2147483647    37932    101 |  0.000 % |
26.16/26.23	c |     38108 |    1205   117566   500149 | 2147483647    38108    101 |  0.000 % |
26.27/26.35	c |     38301 |    1205   117566   500149 | 2147483647    38301    101 |  0.000 % |
26.46/26.51	c |     38514 |    1205   117566   500149 | 2147483647    38514    101 |  0.000 % |
26.56/26.70	c |     38747 |    1205   117566   500149 | 2147483647    38747    101 |  0.000 % |
26.76/26.84	c |     39006 |    1205   117566   500149 | 2147483647    39006    101 |  0.000 % |
27.06/27.12	c |     39287 |    1205   117566   500149 | 2147483647    39287    101 |  0.000 % |
27.26/27.33	c |     39597 |    1205   117566   500149 | 2147483647    39597    101 |  0.000 % |
27.56/27.62	c |     39936 |    1205   117566   500149 | 2147483647    39936    101 |  0.000 % |
27.76/27.83	c |     40309 |    1205   117566   500149 | 2147483647    40309    101 |  0.000 % |
28.16/28.26	c |     40718 |    1205   117566   500149 | 2147483647    40718    101 |  0.000 % |
28.57/28.64	c |     41167 |    1205   117566   500149 | 2147483647    41167    100 |  0.000 % |
28.96/29.05	c |     41660 |    1205   117566   500149 | 2147483647    41660    100 |  0.000 % |
29.46/29.53	c |     42204 |    1205   117566   500149 | 2147483647    42204    100 |  0.000 % |
29.86/29.92	c |     42802 |    1205   117566   500149 | 2147483647    42802    100 |  0.000 % |
29.96/30.02	c |     42903 |    1205   117566   500149 | 2147483647    42903    100 |  0.000 % |
30.06/30.12	c |     43013 |    1205   117566   500149 | 2147483647    43013    100 |  0.000 % |
30.16/30.29	c |     43135 |    1205   117566   500149 | 2147483647    43135    100 |  0.000 % |
30.36/30.45	c |     43268 |    1205   117566   500149 | 2147483647    43268    100 |  0.000 % |
30.46/30.56	c |     43415 |    1205   117566   500149 | 2147483647    43415    100 |  0.000 % |
30.67/30.71	c |     43575 |    1205   117566   500149 | 2147483647    43575    100 |  0.000 % |
30.77/30.87	c |     43754 |    1205   117566   500149 | 2147483647    43754    100 |  0.000 % |
30.96/31.04	c |     43948 |    1205   117566   500149 | 2147483647    43948    100 |  0.000 % |
31.16/31.20	c |     44161 |    1205   117566   500149 | 2147483647    44161    100 |  0.000 % |
31.26/31.37	c |     44394 |    1205   117566   500149 | 2147483647    44394    100 |  0.000 % |
31.46/31.55	c |     44651 |    1205   117566   500149 | 2147483647    44651    100 |  0.000 % |
31.66/31.75	c |     44932 |    1205   117566   500149 | 2147483647    44932    100 |  0.000 % |
31.87/31.97	c |     45242 |    1205   117566   500149 | 2147483647    45242    100 |  0.000 % |
32.16/32.22	c |     45581 |    1205   117566   500149 | 2147483647    45581     99 |  0.000 % |
32.46/32.51	c |     45953 |    1205   117566   500149 | 2147483647    45953     99 |  0.000 % |
32.76/32.86	c |     46362 |    1205   117566   500149 | 2147483647    46362     99 |  0.000 % |
33.16/33.24	c |     46813 |    1205   117566   500149 | 2147483647    46813     99 |  0.000 % |
33.56/33.66	c |     47308 |    1205   117566   500149 | 2147483647    47308     99 |  0.000 % |
33.97/34.07	c |     47851 |    1205   117566   500149 | 2147483647    47851     99 |  0.000 % |
34.56/34.62	c |     48447 |    1205   117566   500149 | 2147483647    48447     99 |  0.000 % |
35.17/35.20	c |     49102 |    1205   117566   500149 | 2147483647    49102     99 |  0.000 % |
35.26/35.30	c |     49202 |    1205   117566   500149 | 2147483647    49202     99 |  0.000 % |
35.36/35.41	c |     49313 |    1205   117566   500149 | 2147483647    49313     99 |  0.000 % |
35.46/35.51	c |     49435 |    1205   117566   500149 | 2147483647    49435     99 |  0.000 % |
35.56/35.61	c |     49570 |    1205   117566   500149 | 2147483647    49570     99 |  0.000 % |
35.76/35.80	c |     49716 |    1205   117566   500149 | 2147483647    49716     99 |  0.000 % |
35.86/35.92	c |     49876 |    1205   117566   500149 | 2147483647    49876     99 |  0.000 % |
36.06/36.10	c |     50055 |    1205   117566   500149 | 2147483647    50055     99 |  0.000 % |
36.27/36.30	c |     50250 |    1205   117566   500149 | 2147483647    50250     99 |  0.000 % |
36.46/36.57	c |     50462 |    1205   117566   500149 | 2147483647    50462     99 |  0.000 % |
36.76/36.83	c |     50695 |    1205   117566   500149 | 2147483647    50695     99 |  0.000 % |
37.06/37.15	c |     50951 |    1205   117566   500149 | 2147483647    50951     99 |  0.000 % |
37.27/37.36	c |     51232 |    1205   117566   500149 | 2147483647    51232     99 |  0.000 % |
37.66/37.75	c |     51542 |    1205   117566   500149 | 2147483647    51542     99 |  0.000 % |
38.06/38.15	c |     51881 |    1205   117566   500149 | 2147483647    51881     99 |  0.000 % |
38.36/38.49	c |     52254 |    1205   117566   500149 | 2147483647    52254     98 |  0.000 % |
38.76/38.88	c |     52664 |    1205   117566   500149 | 2147483647    52664     98 |  0.000 % |
39.36/39.48	c |     53113 |    1205   117566   500149 | 2147483647    53113     98 |  0.000 % |
39.86/39.93	c |     53606 |    1205   117566   500149 | 2147483647    53606     98 |  0.000 % |
40.16/40.26	c |     54148 |    1205   117566   500149 | 2147483647    54148     98 |  0.000 % |
40.86/40.94	c |     54744 |    1205   117566   500149 | 2147483647    54744     98 |  0.000 % |
41.55/41.67	c |     55399 |    1205   117566   500149 | 2147483647    55399     98 |  0.000 % |
42.45/42.51	c |     56120 |    1205   117566   500149 | 2147483647    56120     98 |  0.000 % |
42.55/42.67	c |     56221 |    1205   117566   500149 | 2147483647    56221     98 |  0.000 % |
42.65/42.79	c |     56333 |    1205   117566   500149 | 2147483647    56333     98 |  0.000 % |
42.86/42.94	c |     56456 |    1205   117566   500149 | 2147483647    56456     98 |  0.000 % |
43.05/43.12	c |     56590 |    1205   117566   500149 | 2147483647    56590     98 |  0.000 % |
43.15/43.29	c |     56736 |    1205   117566   500149 | 2147483647    56736     98 |  0.000 % |
43.35/43.46	c |     56896 |    1205   117566   500149 | 2147483647    56896     98 |  0.000 % |
43.55/43.65	c |     57072 |    1205   117566   500149 | 2147483647    57072     98 |  0.000 % |
43.75/43.86	c |     57265 |    1205   117566   500149 | 2147483647    57265     98 |  0.000 % |
44.05/44.13	c |     57478 |    1205   117566   500149 | 2147483647    57478     98 |  0.000 % |
44.35/44.45	c |     57713 |    1205   117566   500149 | 2147483647    57713     98 |  0.000 % |
44.65/44.71	c |     57970 |    1205   117566   500149 | 2147483647    57970     98 |  0.000 % |
44.96/45.04	c |     58251 |    1205   117566   500149 | 2147483647    58251     98 |  0.000 % |
45.45/45.57	c |     58567 |    1205   117566   500149 | 2147483647    58567     98 |  0.000 % |
45.95/46.06	c |     58907 |    1205   117566   500149 | 2147483647    58907     98 |  0.000 % |
46.35/46.49	c |     59279 |    1205   117566   500149 | 2147483647    59279     98 |  0.000 % |
46.95/47.04	c |     59688 |    1205   117566   500149 | 2147483647    59688     98 |  0.000 % |
47.55/47.65	c |     60137 |    1205   117566   500149 | 2147483647    60137     98 |  0.000 % |
48.16/48.28	c |     60633 |    1205   117566   500149 | 2147483647    60633     98 |  0.000 % |
49.06/49.11	c |     61175 |    1205   117566   500149 | 2147483647    61175     98 |  0.000 % |
49.86/49.96	c |     61772 |    1205   117566   500149 | 2147483647    61772     98 |  0.000 % |
50.76/50.87	c |     62430 |    1205   117566   500149 | 2147483647    62430     98 |  0.000 % |
51.56/51.65	c |     63153 |    1205   117566   500149 | 2147483647    63153     98 |  0.000 % |
52.55/52.68	c |     63945 |    1205   117566   500149 | 2147483647    63945     98 |  0.000 % |
52.76/52.81	c |     64047 |    1205   117566   500149 | 2147483647    64047     98 |  0.000 % |
52.95/53.02	c |     64158 |    1205   117566   500149 | 2147483647    64158     98 |  0.000 % |
53.15/53.23	c |     64280 |    1205   117566   500149 | 2147483647    64280     98 |  0.000 % |
53.35/53.46	c |     64414 |    1205   117566   500149 | 2147483647    64414     98 |  0.000 % |
53.65/53.71	c |     64561 |    1205   117566   500149 | 2147483647    64561     98 |  0.000 % |
53.95/54.04	c |     64721 |    1205   117566   500149 | 2147483647    64721     98 |  0.000 % |
54.35/54.41	c |     64899 |    1205   117566   500149 | 2147483647    64899     98 |  0.000 % |
54.65/54.76	c |     65094 |    1205   117566   500149 | 2147483647    65094     98 |  0.000 % |
54.95/55.05	c |     65308 |    1205   117566   500149 | 2147483647    65308     98 |  0.000 % |
55.36/55.43	c |     65541 |    1205   117566   500149 | 2147483647    65541     98 |  0.000 % |
55.66/55.80	c |     65797 |    1205   117566   500149 | 2147483647    65797     98 |  0.000 % |
56.16/56.26	c |     66079 |    1205   117566   500149 | 2147483647    66079     98 |  0.000 % |
57.06/57.20	c |     66388 |    1205   117566   500149 | 2147483647    66388     98 |  0.000 % |
57.55/57.69	c |     66727 |    1205   117566   500149 | 2147483647    66727     98 |  0.000 % |
58.16/58.24	c |     67099 |    1205   117566   500149 | 2147483647    67099     98 |  0.000 % |
58.85/58.94	c |     67508 |    1205   117566   500149 | 2147483647    67508     98 |  0.000 % |
60.25/60.34	c |     67958 |    1205   117566   500149 | 2147483647    67958     97 |  0.000 % |
60.85/60.91	c |     68451 |    1205   117566   500149 | 2147483647    68451     97 |  0.000 % |
61.46/61.60	c |     68995 |    1205   117566   500149 | 2147483647    68995     97 |  0.000 % |
62.35/62.40	c |     69591 |    1205   117566   500149 | 2147483647    69591     97 |  0.000 % |
64.55/64.69	c |     70247 |    1205   117566   500149 | 2147483647    70247     97 |  0.000 % |
65.85/65.95	c |     70967 |    1205   117566   500149 | 2147483647    70967     97 |  0.000 % |
67.55/67.60	c |     71759 |    1205   117566   500149 | 2147483647    71759     97 |  0.000 % |
69.95/70.02	c |     72630 |    1205   117566   500149 | 2147483647    72630     97 |  0.000 % |
70.25/70.33	c |     72730 |    1205   117566   500149 | 2147483647    72730     97 |  0.000 % |
70.35/70.47	c |     72841 |    1205   117566   500149 | 2147483647    72841     97 |  0.000 % |
70.65/70.78	c |     72962 |    1205   117566   500149 | 2147483647    72962     97 |  0.000 % |
70.95/71.07	c |     73096 |    1205   117566   500149 | 2147483647    73096     97 |  0.000 % |
71.35/71.45	c |     73242 |    1205   117566   500149 | 2147483647    73242     97 |  0.000 % |
71.75/71.89	c |     73406 |    1205   117566   500149 | 2147483647    73406     97 |  0.000 % |
72.05/72.17	c |     73582 |    1205   117566   500149 | 2147483647    73582     97 |  0.000 % |
72.55/72.65	c |     73777 |    1205   117566   500149 | 2147483647    73777     97 |  0.000 % |
73.05/73.12	c |     73989 |    1205   117566   500149 | 2147483647    73989     97 |  0.000 % |
73.65/73.71	c |     74222 |    1205   117566   500149 | 2147483647    74222     97 |  0.000 % |
74.14/74.22	c |     74479 |    1205   117566   500149 | 2147483647    74479     97 |  0.000 % |
74.44/74.57	c |     74761 |    1205   117566   500149 | 2147483647    74761     97 |  0.000 % |
75.24/75.34	c |     75070 |    1205   117566   500149 | 2147483647    75070     97 |  0.000 % |
76.14/76.25	c |     75413 |    1205   117566   500149 | 2147483647    75413     97 |  0.000 % |
77.24/77.35	c |     75789 |    1205   117566   500149 | 2147483647    75789     97 |  0.000 % |
78.05/78.12	c |     76199 |    1205   117566   500149 | 2147483647    76199     97 |  0.000 % |
78.64/78.75	c |     76649 |    1205   117566   500149 | 2147483647    76649     97 |  0.000 % |
79.44/79.55	c |     77143 |    1205   117566   500149 | 2147483647    77143     97 |  0.000 % |
80.84/80.94	c |     77685 |    1205   117566   500149 | 2147483647    77685     97 |  0.000 % |
82.55/82.64	c |     78284 |    1205   117566   500149 | 2147483647    78284     97 |  0.000 % |
84.25/84.36	c |     78942 |    1205   117566   500149 | 2147483647    78942     97 |  0.000 % |
86.05/86.19	c |     79662 |    1205   117566   500149 | 2147483647    79662     97 |  0.000 % |
88.14/88.26	c |     80455 |    1205   117566   500149 | 2147483647    80455     97 |  0.000 % |
89.94/90.08	c |     81326 |    1205   117566   500149 | 2147483647    81326     97 |  0.000 % |
91.24/91.35	c |     82285 |    1205   117566   500149 | 2147483647    82285     96 |  0.001 % |
91.44/91.54	c |     82385 |    1205   117566   500149 | 2147483647    82385     96 |  0.000 % |
91.74/91.88	c |     82495 |    1205   117566   500149 | 2147483647    82495     96 |  0.000 % |
92.14/92.22	c |     82616 |    1205   117566   500149 | 2147483647    82616     96 |  0.000 % |
92.34/92.50	c |     82749 |    1205   117566   500149 | 2147483647    82749     96 |  0.001 % |
92.94/93.06	c |     82895 |    1205   117566   500149 | 2147483647    82895     96 |  0.000 % |
93.24/93.34	c |     83056 |    1205   117566   500149 | 2147483647    83056     96 |  0.000 % |
93.54/93.63	c |     83234 |    1205   117566   500149 | 2147483647    83234     96 |  0.000 % |
93.84/93.98	c |     83427 |    1205   117566   500149 | 2147483647    83427     96 |  0.000 % |
94.14/94.26	c |     83639 |    1205   117566   500149 | 2147483647    83639     96 |  0.000 % |
94.74/94.85	c |     83872 |    1205   117566   500149 | 2147483647    83872     96 |  0.000 % |
95.24/95.35	c |     84128 |    1205   117566   500149 | 2147483647    84128     96 |  0.000 % |
95.74/95.82	c |     84409 |    1205   117566   500149 | 2147483647    84409     96 |  0.000 % |
96.44/96.52	c |     84719 |    1205   117566   500149 | 2147483647    84719     96 |  0.000 % |
97.04/97.15	c |     85059 |    1205   117566   500149 | 2147483647    85059     96 |  0.000 % |
97.75/97.86	c |     85432 |    1205   117566   500149 | 2147483647    85432     96 |  0.000 % |
98.74/98.89	c |     85841 |    1205   117566   500149 | 2147483647    85841     96 |  0.000 % |
99.84/99.97	c |     86292 |    1205   117566   500149 | 2147483647    86292     96 |  0.000 % |
100.84/100.90	c |     86786 |    1205   117566   500149 | 2147483647    86786     96 |  0.000 % |
102.14/102.28	c |     87328 |    1205   117566   500149 | 2147483647    87328     96 |  0.000 % |
103.54/103.67	c |     87924 |    1205   117566   500149 | 2147483647    87924     96 |  0.000 % |
104.54/104.63	c |     88579 |    1205   117566   500149 | 2147483647    88579     96 |  0.000 % |
106.34/106.47	c |     89299 |    1205   117566   500149 | 2147483647    89299     96 |  0.000 % |
107.94/108.07	c |     90092 |    1205   117566   500149 | 2147483647    90092     96 |  0.000 % |
110.13/110.20	c |     90964 |    1205   117566   500149 | 2147483647    90964     96 |  0.000 % |
111.83/111.91	c |     91924 |    1205   117566   500149 | 2147483647    91924     96 |  0.000 % |
113.54/113.65	c |     92981 |    1205   117566   500149 | 2147483647    92981     96 |  0.000 % |
113.84/113.93	c |     93081 |    1205   117566   500149 | 2147483647    93081     96 |  0.000 % |
114.04/114.14	c |     93191 |    1205   117566   500149 | 2147483647    93191     96 |  0.000 % |
114.24/114.34	c |     93312 |    1205   117566   500149 | 2147483647    93312     96 |  0.000 % |
114.54/114.63	c |     93446 |    1205   117566   500149 | 2147483647    93446     96 |  0.000 % |
115.03/115.17	c |     93594 |    1205   117566   500149 | 2147483647    93594     96 |  0.000 % |
115.63/115.71	c |     93756 |    1205   117566   500149 | 2147483647    93756     96 |  0.000 % |
116.33/116.43	c |     93933 |    1205   117566   500149 | 2147483647    93933     96 |  0.000 % |
116.93/117.07	c |     94127 |    1205   117566   500149 | 2147483647    94127     96 |  0.000 % |
117.83/117.93	c |     94340 |    1205   117566   500149 | 2147483647    94340     96 |  0.000 % |
118.74/118.81	c |     94576 |    1205   117566   500149 | 2147483647    94576     96 |  0.000 % |
119.23/119.31	c |     94834 |    1205   117566   500149 | 2147483647    94834     96 |  0.000 % |
119.83/119.98	c |     95116 |    1205   117566   500149 | 2147483647    95116     96 |  0.000 % |
120.43/120.54	c |     95427 |    1205   117566   500149 | 2147483647    95427     96 |  0.000 % |
121.73/121.83	c |     95766 |    1205   117566   500149 | 2147483647    95766     96 |  0.000 % |
123.13/123.28	c |     96138 |    1205   117566   500149 | 2147483647    96138     96 |  0.000 % |
124.23/124.37	c |     96551 |    1205   117566   500149 | 2147483647    96551     96 |  0.000 % |
126.33/126.40	c |     97000 |    1205   117566   500149 | 2147483647    97000     96 |  0.000 % |
127.72/127.86	c |     97493 |    1205   117566   500149 | 2147483647    97493     96 |  0.000 % |
130.03/130.13	c |     98035 |    1205   117566   500149 | 2147483647    98035     96 |  0.000 % |
130.93/131.06	c |     98631 |    1205   117566   500149 | 2147483647    98631     96 |  0.000 % |
133.53/133.62	c |     99286 |    1205   117566   500149 | 2147483647    99286     96 |  0.000 % |
136.13/136.26	c |    100007 |    1205   117566   500149 | 2147483647   100007     96 |  0.000 % |
138.12/138.28	c |    100799 |    1205   117566   500149 | 2147483647   100799     96 |  0.000 % |
141.42/141.59	c |    101670 |    1205   117566   500149 | 2147483647   101670     96 |  0.000 % |
144.73/144.86	c |    102629 |    1205   117566   500149 | 2147483647   102629     96 |  0.000 % |
149.02/149.14	c |    103682 |    1205   117566   500149 | 2147483647   103682     96 |  0.000 % |
153.42/153.53	c |    104840 |    1205   117566   500149 | 2147483647   104840     96 |  0.000 % |
153.93/154.09	c |    104940 |    1205   117566   500149 | 2147483647   104940     96 |  0.000 % |
154.42/154.54	c |    105051 |    1205   117566   500149 | 2147483647   105051     96 |  0.000 % |
154.62/154.76	c |    105174 |    1205   117566   500149 | 2147483647   105174     96 |  0.000 % |
155.42/155.57	c |    105310 |    1205   117566   500149 | 2147483647   105310     96 |  0.000 % |
156.12/156.24	c |    105460 |    1205   117566   500149 | 2147483647   105460     96 |  0.000 % |
157.12/157.20	c |    105620 |    1205   117566   500149 | 2147483647   105620     96 |  0.000 % |
157.82/157.99	c |    105796 |    1205   117566   500149 | 2147483647   105796     96 |  0.000 % |
158.52/158.67	c |    105989 |    1205   117566   500149 | 2147483647   105989     96 |  0.000 % |
158.92/159.05	c |    106201 |    1205   117566   500149 | 2147483647   106201     96 |  0.000 % |
159.61/159.72	c |    106434 |    1205   117566   500149 | 2147483647   106434     96 |  0.000 % |
160.31/160.43	c |    106691 |    1205   117566   500149 | 2147483647   106691     96 |  0.000 % |
161.71/161.86	c |    106973 |    1205   117566   500149 | 2147483647   106973     96 |  0.000 % |
163.01/163.10	c |    107283 |    1205   117566   500149 | 2147483647   107283     96 |  0.000 % |
164.41/164.59	c |    107622 |    1205   117566   500149 | 2147483647   107622     96 |  0.000 % |
166.41/166.55	c |    107995 |    1205   117566   500149 | 2147483647   107995     96 |  0.000 % |
167.71/167.87	c |    108408 |    1205   117566   500149 | 2147483647   108408     96 |  0.000 % |
170.02/170.10	c |    108857 |    1205   117566   500149 | 2147483647   108857     96 |  0.000 % |
172.12/172.21	c |    109350 |    1205   117566   500149 | 2147483647   109350     96 |  0.000 % |
174.32/174.44	c |    109892 |    1205   117566   500149 | 2147483647   109892     96 |  0.000 % |
176.41/176.50	c |    110488 |    1205   117566   500149 | 2147483647   110488     96 |  0.000 % |
178.91/179.01	c |    111144 |    1205   117566   500149 | 2147483647   111144     95 |  0.000 % |
182.11/182.22	c |    111865 |    1205   117566   500149 | 2147483647   111865     95 |  0.000 % |
185.41/185.55	c |    112659 |    1205   117566   500149 | 2147483647   112659     95 |  0.000 % |
187.81/187.93	c |    113531 |    1205   117566   500149 | 2147483647   113531     95 |  0.000 % |
190.40/190.54	c |    114489 |    1205   117566   500149 | 2147483647   114489     95 |  0.000 % |
193.11/193.23	c |    115543 |    1205   117566   500149 | 2147483647   115543     95 |  0.000 % |
195.91/196.09	c |    116701 |    1205   117566   500149 | 2147483647   116701     95 |  0.000 % |
198.80/198.99	c |    117974 |    1205   117566   500149 | 2147483647   117974     95 |  0.000 % |
199.21/199.39	c |    118074 |    1205   117566   500149 | 2147483647   118074     95 |  0.000 % |
199.90/200.05	c |    118184 |    1205   117566   500149 | 2147483647   118184     95 |  0.000 % |
200.60/200.78	c |    118307 |    1205   117566   500149 | 2147483647   118307     95 |  0.000 % |
201.50/201.60	c |    118441 |    1205   117566   500149 | 2147483647   118441     95 |  0.000 % |
202.21/202.34	c |    118587 |    1205   117566   500149 | 2147483647   118587     95 |  0.000 % |
203.10/203.26	c |    118750 |    1205   117566   500149 | 2147483647   118750     95 |  0.000 % |
204.00/204.13	c |    118928 |    1205   117566   500149 | 2147483647   118928     95 |  0.000 % |
204.80/204.96	c |    119124 |    1205   117566   500149 | 2147483647   119124     95 |  0.000 % |
206.20/206.35	c |    119336 |    1205   117566   500149 | 2147483647   119336     95 |  0.000 % |
208.10/208.22	c |    119571 |    1205   117566   500149 | 2147483647   119571     95 |  0.000 % |
210.00/210.13	c |    119828 |    1205   117566   500149 | 2147483647   119828     95 |  0.000 % |
211.80/211.94	c |    120109 |    1205   117566   500149 | 2147483647   120109     95 |  0.000 % |
212.50/212.67	c |    120419 |    1205   117566   500149 | 2147483647   120419     95 |  0.000 % |
214.20/214.32	c |    120760 |    1205   117566   500149 | 2147483647   120760     95 |  0.000 % |
214.90/215.04	c |    121132 |    1205   117566   500149 | 2147483647   121132     95 |  0.000 % |
217.79/217.92	c |    121546 |    1205   117566   500149 | 2147483647   121546     95 |  0.000 % |
220.49/220.65	c |    121995 |    1205   117566   500149 | 2147483647   121995     95 |  0.000 % |
223.60/223.74	c |    122488 |    1205   117566   500149 | 2147483647   122488     96 |  0.000 % |
226.30/226.49	c |    123030 |    1205   117566   500149 | 2147483647   123030     96 |  0.000 % |
229.20/229.36	c |    123626 |    1205   117566   500149 | 2147483647   123626     96 |  0.000 % |
232.90/233.07	c |    124281 |    1205   117566   500149 | 2147483647   124281     96 |  0.000 % |
236.19/236.38	c |    125001 |    1205   117566   500149 | 2147483647   125001     96 |  0.000 % |
240.39/240.54	c |    125795 |    1205   117566   500149 | 2147483647   125795     96 |  0.000 % |
244.99/245.13	c |    126667 |    1205   117566   500149 | 2147483647   126667     96 |  0.000 % |
248.69/248.88	c |    127625 |    1205   117566   500149 | 2147483647   127625     96 |  0.000 % |
253.19/253.30	c |    128679 |    1205   117566   500149 | 2147483647   128679     96 |  0.000 % |
258.68/258.86	c |    129838 |    1205   117566   500149 | 2147483647   129838     96 |  0.000 % |
265.99/266.15	c |    131111 |    1205   117566   500149 | 2147483647   131111     96 |  0.000 % |
272.28/272.48	c |    132511 |    1205   117566   500149 | 2147483647   132511     96 |  0.000 % |
272.59/272.75	c |    132611 |    1205   117566   500149 | 2147483647   132611     96 |  0.000 % |
272.78/272.97	c |    132721 |    1205   117566   500149 | 2147483647   132721     96 |  0.000 % |
273.08/273.23	c |    132842 |    1205   117566   500149 | 2147483647   132842     96 |  0.000 % |
273.98/274.19	c |    132977 |    1205   117566   500149 | 2147483647   132977     96 |  0.000 % |
274.89/275.04	c |    133123 |    1205   117566   500149 | 2147483647   133123     95 |  0.000 % |
275.59/275.78	c |    133283 |    1205   117566   500149 | 2147483647   133283     95 |  0.000 % |
276.28/276.47	c |    133459 |    1205   117566   500149 | 2147483647   133459     95 |  0.000 % |
276.88/277.02	c |    133653 |    1205   117566   500149 | 2147483647   133653     95 |  0.000 % |
278.19/278.34	c |    133868 |    1205   117566   500149 | 2147483647   133868     95 |  0.000 % |
279.08/279.27	c |    134101 |    1205   117566   500149 | 2147483647   134101     95 |  0.000 % |
279.58/279.73	c |    134358 |    1205   117566   500149 | 2147483647   134358     95 |  0.000 % |
280.18/280.38	c |    134639 |    1205   117566   500149 | 2147483647   134639     95 |  0.000 % |
281.08/281.20	c |    134948 |    1205   117566   500149 | 2147483647   134948     95 |  0.000 % |
281.68/281.84	c |    135289 |    1205   117566   500149 | 2147483647   135289     95 |  0.000 % |
282.38/282.57	c |    135661 |    1205   117566   500149 | 2147483647   135661     95 |  0.000 % |
283.28/283.42	c |    136072 |    1205   117566   500149 | 2147483647   136072     95 |  0.000 % |
285.48/285.60	c |    136523 |    1205   117566   500149 | 2147483647   136523     95 |  0.000 % |
286.68/286.84	c |    137022 |    1205   117566   500149 | 2147483647   137022     95 |  0.000 % |
287.58/287.73	c |    137570 |    1205   117566   500149 | 2147483647   137570     95 |  0.000 % |
289.18/289.34	c |    138167 |    1205   117566   500149 | 2147483647   138167     95 |  0.000 % |
289.97/290.14	c |    138822 |    1205   117566   500149 | 2147483647   138822     95 |  0.000 % |
291.87/292.05	c |    139542 |    1205   117566   500149 | 2147483647   139542     95 |  0.000 % |
293.67/293.84	c |    140335 |    1205   117566   500149 | 2147483647   140335     95 |  0.000 % |
294.38/294.57	c |    141206 |    1205   117566   500149 | 2147483647   141206     95 |  0.000 % |
295.08/295.21	c |    142165 |    1205   117566   500149 | 2147483647   142165     95 |  0.000 % |
296.07/296.20	c |    143219 |    1205   117566   500149 | 2147483647   143219     95 |  0.000 % |
297.37/297.55	c |    144377 |    1205   117566   500149 | 2147483647   144377     95 |  0.000 % |
298.67/298.80	c |    145650 |    1205   117566   500149 | 2147483647   145650     95 |  0.000 % |
299.78/299.94	c |    147050 |    1205   117566   500149 | 2147483647   147050     95 |  0.000 % |
301.67/301.86	c |    148591 |    1205   117566   500149 | 2147483647   148591     95 |  0.000 % |
301.87/302.05	c |    148691 |    1205   117566   500149 | 2147483647   148691     95 |  0.000 % |
301.97/302.16	c |    148803 |    1205   117566   500149 | 2147483647   148803     95 |  0.000 % |
302.07/302.29	c |    148925 |    1205   117566   500149 | 2147483647   148925     95 |  0.000 % |
302.28/302.46	c |    149059 |    1205   117566   500149 | 2147483647   149059     95 |  0.000 % |
302.47/302.61	c |    149207 |    1205   117566   500149 | 2147483647   149207     95 |  0.000 % |
302.57/302.77	c |    149367 |    1205   117566   500149 | 2147483647   149367     95 |  0.000 % |
302.77/302.97	c |    149544 |    1205   117566   500149 | 2147483647   149544     95 |  0.000 % |
303.07/303.24	c |    149739 |    1205   117566   500149 | 2147483647   149739     95 |  0.000 % |
303.27/303.50	c |    149951 |    1205   117566   500149 | 2147483647   149951     95 |  0.000 % |
303.57/303.70	c |    150184 |    1205   117566   500149 | 2147483647   150184     95 |  0.000 % |
303.77/303.98	c |    150440 |    1205   117566   500149 | 2147483647   150440     95 |  0.000 % |
304.17/304.30	c |    150721 |    1205   117566   500149 | 2147483647   150721     95 |  0.000 % |
304.47/304.61	c |    151030 |    1205   117566   500149 | 2147483647   151030     95 |  0.000 % |
304.77/304.99	c |    151369 |    1205   117566   500149 | 2147483647   151369     95 |  0.000 % |
305.27/305.45	c |    151741 |    1205   117566   500149 | 2147483647   151741     95 |  0.000 % |
305.77/305.91	c |    152151 |    1205   117566   500149 | 2147483647   152151     95 |  0.000 % |
306.27/306.45	c |    152601 |    1205   117566   500149 | 2147483647   152601     95 |  0.000 % |
306.77/306.94	c |    153097 |    1205   117566   500149 | 2147483647   153097     95 |  0.000 % |
307.36/307.59	c |    153639 |    1205   117566   500149 | 2147483647   153639     95 |  0.000 % |
308.07/308.22	c |    154235 |    1205   117566   500149 | 2147483647   154235     95 |  0.000 % |
308.77/308.92	c |    154892 |    1205   117566   500149 | 2147483647   154892     95 |  0.000 % |
309.67/309.84	c |    155613 |    1205   117566   500149 | 2147483647   155613     95 |  0.000 % |
310.67/310.90	c |    156406 |    1205   117566   500149 | 2147483647   156406     95 |  0.000 % |
311.77/311.98	c |    157277 |    1205   117566   500149 | 2147483647   157277     95 |  0.000 % |
313.27/313.42	c |    158236 |    1205   117566   500149 | 2147483647   158236     95 |  0.000 % |
314.66/314.84	c |    159291 |    1205   117566   500149 | 2147483647   159291     95 |  0.000 % |
316.77/316.98	c |    160450 |    1205   117566   500149 | 2147483647   160450     95 |  0.000 % |
318.87/319.02	c |    161726 |    1205   117566   500149 | 2147483647   161726     95 |  0.000 % |
321.17/321.37	c |    163126 |    1205   117566   500149 | 2147483647   163126     95 |  0.000 % |
323.66/323.81	c |    164666 |    1205   117566   500149 | 2147483647   164666     95 |  0.000 % |
326.36/326.58	c |    166360 |    1205   117566   500149 | 2147483647   166360     95 |  0.000 % |
326.47/326.69	c |    166461 |    1205   117566   500149 | 2147483647   166461     95 |  0.000 % |
326.66/326.86	c |    166571 |    1205   117566   500149 | 2147483647   166571     95 |  0.000 % |
326.96/327.16	c |    166693 |    1205   117566   500149 | 2147483647   166693     95 |  0.000 % |
327.16/327.35	c |    166826 |    1205   117566   500149 | 2147483647   166826     95 |  0.000 % |
327.46/327.61	c |    166973 |    1205   117566   500149 | 2147483647   166973     95 |  0.000 % |
327.76/327.97	c |    167133 |    1205   117566   500149 | 2147483647   167133     95 |  0.000 % |
328.06/328.28	c |    167309 |    1205   117566   500149 | 2147483647   167309     95 |  0.000 % |
328.46/328.66	c |    167503 |    1205   117566   500149 | 2147483647   167503     95 |  0.000 % |
328.96/329.19	c |    167716 |    1205   117566   500149 | 2147483647   167716     95 |  0.000 % |
329.46/329.69	c |    167949 |    1205   117566   500149 | 2147483647   167949     95 |  0.000 % |
330.16/330.34	c |    168205 |    1205   117566   500149 | 2147483647   168205     95 |  0.000 % |
330.76/330.93	c |    168487 |    1205   117566   500149 | 2147483647   168487     95 |  0.000 % |
331.56/331.70	c |    168797 |    1205   117566   500149 | 2147483647   168797     95 |  0.001 % |
332.26/332.49	c |    169136 |    1205   117566   500149 | 2147483647   169136     95 |  0.000 % |
332.96/333.14	c |    169509 |    1205   117566   500149 | 2147483647   169509     95 |  0.000 % |
333.96/334.17	c |    169919 |    1205   117566   500149 | 2147483647   169919     95 |  0.000 % |
334.96/335.12	c |    170369 |    1205   117566   500149 | 2147483647   170369     95 |  0.000 % |
335.76/335.99	c |    170862 |    1205   117566   500149 | 2147483647   170862     95 |  0.000 % |
336.95/337.19	c |    171404 |    1205   117566   500149 | 2147483647   171404     95 |  0.000 % |
338.16/338.37	c |    172003 |    1205   117566   500149 | 2147483647   172003     95 |  0.000 % |
339.67/339.89	c |    172658 |    1205   117566   500149 | 2147483647   172658     95 |  0.000 % |
341.06/341.24	c |    173378 |    1205   117566   500149 | 2147483647   173378     95 |  0.000 % |
342.46/342.66	c |    174171 |    1205   117566   500149 | 2147483647   174171     95 |  0.000 % |
343.66/343.81	c |    175044 |    1205   117566   500149 | 2147483647   175044     95 |  0.000 % |
345.75/345.91	c |    176002 |    1205   117566   500149 | 2147483647   176002     95 |  0.000 % |
348.65/348.84	c |    177055 |    1205   117566   500149 | 2147483647   177055     95 |  0.000 % |
352.15/352.36	c |    178213 |    1205   117566   500149 | 2147483647   178213     95 |  0.000 % |
357.46/357.60	c |    179488 |    1205   117566   500149 | 2147483647   179488     95 |  0.000 % |
361.85/362.01	c |    180888 |    1205   117566   500149 | 2147483647   180888     95 |  0.000 % |
370.25/370.47	c |    182428 |    1205   117566   500149 | 2147483647   182428     95 |  0.000 % |
377.65/377.87	c |    184125 |    1205   117566   500149 | 2147483647   184125     94 |  0.000 % |
383.55/383.73	c |    185988 |    1205   117566   500149 | 2147483647   185988     94 |  0.000 % |
384.15/384.36	c |    186089 |    1205   117566   500149 | 2147483647   186089     94 |  0.000 % |
384.55/384.74	c |    186200 |    1205   117566   500149 | 2147483647   186200     94 |  0.000 % |
385.15/385.34	c |    186323 |    1205   117566   500149 | 2147483647   186323     94 |  0.000 % |
385.35/385.58	c |    186458 |    1205   117566   500149 | 2147483647   186458     94 |  0.000 % |
385.95/386.16	c |    186607 |    1205   117566   500149 | 2147483647   186607     94 |  0.000 % |
386.54/386.78	c |    186768 |    1205   117566   500149 | 2147483647   186768     94 |  0.000 % |
387.24/387.41	c |    186944 |    1205   117566   500149 | 2147483647   186944     94 |  0.000 % |
387.74/387.97	c |    187137 |    1205   117566   500149 | 2147483647   187137     94 |  0.000 % |
388.64/388.80	c |    187349 |    1205   117566   500149 | 2147483647   187349     94 |  0.000 % |
389.34/389.54	c |    187583 |    1205   117566   500149 | 2147483647   187583     94 |  0.000 % |
390.74/390.93	c |    187840 |    1205   117566   500149 | 2147483647   187840     94 |  0.000 % |
392.04/392.26	c |    188122 |    1205   117566   500149 | 2147483647   188122     94 |  0.000 % |
392.95/393.13	c |    188432 |    1205   117566   500149 | 2147483647   188432     94 |  0.000 % |
394.04/394.29	c |    188771 |    1205   117566   500149 | 2147483647   188771     94 |  0.000 % |
395.64/395.84	c |    189143 |    1205   117566   500149 | 2147483647   189143     94 |  0.000 % |
397.24/397.47	c |    189554 |    1205   117566   500149 | 2147483647   189554     94 |  0.000 % |
399.34/399.59	c |    190004 |    1205   117566   500149 |   190000   190004     94 |  0.000 % |
403.54/403.76	c |    190498 |    1205   117566   500149 |   190000   169312     94 |  0.000 % |
405.54/405.76	c |    191042 |    1205   117566   500149 |   190000   169856     94 |  0.000 % |
408.24/408.47	c |    191639 |    1205   117566   500149 |   190000   170453     94 |  0.000 % |
410.93/411.14	c |    192294 |    1205   117566   500149 |   190000   171108     94 |  0.000 % |
413.73/414.00	c |    193016 |    1205   117566   500149 |   190000   171830     94 |  0.000 % |
415.43/415.70	c |    193812 |    1205   117566   500149 |   190000   172626     94 |  0.000 % |
417.13/417.31	c |    194683 |    1205   117566   500149 |   190000   173497     94 |  0.000 % |
420.73/420.95	c |    195641 |    1205   117566   500149 |   190000   174455     94 |  0.000 % |
424.03/424.24	c |    196697 |    1205   117566   500149 |   190000   175511     94 |  0.000 % |
428.13/428.38	c |    197856 |    1205   117566   500149 |   190000   176670     94 |  0.000 % |
432.62/432.84	c |    199129 |    1205   117566   500149 |   190000   177943     94 |  0.000 % |
436.82/437.09	c |    200529 |    1205   117566   500149 | 2147483647   179343     94 |  0.000 % |
440.32/440.57	c |    202070 |    1205   117566   500149 | 2147483647   180884     94 |  0.000 % |
448.82/449.02	c |    203764 |    1205   117566   500149 | 2147483647   182578     94 |  0.000 % |
451.52/451.70	c |    205630 |    1205   117566   500149 | 2147483647   184444     94 |  0.000 % |
459.72/459.95	c |    207679 |    1205   117566   500149 | 2147483647   186493     93 |  0.000 % |
460.12/460.36	c |    207779 |    1205   117566   500149 | 2147483647   186593     93 |  0.000 % |
460.52/460.75	c |    207889 |    1205   117566   500149 | 2147483647   186703     93 |  0.000 % |
460.92/461.13	c |    208010 |    1205   117566   500149 | 2147483647   186824     93 |  0.000 % |
461.32/461.57	c |    208144 |    1205   117566   500149 | 2147483647   186958     93 |  0.000 % |
461.83/462.05	c |    208290 |    1205   117566   500149 | 2147483647   187104     93 |  0.000 % |
462.32/462.50	c |    208450 |    1205   117566   500149 | 2147483647   187264     93 |  0.000 % |
462.83/463.01	c |    208627 |    1205   117566   500149 | 2147483647   187441     93 |  0.000 % |
463.52/463.75	c |    208824 |    1205   117566   500149 | 2147483647   187638     93 |  0.000 % |
464.22/464.43	c |    209040 |    1205   117566   500149 | 2147483647   187854     93 |  0.000 % |
465.22/465.48	c |    209274 |    1205   117566   500149 | 2147483647   188088     93 |  0.000 % |
466.13/466.38	c |    209533 |    1205   117566   500149 | 2147483647   188347     93 |  0.000 % |
466.72/466.92	c |    209814 |    1205   117566   500149 | 2147483647   188628     93 |  0.000 % |
468.12/468.32	c |    210123 |    1205   117566   500149 |   188816   188937     93 |  0.000 % |
469.92/470.16	c |    210462 |    1205   117566   500149 |   188816   165678     91 |  0.000 % |
470.92/471.13	c |    210836 |    1205   117566   500149 |   188816   166052     91 |  0.000 % |
472.02/472.28	c |    211247 |    1205   117566   500149 |   188816   166463     91 |  0.000 % |
473.82/474.02	c |    211696 |    1205   117566   500149 |   188816   166912     91 |  0.000 % |
474.72/474.95	c |    212190 |    1205   117566   500149 |   188816   167406     91 |  0.000 % |
475.92/476.11	c |    212734 |    1205   117566   500149 |   188816   167950     91 |  0.000 % |
476.92/477.12	c |    213330 |    1205   117566   500149 |   188816   168546     91 |  0.000 % |
479.51/479.72	c |    213986 |    1205   117566   500149 |   188816   169202     91 |  0.000 % |
480.52/480.72	c |    214707 |    1205   117566   500149 |   188816   169923     91 |  0.000 % |
483.51/483.70	c |    215500 |    1205   117566   500149 |   188816   170716     91 |  0.000 % |
487.71/487.94	c |    216374 |    1205   117566   500149 |   188816   171590     91 |  0.000 % |
490.81/491.07	c |    217332 |    1205   117566   500149 |   188816   172548     91 |  0.000 % |
494.91/495.16	c |    218385 |    1205   117566   500149 |   188816   173601     91 |  0.000 % |
498.61/498.82	c |    219544 |    1205   117566   500149 |   188816   174760     91 |  0.000 % |
502.11/502.33	c |    220817 |    1205   117566   500149 | 2147483647   176033     91 |  0.000 % |
504.91/505.15	c |    222217 |    1205   117566   500149 | 2147483647   177433     91 |  0.000 % |
507.10/507.34	c |    223757 |    1205   117566   500149 | 2147483647   178973     91 |  0.000 % |
511.00/511.22	c |    225451 |    1205   117566   500149 | 2147483647   180667     91 |  0.000 % |
516.10/516.31	c |    227315 |    1205   117566   500149 | 2147483647   182531     91 |  0.000 % |
523.20/523.40	c |    229365 |    1205   117566   500149 | 2147483647   184581     91 |  0.000 % |
530.00/530.28	c |    231618 |    1205   117566   500149 | 2147483647   186834     91 |  0.000 % |
530.40/530.69	c |    231719 |    1205   117566   500149 | 2147483647   186935     91 |  0.000 % |
530.70/530.98	c |    231831 |    1205   117566   500149 | 2147483647   187047     91 |  0.000 % |
531.10/531.37	c |    231952 |    1205   117566   500149 | 2147483647   187168     91 |  0.000 % |
531.60/531.85	c |    232086 |    1205   117566   500149 | 2147483647   187302     91 |  0.000 % |
532.40/532.64	c |    232232 |    1205   117566   500149 | 2147483647   187448     91 |  0.000 % |
533.10/533.33	c |    232394 |    1205   117566   500149 | 2147483647   187610     91 |  0.000 % |
533.40/533.63	c |    232570 |    1205   117566   500149 | 2147483647   187786     91 |  0.000 % |
534.20/534.46	c |    232764 |    1205   117566   500149 | 2147483647   187980     91 |  0.000 % |
535.09/535.38	c |    232976 |    1205   117566   500149 | 2147483647   188192     91 |  0.000 % |
536.29/536.53	c |    233210 |    1205   117566   500149 | 2147483647   188426     91 |  0.000 % |
536.99/537.29	c |    233466 |    1205   117566   500149 | 2147483647   188682     91 |  0.000 % |
538.29/538.59	c |    233748 |    1205   117566   500149 | 2147483647   188964     91 |  0.000 % |
539.69/539.96	c |    234058 |    1205   117566   500149 | 2147483647   189274     91 |  0.000 % |
541.49/541.71	c |    234398 |    1205   117566   500149 | 2147483647   189614     91 |  0.000 % |
543.39/543.63	c |    234771 |    1205   117566   500149 | 2147483647   189987     91 |  0.000 % |
544.59/544.86	c |    235180 |    1205   117566   500149 | 2147483647   190396     91 |  0.000 % |
546.59/546.83	c |    235629 |    1205   117566   500149 | 2147483647   190845     91 |  0.000 % |
548.39/548.60	c |    236124 |    1205   117566   500149 | 2147483647   191340     91 |  0.000 % |
549.89/550.16	c |    236666 |    1205   117566   500149 | 2147483647   191882     91 |  0.000 % |
551.59/551.88	c |    237263 |    1205   117566   500149 | 2147483647   192479     91 |  0.000 % |
553.79/554.01	c |    237918 |    1205   117566   500149 | 2147483647   193134     91 |  0.000 % |
556.08/556.39	c |    238639 |    1205   117566   500149 | 2147483647   193855     91 |  0.000 % |
557.18/557.44	c |    239431 |    1205   117566   500149 | 2147483647   194647     90 |  0.000 % |
561.58/561.85	c |    240306 |    1205   117566   500149 | 2147483647   195522     90 |  0.000 % |
566.28/566.58	c |    241266 |    1205   117566   500149 | 2147483647   196482     90 |  0.000 % |
570.98/571.21	c |    242320 |    1205   117566   500149 | 2147483647   197536     91 |  0.000 % |
576.58/576.80	c |    243480 |    1205   117566   500149 | 2147483647   198696     91 |  0.000 % |
582.58/582.90	c |    244753 |    1205   117566   500149 | 2147483647   199969     91 |  0.000 % |
587.47/587.77	c |    246153 |    1205   117566   500149 | 2147483647   201369     91 |  0.000 % |
593.17/593.43	c |    247693 |    1205   117566   500149 | 2147483647   202909     91 |  0.000 % |
601.17/601.41	c |    249387 |    1205   117566   500149 | 2147483647   204603     91 |  0.000 % |
609.67/609.95	c |    251251 |    1205   117566   500149 |   205217   161146     90 |  0.000 % |
617.76/618.09	c |    253300 |    1205   117566   500149 |   205217   163195     90 |  0.000 % |
626.96/627.21	c |    255553 |    1205   117566   500149 |   205217   165448     90 |  0.000 % |
635.96/636.24	c |    258031 |    1205   117566   500149 |   205217   167926     90 |  0.000 % |
636.56/636.85	c |    258132 |    1205   117566   500149 |   205217   168027     90 |  0.000 % |
636.96/637.26	c |    258242 |    1205   117566   500149 |   205217   168137     90 |  0.000 % |
637.56/637.87	c |    258364 |    1205   117566   500149 |   205217   168259     90 |  0.000 % |
638.36/638.60	c |    258497 |    1205   117566   500149 |   205217   168392     90 |  0.000 % |
638.96/639.22	c |    258643 |    1205   117566   500149 |   205217   168538     90 |  0.000 % |
639.46/639.76	c |    258803 |    1205   117566   500149 |   205217   168698     90 |  0.000 % |
640.06/640.31	c |    258980 |    1205   117566   500149 |   205217   168875     90 |  0.000 % |
640.86/641.11	c |    259174 |    1205   117566   500149 |   205217   169069     90 |  0.000 % |
641.66/641.96	c |    259388 |    1205   117566   500149 |   205217   169283     90 |  0.000 % |
642.45/642.77	c |    259621 |    1205   117566   500149 |   205217   169516     90 |  0.000 % |
643.65/643.98	c |    259877 |    1205   117566   500149 |   205217   169772     90 |  0.000 % |
644.45/644.73	c |    260158 |    1205   117566   500149 |   169896   170053     90 |  0.000 % |
646.56/646.86	c |    260470 |    1205   117566   500149 |   169896   142430     89 |  0.000 % |
648.05/648.34	c |    260809 |    1205   117566   500149 |   169896   142769     89 |  0.000 % |
649.86/650.11	c |    261183 |    1205   117566   500149 |   169896   143143     89 |  0.000 % |
651.15/651.44	c |    261594 |    1205   117566   500149 |   169896   143554     89 |  0.000 % |
652.75/653.03	c |    262043 |    1205   117566   500149 |   169896   144003     89 |  0.000 % |
654.95/655.22	c |    262536 |    1205   117566   500149 |   169896   144496     89 |  0.000 % |
657.15/657.40	c |    263079 |    1205   117566   500149 |   169896   145039     89 |  0.000 % |
659.44/659.77	c |    263676 |    1205   117566   500149 |   169896   145636     89 |  0.000 % |
661.25/661.57	c |    264332 |    1205   117566   500149 |   169896   146292     89 |  0.000 % |
664.44/664.79	c |    265053 |    1205   117566   500149 |   169896   147013     89 |  0.000 % |
667.14/667.41	c |    265847 |    1205   117566   500149 |   169896   147807     89 |  0.000 % |
670.34/670.67	c |    266718 |    1205   117566   500149 |   169896   148678     89 |  0.000 % |
673.84/674.12	c |    267677 |    1205   117566   500149 |   169896   149637     89 |  0.000 % |
678.64/678.96	c |    268733 |    1205   117566   500149 |   169896   150693     89 |  0.000 % |
682.64/682.99	c |    269893 |    1205   117566   500149 |   169896   151853     89 |  0.000 % |
688.83/689.10	c |    271170 |    1205   117566   500149 |   151964   128948     89 |  0.000 % |
694.83/695.18	c |    272574 |    1205   117566   500149 |   151964   130352     89 |  0.000 % |
701.63/701.90	c |    274114 |    1205   117566   500149 |   151964   131892     89 |  0.000 % |
709.93/710.20	c |    275808 |    1205   117566   500149 |   151964   133586     89 |  0.000 % |
718.22/718.55	c |    277672 |    1205   117566   500149 |   151964   135450     89 |  0.000 % |
726.02/726.30	c |    279721 |    1205   117566   500149 |   151964   137499     88 |  0.000 % |
733.62/733.96	c |    281976 |    1205   117566   500149 |   137778   116789     87 |  0.000 % |
743.42/743.77	c |    284454 |    1205   117566   500149 |   137778   119267     87 |  0.000 % |
752.52/752.82	c |    287179 |    1205   117566   500149 |   137778   121992     87 |  0.000 % |
753.22/753.57	c |    287280 |    1205   117566   500149 |   137778   122093     87 |  0.000 % |
753.72/754.02	c |    287390 |    1205   117566   500149 |   137778   122203     87 |  0.000 % |
754.12/754.49	c |    287511 |    1205   117566   500149 |   137778   122324     87 |  0.000 % |
754.72/755.10	c |    287645 |    1205   117566   500149 |   137778   122458     87 |  0.000 % |
755.32/755.65	c |    287793 |    1205   117566   500149 |   137778   122606     87 |  0.000 % |
756.02/756.32	c |    287953 |    1205   117566   500149 |   137778   122766     87 |  0.000 % |
756.62/756.91	c |    288130 |    1205   117566   500149 |   137778   122943     87 |  0.000 % |
757.32/757.62	c |    288324 |    1205   117566   500149 |   137778   123137     87 |  0.000 % |
757.82/758.16	c |    288537 |    1205   117566   500149 |   137778   123350     87 |  0.000 % |
759.01/759.32	c |    288770 |    1205   117566   500149 |   137778   123583     87 |  0.000 % |
760.41/760.70	c |    289027 |    1205   117566   500149 |   137778   123840     87 |  0.000 % |
761.21/761.51	c |    289309 |    1205   117566   500149 |   137778   124122     87 |  0.000 % |
761.81/762.20	c |    289619 |    1205   117566   500149 |   137778   124432     87 |  0.000 % |
763.51/763.83	c |    289958 |    1205   117566   500149 |   137778   124771     87 |  0.000 % |
764.41/764.76	c |    290334 |    1205   117566   500149 |   124813   125147     87 |  0.000 % |
766.91/767.24	c |    290745 |    1205   117566   500149 |   124813   110723     86 |  0.000 % |
768.31/768.70	c |    291196 |    1205   117566   500149 |   124813   111174     86 |  0.000 % |
772.71/773.03	c |    291690 |    1205   117566   500149 |   124813   111668     86 |  0.000 % |
776.11/776.50	c |    292233 |    1205   117566   500149 |   124813   112211     86 |  0.000 % |
781.01/781.35	c |    292829 |    1205   117566   500149 |   124813   112807     86 |  0.000 % |
785.70/786.05	c |    293484 |    1205   117566   500149 |   124813   113462     86 |  0.000 % |
791.50/791.86	c |    294204 |    1205   117566   500149 |   124813   114182     86 |  0.000 % |
797.80/798.11	c |    294997 |    1205   117566   500149 |   124813   114975     86 |  0.000 % |
804.00/804.34	c |    295869 |    1205   117566   500149 |   124813   115847     86 |  0.000 % |
810.60/810.98	c |    296827 |    1205   117566   500149 |   124813   116805     86 |  0.000 % |
818.10/818.45	c |    297881 |    1205   117566   500149 |   124813   117859     86 |  0.000 % |
827.79/828.13	c |    299039 |    1205   117566   500149 |   124813   119017     86 |  0.000 % |
838.38/838.80	c |    300313 |    1205   117566   500149 |   119978   120291     86 |  0.000 % |
849.48/849.84	c |    301713 |    1205   117566   500149 |   119978    90660     86 |  0.000 % |
861.98/862.37	c |    303253 |    1205   117566   500149 |   119978    92200     86 |  0.000 % |
875.97/876.34	c |    304949 |    1205   117566   500149 |   119978    93896     86 |  0.000 % |
891.36/891.76	c |    306812 |    1205   117566   500149 |   119978    95759     86 |  0.000 % |
907.16/907.55	c |    308865 |    1205   117566   500149 |   119978    97812     86 |  0.000 % |
922.65/923.02	c |    311118 |    1205   117566   500149 |    98948    72155     85 |  0.000 % |
937.15/937.51	c |    313598 |    1205   117566   500149 |    98948    74635     85 |  0.000 % |
955.34/955.73	c |    316324 |    1205   117566   500149 |    98948    77361     85 |  0.000 % |
970.94/971.37	c |    319322 |    1205   117566   500149 |    98948    80359     85 |  0.000 % |
971.73/972.10	c |    319422 |    1205   117566   500149 |    98948    80459     85 |  0.000 % |
972.43/972.81	c |    319532 |    1205   117566   500149 |    98948    80569     85 |  0.000 % |
973.33/973.74	c |    319653 |    1205   117566   500149 |    98948    80690     85 |  0.000 % |
974.33/974.76	c |    319789 |    1205   117566   500149 |    98948    80826     85 |  0.000 % |
975.43/975.83	c |    319938 |    1205   117566   500149 |    98948    80975     85 |  0.000 % |
976.73/977.16	c |    320099 |    1205   117566   500149 |    81039    81136     85 |  0.000 % |
978.23/978.63	c |    320279 |    1205   117566   500149 |    81039    61381     84 |  0.000 % |
979.33/979.77	c |    320474 |    1205   117566   500149 |    81039    61576     84 |  0.000 % |
980.33/980.74	c |    320686 |    1205   117566   500149 |    81039    61788     84 |  0.000 % |
981.33/981.75	c |    320921 |    1205   117566   500149 |    81039    62023     84 |  0.000 % |
982.63/983.07	c |    321178 |    1205   117566   500149 |    81039    62280     84 |  0.000 % |
983.83/984.25	c |    321460 |    1205   117566   500149 |    81039    62562     84 |  0.000 % |
985.23/985.68	c |    321769 |    1205   117566   500149 |    81039    62871     84 |  0.000 % |
986.73/987.16	c |    322111 |    1205   117566   500149 |    81039    63213     84 |  0.000 % |
988.43/988.83	c |    322484 |    1205   117566   500149 |    81039    63586     84 |  0.000 % |
990.43/990.85	c |    322896 |    1205   117566   500149 |    81039    63998     84 |  0.000 % |
992.43/992.87	c |    323345 |    1205   117566   500149 |    81039    64447     84 |  0.000 % |
993.94/994.36	c |    323838 |    1205   117566   500149 |    81039    64940     84 |  0.000 % |
995.93/996.33	c |    324381 |    1205   117566   500149 |    81039    65483     84 |  0.000 % |
998.34/998.76	c |    324978 |    1205   117566   500149 |    81039    66080     84 |  0.000 % |
1000.83/1001.24	c |    325633 |    1205   117566   500149 |    81039    66735     84 |  0.000 % |
1003.84/1004.25	c |    326353 |    1205   117566   500149 |    81039    67455     84 |  0.000 % |
1007.13/1007.57	c |    327146 |    1205   117566   500149 |    81039    68248     84 |  0.000 % |
1010.73/1011.18	c |    328017 |    1205   117566   500149 |    81039    69119     84 |  0.000 % |
1014.73/1015.18	c |    328975 |    1205   117566   500149 |    81039    70077     84 |  0.000 % |
1019.62/1020.06	c |    330030 |    1205   117566   500149 |    71107    71132     84 |  0.000 % |
1024.12/1024.56	c |    331191 |    1205   117566   500149 |    71107    62198     83 |  0.000 % |
1026.93/1027.38	c |    332464 |    1205   117566   500149 |    71107    63471     83 |  0.000 % |
1033.92/1034.32	c |    333865 |    1205   117566   500149 |    71107    64872     83 |  0.000 % |
1040.02/1040.41	c |    335405 |    1205   117566   500149 |    71107    66412     83 |  0.000 % |
1046.61/1047.00	c |    337099 |    1205   117566   500149 |    71107    68106     83 |  0.000 % |
1053.81/1054.24	c |    338962 |    1205   117566   500149 |    71107    69969     84 |  0.000 % |
1057.71/1058.14	c |    341011 |    1205   117566   500149 | 2147483647    72018     84 |  0.000 % |
1063.31/1063.74	c |    343265 |    1205   117566   500149 | 2147483647    74272     84 |  0.000 % |
1065.80/1066.28	c |    345743 |    1205   117566   500149 | 2147483647    76750     84 |  0.000 % |
1068.60/1069.05	c |    348468 |    1205   117566   500149 | 2147483647    79475     84 |  0.000 % |
1070.91/1071.33	c |    351466 |    1205   117566   500149 | 2147483647    82473     84 |  0.000 % |
1094.59/1095.02	c |    354762 |    1205   117566   500149 | 2147483647    85769     84 |  0.000 % |
1094.99/1095.46	c |    354863 |    1205   117566   500149 | 2147483647    85870     84 |  0.000 % |
1095.89/1096.31	c |    354976 |    1205   117566   500149 | 2147483647    85983     84 |  0.000 % |
1096.69/1097.19	c |    355098 |    1205   117566   500149 | 2147483647    86105     84 |  0.000 % |
1097.59/1098.04	c |    355232 |    1205   117566   500149 | 2147483647    86239     84 |  0.000 % |
1098.69/1099.17	c |    355379 |    1205   117566   500149 | 2147483647    86386     84 |  0.000 % |
1099.49/1099.97	c |    355539 |    1205   117566   500149 | 2147483647    86546     84 |  0.000 % |
1100.39/1100.88	c |    355715 |    1205   117566   500149 | 2147483647    86722     84 |  0.000 % |
1101.39/1101.83	c |    355909 |    1205   117566   500149 | 2147483647    86916     84 |  0.000 % |
1103.19/1103.61	c |    356122 |    1205   117566   500149 | 2147483647    87129     85 |  0.000 % |
1104.99/1105.49	c |    356355 |    1205   117566   500149 | 2147483647    87362     85 |  0.000 % |
1105.79/1106.29	c |    356612 |    1205   117566   500149 | 2147483647    87619     85 |  0.000 % |
1106.68/1107.11	c |    356893 |    1205   117566   500149 | 2147483647    87900     85 |  0.000 % |
1107.08/1107.59	c |    357204 |    1205   117566   500149 | 2147483647    88211     84 |  0.000 % |
1107.39/1107.89	c |    357543 |    1205   117566   500149 | 2147483647    88550     84 |  0.000 % |
1107.89/1108.39	c |    357917 |    1205   117566   500149 | 2147483647    88924     84 |  0.000 % |
1108.39/1108.88	c |    358331 |    1205   117566   500149 | 2147483647    89338     84 |  0.000 % |
1108.69/1109.11	c |    358782 |    1205   117566   500149 | 2147483647    89789     84 |  0.000 % |
1110.29/1110.76	c |    359276 |    1205   117566   500149 | 2147483647    90283     84 |  0.000 % |
1112.89/1113.39	c |    359818 |    1205   117566   500149 | 2147483647    90825     84 |  0.000 % |
1114.39/1114.87	c |    360414 |    1205   117566   500149 | 2147483647    91421     84 |  0.001 % |
1117.38/1117.81	c |    361070 |    1205   117566   500149 | 2147483647    92077     84 |  0.000 % |
1118.39/1118.90	c |    361790 |    1205   117566   500149 | 2147483647    92797     84 |  0.000 % |
1119.98/1120.46	c |    362582 |    1205   117566   500149 | 2147483647    93589     84 |  0.000 % |
1121.88/1122.33	c |    363453 |    1205   117566   500149 | 2147483647    94460     84 |  0.000 % |
1123.79/1124.29	c |    364412 |    1205   117566   500149 | 2147483647    95419     84 |  0.000 % |
1125.68/1126.15	c |    365465 |    1205   117566   500149 | 2147483647    96472     84 |  0.000 % |
1127.08/1127.51	c |    366623 |    1205   117566   500149 | 2147483647    97630     84 |  0.000 % |
1127.58/1128.08	c |    367896 |    1205   117566   500149 | 2147483647    98903     85 |  0.000 % |
1128.38/1128.82	c |    369296 |    1205   117566   500149 | 2147483647   100303     85 |  0.000 % |
1129.38/1129.80	c |    370837 |    1205   117566   500149 | 2147483647   101844     85 |  0.000 % |
1130.38/1130.80	c |    372531 |    1205   117566   500149 | 2147483647   103538     85 |  0.000 % |
1133.18/1133.61	c |    374395 |    1205   117566   500149 | 2147483647   105402     85 |  0.000 % |
1135.38/1135.83	c |    376445 |    1205   117566   500149 | 2147483647   107452     85 |  0.000 % |
1137.88/1138.36	c |    378699 |    1205   117566   500149 | 2147483647   109706     85 |  0.000 % |
1139.87/1140.37	c |    381180 |    1205   117566   500149 | 2147483647   112187     85 |  0.000 % |
1142.48/1142.96	c |    383905 |    1205   117566   500149 | 2147483647   114912     85 |  0.000 % |
1145.07/1145.52	c |    386902 |    1205   117566   500149 | 2147483647   117909     85 |  0.000 % |
1147.67/1148.16	c |    390199 |    1205   117566   500149 | 2147483647   121206     85 |  0.000 % |
1150.37/1150.89	c |    393824 |    1205   117566   500149 | 2147483647   124831     85 |  0.000 % |
1150.57/1151.02	c |    393924 |    1205   117566   500149 | 2147483647   124931     85 |  0.000 % |
1150.57/1151.08	c |    394036 |    1205   117566   500149 | 2147483647   125043     85 |  0.000 % |
1150.77/1151.23	c |    394157 |    1205   117566   500149 | 2147483647   125164     85 |  0.000 % |
1150.87/1151.36	c |    394290 |    1205   117566   500149 | 2147483647   125297     85 |  0.000 % |
1151.07/1151.53	c |    394437 |    1205   117566   500149 | 2147483647   125444     85 |  0.000 % |
1151.27/1151.73	c |    394599 |    1205   117566   500149 | 2147483647   125606     85 |  0.000 % |
1151.47/1151.91	c |    394778 |    1205   117566   500149 | 2147483647   125785     85 |  0.000 % |
1151.57/1152.08	c |    394973 |    1205   117566   500149 | 2147483647   125980     85 |  0.000 % |
1151.87/1152.32	c |    395185 |    1205   117566   500149 | 2147483647   126192     85 |  0.000 % |
1152.07/1152.57	c |    395420 |    1205   117566   500149 | 2147483647   126427     85 |  0.000 % |
1152.37/1152.86	c |    395676 |    1205   117566   500149 | 2147483647   126683     85 |  0.000 % |
1152.67/1153.14	c |    395960 |    1205   117566   500149 | 2147483647   126967     85 |  0.000 % |
1152.97/1153.47	c |    396271 |    1205   117566   500149 | 2147483647   127278     85 |  0.000 % |
1153.47/1153.96	c |    396610 |    1205   117566   500149 | 2147483647   127617     85 |  0.000 % |
1153.97/1154.48	c |    396983 |    1205   117566   500149 | 2147483647   127990     85 |  0.000 % |
1154.57/1155.04	c |    397396 |    1205   117566   500149 | 2147483647   128403     85 |  0.000 % |
1155.27/1155.72	c |    397845 |    1205   117566   500149 | 2147483647   128852     85 |  0.000 % |
1155.77/1156.24	c |    398340 |    1205   117566   500149 | 2147483647   129347     85 |  0.000 % |
1156.17/1156.69	c |    398883 |    1205   117566   500149 | 2147483647   129890     85 |  0.000 % |
1156.97/1157.49	c |    399480 |    1205   117566   500149 | 2147483647   130487     86 |  0.000 % |
1157.97/1158.42	c |    400135 |    1205   117566   500149 | 2147483647   131142     86 |  0.000 % |
1158.87/1159.37	c |    400856 |    1205   117566   500149 | 2147483647   131863     85 |  0.000 % |
1160.16/1160.64	c |    401649 |    1205   117566   500149 | 2147483647   132656     85 |  0.000 % |
1162.06/1162.53	c |    402521 |    1205   117566   500149 | 2147483647   133528     85 |  0.000 % |
1163.37/1163.88	c |    403480 |    1205   117566   500149 | 2147483647   134487     85 |  0.000 % |
1165.06/1165.59	c |    404537 |    1205   117566   500149 | 2147483647   135544     86 |  0.000 % |
1166.66/1167.18	c |    405696 |    1205   117566   500149 | 2147483647   136703     86 |  0.000 % |
1168.36/1168.89	c |    406969 |    1205   117566   500149 | 2147483647   137976     86 |  0.000 % |
1170.16/1170.68	c |    408372 |    1205   117566   500149 | 2147483647   139379     86 |  0.000 % |
1173.06/1173.59	c |    409913 |    1205   117566   500149 | 2147483647   140920     86 |  0.000 % |
1177.36/1177.84	c |    411607 |    1205   117566   500149 | 2147483647   142614     86 |  0.000 % |
1180.86/1181.39	c |    413471 |    1205   117566   500149 | 2147483647   144478     86 |  0.000 % |
1185.45/1185.99	c |    415520 |    1205   117566   500149 | 2147483647   146527     86 |  0.000 % |
1191.25/1191.70	c |    417774 |    1205   117566   500149 | 2147483647   148781     86 |  0.002 % |
1196.35/1196.81	c |    420252 |    1205   117566   500149 | 2147483647   151259     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-1833953-1242826432/watcher-1833953-1242826432 -o /tmp/evaluation-result-1833953-1242826432/solver-1833953-1242826432 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833953-1242826432.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6234
/proc/meminfo: memFree=1826472/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=0
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310676493 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6234/statm: 1339 237 197 169 0 50 0

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

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

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

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

[startup+1.50221 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6239
/proc/meminfo: memFree=1812312/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 5356

[startup+3.10148 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1813848/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=11412 CPUtime=2.07
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 2715 0 0 0 205 2 0 0 25 0 1 0 310676594 11685888 2701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 2853 2701 77 171 0 2680 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16768

[startup+6.30204 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1810392/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=13816 CPUtime=5.27
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 3326 0 0 0 525 2 0 0 25 0 1 0 310676594 14147584 3312 1992294400 134512640 135215339 4294956240 18446744073709551615 134538905 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 3454 3313 77 171 0 3281 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19172

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1806112/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=18044 CPUtime=11.66
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 4365 0 0 0 1163 3 0 0 25 0 1 0 310676594 18477056 4351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 4511 4351 77 171 0 4338 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 23400

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1798688/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=25284 CPUtime=24.46
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 6178 0 0 0 2440 6 0 0 25 0 1 0 310676594 25890816 6164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 6321 6164 77 171 0 6148 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 30640

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1788320/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=35876 CPUtime=50.06
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 8793 0 0 0 4997 9 0 0 25 0 1 0 310676594 36737024 8779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 8969 8779 77 171 0 8796 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41232

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1776800/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=47484 CPUtime=101.24
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 11622 0 0 0 10112 12 0 0 25 0 1 0 310676594 48623616 11608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 11871 11608 77 171 0 11698 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 52840

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1768416/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=56020 CPUtime=161.21
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 13697 0 0 0 16106 15 0 0 25 0 1 0 310676594 57364480 13683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 14005 13683 77 171 0 13832 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 61376

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1762080/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=62060 CPUtime=221.2
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 15246 0 0 0 22102 18 0 0 25 0 1 0 310676594 63549440 15232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 15515 15232 77 171 0 15342 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 67416

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1754720/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=69844 CPUtime=281.18
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 17095 0 0 0 28098 20 0 0 25 0 1 0 310676594 71520256 17081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 17461 17081 77 171 0 17288 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 75200

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1738912/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=85980 CPUtime=341.16
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 21037 0 0 0 34091 25 0 0 25 0 1 0 310676594 88043520 21023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 21495 21023 77 171 0 21322 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 91336

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1731872/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=92992 CPUtime=401.14
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 22774 0 0 0 40086 28 0 0 25 0 1 0 310676594 95223808 22760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 23248 22760 77 171 0 23075 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 98348

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6240
/proc/meminfo: memFree=1731680/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1

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

/proc/6240/statm: 23718 23239 77 171 0 23545 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 100228

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727456/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97008 CPUtime=641.06
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23816 0 0 0 64075 31 0 0 25 0 1 0 310676594 99336192 23802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24252 23802 77 171 0 24079 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 102364

[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727392/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97008 CPUtime=701.03
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23820 0 0 0 70072 31 0 0 25 0 1 0 310676594 99336192 23806 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24252 23806 77 171 0 24079 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 102364

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727328/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97008 CPUtime=761.02
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23824 0 0 0 76070 32 0 0 25 0 1 0 310676594 99336192 23810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24252 23810 77 171 0 24079 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 102364

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727072/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97252 CPUtime=820.99
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23877 0 0 0 82067 32 0 0 25 0 1 0 310676594 99586048 23863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24313 23863 77 171 0 24140 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 102608

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727072/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97252 CPUtime=880.97
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23877 0 0 0 88065 32 0 0 25 0 1 0 310676594 99586048 23863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24313 23863 77 171 0 24140 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 102608

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727072/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97252 CPUtime=940.95
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23877 0 0 0 94063 32 0 0 25 0 1 0 310676594 99586048 23863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24313 23863 77 171 0 24140 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 102608

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727008/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97252 CPUtime=1000.93
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23880 0 0 0 100060 33 0 0 25 0 1 0 310676594 99586048 23866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24313 23866 77 171 0 24140 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 102608

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1727008/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=97496 CPUtime=1060.91
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 23927 0 0 0 106058 33 0 0 25 0 1 0 310676594 99835904 23913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24374 23913 77 171 0 24201 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 102852

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1726112/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=98228 CPUtime=1120.88
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 24095 0 0 0 112054 34 0 0 25 0 1 0 310676594 100585472 24081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24557 24081 77 171 0 24384 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 103584

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1725920/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=98392 CPUtime=1180.85
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 24134 0 0 0 118051 34 0 0 25 0 1 0 310676594 100753408 24120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24598 24120 77 171 0 24425 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 103748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1725920/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=98392 CPUtime=1199.05
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 24136 0 0 0 119871 34 0 0 25 0 1 0 310676594 100753408 24122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24598 24122 77 171 0 24425 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 103748

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6242
/proc/meminfo: memFree=1725920/2055920 swapFree=4180392/4192956
[pid=6234] ppid=6232 vsize=5356 CPUtime=1
/proc/6234/stat : 6234 (SatELiteGTI) S 6232 6234 6021 0 -1 4194304 336 3337 0 0 0 0 97 3 16 0 1 0 310676493 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6234/statm: 1339 239 197 169 0 50 0
[pid=6240] ppid=6234 vsize=98392 CPUtime=1199.05
/proc/6240/stat : 6240 (minisat_static) R 6234 6234 6021 0 -1 4194304 24136 0 0 0 119871 34 0 0 25 0 1 0 310676594 100753408 24122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6240/statm: 24598 24122 77 171 0 24425 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 103748

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6234 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=977851
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 1.01485
# while last known CPU time is 1200.05
#
# 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.05
CPU user time (s): 1199.68
CPU system time (s): 0.37
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 103748

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

runsolver used 1.2908 second user time and 3.14152 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-20 15:33:52
IDJOB=1833953
IDBENCH=71092
IDSOLVER=671
FILE ID=node18/1833953-1242826432
PBS_JOBID= 9322496
Free space on /tmp= 66228 MiB

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

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

MD5SUM BENCH= d18a114d646a89f18fb3efba2be009e6
RANDOM SEED=459243204

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1826952 kB
Buffers:         50668 kB
Cached:         130332 kB
SwapCached:       6680 kB
Active:          84636 kB
Inactive:       104684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826952 kB
SwapTotal:     4192956 kB
SwapFree:      4180392 kB
Dirty:            3456 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            25716 kB
Committed_AS:  1091864 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66224 MiB
End job on node18 at 2009-05-20 15:53:55