Trace number 1832683

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.08 1200.81

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
MD5SUMee1ee4ce24708e1154601d98d318621f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.46332
Satisfiable
(Un)Satisfiability was proved
Number of variables8000
Number of clauses33600
Sum of the clauses size100800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 333600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.03	c ==============================================================================
0.00/0.03	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   33600   100800 |   10079       0        0     nan |  0.000 % |
0.00/0.11	c |         0 |   33346   101436 |      --       0       --      -- |     --   | -254/636
0.00/0.11	c ==============================================================================
0.00/0.11	c Result  :   #vars: 7784   #clauses: 33346   #literals: 101436
0.00/0.11	c CPU time:   0.100984 s
0.00/0.11	c ==============================================================================
0.00/0.14	c This is MiniSat 2.0 beta
0.00/0.14	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14	c ============================[ Problem Statistics ]=============================
0.00/0.14	c |                                                                             |
0.00/0.14	c |  Number of variables:  7784                                                 |
0.00/0.14	c |  Number of clauses:    33346                                                |
0.00/0.17	c |  Parsing time:         0.02         s                                       |
0.00/0.17	c ============================[ Search Statistics ]==============================
0.00/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.17	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.17	c ===============================================================================
0.00/0.17	c |         0 |    7784    33346   101436 |    11115        0    nan |  0.000 % |
0.00/0.20	c |       100 |    7784    33346   101436 |    11115      100    153 |  0.000 % |
0.13/0.22	c |       202 |    7784    33346   101436 |    11115      202    149 |  0.000 % |
0.13/0.24	c |       302 |    7784    33346   101436 |    11115      302    141 |  0.000 % |
0.13/0.27	c |       414 |    7784    33346   101436 |    11115      414    134 |  0.000 % |
0.13/0.29	c |       515 |    7784    33346   101436 |    11115      515    128 |  0.000 % |
0.13/0.32	c |       626 |    7784    33346   101436 |    11115      626    127 |  0.000 % |
0.13/0.35	c |       748 |    7784    33346   101436 |    11115      748    126 |  0.000 % |
0.13/0.38	c |       848 |    7784    33346   101436 |    11115      848    124 |  0.000 % |
0.13/0.40	c |       958 |    7784    33346   101436 |    11115      958    127 |  0.000 % |
0.13/0.43	c |      1079 |    7784    33346   101436 |    11115     1079    128 |  0.000 % |
0.13/0.47	c |      1213 |    7784    33346   101436 |    11115     1213    129 |  0.000 % |
0.13/0.49	c |      1314 |    7784    33346   101436 |    11115     1314    133 |  0.000 % |
0.13/0.52	c |      1424 |    7784    33346   101436 |    11115     1424    132 |  0.000 % |
0.13/0.55	c |      1545 |    7784    33346   101436 |    11115     1545    130 |  0.000 % |
0.13/0.59	c |      1680 |    7784    33346   101436 |    11115     1680    131 |  0.000 % |
0.13/0.62	c |      1828 |    7784    33346   101436 |    11115     1828    132 |  0.000 % |
0.13/0.65	c |      1930 |    7784    33346   101436 |    11115     1930    131 |  0.000 % |
0.13/0.68	c |      2040 |    7784    33346   101436 |    11115     2040    131 |  0.000 % |
0.13/0.71	c |      2161 |    7784    33346   101436 |    11115     2161    130 |  0.000 % |
0.13/0.74	c |      2294 |    7784    33346   101436 |    11115     2294    130 |  0.000 % |
0.13/0.78	c |      2441 |    7784    33346   101436 |    11115     2441    133 |  0.000 % |
0.13/0.82	c |      2602 |    7784    33346   101436 |    11115     2602    131 |  0.000 % |
0.13/0.85	c |      2702 |    7784    33346   101436 |    11115     2702    131 |  0.000 % |
0.13/0.88	c |      2812 |    7784    33346   101436 |    11115     2812    129 |  0.000 % |
0.13/0.91	c |      2937 |    7784    33346   101436 |    11115     2937    131 |  0.000 % |
0.13/0.94	c |      3071 |    7784    33346   101436 |    11115     3071    132 |  0.000 % |
0.13/0.98	c |      3218 |    7784    33346   101436 |    11115     3218    132 |  0.000 % |
0.97/1.02	c |      3378 |    7784    33346   101436 |    11115     3378    132 |  0.000 % |
0.97/1.07	c |      3554 |    7784    33346   101436 |    11115     3554    132 |  0.000 % |
0.97/1.09	c |      3656 |    7784    33346   101436 |    11115     3656    132 |  0.000 % |
1.07/1.12	c |      3766 |    7784    33346   101436 |    11115     3766    131 |  0.000 % |
1.07/1.15	c |      3887 |    7784    33346   101436 |    11115     3887    130 |  0.000 % |
1.07/1.19	c |      4020 |    7784    33346   101436 |    11115     4020    132 |  0.000 % |
1.16/1.22	c |      4166 |    7784    33346   101436 |    11115     4166    132 |  0.000 % |
1.16/1.26	c |      4326 |    7784    33346   101436 |    11115     4326    133 |  0.000 % |
1.26/1.31	c |      4502 |    7784    33346   101436 |    11115     4502    134 |  0.000 % |
1.26/1.36	c |      4697 |    7784    33346   101436 |    11115     4697    134 |  0.000 % |
1.26/1.39	c |      4799 |    7784    33346   101436 |    11115     4799    134 |  0.000 % |
1.36/1.42	c |      4913 |    7784    33346   101436 |    11115     4913    134 |  0.000 % |
1.36/1.45	c |      5034 |    7784    33346   101436 |    11115     5034    133 |  0.000 % |
1.36/1.49	c |      5170 |    7784    33346   101436 |    11115     5170    133 |  0.000 % |
1.47/1.53	c |      5316 |    7784    33346   101436 |    11115     5316    134 |  0.000 % |
1.47/1.57	c |      5478 |    7784    33346   101436 |    11115     5478    136 |  0.000 % |
1.57/1.62	c |      5654 |    7784    33346   101436 |    11115     5654    136 |  0.000 % |
1.57/1.67	c |      5848 |    7784    33346   101436 |    11115     5848    136 |  0.000 % |
1.67/1.72	c |      6061 |    7784    33346   101436 |    11115     6061    136 |  0.000 % |
1.67/1.75	c |      6163 |    7784    33346   101436 |    11115     6163    136 |  0.000 % |
1.67/1.79	c |      6276 |    7784    33346   101436 |    11115     6276    136 |  0.000 % |
1.77/1.82	c |      6397 |    7784    33346   101436 |    11115     6397    137 |  0.000 % |
1.77/1.85	c |      6531 |    7784    33346   101436 |    11115     6531    136 |  0.000 % |
1.87/1.90	c |      6678 |    7784    33346   101436 |    11115     6678    136 |  0.000 % |
1.87/1.94	c |      6839 |    7784    33346   101436 |    11115     6839    137 |  0.000 % |
1.87/1.99	c |      7015 |    7784    33346   101436 |    11115     7015    138 |  0.000 % |
1.97/2.05	c |      7208 |    7784    33346   101436 |    11115     7208    138 |  0.000 % |
2.07/2.11	c |      7422 |    7784    33346   101436 |    11115     7422    139 |  0.000 % |
2.07/2.17	c |      7655 |    7784    33346   101436 |    11115     7655    139 |  0.000 % |
2.07/2.20	c |      7756 |    7784    33346   101436 |    11115     7756    138 |  0.000 % |
2.17/2.23	c |      7866 |    7784    33346   101436 |    11115     7866    138 |  0.000 % |
2.17/2.27	c |      7987 |    7784    33346   101436 |    11115     7987    139 |  0.000 % |
2.27/2.31	c |      8122 |    7784    33346   101436 |    11115     8122    139 |  0.000 % |
2.27/2.36	c |      8268 |    7784    33346   101436 |    11115     8268    139 |  0.000 % |
2.37/2.40	c |      8428 |    7784    33346   101436 |    11115     8428    139 |  0.000 % |
2.37/2.45	c |      8605 |    7784    33346   101436 |    11115     8605    139 |  0.000 % |
2.47/2.51	c |      8799 |    7784    33346   101436 |    11115     8799    139 |  0.000 % |
2.47/2.56	c |      9014 |    7784    33346   101436 |    11115     9014    139 |  0.000 % |
2.57/2.63	c |      9247 |    7784    33346   101436 |    11115     9247    138 |  0.000 % |
2.67/2.71	c |      9503 |    7784    33346   101436 |    11115     9503    139 |  0.000 % |
2.67/2.74	c |      9605 |    7784    33346   101436 |    11115     9605    138 |  0.000 % |
2.67/2.77	c |      9715 |    7784    33346   101436 |    11115     9715    138 |  0.000 % |
2.77/2.81	c |      9837 |    7784    33346   101436 |    11115     9837    139 |  0.000 % |
2.77/2.85	c |      9970 |    7784    33346   101436 |    11115     9970    139 |  0.000 % |
2.77/2.89	c |     10120 |    7784    33346   101436 | 2147483647    10120    138 |  0.000 % |
2.87/2.94	c |     10281 |    7784    33346   101436 | 2147483647    10281    139 |  0.000 % |
2.87/2.99	c |     10457 |    7784    33346   101436 | 2147483647    10457    139 |  0.000 % |
2.97/3.04	c |     10650 |    7784    33346   101436 | 2147483647    10650    139 |  0.000 % |
3.07/3.11	c |     10862 |    7784    33346   101436 | 2147483647    10862    139 |  0.000 % |
3.07/3.18	c |     11095 |    7784    33346   101436 | 2147483647    11095    139 |  0.000 % |
3.17/3.26	c |     11352 |    7784    33346   101436 | 2147483647    11352    139 |  0.000 % |
3.27/3.34	c |     11634 |    7784    33346   101436 | 2147483647    11634    140 |  0.000 % |
3.27/3.37	c |     11735 |    7784    33346   101436 | 2147483647    11735    140 |  0.000 % |
3.36/3.41	c |     11845 |    7784    33346   101436 | 2147483647    11845    140 |  0.000 % |
3.36/3.45	c |     11968 |    7784    33346   101436 | 2147483647    11968    140 |  0.000 % |
3.36/3.49	c |     12102 |    7784    33346   101436 | 2147483647    12102    140 |  0.000 % |
3.46/3.54	c |     12248 |    7784    33346   101436 | 2147483647    12248    140 |  0.000 % |
3.46/3.59	c |     12412 |    7784    33346   101436 | 2147483647    12412    140 |  0.000 % |
3.56/3.64	c |     12589 |    7784    33346   101436 | 2147483647    12589    140 |  0.000 % |
3.66/3.71	c |     12783 |    7784    33346   101436 | 2147483647    12783    140 |  0.000 % |
3.66/3.77	c |     12997 |    7784    33346   101436 | 2147483647    12997    140 |  0.000 % |
3.76/3.85	c |     13232 |    7784    33346   101436 | 2147483647    13232    140 |  0.000 % |
3.86/3.94	c |     13488 |    7784    33346   101436 | 2147483647    13488    140 |  0.000 % |
3.96/4.02	c |     13769 |    7784    33346   101436 | 2147483647    13769    141 |  0.000 % |
4.06/4.12	c |     14078 |    7784    33346   101436 | 2147483647    14078    141 |  0.000 % |
4.06/4.16	c |     14179 |    7784    33346   101436 | 2147483647    14179    141 |  0.000 % |
4.17/4.20	c |     14289 |    7784    33346   101436 | 2147483647    14289    141 |  0.000 % |
4.17/4.25	c |     14410 |    7784    33346   101436 | 2147483647    14410    141 |  0.000 % |
4.17/4.29	c |     14543 |    7784    33346   101436 | 2147483647    14543    141 |  0.000 % |
4.27/4.34	c |     14689 |    7784    33346   101436 | 2147483647    14689    141 |  0.000 % |
4.27/4.39	c |     14852 |    7784    33346   101436 | 2147483647    14852    141 |  0.000 % |
4.37/4.45	c |     15029 |    7784    33346   101436 | 2147483647    15029    140 |  0.000 % |
4.47/4.52	c |     15223 |    7784    33346   101436 | 2147483647    15223    141 |  0.000 % |
4.47/4.59	c |     15436 |    7784    33346   101436 | 2147483647    15436    141 |  0.000 % |
4.57/4.67	c |     15669 |    7784    33346   101436 | 2147483647    15669    141 |  0.000 % |
4.67/4.75	c |     15926 |    7784    33346   101436 | 2147483647    15926    141 |  0.000 % |
4.77/4.86	c |     16208 |    7784    33346   101436 | 2147483647    16208    141 |  0.000 % |
4.87/4.96	c |     16517 |    7784    33346   101436 | 2147483647    16517    141 |  0.000 % |
4.97/5.08	c |     16856 |    7784    33346   101436 | 2147483647    16856    142 |  0.000 % |
5.07/5.11	c |     16956 |    7784    33346   101436 | 2147483647    16956    142 |  0.000 % |
5.07/5.15	c |     17067 |    7784    33346   101436 | 2147483647    17067    142 |  0.000 % |
5.17/5.20	c |     17190 |    7784    33346   101436 | 2147483647    17190    142 |  0.000 % |
5.17/5.25	c |     17323 |    7784    33346   101436 | 2147483647    17323    142 |  0.000 % |
5.17/5.29	c |     17469 |    7784    33346   101436 | 2147483647    17469    142 |  0.000 % |
5.27/5.35	c |     17629 |    7784    33346   101436 | 2147483647    17629    142 |  0.000 % |
5.37/5.40	c |     17805 |    7784    33346   101436 | 2147483647    17805    142 |  0.000 % |
5.37/5.47	c |     17999 |    7784    33346   101436 | 2147483647    17999    142 |  0.000 % |
5.47/5.54	c |     18213 |    7784    33346   101436 | 2147483647    18213    142 |  0.000 % |
5.56/5.63	c |     18447 |    7784    33346   101436 | 2147483647    18447    142 |  0.000 % |
5.66/5.72	c |     18704 |    7784    33346   101436 | 2147483647    18704    142 |  0.000 % |
5.76/5.81	c |     18985 |    7784    33346   101436 | 2147483647    18985    142 |  0.000 % |
5.86/5.91	c |     19295 |    7784    33346   101436 | 2147483647    19295    142 |  0.000 % |
5.96/6.04	c |     19636 |    7784    33346   101436 | 2147483647    19636    142 |  0.000 % |
6.06/6.16	c |     20009 |    7784    33346   101436 | 2147483647    20009    142 |  0.000 % |
6.16/6.20	c |     20109 |    7784    33346   101436 | 2147483647    20109    142 |  0.000 % |
6.16/6.24	c |     20221 |    7784    33346   101436 | 2147483647    20221    142 |  0.000 % |
6.16/6.29	c |     20343 |    7784    33346   101436 | 2147483647    20343    142 |  0.000 % |
6.26/6.34	c |     20478 |    7784    33346   101436 | 2147483647    20478    142 |  0.000 % |
6.26/6.39	c |     20625 |    7784    33346   101436 | 2147483647    20625    142 |  0.000 % |
6.36/6.45	c |     20786 |    7784    33346   101436 | 2147483647    20786    142 |  0.000 % |
6.47/6.52	c |     20962 |    7784    33346   101436 | 2147483647    20962    142 |  0.000 % |
6.47/6.60	c |     21155 |    7784    33346   101436 | 2147483647    21155    142 |  0.000 % |
6.57/6.68	c |     21367 |    7784    33346   101436 | 2147483647    21367    143 |  0.000 % |
6.66/6.76	c |     21601 |    7784    33346   101436 | 2147483647    21601    143 |  0.000 % |
6.76/6.84	c |     21860 |    7784    33346   101436 | 2147483647    21860    143 |  0.000 % |
6.86/6.94	c |     22141 |    7784    33346   101436 | 2147483647    22141    144 |  0.000 % |
6.96/7.04	c |     22454 |    7784    33346   101436 | 2147483647    22454    144 |  0.000 % |
7.07/7.17	c |     22794 |    7784    33346   101436 | 2147483647    22794    144 |  0.000 % |
7.27/7.33	c |     23166 |    7784    33346   101436 | 2147483647    23166    145 |  0.000 % |
7.37/7.47	c |     23575 |    7784    33346   101436 | 2147483647    23575    145 |  0.000 % |
7.47/7.51	c |     23676 |    7784    33346   101436 | 2147483647    23676    145 |  0.000 % |
7.47/7.55	c |     23787 |    7784    33346   101436 | 2147483647    23787    145 |  0.000 % |
7.57/7.60	c |     23908 |    7784    33346   101436 | 2147483647    23908    145 |  0.000 % |
7.57/7.66	c |     24043 |    7784    33346   101436 | 2147483647    24043    145 |  0.000 % |
7.67/7.72	c |     24194 |    7784    33346   101436 | 2147483647    24194    145 |  0.000 % |
7.67/7.79	c |     24354 |    7784    33346   101436 | 2147483647    24354    145 |  0.000 % |
7.77/7.85	c |     24533 |    7784    33346   101436 | 2147483647    24533    145 |  0.000 % |
7.87/7.93	c |     24728 |    7784    33346   101436 | 2147483647    24728    145 |  0.000 % |
7.97/8.01	c |     24946 |    7784    33346   101436 | 2147483647    24946    145 |  0.000 % |
8.06/8.10	c |     25180 |    7784    33346   101436 | 2147483647    25180    145 |  0.000 % |
8.16/8.20	c |     25436 |    7784    33346   101436 | 2147483647    25436    145 |  0.000 % |
8.26/8.31	c |     25719 |    7784    33346   101436 | 2147483647    25719    145 |  0.000 % |
8.36/8.43	c |     26028 |    7784    33346   101436 | 2147483647    26028    145 |  0.000 % |
8.46/8.57	c |     26369 |    7784    33346   101436 | 2147483647    26369    145 |  0.000 % |
8.66/8.71	c |     26741 |    7784    33346   101436 | 2147483647    26741    146 |  0.000 % |
8.76/8.86	c |     27151 |    7784    33346   101436 | 2147483647    27151    146 |  0.000 % |
8.96/9.04	c |     27601 |    7784    33346   101436 | 2147483647    27601    147 |  0.000 % |
8.96/9.08	c |     27702 |    7784    33346   101436 | 2147483647    27702    147 |  0.000 % |
9.06/9.12	c |     27812 |    7784    33346   101436 | 2147483647    27812    147 |  0.000 % |
9.06/9.17	c |     27934 |    7784    33346   101436 | 2147483647    27934    147 |  0.000 % |
9.16/9.23	c |     28067 |    7784    33346   101436 | 2147483647    28067    146 |  0.000 % |
9.16/9.29	c |     28218 |    7784    33346   101436 | 2147483647    28218    146 |  0.000 % |
9.26/9.36	c |     28378 |    7784    33346   101436 | 2147483647    28378    146 |  0.000 % |
9.37/9.43	c |     28554 |    7784    33346   101436 | 2147483647    28554    146 |  0.000 % |
9.47/9.52	c |     28747 |    7784    33346   101436 | 2147483647    28747    146 |  0.000 % |
9.57/9.61	c |     28959 |    7784    33346   101436 | 2147483647    28959    146 |  0.000 % |
9.67/9.71	c |     29193 |    7784    33346   101436 | 2147483647    29193    146 |  0.000 % |
9.77/9.81	c |     29450 |    7784    33346   101436 | 2147483647    29450    147 |  0.000 % |
9.87/9.93	c |     29732 |    7784    33346   101436 | 2147483647    29732    147 |  0.000 % |
9.96/10.06	c |     30042 |    7784    33346   101436 | 2147483647    30042    147 |  0.000 % |
10.16/10.20	c |     30383 |    7784    33346   101436 | 2147483647    30383    147 |  0.000 % |
10.26/10.35	c |     30755 |    7784    33346   101436 | 2147483647    30755    147 |  0.000 % |
10.46/10.51	c |     31164 |    7784    33346   101436 | 2147483647    31164    147 |  0.000 % |
10.56/10.70	c |     31613 |    7784    33346   101436 | 2147483647    31613    148 |  0.000 % |
10.86/10.92	c |     32106 |    7784    33346   101436 | 2147483647    32106    148 |  0.000 % |
10.86/10.96	c |     32206 |    7784    33346   101436 | 2147483647    32206    148 |  0.000 % |
10.96/11.02	c |     32316 |    7784    33346   101436 | 2147483647    32316    148 |  0.000 % |
10.96/11.07	c |     32437 |    7784    33346   101436 | 2147483647    32437    148 |  0.000 % |
11.06/11.13	c |     32571 |    7784    33346   101436 | 2147483647    32571    148 |  0.000 % |
11.16/11.20	c |     32717 |    7784    33346   101436 | 2147483647    32717    148 |  0.000 % |
11.16/11.28	c |     32879 |    7784    33346   101436 | 2147483647    32879    148 |  0.000 % |
11.26/11.36	c |     33055 |    7784    33346   101436 | 2147483647    33055    148 |  0.000 % |
11.36/11.45	c |     33250 |    7784    33346   101436 | 2147483647    33250    148 |  0.000 % |
11.46/11.54	c |     33462 |    7784    33346   101436 | 2147483647    33462    148 |  0.000 % |
11.56/11.63	c |     33695 |    7784    33346   101436 | 2147483647    33695    148 |  0.000 % |
11.66/11.74	c |     33951 |    7784    33346   101436 | 2147483647    33951    147 |  0.000 % |
11.76/11.87	c |     34233 |    7784    33346   101436 | 2147483647    34233    147 |  0.000 % |
11.87/12.00	c |     34542 |    7784    33346   101436 | 2147483647    34542    148 |  0.000 % |
12.07/12.16	c |     34884 |    7784    33346   101436 | 2147483647    34884    148 |  0.000 % |
12.27/12.31	c |     35257 |    7784    33346   101436 | 2147483647    35257    147 |  0.000 % |
12.47/12.50	c |     35666 |    7784    33346   101436 | 2147483647    35666    147 |  0.000 % |
12.57/12.68	c |     36115 |    7784    33346   101436 | 2147483647    36115    147 |  0.000 % |
12.86/12.90	c |     36608 |    7784    33346   101436 | 2147483647    36608    148 |  0.000 % |
13.07/13.13	c |     37150 |    7784    33346   101436 | 2147483647    37150    148 |  0.000 % |
13.07/13.18	c |     37251 |    7784    33346   101436 | 2147483647    37251    148 |  0.000 % |
13.17/13.23	c |     37362 |    7784    33346   101436 | 2147483647    37362    147 |  0.000 % |
13.17/13.29	c |     37483 |    7784    33346   101436 | 2147483647    37483    147 |  0.000 % |
13.26/13.35	c |     37616 |    7784    33346   101436 | 2147483647    37616    147 |  0.000 % |
13.36/13.42	c |     37764 |    7784    33346   101436 | 2147483647    37764    147 |  0.000 % |
13.46/13.50	c |     37924 |    7784    33346   101436 | 2147483647    37924    148 |  0.000 % |
13.46/13.58	c |     38100 |    7784    33346   101436 | 2147483647    38100    148 |  0.000 % |
13.56/13.68	c |     38294 |    7784    33346   101436 | 2147483647    38294    147 |  0.000 % |
13.66/13.78	c |     38506 |    7784    33346   101436 | 2147483647    38506    147 |  0.000 % |
13.76/13.89	c |     38739 |    7784    33346   101436 | 2147483647    38739    148 |  0.000 % |
13.96/14.03	c |     38995 |    7784    33346   101436 | 2147483647    38995    148 |  0.000 % |
14.06/14.15	c |     39277 |    7784    33346   101436 | 2147483647    39277    148 |  0.000 % |
14.16/14.30	c |     39586 |    7784    33346   101436 | 2147483647    39586    148 |  0.000 % |
14.36/14.46	c |     39925 |    7784    33346   101436 | 2147483647    39925    148 |  0.000 % |
14.56/14.63	c |     40298 |    7784    33346   101436 | 2147483647    40298    148 |  0.000 % |
14.76/14.83	c |     40709 |    7784    33346   101436 | 2147483647    40709    148 |  0.000 % |
14.96/15.05	c |     41158 |    7784    33346   101436 | 2147483647    41158    148 |  0.000 % |
15.16/15.30	c |     41651 |    7784    33346   101436 | 2147483647    41651    148 |  0.000 % |
15.46/15.57	c |     42193 |    7784    33346   101436 | 2147483647    42193    148 |  0.000 % |
15.76/15.84	c |     42792 |    7784    33346   101436 | 2147483647    42792    148 |  0.000 % |
15.76/15.89	c |     42893 |    7784    33346   101436 | 2147483647    42893    148 |  0.000 % |
15.86/15.94	c |     43003 |    7784    33346   101436 | 2147483647    43003    148 |  0.000 % |
15.96/16.02	c |     43125 |    7784    33346   101436 | 2147483647    43125    148 |  0.000 % |
15.96/16.09	c |     43261 |    7784    33346   101436 | 2147483647    43261    148 |  0.000 % |
16.06/16.16	c |     43407 |    7784    33346   101436 | 2147483647    43407    148 |  0.000 % |
16.16/16.24	c |     43568 |    7784    33346   101436 | 2147483647    43568    148 |  0.000 % |
16.26/16.34	c |     43745 |    7784    33346   101436 | 2147483647    43745    148 |  0.000 % |
16.36/16.45	c |     43940 |    7784    33346   101436 | 2147483647    43940    148 |  0.000 % |
16.46/16.55	c |     44152 |    7784    33346   101436 | 2147483647    44152    148 |  0.000 % |
16.56/16.68	c |     44385 |    7784    33346   101436 | 2147483647    44385    148 |  0.000 % |
16.76/16.81	c |     44641 |    7784    33346   101436 | 2147483647    44641    148 |  0.000 % |
16.86/16.94	c |     44922 |    7784    33346   101436 | 2147483647    44922    148 |  0.000 % |
17.06/17.10	c |     45232 |    7784    33346   101436 | 2147483647    45232    148 |  0.000 % |
17.16/17.27	c |     45571 |    7784    33346   101436 | 2147483647    45571    148 |  0.000 % |
17.36/17.46	c |     45943 |    7784    33346   101436 | 2147483647    45943    148 |  0.000 % |
17.56/17.66	c |     46354 |    7784    33346   101436 | 2147483647    46354    148 |  0.000 % |
17.76/17.90	c |     46804 |    7784    33346   101436 | 2147483647    46804    148 |  0.000 % |
18.05/18.16	c |     47297 |    7784    33346   101436 | 2147483647    47297    149 |  0.000 % |
18.35/18.41	c |     47840 |    7784    33346   101436 | 2147483647    47840    149 |  0.000 % |
18.66/18.71	c |     48437 |    7784    33346   101436 | 2147483647    48437    149 |  0.000 % |
18.96/19.06	c |     49093 |    7784    33346   101436 | 2147483647    49093    149 |  0.000 % |
19.06/19.11	c |     49194 |    7784    33346   101436 | 2147483647    49194    149 |  0.000 % |
19.06/19.18	c |     49306 |    7784    33346   101436 | 2147483647    49306    149 |  0.000 % |
19.16/19.25	c |     49427 |    7784    33346   101436 | 2147483647    49427    149 |  0.000 % |
19.26/19.34	c |     49561 |    7784    33346   101436 | 2147483647    49561    149 |  0.000 % |
19.36/19.43	c |     49707 |    7784    33346   101436 | 2147483647    49707    149 |  0.000 % |
19.46/19.52	c |     49867 |    7784    33346   101436 | 2147483647    49867    149 |  0.000 % |
19.56/19.62	c |     50045 |    7784    33346   101436 | 2147483647    50045    149 |  0.000 % |
19.66/19.73	c |     50238 |    7784    33346   101436 | 2147483647    50238    149 |  0.000 % |
19.76/19.86	c |     50450 |    7784    33346   101436 | 2147483647    50450    149 |  0.000 % |
19.86/19.97	c |     50683 |    7784    33346   101436 | 2147483647    50683    149 |  0.000 % |
20.06/20.12	c |     50940 |    7784    33346   101436 | 2147483647    50940    149 |  0.000 % |
20.16/20.28	c |     51222 |    7784    33346   101436 | 2147483647    51222    149 |  0.000 % |
20.36/20.45	c |     51531 |    7784    33346   101436 | 2147483647    51531    149 |  0.000 % |
20.56/20.65	c |     51872 |    7784    33346   101436 | 2147483647    51872    149 |  0.000 % |
20.76/20.87	c |     52244 |    7784    33346   101436 | 2147483647    52244    149 |  0.000 % |
20.95/21.09	c |     52655 |    7784    33346   101436 | 2147483647    52655    149 |  0.000 % |
21.25/21.35	c |     53105 |    7784    33346   101436 | 2147483647    53105    149 |  0.000 % |
21.55/21.61	c |     53600 |    7784    33346   101436 | 2147483647    53600    150 |  0.000 % |
21.75/21.89	c |     54142 |    7784    33346   101436 | 2147483647    54142    150 |  0.000 % |
22.15/22.20	c |     54738 |    7784    33346   101436 | 2147483647    54738    151 |  0.000 % |
22.45/22.55	c |     55393 |    7784    33346   101436 | 2147483647    55393    150 |  0.000 % |
22.86/22.97	c |     56113 |    7784    33346   101436 | 2147483647    56113    151 |  0.000 % |
22.96/23.03	c |     56213 |    7784    33346   101436 | 2147483647    56213    151 |  0.000 % |
22.96/23.09	c |     56325 |    7784    33346   101436 | 2147483647    56325    151 |  0.000 % |
23.06/23.17	c |     56448 |    7784    33346   101436 | 2147483647    56448    151 |  0.000 % |
23.16/23.24	c |     56581 |    7784    33346   101436 | 2147483647    56581    151 |  0.000 % |
23.26/23.34	c |     56728 |    7784    33346   101436 | 2147483647    56728    151 |  0.000 % |
23.36/23.44	c |     56889 |    7784    33346   101436 | 2147483647    56889    151 |  0.000 % |
23.46/23.54	c |     57065 |    7784    33346   101436 | 2147483647    57065    151 |  0.000 % |
23.56/23.67	c |     57258 |    7784    33346   101436 | 2147483647    57258    151 |  0.000 % |
23.75/23.80	c |     57472 |    7784    33346   101436 | 2147483647    57472    151 |  0.000 % |
23.85/23.95	c |     57707 |    7784    33346   101436 | 2147483647    57707    151 |  0.000 % |
24.06/24.10	c |     57967 |    7784    33346   101436 | 2147483647    57967    151 |  0.000 % |
24.16/24.26	c |     58248 |    7784    33346   101436 | 2147483647    58248    151 |  0.000 % |
24.35/24.45	c |     58558 |    7784    33346   101436 | 2147483647    58558    151 |  0.000 % |
24.55/24.67	c |     58898 |    7784    33346   101436 | 2147483647    58898    150 |  0.000 % |
24.75/24.90	c |     59271 |    7784    33346   101436 | 2147483647    59271    151 |  0.000 % |
25.05/25.15	c |     59683 |    7784    33346   101436 | 2147483647    59683    151 |  0.000 % |
25.35/25.41	c |     60135 |    7784    33346   101436 | 2147483647    60135    151 |  0.000 % |
25.55/25.69	c |     60629 |    7784    33346   101436 | 2147483647    60629    151 |  0.000 % |
25.85/25.99	c |     61171 |    7784    33346   101436 | 2147483647    61171    151 |  0.000 % |
26.26/26.36	c |     61768 |    7784    33346   101436 | 2147483647    61768    152 |  0.000 % |
26.65/26.77	c |     62423 |    7784    33346   101436 | 2147483647    62423    152 |  0.000 % |
27.05/27.16	c |     63143 |    7784    33346   101436 | 2147483647    63143    153 |  0.000 % |
27.54/27.61	c |     63937 |    7784    33346   101436 | 2147483647    63937    153 |  0.000 % |
27.54/27.67	c |     64039 |    7784    33346   101436 | 2147483647    64039    153 |  0.000 % |
27.64/27.76	c |     64152 |    7784    33346   101436 | 2147483647    64152    152 |  0.000 % |
27.74/27.84	c |     64275 |    7784    33346   101436 | 2147483647    64275    152 |  0.000 % |
27.84/27.95	c |     64408 |    7784    33346   101436 | 2147483647    64408    152 |  0.000 % |
27.94/28.05	c |     64554 |    7784    33346   101436 | 2147483647    64554    152 |  0.000 % |
28.04/28.16	c |     64716 |    7784    33346   101436 | 2147483647    64716    152 |  0.000 % |
28.14/28.27	c |     64892 |    7784    33346   101436 | 2147483647    64892    152 |  0.000 % |
28.34/28.41	c |     65087 |    7784    33346   101436 | 2147483647    65087    152 |  0.000 % |
28.45/28.55	c |     65299 |    7784    33346   101436 | 2147483647    65299    152 |  0.000 % |
28.54/28.68	c |     65533 |    7784    33346   101436 | 2147483647    65533    152 |  0.000 % |
28.74/28.85	c |     65789 |    7784    33346   101436 | 2147483647    65789    152 |  0.000 % |
28.94/29.04	c |     66070 |    7784    33346   101436 | 2147483647    66070    152 |  0.000 % |
29.15/29.25	c |     66381 |    7784    33346   101436 | 2147483647    66381    152 |  0.000 % |
29.35/29.46	c |     66721 |    7784    33346   101436 | 2147483647    66721    152 |  0.000 % |
29.65/29.71	c |     67093 |    7784    33346   101436 | 2147483647    67093    152 |  0.000 % |
29.85/29.98	c |     67502 |    7784    33346   101436 | 2147483647    67502    152 |  0.000 % |
30.14/30.26	c |     67952 |    7784    33346   101436 | 2147483647    67952    152 |  0.000 % |
30.44/30.55	c |     68447 |    7784    33346   101436 | 2147483647    68447    152 |  0.000 % |
30.84/30.90	c |     68992 |    7784    33346   101436 | 2147483647    68992    152 |  0.000 % |
31.14/31.27	c |     69588 |    7784    33346   101436 | 2147483647    69588    153 |  0.000 % |
31.64/31.71	c |     70243 |    7784    33346   101436 | 2147483647    70243    153 |  0.000 % |
32.04/32.18	c |     70963 |    7784    33346   101436 | 2147483647    70963    153 |  0.000 % |
32.64/32.73	c |     71755 |    7784    33346   101436 | 2147483647    71755    153 |  0.000 % |
33.14/33.28	c |     72626 |    7784    33346   101436 | 2147483647    72626    153 |  0.000 % |
33.24/33.36	c |     72726 |    7784    33346   101436 | 2147483647    72726    153 |  0.000 % |
33.34/33.44	c |     72840 |    7784    33346   101436 | 2147483647    72840    153 |  0.000 % |
33.44/33.52	c |     72961 |    7784    33346   101436 | 2147483647    72961    153 |  0.000 % |
33.54/33.62	c |     73095 |    7784    33346   101436 | 2147483647    73095    153 |  0.000 % |
33.64/33.72	c |     73241 |    7784    33346   101436 | 2147483647    73241    153 |  0.000 % |
33.74/33.84	c |     73401 |    7784    33346   101436 | 2147483647    73401    153 |  0.000 % |
33.84/33.97	c |     73579 |    7784    33346   101436 | 2147483647    73579    153 |  0.000 % |
34.04/34.11	c |     73772 |    7784    33346   101436 | 2147483647    73772    153 |  0.000 % |
34.14/34.26	c |     73984 |    7784    33346   101436 | 2147483647    73984    153 |  0.000 % |
34.34/34.42	c |     74217 |    7784    33346   101436 | 2147483647    74217    152 |  0.000 % |
34.54/34.61	c |     74474 |    7784    33346   101436 | 2147483647    74474    153 |  0.000 % |
34.74/34.80	c |     74756 |    7784    33346   101436 | 2147483647    74756    153 |  0.000 % |
34.93/35.02	c |     75065 |    7784    33346   101436 | 2147483647    75065    153 |  0.000 % |
35.14/35.28	c |     75405 |    7784    33346   101436 | 2147483647    75405    153 |  0.000 % |
35.43/35.54	c |     75778 |    7784    33346   101436 | 2147483647    75778    153 |  0.000 % |
35.73/35.82	c |     76187 |    7784    33346   101436 | 2147483647    76187    153 |  0.000 % |
36.03/36.10	c |     76636 |    7784    33346   101436 | 2147483647    76636    153 |  0.000 % |
36.33/36.45	c |     77129 |    7784    33346   101436 | 2147483647    77129    153 |  0.000 % |
36.73/36.86	c |     77671 |    7784    33346   101436 | 2147483647    77671    153 |  0.000 % |
37.13/37.24	c |     78267 |    7784    33346   101436 | 2147483647    78267    153 |  0.000 % |
37.64/37.70	c |     78922 |    7784    33346   101436 | 2147483647    78922    153 |  0.000 % |
38.04/38.19	c |     79642 |    7784    33346   101436 | 2147483647    79642    153 |  0.000 % |
38.64/38.74	c |     80434 |    7784    33346   101436 | 2147483647    80434    153 |  0.000 % |
39.24/39.35	c |     81306 |    7784    33346   101436 | 2147483647    81306    153 |  0.000 % |
39.93/40.00	c |     82264 |    7784    33346   101436 | 2147483647    82264    153 |  0.000 % |
39.93/40.08	c |     82364 |    7784    33346   101436 | 2147483647    82364    153 |  0.000 % |
40.03/40.17	c |     82474 |    7784    33346   101436 | 2147483647    82474    153 |  0.000 % |
40.13/40.28	c |     82595 |    7784    33346   101436 | 2147483647    82595    153 |  0.000 % |
40.33/40.41	c |     82730 |    7784    33346   101436 | 2147483647    82730    153 |  0.000 % |
40.43/40.53	c |     82877 |    7784    33346   101436 | 2147483647    82877    153 |  0.000 % |
40.53/40.64	c |     83038 |    7784    33346   101436 | 2147483647    83038    153 |  0.000 % |
40.63/40.79	c |     83214 |    7784    33346   101436 | 2147483647    83214    153 |  0.000 % |
40.83/40.95	c |     83407 |    7784    33346   101436 | 2147483647    83407    153 |  0.000 % |
41.03/41.12	c |     83620 |    7784    33346   101436 | 2147483647    83620    153 |  0.000 % |
41.23/41.31	c |     83853 |    7784    33346   101436 | 2147483647    83853    153 |  0.000 % |
41.43/41.50	c |     84109 |    7784    33346   101436 | 2147483647    84109    153 |  0.000 % |
41.63/41.70	c |     84390 |    7784    33346   101436 | 2147483647    84390    153 |  0.000 % |
41.83/41.94	c |     84699 |    7784    33346   101436 | 2147483647    84699    153 |  0.000 % |
42.03/42.17	c |     85038 |    7784    33346   101436 | 2147483647    85038    153 |  0.000 % |
42.33/42.46	c |     85410 |    7784    33346   101436 | 2147483647    85410    153 |  0.000 % |
42.63/42.75	c |     85819 |    7784    33346   101436 | 2147483647    85819    153 |  0.000 % |
42.93/43.10	c |     86269 |    7784    33346   101436 | 2147483647    86269    153 |  0.000 % |
43.33/43.45	c |     86762 |    7784    33346   101436 | 2147483647    86762    153 |  0.000 % |
43.74/43.87	c |     87304 |    7784    33346   101436 | 2147483647    87304    153 |  0.000 % |
44.23/44.34	c |     87900 |    7784    33346   101436 | 2147483647    87900    153 |  0.000 % |
44.73/44.82	c |     88555 |    7784    33346   101436 | 2147483647    88555    153 |  0.000 % |
45.22/45.37	c |     89279 |    7784    33346   101436 | 2147483647    89279    153 |  0.000 % |
45.82/45.98	c |     90073 |    7784    33346   101436 | 2147483647    90073    154 |  0.000 % |
46.53/46.66	c |     90945 |    7784    33346   101436 | 2147483647    90945    154 |  0.000 % |
47.23/47.37	c |     91903 |    7784    33346   101436 | 2147483647    91903    154 |  0.000 % |
48.02/48.17	c |     92957 |    7784    33346   101436 | 2147483647    92957    154 |  0.000 % |
48.13/48.27	c |     93057 |    7784    33346   101436 | 2147483647    93057    154 |  0.000 % |
48.23/48.36	c |     93167 |    7784    33346   101436 | 2147483647    93167    154 |  0.000 % |
48.33/48.47	c |     93291 |    7784    33346   101436 | 2147483647    93291    154 |  0.000 % |
48.43/48.58	c |     93427 |    7784    33346   101436 | 2147483647    93427    154 |  0.000 % |
48.63/48.71	c |     93573 |    7784    33346   101436 | 2147483647    93573    154 |  0.000 % |
48.73/48.84	c |     93733 |    7784    33346   101436 | 2147483647    93733    154 |  0.000 % |
48.82/48.99	c |     93909 |    7784    33346   101436 | 2147483647    93909    154 |  0.000 % |
49.02/49.14	c |     94102 |    7784    33346   101436 | 2147483647    94102    154 |  0.000 % |
49.22/49.32	c |     94314 |    7784    33346   101436 | 2147483647    94314    154 |  0.000 % |
49.43/49.51	c |     94547 |    7784    33346   101436 | 2147483647    94547    154 |  0.000 % |
49.62/49.73	c |     94803 |    7784    33346   101436 | 2147483647    94803    154 |  0.000 % |
49.82/49.96	c |     95085 |    7784    33346   101436 | 2147483647    95085    154 |  0.000 % |
50.12/50.22	c |     95395 |    7784    33346   101436 | 2147483647    95395    154 |  0.000 % |
50.32/50.48	c |     95735 |    7784    33346   101436 | 2147483647    95735    154 |  0.000 % |
50.62/50.78	c |     96108 |    7784    33346   101436 | 2147483647    96108    154 |  0.000 % |
50.92/51.08	c |     96517 |    7784    33346   101436 | 2147483647    96517    154 |  0.000 % |
51.32/51.42	c |     96966 |    7784    33346   101436 | 2147483647    96966    154 |  0.000 % |
51.72/51.85	c |     97460 |    7784    33346   101436 | 2147483647    97460    154 |  0.000 % |
52.12/52.28	c |     98003 |    7784    33346   101436 | 2147483647    98003    154 |  0.000 % |
52.63/52.76	c |     98599 |    7784    33346   101436 | 2147483647    98599    154 |  0.000 % |
53.22/53.32	c |     99254 |    7784    33346   101436 | 2147483647    99254    154 |  0.000 % |
53.72/53.88	c |     99974 |    7784    33346   101436 | 2147483647    99974    154 |  0.000 % |
54.32/54.48	c |    100766 |    7784    33346   101436 | 2147483647   100766    154 |  0.000 % |
55.01/55.19	c |    101637 |    7784    33346   101436 | 2147483647   101637    155 |  0.000 % |
55.92/56.02	c |    102596 |    7784    33346   101436 | 2147483647   102596    155 |  0.000 % |
56.72/56.87	c |    103649 |    7784    33346   101436 | 2147483647   103649    155 |  0.000 % |
57.62/57.77	c |    104807 |    7784    33346   101436 | 2147483647   104807    155 |  0.000 % |
57.72/57.87	c |    104907 |    7784    33346   101436 | 2147483647   104907    155 |  0.000 % |
57.82/57.97	c |    105017 |    7784    33346   101436 | 2147483647   105017    155 |  0.000 % |
58.02/58.10	c |    105140 |    7784    33346   101436 | 2147483647   105140    155 |  0.000 % |
58.12/58.21	c |    105274 |    7784    33346   101436 | 2147483647   105274    155 |  0.000 % |
58.23/58.36	c |    105423 |    7784    33346   101436 | 2147483647   105423    155 |  0.000 % |
58.42/58.51	c |    105585 |    7784    33346   101436 | 2147483647   105585    155 |  0.000 % |
58.52/58.69	c |    105761 |    7784    33346   101436 | 2147483647   105761    155 |  0.000 % |
58.72/58.86	c |    105954 |    7784    33346   101436 | 2147483647   105954    155 |  0.000 % |
58.92/59.07	c |    106166 |    7784    33346   101436 | 2147483647   106166    155 |  0.000 % |
59.12/59.28	c |    106399 |    7784    33346   101436 | 2147483647   106399    155 |  0.000 % |
59.42/59.50	c |    106656 |    7784    33346   101436 | 2147483647   106656    155 |  0.000 % |
59.62/59.76	c |    106938 |    7784    33346   101436 | 2147483647   106938    155 |  0.000 % |
59.92/60.02	c |    107250 |    7784    33346   101436 | 2147483647   107250    155 |  0.000 % |
60.22/60.32	c |    107590 |    7784    33346   101436 | 2147483647   107590    155 |  0.000 % |
60.52/60.66	c |    107964 |    7784    33346   101436 | 2147483647   107964    155 |  0.000 % |
60.92/61.04	c |    108373 |    7784    33346   101436 | 2147483647   108373    155 |  0.000 % |
61.31/61.43	c |    108822 |    7784    33346   101436 | 2147483647   108822    155 |  0.000 % |
61.71/61.85	c |    109315 |    7784    33346   101436 | 2147483647   109315    155 |  0.000 % |
62.11/62.29	c |    109857 |    7784    33346   101436 | 2147483647   109857    155 |  0.000 % |
62.61/62.79	c |    110454 |    7784    33346   101436 | 2147483647   110454    155 |  0.000 % |
63.21/63.36	c |    111109 |    7784    33346   101436 | 2147483647   111109    155 |  0.000 % |
63.82/63.94	c |    111829 |    7784    33346   101436 | 2147483647   111829    155 |  0.000 % |
64.52/64.64	c |    112622 |    7784    33346   101436 | 2147483647   112622    155 |  0.000 % |
65.31/65.40	c |    113497 |    7784    33346   101436 | 2147483647   113497    156 |  0.000 % |
66.11/66.23	c |    114455 |    7784    33346   101436 | 2147483647   114455    156 |  0.000 % |
67.01/67.15	c |    115508 |    7784    33346   101436 | 2147483647   115508    156 |  0.000 % |
68.01/68.20	c |    116666 |    7784    33346   101436 | 2147483647   116666    156 |  0.000 % |
69.11/69.29	c |    117943 |    7784    33346   101436 | 2147483647   117943    156 |  0.000 % |
69.21/69.39	c |    118043 |    7784    33346   101436 | 2147483647   118043    156 |  0.000 % |
69.41/69.53	c |    118153 |    7784    33346   101436 | 2147483647   118153    156 |  0.000 % |
69.51/69.65	c |    118275 |    7784    33346   101436 | 2147483647   118275    156 |  0.000 % |
69.61/69.79	c |    118408 |    7784    33346   101436 | 2147483647   118408    156 |  0.000 % |
69.80/69.93	c |    118555 |    7784    33346   101436 | 2147483647   118555    156 |  0.000 % |
70.00/70.11	c |    118717 |    7784    33346   101436 | 2147483647   118717    156 |  0.000 % |
70.10/70.29	c |    118895 |    7784    33346   101436 | 2147483647   118895    156 |  0.000 % |
70.31/70.48	c |    119089 |    7784    33346   101436 | 2147483647   119089    156 |  0.000 % |
70.50/70.69	c |    119301 |    7784    33346   101436 | 2147483647   119301    156 |  0.000 % |
70.81/70.93	c |    119535 |    7784    33346   101436 | 2147483647   119535    156 |  0.000 % |
71.11/71.20	c |    119794 |    7784    33346   101436 | 2147483647   119794    156 |  0.000 % |
71.31/71.44	c |    120075 |    7784    33346   101436 | 2147483647   120075    156 |  0.000 % |
71.61/71.75	c |    120384 |    7784    33346   101436 | 2147483647   120384    156 |  0.000 % |
71.91/72.07	c |    120726 |    7784    33346   101436 | 2147483647   120726    156 |  0.000 % |
72.31/72.43	c |    121098 |    7784    33346   101436 | 2147483647   121098    156 |  0.000 % |
72.71/72.86	c |    121512 |    7784    33346   101436 | 2147483647   121512    156 |  0.000 % |
73.11/73.29	c |    121961 |    7784    33346   101436 | 2147483647   121961    156 |  0.000 % |
73.61/73.70	c |    122454 |    7784    33346   101436 | 2147483647   122454    156 |  0.000 % |
74.01/74.19	c |    122996 |    7784    33346   101436 | 2147483647   122996    156 |  0.000 % |
74.61/74.75	c |    123592 |    7784    33346   101436 | 2147483647   123592    156 |  0.000 % |
75.30/75.41	c |    124248 |    7784    33346   101436 | 2147483647   124248    156 |  0.000 % |
76.01/76.11	c |    124968 |    7784    33346   101436 | 2147483647   124968    156 |  0.000 % |
76.71/76.85	c |    125761 |    7784    33346   101436 | 2147483647   125761    156 |  0.000 % |
77.51/77.63	c |    126632 |    7784    33346   101436 | 2147483647   126632    157 |  0.000 % |
78.40/78.51	c |    127591 |    7784    33346   101436 | 2147483647   127591    157 |  0.000 % |
79.40/79.55	c |    128644 |    7784    33346   101436 | 2147483647   128644    157 |  0.000 % |
80.50/80.67	c |    129803 |    7784    33346   101436 | 2147483647   129803    157 |  0.000 % |
81.70/81.85	c |    131077 |    7784    33346   101436 | 2147483647   131077    157 |  0.000 % |
83.10/83.23	c |    132477 |    7784    33346   101436 | 2147483647   132477    158 |  0.000 % |
83.20/83.33	c |    132580 |    7784    33346   101436 | 2147483647   132580    158 |  0.000 % |
83.30/83.46	c |    132691 |    7784    33346   101436 | 2147483647   132691    158 |  0.000 % |
83.51/83.62	c |    132812 |    7784    33346   101436 | 2147483647   132812    158 |  0.000 % |
83.60/83.78	c |    132947 |    7784    33346   101436 | 2147483647   132947    158 |  0.000 % |
83.80/83.94	c |    133094 |    7784    33346   101436 | 2147483647   133094    157 |  0.000 % |
84.00/84.12	c |    133254 |    7784    33346   101436 | 2147483647   133254    157 |  0.000 % |
84.20/84.31	c |    133431 |    7784    33346   101436 | 2147483647   133431    157 |  0.000 % |
84.30/84.49	c |    133627 |    7784    33346   101436 | 2147483647   133627    157 |  0.000 % |
84.60/84.73	c |    133840 |    7784    33346   101436 | 2147483647   133840    157 |  0.000 % |
84.90/85.00	c |    134073 |    7784    33346   101436 | 2147483647   134073    157 |  0.000 % |
85.20/85.31	c |    134329 |    7784    33346   101436 | 2147483647   134329    157 |  0.000 % |
85.50/85.61	c |    134612 |    7784    33346   101436 | 2147483647   134612    157 |  0.000 % |
85.80/85.97	c |    134924 |    7784    33346   101436 | 2147483647   134924    157 |  0.000 % |
86.19/86.35	c |    135266 |    7784    33346   101436 | 2147483647   135266    157 |  0.000 % |
86.59/86.75	c |    135638 |    7784    33346   101436 | 2147483647   135638    157 |  0.000 % |
86.99/87.19	c |    136047 |    7784    33346   101436 | 2147483647   136047    157 |  0.000 % |
87.49/87.67	c |    136498 |    7784    33346   101436 | 2147483647   136498    157 |  0.000 % |
88.09/88.21	c |    136991 |    7784    33346   101436 | 2147483647   136991    157 |  0.000 % |
88.60/88.74	c |    137533 |    7784    33346   101436 | 2147483647   137533    157 |  0.000 % |
89.19/89.33	c |    138129 |    7784    33346   101436 | 2147483647   138129    157 |  0.000 % |
89.79/89.96	c |    138784 |    7784    33346   101436 | 2147483647   138784    157 |  0.000 % |
90.59/90.72	c |    139504 |    7784    33346   101436 | 2147483647   139504    158 |  0.000 % |
91.38/91.51	c |    140297 |    7784    33346   101436 | 2147483647   140297    158 |  0.000 % |
92.29/92.42	c |    141171 |    7784    33346   101436 | 2147483647   141171    158 |  0.000 % |
93.29/93.41	c |    142129 |    7784    33346   101436 | 2147483647   142129    158 |  0.000 % |
94.29/94.49	c |    143182 |    7784    33346   101436 | 2147483647   143182    158 |  0.000 % |
95.49/95.62	c |    144341 |    7784    33346   101436 | 2147483647   144341    158 |  0.000 % |
96.79/96.91	c |    145615 |    7784    33346   101436 | 2147483647   145615    158 |  0.000 % |
98.08/98.29	c |    147016 |    7784    33346   101436 | 2147483647   147016    159 |  0.000 % |
99.68/99.85	c |    148560 |    7784    33346   101436 | 2147483647   148560    159 |  0.000 % |
99.78/99.98	c |    148661 |    7784    33346   101436 | 2147483647   148661    159 |  0.000 % |
99.98/100.11	c |    148771 |    7784    33346   101436 | 2147483647   148771    159 |  0.000 % |
100.08/100.27	c |    148893 |    7784    33346   101436 | 2147483647   148893    159 |  0.000 % |
100.28/100.43	c |    149026 |    7784    33346   101436 | 2147483647   149026    159 |  0.000 % |
100.48/100.64	c |    149172 |    7784    33346   101436 | 2147483647   149172    158 |  0.000 % |
100.68/100.85	c |    149333 |    7784    33346   101436 | 2147483647   149333    158 |  0.000 % |
100.88/101.07	c |    149511 |    7784    33346   101436 | 2147483647   149511    158 |  0.000 % |
101.08/101.29	c |    149704 |    7784    33346   101436 | 2147483647   149704    158 |  0.000 % |
101.38/101.54	c |    149917 |    7784    33346   101436 | 2147483647   149917    158 |  0.000 % |
101.69/101.82	c |    150151 |    7784    33346   101436 | 2147483647   150151    158 |  0.000 % |
101.99/102.11	c |    150407 |    7784    33346   101436 | 2147483647   150407    158 |  0.000 % |
102.29/102.44	c |    150691 |    7784    33346   101436 | 2147483647   150691    158 |  0.000 % |
102.69/102.80	c |    151003 |    7784    33346   101436 | 2147483647   151003    158 |  0.000 % |
103.09/103.23	c |    151342 |    7784    33346   101436 | 2147483647   151342    158 |  0.000 % |
103.48/103.63	c |    151715 |    7784    33346   101436 | 2147483647   151715    158 |  0.000 % |
103.99/104.10	c |    152125 |    7784    33346   101436 | 2147483647   152125    158 |  0.000 % |
104.39/104.58	c |    152576 |    7784    33346   101436 | 2147483647   152576    158 |  0.000 % |
104.98/105.14	c |    153069 |    7784    33346   101436 | 2147483647   153069    158 |  0.000 % |
105.58/105.79	c |    153611 |    7784    33346   101436 | 2147483647   153611    159 |  0.000 % |
106.18/106.40	c |    154207 |    7784    33346   101436 | 2147483647   154207    159 |  0.000 % |
106.98/107.13	c |    154864 |    7784    33346   101436 | 2147483647   154864    159 |  0.000 % |
107.78/107.91	c |    155586 |    7784    33346   101436 | 2147483647   155586    159 |  0.000 % |
108.58/108.72	c |    156378 |    7784    33346   101436 | 2147483647   156378    159 |  0.000 % |
109.48/109.67	c |    157249 |    7784    33346   101436 | 2147483647   157249    159 |  0.000 % |
110.58/110.70	c |    158207 |    7784    33346   101436 | 2147483647   158207    159 |  0.000 % |
111.78/111.90	c |    159260 |    7784    33346   101436 | 2147483647   159260    159 |  0.000 % |
112.97/113.16	c |    160419 |    7784    33346   101436 | 2147483647   160419    159 |  0.000 % |
114.28/114.49	c |    161693 |    7784    33346   101436 | 2147483647   161693    159 |  0.000 % |
115.78/115.99	c |    163093 |    7784    33346   101436 | 2147483647   163093    159 |  0.000 % |
117.48/117.60	c |    164636 |    7784    33346   101436 | 2147483647   164636    160 |  0.000 % |
119.17/119.31	c |    166331 |    7784    33346   101436 | 2147483647   166331    160 |  0.000 % |
119.27/119.46	c |    166431 |    7784    33346   101436 | 2147483647   166431    160 |  0.000 % |
119.47/119.64	c |    166542 |    7784    33346   101436 | 2147483647   166542    160 |  0.000 % |
119.68/119.82	c |    166665 |    7784    33346   101436 | 2147483647   166665    160 |  0.000 % |
119.87/120.02	c |    166799 |    7784    33346   101436 | 2147483647   166799    160 |  0.000 % |
120.07/120.23	c |    166945 |    7784    33346   101436 | 2147483647   166945    160 |  0.000 % |
120.27/120.44	c |    167105 |    7784    33346   101436 | 2147483647   167105    160 |  0.000 % |
120.47/120.67	c |    167281 |    7784    33346   101436 | 2147483647   167281    160 |  0.000 % |
120.77/120.94	c |    167474 |    7784    33346   101436 | 2147483647   167474    160 |  0.000 % |
121.07/121.20	c |    167686 |    7784    33346   101436 | 2147483647   167686    160 |  0.000 % |
121.27/121.47	c |    167919 |    7784    33346   101436 | 2147483647   167919    160 |  0.000 % |
121.67/121.83	c |    168176 |    7784    33346   101436 | 2147483647   168176    160 |  0.000 % |
121.97/122.18	c |    168457 |    7784    33346   101436 | 2147483647   168457    160 |  0.000 % |
122.38/122.57	c |    168766 |    7784    33346   101436 | 2147483647   168766    160 |  0.000 % |
122.77/122.99	c |    169105 |    7784    33346   101436 | 2147483647   169105    160 |  0.000 % |
123.27/123.43	c |    169477 |    7784    33346   101436 | 2147483647   169477    160 |  0.000 % |
123.77/123.93	c |    169889 |    7784    33346   101436 | 2147483647   169889    160 |  0.000 % |
124.37/124.50	c |    170338 |    7784    33346   101436 | 2147483647   170338    160 |  0.000 % |
124.97/125.13	c |    170831 |    7784    33346   101436 | 2147483647   170831    160 |  0.000 % |
125.57/125.77	c |    171375 |    7784    33346   101436 | 2147483647   171375    160 |  0.000 % |
126.27/126.48	c |    171972 |    7784    33346   101436 | 2147483647   171972    160 |  0.000 % |
127.07/127.24	c |    172629 |    7784    33346   101436 | 2147483647   172629    160 |  0.000 % |
127.87/128.07	c |    173349 |    7784    33346   101436 | 2147483647   173349    160 |  0.000 % |
128.87/129.05	c |    174145 |    7784    33346   101436 | 2147483647   174145    160 |  0.000 % |
129.87/130.06	c |    175019 |    7784    33346   101436 | 2147483647   175019    160 |  0.000 % |
131.07/131.22	c |    175977 |    7784    33346   101436 | 2147483647   175977    160 |  0.000 % |
132.27/132.48	c |    177030 |    7784    33346   101436 | 2147483647   177030    160 |  0.000 % |
133.66/133.86	c |    178189 |    7784    33346   101436 | 2147483647   178189    160 |  0.000 % |
135.07/135.30	c |    179463 |    7784    33346   101436 | 2147483647   179463    160 |  0.000 % |
136.76/136.97	c |    180863 |    7784    33346   101436 | 2147483647   180863    161 |  0.000 % |
138.66/138.82	c |    182403 |    7784    33346   101436 | 2147483647   182403    161 |  0.000 % |
140.66/140.90	c |    184097 |    7784    33346   101436 | 2147483647   184097    161 |  0.000 % |
142.96/143.15	c |    185961 |    7784    33346   101436 | 2147483647   185961    161 |  0.000 % |
143.16/143.31	c |    186062 |    7784    33346   101436 | 2147483647   186062    161 |  0.000 % |
143.36/143.51	c |    186172 |    7784    33346   101436 | 2147483647   186172    161 |  0.000 % |
143.46/143.69	c |    186293 |    7784    33346   101436 | 2147483647   186293    161 |  0.000 % |
143.76/143.92	c |    186428 |    7784    33346   101436 | 2147483647   186428    161 |  0.000 % |
143.97/144.13	c |    186577 |    7784    33346   101436 | 2147483647   186577    161 |  0.000 % |
144.27/144.41	c |    186737 |    7784    33346   101436 | 2147483647   186737    161 |  0.000 % |
144.46/144.67	c |    186914 |    7784    33346   101436 | 2147483647   186914    161 |  0.000 % |
144.76/144.95	c |    187108 |    7784    33346   101436 | 2147483647   187108    161 |  0.000 % |
145.07/145.23	c |    187322 |    7784    33346   101436 | 2147483647   187322    161 |  0.000 % |
145.36/145.56	c |    187558 |    7784    33346   101436 | 2147483647   187558    161 |  0.000 % |
145.76/145.94	c |    187814 |    7784    33346   101436 | 2147483647   187814    161 |  0.000 % |
146.17/146.30	c |    188095 |    7784    33346   101436 | 2147483647   188095    161 |  0.000 % |
146.56/146.73	c |    188405 |    7784    33346   101436 | 2147483647   188405    161 |  0.000 % |
146.96/147.13	c |    188745 |    7784    33346   101436 | 2147483647   188745    161 |  0.000 % |
147.46/147.62	c |    189117 |    7784    33346   101436 | 2147483647   189117    161 |  0.000 % |
148.06/148.22	c |    189526 |    7784    33346   101436 | 2147483647   189526    161 |  0.000 % |
148.66/148.86	c |    189975 |    7784    33346   101436 | 2147483647   189975    161 |  0.000 % |
149.36/149.53	c |    190469 |    7784    33346   101436 | 2147483647   190469    161 |  0.000 % |
150.06/150.22	c |    191011 |    7784    33346   101436 | 2147483647   191011    161 |  0.000 % |
150.76/150.98	c |    191607 |    7784    33346   101436 | 2147483647   191607    161 |  0.000 % |
151.66/151.81	c |    192262 |    7784    33346   101436 | 2147483647   192262    161 |  0.000 % |
152.46/152.69	c |    192982 |    7784    33346   101436 | 2147483647   192982    161 |  0.000 % |
153.45/153.68	c |    193776 |    7784    33346   101436 | 2147483647   193776    161 |  0.000 % |
154.65/154.81	c |    194647 |    7784    33346   101436 | 2147483647   194647    161 |  0.000 % |
155.86/156.03	c |    195606 |    7784    33346   101436 | 2147483647   195606    161 |  0.000 % |
157.16/157.34	c |    196660 |    7784    33346   101436 | 2147483647   196660    161 |  0.000 % |
158.66/158.89	c |    197818 |    7784    33346   101436 | 2147483647   197818    161 |  0.000 % |
160.36/160.54	c |    199092 |    7784    33346   101436 | 2147483647   199092    161 |  0.000 % |
162.15/162.39	c |    200492 |    7784    33346   101436 | 2147483647   200492    162 |  0.000 % |
164.16/164.37	c |    202033 |    7784    33346   101436 | 2147483647   202033    162 |  0.000 % |
166.45/166.65	c |    203727 |    7784    33346   101436 | 2147483647   203727    162 |  0.000 % |
168.85/169.05	c |    205590 |    7784    33346   101436 | 2147483647   205590    162 |  0.000 % |
171.55/171.77	c |    207640 |    7784    33346   101436 | 2147483647   207640    162 |  0.000 % |
171.75/171.91	c |    207740 |    7784    33346   101436 | 2147483647   207740    162 |  0.000 % |
171.85/172.09	c |    207850 |    7784    33346   101436 | 2147483647   207850    162 |  0.000 % |
172.05/172.29	c |    207972 |    7784    33346   101436 | 2147483647   207972    162 |  0.000 % |
172.34/172.51	c |    208106 |    7784    33346   101436 | 2147483647   208106    162 |  0.000 % |
172.55/172.74	c |    208252 |    7784    33346   101436 | 2147483647   208252    162 |  0.000 % |
172.84/173.01	c |    208414 |    7784    33346   101436 | 2147483647   208414    162 |  0.000 % |
173.04/173.29	c |    208592 |    7784    33346   101436 | 2147483647   208592    162 |  0.000 % |
173.44/173.61	c |    208787 |    7784    33346   101436 | 2147483647   208787    162 |  0.000 % |
173.74/173.91	c |    208999 |    7784    33346   101436 | 2147483647   208999    162 |  0.000 % |
174.14/174.32	c |    209234 |    7784    33346   101436 | 2147483647   209234    162 |  0.000 % |
174.54/174.74	c |    209491 |    7784    33346   101436 | 2147483647   209491    162 |  0.000 % |
174.94/175.19	c |    209775 |    7784    33346   101436 | 2147483647   209775    162 |  0.000 % |
175.44/175.63	c |    210084 |    7784    33346   101436 | 2147483647   210084    162 |  0.000 % |
175.94/176.15	c |    210423 |    7784    33346   101436 | 2147483647   210423    162 |  0.000 % |
176.55/176.77	c |    210797 |    7784    33346   101436 | 2147483647   210797    162 |  0.000 % |
177.15/177.34	c |    211206 |    7784    33346   101436 | 2147483647   211206    162 |  0.000 % |
177.85/178.02	c |    211655 |    7784    33346   101436 | 2147483647   211655    162 |  0.000 % |
178.55/178.72	c |    212149 |    7784    33346   101436 | 2147483647   212149    162 |  0.000 % |
179.34/179.52	c |    212691 |    7784    33346   101436 | 2147483647   212691    162 |  0.000 % |
180.25/180.41	c |    213288 |    7784    33346   101436 | 2147483647   213288    162 |  0.000 % |
181.14/181.36	c |    213943 |    7784    33346   101436 | 2147483647   213943    162 |  0.000 % |
182.24/182.44	c |    214663 |    7784    33346   101436 | 2147483647   214663    162 |  0.000 % |
183.34/183.51	c |    215457 |    7784    33346   101436 | 2147483647   215457    162 |  0.000 % |
184.44/184.66	c |    216328 |    7784    33346   101436 | 2147483647   216328    162 |  0.000 % |
185.74/185.97	c |    217286 |    7784    33346   101436 | 2147483647   217286    162 |  0.000 % |
187.23/187.45	c |    218339 |    7784    33346   101436 | 2147483647   218339    162 |  0.000 % |
188.84/189.08	c |    219497 |    7784    33346   101436 | 2147483647   219497    162 |  0.000 % |
190.84/191.00	c |    220770 |    7784    33346   101436 | 2147483647   220770    162 |  0.000 % |
192.73/192.97	c |    222171 |    7784    33346   101436 | 2147483647   222171    162 |  0.000 % |
194.83/195.06	c |    223711 |    7784    33346   101436 | 2147483647   223711    163 |  0.000 % |
197.23/197.43	c |    225406 |    7784    33346   101436 | 2147483647   225406    163 |  0.000 % |
199.83/200.02	c |    227269 |    7784    33346   101436 | 2147483647   227269    163 |  0.000 % |
202.62/202.89	c |    229318 |    7784    33346   101436 | 2147483647   229318    163 |  0.000 % |
205.73/205.99	c |    231571 |    7784    33346   101436 | 2147483647   231571    163 |  0.000 % |
205.93/206.19	c |    231672 |    7784    33346   101436 | 2147483647   231672    163 |  0.000 % |
206.23/206.40	c |    231782 |    7784    33346   101436 | 2147483647   231782    163 |  0.000 % |
206.43/206.64	c |    231904 |    7784    33346   101436 | 2147483647   231904    163 |  0.000 % |
206.63/206.86	c |    232037 |    7784    33346   101436 | 2147483647   232037    163 |  0.000 % |
206.93/207.18	c |    232184 |    7784    33346   101436 | 2147483647   232184    163 |  0.000 % |
207.22/207.47	c |    232347 |    7784    33346   101436 | 2147483647   232347    163 |  0.000 % |
207.52/207.77	c |    232525 |    7784    33346   101436 | 2147483647   232525    163 |  0.000 % |
207.82/208.10	c |    232718 |    7784    33346   101436 | 2147483647   232718    163 |  0.000 % |
208.22/208.45	c |    232932 |    7784    33346   101436 | 2147483647   232932    163 |  0.000 % |
208.62/208.83	c |    233165 |    7784    33346   101436 | 2147483647   233165    163 |  0.000 % |
209.02/209.26	c |    233421 |    7784    33346   101436 | 2147483647   233421    163 |  0.000 % |
209.52/209.72	c |    233702 |    7784    33346   101436 | 2147483647   233702    163 |  0.000 % |
210.02/210.23	c |    234011 |    7784    33346   101436 | 2147483647   234011    163 |  0.000 % |
210.62/210.82	c |    234351 |    7784    33346   101436 | 2147483647   234351    163 |  0.000 % |
211.12/211.40	c |    234723 |    7784    33346   101436 | 2147483647   234723    163 |  0.000 % |
211.82/212.08	c |    235132 |    7784    33346   101436 | 2147483647   235132    163 |  0.000 % |
212.52/212.75	c |    235581 |    7784    33346   101436 | 2147483647   235581    163 |  0.000 % |
213.22/213.49	c |    236077 |    7784    33346   101436 | 2147483647   236077    163 |  0.000 % |
214.13/214.40	c |    236621 |    7784    33346   101436 | 2147483647   236621    163 |  0.000 % |
215.12/215.33	c |    237219 |    7784    33346   101436 | 2147483647   237219    163 |  0.000 % |
216.12/216.36	c |    237875 |    7784    33346   101436 | 2147483647   237875    163 |  0.000 % |
217.32/217.50	c |    238595 |    7784    33346   101436 | 2147483647   238595    163 |  0.000 % |
218.52/218.72	c |    239388 |    7784    33346   101436 | 2147483647   239388    163 |  0.000 % |
219.92/220.12	c |    240260 |    7784    33346   101436 | 2147483647   240260    163 |  0.000 % |
221.32/221.58	c |    241219 |    7784    33346   101436 | 2147483647   241219    163 |  0.000 % |
223.03/223.28	c |    242273 |    7784    33346   101436 | 2147483647   242273    163 |  0.000 % |
224.71/224.91	c |    243433 |    7784    33346   101436 | 2147483647   243433    163 |  0.000 % |
226.62/226.80	c |    244706 |    7784    33346   101436 | 2147483647   244706    164 |  0.000 % |
228.62/228.81	c |    246106 |    7784    33346   101436 | 2147483647   246106    164 |  0.000 % |
230.81/231.03	c |    247647 |    7784    33346   101436 | 2147483647   247647    164 |  0.000 % |
233.41/233.67	c |    249341 |    7784    33346   101436 | 2147483647   249341    164 |  0.000 % |
236.22/236.42	c |    251208 |    7784    33346   101436 | 2147483647   251208    164 |  0.000 % |
239.31/239.57	c |    253260 |    7784    33346   101436 | 2147483647   253260    165 |  0.000 % |
242.70/242.92	c |    255513 |    7784    33346   101436 | 2147483647   255513    165 |  0.000 % |
246.70/246.91	c |    257992 |    7784    33346   101436 | 2147483647   257992    165 |  0.000 % |
246.80/247.09	c |    258092 |    7784    33346   101436 | 2147483647   258092    165 |  0.000 % |
247.10/247.32	c |    258202 |    7784    33346   101436 | 2147483647   258202    165 |  0.000 % |
247.31/247.55	c |    258324 |    7784    33346   101436 | 2147483647   258324    165 |  0.000 % |
247.60/247.83	c |    258458 |    7784    33346   101436 | 2147483647   258458    165 |  0.000 % |
247.90/248.11	c |    258605 |    7784    33346   101436 | 2147483647   258605    165 |  0.000 % |
248.20/248.42	c |    258768 |    7784    33346   101436 | 2147483647   258768    165 |  0.000 % |
248.50/248.75	c |    258944 |    7784    33346   101436 | 2147483647   258944    165 |  0.000 % |
248.90/249.18	c |    259137 |    7784    33346   101436 | 2147483647   259137    165 |  0.000 % |
249.40/249.63	c |    259351 |    7784    33346   101436 | 2147483647   259351    165 |  0.000 % |
249.80/250.04	c |    259587 |    7784    33346   101436 | 2147483647   259587    165 |  0.000 % |
250.30/250.53	c |    259843 |    7784    33346   101436 | 2147483647   259843    165 |  0.000 % |
250.80/251.05	c |    260129 |    7784    33346   101436 | 2147483647   260129    165 |  0.000 % |
251.40/251.67	c |    260438 |    7784    33346   101436 | 2147483647   260438    165 |  0.000 % |
252.00/252.26	c |    260779 |    7784    33346   101436 | 2147483647   260779    165 |  0.000 % |
252.71/252.97	c |    261152 |    7784    33346   101436 | 2147483647   261152    165 |  0.000 % |
253.40/253.69	c |    261562 |    7784    33346   101436 | 2147483647   261562    165 |  0.000 % |
254.30/254.54	c |    262011 |    7784    33346   101436 | 2147483647   262011    165 |  0.000 % |
255.20/255.48	c |    262504 |    7784    33346   101436 | 2147483647   262504    165 |  0.000 % |
256.20/256.48	c |    263046 |    7784    33346   101436 | 2147483647   263046    165 |  0.000 % |
257.29/257.53	c |    263644 |    7784    33346   101436 | 2147483647   263644    165 |  0.000 % |
258.40/258.66	c |    264300 |    7784    33346   101436 | 2147483647   264300    165 |  0.000 % |
259.60/259.86	c |    265021 |    7784    33346   101436 | 2147483647   265021    165 |  0.000 % |
261.10/261.32	c |    265816 |    7784    33346   101436 | 2147483647   265816    165 |  0.000 % |
262.60/262.85	c |    266691 |    7784    33346   101436 | 2147483647   266691    165 |  0.000 % |
264.29/264.50	c |    267649 |    7784    33346   101436 | 2147483647   267649    165 |  0.000 % |
266.00/266.21	c |    268702 |    7784    33346   101436 | 2147483647   268702    165 |  0.000 % |
267.80/268.05	c |    269860 |    7784    33346   101436 | 2147483647   269860    165 |  0.000 % |
269.69/269.91	c |    271133 |    7784    33346   101436 | 2147483647   271133    165 |  0.000 % |
271.69/271.99	c |    272536 |    7784    33346   101436 | 2147483647   272536    165 |  0.000 % |
274.38/274.67	c |    274077 |    7784    33346   101436 | 2147483647   274077    166 |  0.000 % |
277.38/277.61	c |    275774 |    7784    33346   101436 | 2147483647   275774    166 |  0.000 % |
280.29/280.53	c |    277637 |    7784    33346   101436 | 2147483647   277637    166 |  0.000 % |
283.68/283.90	c |    279689 |    7784    33346   101436 | 2147483647   279689    166 |  0.000 % |
287.37/287.64	c |    281942 |    7784    33346   101436 | 2147483647   281942    166 |  0.000 % |
291.48/291.71	c |    284420 |    7784    33346   101436 | 2147483647   284420    166 |  0.000 % |
295.97/296.25	c |    287145 |    7784    33346   101436 | 2147483647   287145    167 |  0.000 % |
296.17/296.48	c |    287245 |    7784    33346   101436 | 2147483647   287245    167 |  0.000 % |
296.47/296.75	c |    287356 |    7784    33346   101436 | 2147483647   287356    167 |  0.000 % |
296.68/297.00	c |    287477 |    7784    33346   101436 | 2147483647   287477    167 |  0.000 % |
297.07/297.33	c |    287612 |    7784    33346   101436 | 2147483647   287612    167 |  0.000 % |
297.37/297.66	c |    287758 |    7784    33346   101436 | 2147483647   287758    167 |  0.000 % |
297.77/298.04	c |    287920 |    7784    33346   101436 | 2147483647   287920    167 |  0.000 % |
298.07/298.39	c |    288097 |    7784    33346   101436 | 2147483647   288097    167 |  0.000 % |
298.58/298.84	c |    288291 |    7784    33346   101436 | 2147483647   288291    167 |  0.000 % |
298.98/299.25	c |    288503 |    7784    33346   101436 | 2147483647   288503    167 |  0.000 % |
299.48/299.78	c |    288736 |    7784    33346   101436 | 2147483647   288736    167 |  0.000 % |
299.98/300.26	c |    288992 |    7784    33346   101436 | 2147483647   288992    167 |  0.000 % |
300.58/300.83	c |    289274 |    7784    33346   101436 | 2147483647   289274    167 |  0.000 % |
301.08/301.38	c |    289584 |    7784    33346   101436 | 2147483647   289584    167 |  0.000 % |
301.78/302.07	c |    289923 |    7784    33346   101436 | 2147483647   289923    167 |  0.000 % |
302.58/302.85	c |    290297 |    7784    33346   101436 | 2147483647   290297    167 |  0.000 % |
303.28/303.59	c |    290706 |    7784    33346   101436 | 2147483647   290706    167 |  0.000 % |
304.17/304.47	c |    291155 |    7784    33346   101436 | 2147483647   291155    166 |  0.000 % |
305.17/305.41	c |    291649 |    7784    33346   101436 | 2147483647   291649    166 |  0.000 % |
306.17/306.41	c |    292193 |    7784    33346   101436 | 2147483647   292193    166 |  0.000 % |
307.27/307.56	c |    292789 |    7784    33346   101436 | 2147483647   292789    166 |  0.000 % |
308.57/308.80	c |    293445 |    7784    33346   101436 | 2147483647   293445    166 |  0.000 % |
309.77/310.10	c |    294167 |    7784    33346   101436 | 2147483647   294167    166 |  0.000 % |
311.27/311.58	c |    294960 |    7784    33346   101436 | 2147483647   294960    166 |  0.000 % |
312.87/313.14	c |    295832 |    7784    33346   101436 | 2147483647   295832    166 |  0.000 % |
314.46/314.79	c |    296790 |    7784    33346   101436 | 2147483647   296790    166 |  0.000 % |
316.37/316.66	c |    297844 |    7784    33346   101436 | 2147483647   297844    167 |  0.000 % |
318.46/318.71	c |    299002 |    7784    33346   101436 | 2147483647   299002    167 |  0.000 % |
320.76/321.10	c |    300275 |    7784    33346   101436 | 2147483647   300275    167 |  0.000 % |
323.45/323.70	c |    301675 |    7784    33346   101436 | 2147483647   301675    167 |  0.000 % |
326.26/326.55	c |    303215 |    7784    33346   101436 | 2147483647   303215    167 |  0.000 % |
329.46/329.73	c |    304909 |    7784    33346   101436 | 2147483647   304909    167 |  0.000 % |
332.75/333.06	c |    306774 |    7784    33346   101436 | 2147483647   306774    167 |  0.000 % |
336.46/336.71	c |    308823 |    7784    33346   101436 | 2147483647   308823    167 |  0.000 % |
340.55/340.81	c |    311076 |    7784    33346   101436 | 2147483647   311076    167 |  0.000 % |
345.16/345.46	c |    313555 |    7784    33346   101436 | 2147483647   313555    167 |  0.000 % |
350.15/350.49	c |    316281 |    7784    33346   101436 | 2147483647   316281    167 |  0.000 % |
355.85/356.19	c |    319278 |    7784    33346   101436 | 2147483647   319278    167 |  0.000 % |
356.15/356.42	c |    319378 |    7784    33346   101436 | 2147483647   319378    167 |  0.000 % |
356.45/356.73	c |    319490 |    7784    33346   101436 | 2147483647   319490    167 |  0.000 % |
356.75/357.02	c |    319613 |    7784    33346   101436 | 2147483647   319613    167 |  0.000 % |
357.05/357.36	c |    319746 |    7784    33346   101436 | 2147483647   319746    167 |  0.000 % |
357.35/357.69	c |    319895 |    7784    33346   101436 | 2147483647   319895    167 |  0.000 % |
357.75/358.06	c |    320055 |    7784    33346   101436 | 2147483647   320055    167 |  0.000 % |
358.15/358.48	c |    320232 |    7784    33346   101436 | 2147483647   320232    167 |  0.000 % |
358.64/358.93	c |    320425 |    7784    33346   101436 | 2147483647   320425    167 |  0.000 % |
359.14/359.46	c |    320637 |    7784    33346   101436 | 2147483647   320637    167 |  0.000 % |
359.54/359.89	c |    320870 |    7784    33346   101436 | 2147483647   320870    167 |  0.000 % |
360.14/360.49	c |    321126 |    7784    33346   101436 | 2147483647   321126    167 |  0.000 % |
360.84/361.10	c |    321407 |    7784    33346   101436 | 2147483647   321407    167 |  0.000 % |
361.44/361.80	c |    321717 |    7784    33346   101436 | 2147483647   321717    167 |  0.000 % |
362.24/362.59	c |    322056 |    7784    33346   101436 | 2147483647   322056    167 |  0.000 % |
363.14/363.49	c |    322430 |    7784    33346   101436 | 2147483647   322430    167 |  0.000 % |
363.93/364.24	c |    322839 |    7784    33346   101436 | 2147483647   322839    167 |  0.000 % |
364.84/365.18	c |    323288 |    7784    33346   101436 | 2147483647   323288    167 |  0.000 % |
365.84/366.16	c |    323783 |    7784    33346   101436 | 2147483647   323783    167 |  0.000 % |
367.04/367.30	c |    324325 |    7784    33346   101436 | 2147483647   324325    167 |  0.000 % |
368.14/368.41	c |    324923 |    7784    33346   101436 | 2147483647   324923    167 |  0.000 % |
369.43/369.75	c |    325581 |    7784    33346   101436 | 2147483647   325581    167 |  0.000 % |
370.93/371.25	c |    326301 |    7784    33346   101436 | 2147483647   326301    167 |  0.000 % |
372.63/372.91	c |    327093 |    7784    33346   101436 | 2147483647   327093    167 |  0.000 % |
374.33/374.68	c |    327964 |    7784    33346   101436 | 2147483647   327964    167 |  0.000 % |
376.33/376.68	c |    328923 |    7784    33346   101436 | 2147483647   328923    167 |  0.000 % |
378.53/378.81	c |    329976 |    7784    33346   101436 | 2147483647   329976    167 |  0.000 % |
380.73/381.04	c |    331134 |    7784    33346   101436 | 2147483647   331134    167 |  0.000 % |
383.23/383.55	c |    332408 |    7784    33346   101436 | 2147483647   332408    167 |  0.000 % |
385.93/386.26	c |    333808 |    7784    33346   101436 | 2147483647   333808    167 |  0.000 % |
388.63/388.94	c |    335348 |    7784    33346   101436 | 2147483647   335348    167 |  0.000 % |
391.62/391.99	c |    337043 |    7784    33346   101436 | 2147483647   337043    167 |  0.000 % |
395.43/395.72	c |    338906 |    7784    33346   101436 | 2147483647   338906    167 |  0.000 % |
399.42/399.71	c |    340955 |    7784    33346   101436 | 2147483647   340955    168 |  0.000 % |
403.82/404.18	c |    343208 |    7784    33346   101436 | 2147483647   343208    168 |  0.000 % |
408.81/409.11	c |    345687 |    7784    33346   101436 | 2147483647   345687    168 |  0.000 % |
413.61/413.92	c |    348412 |    7784    33346   101436 | 2147483647   348412    168 |  0.000 % |
419.21/419.56	c |    351410 |    7784    33346   101436 | 2147483647   351410    168 |  0.000 % |
426.21/426.51	c |    354707 |    7784    33346   101436 | 2147483647   354707    168 |  0.000 % |
426.41/426.77	c |    354807 |    7784    33346   101436 | 2147483647   354807    168 |  0.000 % |
426.71/427.06	c |    354922 |    7784    33346   101436 | 2147483647   354922    168 |  0.000 % |
427.01/427.38	c |    355044 |    7784    33346   101436 | 2147483647   355044    168 |  0.000 % |
427.41/427.75	c |    355177 |    7784    33346   101436 | 2147483647   355177    168 |  0.000 % |
427.70/428.10	c |    355323 |    7784    33346   101436 | 2147483647   355323    168 |  0.000 % |
428.20/428.52	c |    355483 |    7784    33346   101436 | 2147483647   355483    168 |  0.000 % |
428.61/428.96	c |    355660 |    7784    33346   101436 | 2147483647   355660    168 |  0.000 % |
429.10/429.46	c |    355853 |    7784    33346   101436 | 2147483647   355853    168 |  0.000 % |
429.60/429.94	c |    356065 |    7784    33346   101436 | 2147483647   356065    168 |  0.000 % |
430.20/430.56	c |    356298 |    7784    33346   101436 | 2147483647   356298    168 |  0.000 % |
430.80/431.13	c |    356554 |    7784    33346   101436 | 2147483647   356554    168 |  0.000 % |
431.60/431.93	c |    356838 |    7784    33346   101436 | 2147483647   356838    168 |  0.000 % |
432.40/432.72	c |    357148 |    7784    33346   101436 | 2147483647   357148    168 |  0.000 % |
433.21/433.56	c |    357487 |    7784    33346   101436 | 2147483647   357487    168 |  0.000 % |
434.01/434.40	c |    357859 |    7784    33346   101436 | 2147483647   357859    168 |  0.000 % |
435.00/435.33	c |    358270 |    7784    33346   101436 | 2147483647   358270    168 |  0.000 % |
436.00/436.36	c |    358719 |    7784    33346   101436 | 2147483647   358719    168 |  0.000 % |
437.10/437.47	c |    359212 |    7784    33346   101436 | 2147483647   359212    168 |  0.000 % |
438.30/438.64	c |    359755 |    7784    33346   101436 | 2147483647   359755    168 |  0.000 % |
439.50/439.89	c |    360351 |    7784    33346   101436 | 2147483647   360351    168 |  0.000 % |
440.99/441.39	c |    361006 |    7784    33346   101436 | 2147483647   361006    168 |  0.000 % |
442.70/443.07	c |    361731 |    7784    33346   101436 | 2147483647   361731    168 |  0.000 % |
444.40/444.77	c |    362525 |    7784    33346   101436 | 2147483647   362525    168 |  0.000 % |
446.49/446.82	c |    363397 |    7784    33346   101436 | 2147483647   363397    168 |  0.000 % |
448.69/449.00	c |    364355 |    7784    33346   101436 | 2147483647   364355    168 |  0.000 % |
450.89/451.20	c |    365408 |    7784    33346   101436 | 2147483647   365408    168 |  0.000 % |
453.49/453.84	c |    366566 |    7784    33346   101436 | 2147483647   366566    169 |  0.000 % |
456.38/456.77	c |    367839 |    7784    33346   101436 | 2147483647   367839    169 |  0.000 % |
459.49/459.82	c |    369241 |    7784    33346   101436 | 2147483647   369241    169 |  0.000 % |
462.88/463.24	c |    370784 |    7784    33346   101436 | 2147483647   370784    169 |  0.000 % |
466.58/466.93	c |    372479 |    7784    33346   101436 | 2147483647   372479    169 |  0.000 % |
470.48/470.86	c |    374345 |    7784    33346   101436 | 2147483647   374345    169 |  0.000 % |
474.78/475.20	c |    376394 |    7784    33346   101436 | 2147483647   376394    169 |  0.000 % |
479.58/479.97	c |    378647 |    7784    33346   101436 | 2147483647   378647    169 |  0.000 % |
484.97/485.33	c |    381125 |    7784    33346   101436 | 2147483647   381125    169 |  0.000 % |
490.77/491.13	c |    383851 |    7784    33346   101436 | 2147483647   383851    169 |  0.000 % |
497.26/497.61	c |    386848 |    7784    33346   101436 | 2147483647   386848    169 |  0.000 % |
504.86/505.26	c |    390145 |    7784    33346   101436 | 2147483647   390145    170 |  0.000 % |
512.56/512.94	c |    393773 |    7784    33346   101436 | 2147483647   393773    170 |  0.000 % |
512.86/513.23	c |    393874 |    7784    33346   101436 | 2147483647   393874    170 |  0.000 % |
513.16/513.53	c |    393985 |    7784    33346   101436 | 2147483647   393985    170 |  0.000 % |
513.56/513.93	c |    394106 |    7784    33346   101436 | 2147483647   394106    170 |  0.000 % |
513.86/514.29	c |    394239 |    7784    33346   101436 | 2147483647   394239    170 |  0.000 % |
514.26/514.70	c |    394387 |    7784    33346   101436 | 2147483647   394387    170 |  0.000 % |
514.76/515.16	c |    394547 |    7784    33346   101436 | 2147483647   394547    170 |  0.000 % |
515.36/515.71	c |    394723 |    7784    33346   101436 | 2147483647   394723    170 |  0.000 % |
515.95/516.31	c |    394917 |    7784    33346   101436 | 2147483647   394917    170 |  0.000 % |
516.56/516.91	c |    395130 |    7784    33346   101436 | 2147483647   395130    170 |  0.000 % |
517.15/517.54	c |    395363 |    7784    33346   101436 | 2147483647   395363    170 |  0.000 % |
517.85/518.28	c |    395620 |    7784    33346   101436 | 2147483647   395620    170 |  0.000 % |
518.65/519.08	c |    395902 |    7784    33346   101436 | 2147483647   395902    170 |  0.000 % |
519.55/519.95	c |    396211 |    7784    33346   101436 | 2147483647   396211    170 |  0.000 % |
520.45/520.83	c |    396551 |    7784    33346   101436 | 2147483647   396551    170 |  0.000 % |
521.55/521.92	c |    396925 |    7784    33346   101436 | 2147483647   396925    170 |  0.000 % |
522.65/523.01	c |    397335 |    7784    33346   101436 | 2147483647   397335    170 |  0.000 % |
523.75/524.19	c |    397784 |    7784    33346   101436 | 2147483647   397784    170 |  0.000 % |
525.05/525.41	c |    398278 |    7784    33346   101436 | 2147483647   398278    170 |  0.000 % |
526.35/526.72	c |    398822 |    7784    33346   101436 | 2147483647   398822    170 |  0.000 % |
527.75/528.18	c |    399418 |    7784    33346   101436 | 2147483647   399418    170 |  0.000 % |
529.35/529.77	c |    400075 |    7784    33346   101436 | 2147483647   400075    170 |  0.000 % |
531.15/531.52	c |    400795 |    7784    33346   101436 | 2147483647   400795    170 |  0.000 % |
532.95/533.40	c |    401587 |    7784    33346   101436 | 2147483647   401587    170 |  0.000 % |
535.14/535.57	c |    402458 |    7784    33346   101436 | 2147483647   402458    170 |  0.000 % |
537.44/537.87	c |    403416 |    7784    33346   101436 | 2147483647   403416    170 |  0.000 % |
539.94/540.38	c |    404471 |    7784    33346   101436 | 2147483647   404471    170 |  0.000 % |
542.64/543.04	c |    405629 |    7784    33346   101436 | 2147483647   405629    170 |  0.000 % |
545.63/546.09	c |    406903 |    7784    33346   101436 | 2147483647   406903    170 |  0.000 % |
548.93/549.37	c |    408303 |    7784    33346   101436 | 2147483647   408303    170 |  0.000 % |
552.54/552.99	c |    409843 |    7784    33346   101436 | 2147483647   409843    170 |  0.000 % |
556.83/557.21	c |    411537 |    7784    33346   101436 | 2147483647   411537    170 |  0.000 % |
561.53/561.96	c |    413400 |    7784    33346   101436 | 2147483647   413400    170 |  0.000 % |
566.33/566.79	c |    415449 |    7784    33346   101436 | 2147483647   415449    170 |  0.000 % |
571.72/572.18	c |    417702 |    7784    33346   101436 | 2147483647   417702    170 |  0.000 % |
577.52/577.93	c |    420180 |    7784    33346   101436 | 2147483647   420180    170 |  0.000 % |
583.61/584.06	c |    422908 |    7784    33346   101436 | 2147483647   422908    171 |  0.000 % |
590.61/591.02	c |    425906 |    7784    33346   101436 | 2147483647   425906    171 |  0.000 % |
598.90/599.30	c |    429203 |    7784    33346   101436 | 2147483647   429203    171 |  0.000 % |
607.40/607.86	c |    432828 |    7784    33346   101436 | 2147483647   432828    171 |  0.000 % |
616.90/617.39	c |    436817 |    7784    33346   101436 | 2147483647   436817    172 |  0.000 % |
617.20/617.69	c |    436917 |    7784    33346   101436 | 2147483647   436917    172 |  0.000 % |
617.59/618.04	c |    437027 |    7784    33346   101436 | 2147483647   437027    172 |  0.000 % |
617.99/618.46	c |    437150 |    7784    33346   101436 | 2147483647   437150    172 |  0.000 % |
618.49/618.91	c |    437283 |    7784    33346   101436 | 2147483647   437283    172 |  0.000 % |
618.99/619.41	c |    437430 |    7784    33346   101436 | 2147483647   437430    172 |  0.000 % |
619.49/619.98	c |    437593 |    7784    33346   101436 | 2147483647   437593    172 |  0.000 % |
620.09/620.58	c |    437771 |    7784    33346   101436 | 2147483647   437771    172 |  0.000 % |
620.80/621.23	c |    437964 |    7784    33346   101436 | 2147483647   437964    172 |  0.000 % |
621.50/621.92	c |    438176 |    7784    33346   101436 | 2147483647   438176    172 |  0.000 % |
622.20/622.65	c |    438409 |    7784    33346   101436 | 2147483647   438409    172 |  0.000 % |
623.00/623.40	c |    438665 |    7784    33346   101436 | 2147483647   438665    172 |  0.000 % |
623.90/624.31	c |    438946 |    7784    33346   101436 | 2147483647   438946    171 |  0.000 % |
624.69/625.14	c |    439255 |    7784    33346   101436 | 2147483647   439255    171 |  0.000 % |
625.69/626.19	c |    439595 |    7784    33346   101436 | 2147483647   439595    171 |  0.000 % |
626.89/627.31	c |    439967 |    7784    33346   101436 | 2147483647   439967    171 |  0.000 % |
627.99/628.49	c |    440376 |    7784    33346   101436 | 2147483647   440376    171 |  0.000 % |
629.38/629.81	c |    440825 |    7784    33346   101436 | 2147483647   440825    171 |  0.000 % |
630.78/631.22	c |    441322 |    7784    33346   101436 | 2147483647   441322    171 |  0.000 % |
632.09/632.59	c |    441865 |    7784    33346   101436 | 2147483647   441865    171 |  0.000 % |
633.78/634.21	c |    442462 |    7784    33346   101436 | 2147483647   442462    171 |  0.000 % |
635.58/636.08	c |    443119 |    7784    33346   101436 | 2147483647   443119    171 |  0.000 % |
637.49/638.00	c |    443839 |    7784    33346   101436 | 2147483647   443839    171 |  0.000 % |
639.68/640.14	c |    444631 |    7784    33346   101436 | 2147483647   444631    171 |  0.000 % |
642.08/642.57	c |    445502 |    7784    33346   101436 | 2147483647   445502    171 |  0.000 % |
644.88/645.31	c |    446460 |    7784    33346   101436 | 2147483647   446460    171 |  0.000 % |
647.58/648.04	c |    447513 |    7784    33346   101436 | 2147483647   447513    171 |  0.000 % |
650.87/651.31	c |    448675 |    7784    33346   101436 | 2147483647   448675    171 |  0.000 % |
654.38/654.88	c |    449950 |    7784    33346   101436 | 2147483647   449950    171 |  0.000 % |
658.18/658.68	c |    451352 |    7784    33346   101436 |   450000   451352    171 |  0.000 % |
662.18/662.63	c |    452893 |    7784    33346   101436 |   450000   400745    171 |  0.000 % |
666.18/666.65	c |    454587 |    7784    33346   101436 |   450000   402439    171 |  0.000 % |
670.58/671.02	c |    456450 |    7784    33346   101436 |   450000   404302    171 |  0.000 % |
675.16/675.62	c |    458500 |    7784    33346   101436 |   450000   406352    171 |  0.000 % |
680.56/681.04	c |    460753 |    7784    33346   101436 | 2147483647   408605    171 |  0.000 % |
686.46/686.97	c |    463232 |    7784    33346   101436 | 2147483647   411084    172 |  0.000 % |
692.65/693.15	c |    465958 |    7784    33346   101436 | 2147483647   413810    172 |  0.000 % |
699.45/699.97	c |    468955 |    7784    33346   101436 | 2147483647   416807    172 |  0.000 % |
706.95/707.41	c |    472253 |    7784    33346   101436 | 2147483647   420105    172 |  0.000 % |
714.75/715.27	c |    475879 |    7784    33346   101436 | 2147483647   423731    173 |  0.000 % |
724.14/724.61	c |    479866 |    7784    33346   101436 | 2147483647   427718    173 |  0.000 % |
734.43/734.94	c |    484251 |    7784    33346   101436 | 2147483647   432103    173 |  0.000 % |
734.73/735.24	c |    484352 |    7784    33346   101436 | 2147483647   432204    173 |  0.000 % |
735.03/735.59	c |    484466 |    7784    33346   101436 | 2147483647   432318    173 |  0.000 % |
735.44/736.00	c |    484588 |    7784    33346   101436 | 2147483647   432440    173 |  0.000 % |
735.93/736.47	c |    484723 |    7784    33346   101436 | 2147483647   432575    173 |  0.000 % |
736.44/736.96	c |    484872 |    7784    33346   101436 | 2147483647   432724    173 |  0.000 % |
736.93/737.48	c |    485034 |    7784    33346   101436 | 2147483647   432886    173 |  0.000 % |
737.63/738.12	c |    485213 |    7784    33346   101436 | 2147483647   433065    173 |  0.000 % |
738.23/738.77	c |    485406 |    7784    33346   101436 | 2147483647   433258    173 |  0.000 % |
738.83/739.38	c |    485618 |    7784    33346   101436 | 2147483647   433470    173 |  0.000 % |
739.53/740.08	c |    485854 |    7784    33346   101436 | 2147483647   433706    173 |  0.000 % |
740.33/740.81	c |    486111 |    7784    33346   101436 | 2147483647   433963    173 |  0.000 % |
741.03/741.59	c |    486392 |    7784    33346   101436 | 2147483647   434244    173 |  0.000 % |
741.93/742.46	c |    486702 |    7784    33346   101436 | 2147483647   434554    173 |  0.000 % |
742.93/743.46	c |    487041 |    7784    33346   101436 | 2147483647   434893    173 |  0.000 % |
744.03/744.54	c |    487415 |    7784    33346   101436 | 2147483647   435267    173 |  0.000 % |
745.23/745.73	c |    487824 |    7784    33346   101436 | 2147483647   435676    173 |  0.000 % |
746.52/747.08	c |    488273 |    7784    33346   101436 | 2147483647   436125    173 |  0.000 % |
747.92/748.41	c |    488768 |    7784    33346   101436 | 2147483647   436620    173 |  0.000 % |
749.22/749.79	c |    489311 |    7784    33346   101436 | 2147483647   437163    173 |  0.000 % |
750.83/751.31	c |    489908 |    7784    33346   101436 | 2147483647   437760    173 |  0.000 % |
752.62/753.12	c |    490564 |    7784    33346   101436 | 2147483647   438416    173 |  0.000 % |
754.82/755.31	c |    491285 |    7784    33346   101436 | 2147483647   439137    173 |  0.000 % |
757.12/757.61	c |    492077 |    7784    33346   101436 | 2147483647   439929    173 |  0.000 % |
759.52/760.06	c |    492948 |    7784    33346   101436 | 2147483647   440800    173 |  0.000 % |
762.22/762.71	c |    493908 |    7784    33346   101436 | 2147483647   441760    173 |  0.000 % |
765.01/765.55	c |    494962 |    7784    33346   101436 | 2147483647   442814    173 |  0.000 % |
768.11/768.62	c |    496120 |    7784    33346   101436 | 2147483647   443972    173 |  0.000 % |
771.41/771.98	c |    497395 |    7784    33346   101436 | 2147483647   445247    173 |  0.000 % |
775.01/775.57	c |    498795 |    7784    33346   101436 | 2147483647   446647    173 |  0.000 % |
778.90/779.48	c |    500335 |    7784    33346   101436 |   447852   448187    173 |  0.000 % |
783.30/783.85	c |    502029 |    7784    33346   101436 |   447852   402133    174 |  0.000 % |
787.70/788.26	c |    503892 |    7784    33346   101436 |   447852   403996    174 |  0.000 % |
792.20/792.70	c |    505942 |    7784    33346   101436 |   447852   406046    174 |  0.000 % |
797.49/798.08	c |    508195 |    7784    33346   101436 |   447852   408299    174 |  0.000 % |
803.49/804.03	c |    510674 |    7784    33346   101436 | 2147483647   410778    174 |  0.000 % |
809.49/810.00	c |    513402 |    7784    33346   101436 | 2147483647   413506    175 |  0.000 % |
816.58/817.13	c |    516400 |    7784    33346   101436 | 2147483647   416504    175 |  0.000 % |
824.08/824.63	c |    519696 |    7784    33346   101436 | 2147483647   419800    175 |  0.000 % |
832.28/832.80	c |    523321 |    7784    33346   101436 | 2147483647   423425    175 |  0.000 % |
841.27/841.86	c |    527308 |    7784    33346   101436 | 2147483647   427412    175 |  0.000 % |
851.07/851.66	c |    531694 |    7784    33346   101436 | 2147483647   431798    176 |  0.000 % |
862.96/863.51	c |    536518 |    7784    33346   101436 | 2147483647   436622    177 |  0.000 % |
863.36/863.92	c |    536618 |    7784    33346   101436 | 2147483647   436722    177 |  0.000 % |
863.76/864.30	c |    536729 |    7784    33346   101436 | 2147483647   436833    177 |  0.000 % |
864.06/864.65	c |    536850 |    7784    33346   101436 | 2147483647   436954    177 |  0.000 % |
864.45/865.07	c |    536986 |    7784    33346   101436 | 2147483647   437090    177 |  0.000 % |
864.95/865.60	c |    537132 |    7784    33346   101436 | 2147483647   437236    177 |  0.000 % |
865.56/866.13	c |    537292 |    7784    33346   101436 | 2147483647   437396    177 |  0.000 % |
866.06/866.68	c |    537468 |    7784    33346   101436 | 2147483647   437572    177 |  0.000 % |
866.75/867.34	c |    537661 |    7784    33346   101436 | 2147483647   437765    177 |  0.000 % |
867.36/867.98	c |    537874 |    7784    33346   101436 | 2147483647   437978    177 |  0.000 % |
868.05/868.68	c |    538109 |    7784    33346   101436 | 2147483647   438213    177 |  0.000 % |
868.85/869.50	c |    538366 |    7784    33346   101436 | 2147483647   438470    177 |  0.000 % |
869.65/870.29	c |    538651 |    7784    33346   101436 | 2147483647   438755    177 |  0.000 % |
870.56/871.18	c |    538960 |    7784    33346   101436 | 2147483647   439064    177 |  0.000 % |
871.56/872.18	c |    539300 |    7784    33346   101436 | 2147483647   439404    177 |  0.000 % |
872.66/873.24	c |    539672 |    7784    33346   101436 | 2147483647   439776    177 |  0.000 % |
873.76/874.31	c |    540081 |    7784    33346   101436 | 2147483647   440185    177 |  0.000 % |
875.15/875.70	c |    540531 |    7784    33346   101436 | 2147483647   440635    177 |  0.000 % |
876.55/877.19	c |    541024 |    7784    33346   101436 | 2147483647   441128    177 |  0.000 % |
878.26/878.82	c |    541568 |    7784    33346   101436 | 2147483647   441672    177 |  0.000 % |
880.05/880.60	c |    542164 |    7784    33346   101436 | 2147483647   442268    177 |  0.000 % |
882.05/882.62	c |    542819 |    7784    33346   101436 | 2147483647   442923    177 |  0.000 % |
884.15/884.74	c |    543539 |    7784    33346   101436 | 2147483647   443643    177 |  0.000 % |
886.35/886.99	c |    544332 |    7784    33346   101436 | 2147483647   444436    177 |  0.000 % |
888.95/889.51	c |    545203 |    7784    33346   101436 | 2147483647   445307    177 |  0.000 % |
891.25/891.87	c |    546163 |    7784    33346   101436 | 2147483647   446267    177 |  0.000 % |
893.94/894.51	c |    547216 |    7784    33346   101436 | 2147483647   447320    177 |  0.000 % |
897.14/897.71	c |    548374 |    7784    33346   101436 | 2147483647   448478    177 |  0.000 % |
900.54/901.14	c |    549647 |    7784    33346   101436 | 2147483647   449751    176 |  0.000 % |
904.14/904.75	c |    551049 |    7784    33346   101436 |   450104   451153    177 |  0.000 % |
908.54/909.15	c |    552589 |    7784    33346   101436 |   450104   402120    178 |  0.000 % |
912.34/912.94	c |    554283 |    7784    33346   101436 |   450104   403814    178 |  0.000 % |
916.74/917.36	c |    556146 |    7784    33346   101436 |   450104   405677    178 |  0.000 % |
921.73/922.37	c |    558196 |    7784    33346   101436 |   450104   407727    178 |  0.000 % |
926.83/927.48	c |    560450 |    7784    33346   101436 | 2147483647   409981    178 |  0.000 % |
932.33/932.95	c |    562928 |    7784    33346   101436 | 2147483647   412459    178 |  0.000 % |
938.52/939.15	c |    565654 |    7784    33346   101436 | 2147483647   415185    178 |  0.000 % |
945.02/945.69	c |    568651 |    7784    33346   101436 | 2147483647   418182    178 |  0.000 % |
952.91/953.59	c |    571947 |    7784    33346   101436 | 2147483647   421478    178 |  0.000 % |
961.31/961.94	c |    575573 |    7784    33346   101436 | 2147483647   425104    179 |  0.000 % |
971.10/971.75	c |    579562 |    7784    33346   101436 | 2147483647   429093    179 |  0.000 % |
981.80/982.44	c |    583947 |    7784    33346   101436 | 2147483647   433478    179 |  0.000 % |
993.19/993.90	c |    588771 |    7784    33346   101436 | 2147483647   438302    179 |  0.000 % |
1006.18/1006.84	c |    594078 |    7784    33346   101436 | 2147483647   443609    179 |  0.000 % |
1006.58/1007.24	c |    594180 |    7784    33346   101436 | 2147483647   443711    179 |  0.000 % |
1006.99/1007.65	c |    594290 |    7784    33346   101436 | 2147483647   443821    179 |  0.000 % |
1007.38/1008.08	c |    594412 |    7784    33346   101436 | 2147483647   443943    179 |  0.000 % |
1007.88/1008.51	c |    594546 |    7784    33346   101436 | 2147483647   444077    179 |  0.000 % |
1008.38/1009.09	c |    594693 |    7784    33346   101436 | 2147483647   444224    179 |  0.000 % |
1008.98/1009.63	c |    594853 |    7784    33346   101436 | 2147483647   444384    179 |  0.000 % |
1009.58/1010.24	c |    595031 |    7784    33346   101436 | 2147483647   444562    179 |  0.000 % |
1010.18/1010.87	c |    595224 |    7784    33346   101436 | 2147483647   444755    179 |  0.000 % |
1010.89/1011.56	c |    595436 |    7784    33346   101436 | 2147483647   444967    179 |  0.000 % |
1011.59/1012.28	c |    595671 |    7784    33346   101436 | 2147483647   445202    179 |  0.000 % |
1012.39/1013.04	c |    595928 |    7784    33346   101436 | 2147483647   445459    179 |  0.000 % |
1013.29/1013.97	c |    596211 |    7784    33346   101436 | 2147483647   445742    179 |  0.000 % |
1014.28/1014.98	c |    596520 |    7784    33346   101436 | 2147483647   446051    179 |  0.000 % |
1015.38/1016.09	c |    596859 |    7784    33346   101436 | 2147483647   446390    179 |  0.000 % |
1016.58/1017.29	c |    597231 |    7784    33346   101436 | 2147483647   446762    179 |  0.000 % |
1017.89/1018.56	c |    597640 |    7784    33346   101436 | 2147483647   447171    179 |  0.000 % |
1019.18/1019.89	c |    598089 |    7784    33346   101436 | 2147483647   447620    179 |  0.000 % |
1020.78/1021.40	c |    598583 |    7784    33346   101436 | 2147483647   448114    179 |  0.000 % |
1022.48/1023.11	c |    599127 |    7784    33346   101436 | 2147483647   448658    179 |  0.000 % |
1024.08/1024.79	c |    599724 |    7784    33346   101436 | 2147483647   449255    179 |  0.000 % |
1025.88/1026.51	c |    600379 |    7784    33346   101436 |   449531   449910    179 |  0.000 % |
1028.08/1028.78	c |    601099 |    7784    33346   101436 |   449531   398249    180 |  0.000 % |
1030.08/1030.77	c |    601891 |    7784    33346   101436 |   449531   399041    180 |  0.000 % |
1032.38/1033.05	c |    602763 |    7784    33346   101436 |   449531   399913    180 |  0.000 % |
1034.87/1035.50	c |    603723 |    7784    33346   101436 |   449531   400873    180 |  0.000 % |
1037.57/1038.20	c |    604776 |    7784    33346   101436 |   449531   401926    180 |  0.000 % |
1040.27/1040.91	c |    605935 |    7784    33346   101436 |   449531   403085    180 |  0.000 % |
1043.37/1044.00	c |    607209 |    7784    33346   101436 |   449531   404359    180 |  0.000 % |
1046.67/1047.36	c |    608609 |    7784    33346   101436 |   449531   405759    180 |  0.000 % |
1050.36/1051.03	c |    610151 |    7784    33346   101436 | 2147483647   407301    180 |  0.000 % |
1054.36/1055.03	c |    611845 |    7784    33346   101436 | 2147483647   408995    180 |  0.000 % |
1058.86/1059.56	c |    613708 |    7784    33346   101436 | 2147483647   410858    180 |  0.000 % |
1063.76/1064.40	c |    615757 |    7784    33346   101436 | 2147483647   412907    180 |  0.000 % |
1068.86/1069.50	c |    618010 |    7784    33346   101436 | 2147483647   415160    180 |  0.000 % |
1074.85/1075.52	c |    620488 |    7784    33346   101436 | 2147483647   417638    180 |  0.000 % |
1081.15/1081.81	c |    623213 |    7784    33346   101436 | 2147483647   420363    180 |  0.000 % |
1088.25/1088.99	c |    626210 |    7784    33346   101436 | 2147483647   423360    180 |  0.000 % |
1096.14/1096.90	c |    629506 |    7784    33346   101436 | 2147483647   426656    180 |  0.000 % |
1104.54/1105.25	c |    633132 |    7784    33346   101436 | 2147483647   430282    181 |  0.000 % |
1113.13/1113.84	c |    637121 |    7784    33346   101436 | 2147483647   434271    181 |  0.000 % |
1123.82/1124.53	c |    641506 |    7784    33346   101436 | 2147483647   438656    181 |  0.000 % |
1135.32/1136.03	c |    646329 |    7784    33346   101436 | 2147483647   443479    182 |  0.000 % |
1147.92/1148.63	c |    651636 |    7784    33346   101436 | 2147483647   448786    182 |  0.000 % |
1162.11/1162.86	c |    657472 |    7784    33346   101436 | 2147483647   454622    182 |  0.000 % |
1162.41/1163.14	c |    657572 |    7784    33346   101436 | 2147483647   454722    182 |  0.000 % |
1162.81/1163.59	c |    657684 |    7784    33346   101436 | 2147483647   454834    182 |  0.000 % |
1163.21/1163.99	c |    657805 |    7784    33346   101436 | 2147483647   454955    182 |  0.000 % |
1163.71/1164.48	c |    657938 |    7784    33346   101436 | 2147483647   455088    182 |  0.000 % |
1164.31/1165.02	c |    658087 |    7784    33346   101436 | 2147483647   455237    182 |  0.000 % |
1164.91/1165.61	c |    658247 |    7784    33346   101436 | 2147483647   455397    182 |  0.000 % |
1165.41/1166.16	c |    658424 |    7784    33346   101436 | 2147483647   455574    182 |  0.000 % |
1166.10/1166.85	c |    658617 |    7784    33346   101436 | 2147483647   455767    182 |  0.000 % |
1166.80/1167.50	c |    658829 |    7784    33346   101436 | 2147483647   455979    182 |  0.000 % |
1167.61/1168.30	c |    659063 |    7784    33346   101436 | 2147483647   456213    182 |  0.000 % |
1168.31/1169.08	c |    659320 |    7784    33346   101436 | 2147483647   456470    182 |  0.000 % |
1169.20/1169.98	c |    659602 |    7784    33346   101436 | 2147483647   456752    182 |  0.000 % |
1170.20/1170.97	c |    659911 |    7784    33346   101436 | 2147483647   457061    182 |  0.000 % |
1171.20/1171.97	c |    660250 |    7784    33346   101436 | 2147483647   457400    182 |  0.000 % |
1172.39/1173.13	c |    660624 |    7784    33346   101436 | 2147483647   457774    182 |  0.000 % |
1173.49/1174.27	c |    661034 |    7784    33346   101436 | 2147483647   458184    182 |  0.000 % |
1174.99/1175.71	c |    661483 |    7784    33346   101436 | 2147483647   458633    182 |  0.000 % |
1176.39/1177.12	c |    661977 |    7784    33346   101436 | 2147483647   459127    182 |  0.000 % |
1177.89/1178.60	c |    662519 |    7784    33346   101436 | 2147483647   459669    182 |  0.000 % |
1179.60/1180.34	c |    663120 |    7784    33346   101436 | 2147483647   460270    182 |  0.000 % |
1181.49/1182.21	c |    663775 |    7784    33346   101436 | 2147483647   460925    182 |  0.000 % |
1183.39/1184.17	c |    664495 |    7784    33346   101436 | 2147483647   461645    182 |  0.000 % |
1185.69/1186.41	c |    665288 |    7784    33346   101436 | 2147483647   462438    182 |  0.000 % |
1187.98/1188.76	c |    666159 |    7784    33346   101436 | 2147483647   463309    182 |  0.000 % |
1190.69/1191.43	c |    667117 |    7784    33346   101436 | 2147483647   464267    182 |  0.000 % |
1193.69/1194.40	c |    668171 |    7784    33346   101436 | 2147483647   465321    182 |  0.000 % |
1196.88/1197.63	c |    669331 |    7784    33346   101436 | 2147483647   466481    182 |  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-1832683-1242786253/watcher-1832683-1242786253 -o /tmp/evaluation-result-1832683-1242786253/solver-1832683-1242786253 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832683-1242786253.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) R 32616 32618 32008 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271637998067 0 0 4100 65536 0 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0

[startup+0.0877039 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101705 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30175 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+0.701824 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1722976/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=6848 CPUtime=1.34
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 1506 0 0 0 133 1 0 0 25 0 1 0 306651596 7012352 1492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 1712 1492 77 171 0 1539 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12204

[startup+3.10226 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1720352/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=10308 CPUtime=2.94
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 2363 0 0 0 293 1 0 0 25 0 1 0 306651596 10555392 2349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 2577 2349 77 171 0 2404 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15664

[startup+6.30183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1713904/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=16228 CPUtime=6.13
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 3821 0 0 0 611 2 0 0 25 0 1 0 306651596 16617472 3807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 4057 3807 77 171 0 3884 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21584

[startup+12.703 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 32624
/proc/meminfo: memFree=1703088/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=26292 CPUtime=12.54
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 6363 0 0 0 1249 5 0 0 25 0 1 0 306651596 26923008 6349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 6573 6349 77 171 0 6400 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31648

[startup+25.5013 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 32624
/proc/meminfo: memFree=1686896/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=42080 CPUtime=25.32
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 10289 0 0 0 2523 9 0 0 25 0 1 0 306651596 43089920 10275 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 10520 10275 77 171 0 10347 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47436

[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 32624
/proc/meminfo: memFree=1663088/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=66140 CPUtime=50.89
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 16265 0 0 0 5075 14 0 0 25 0 1 0 306651596 67727360 16251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 16535 16251 77 171 0 16362 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 71496

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 32624
/proc/meminfo: memFree=1625136/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=103368 CPUtime=102.06
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 25581 0 0 0 10181 25 0 0 25 0 1 0 306651596 105848832 25567 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 25842 25567 77 171 0 25669 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 108724

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1589872/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=138876 CPUtime=162.02
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 34485 0 0 0 16167 35 0 0 25 0 1 0 306651596 142209024 34471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 34719 34471 77 171 0 34546 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 144232

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1559984/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=168320 CPUtime=221.99
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 41778 0 0 0 22155 44 0 0 25 0 1 0 306651596 172359680 41764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 42080 41764 77 171 0 41907 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 173676

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1532528/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=195776 CPUtime=281.95
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 48703 0 0 0 28144 51 0 0 25 0 1 0 306651596 200474624 48689 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 48944 48689 77 171 0 48771 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 201132

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1508016/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=220408 CPUtime=341.92
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 54734 0 0 0 34135 57 0 0 25 0 1 0 306651596 225697792 54720 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 55102 54720 77 171 0 54929 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 225764

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1486000/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=242320 CPUtime=401.89
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 60248 0 0 0 40125 64 0 0 25 0 1 0 306651596 248135680 60234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 60580 60234 77 171 0 60407 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 247676

[startup+462.302 s]

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

/proc/32624/statm: 70942 70645 77 171 0 70769 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 289124

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1424944/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=302644 CPUtime=581.79
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 75382 0 0 0 58097 82 0 0 25 0 1 0 306651596 309907456 75368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 75661 75368 77 171 0 75488 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 308000

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1406576/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=320464 CPUtime=641.75
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 79874 0 0 0 64088 87 0 0 25 0 1 0 306651596 328155136 79860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 80116 79860 77 171 0 79943 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 325820

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1402224/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=324556 CPUtime=701.72
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 80907 0 0 0 70084 88 0 0 25 0 1 0 306651596 332345344 80893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81139 80893 77 171 0 80966 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 329912

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1402096/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=324556 CPUtime=761.69
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 80907 0 0 0 76081 88 0 0 25 0 1 0 306651596 332345344 80893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81139 80893 77 171 0 80966 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 329912

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1400880/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=325744 CPUtime=821.65
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 81208 0 0 0 82077 88 0 0 25 0 1 0 306651596 333561856 81194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81436 81194 77 171 0 81263 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 331100

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1397552/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=329044 CPUtime=881.62
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 82017 0 0 0 88073 89 0 0 25 0 1 0 306651596 336941056 82003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 82261 82003 77 171 0 82088 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 334400

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1391600/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=334852 CPUtime=941.59
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 83467 0 0 0 94068 91 0 0 25 0 1 0 306651596 342888448 83453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 83713 83453 77 171 0 83540 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 340208

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1391536/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=334852 CPUtime=1001.55
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 83467 0 0 0 100064 91 0 0 25 0 1 0 306651596 342888448 83453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 83713 83453 77 171 0 83540 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 340208

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1387504/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=338680 CPUtime=1061.53
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 84447 0 0 0 106060 93 0 0 25 0 1 0 306651596 346808320 84433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 84670 84433 77 171 0 84497 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 344036

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1387440/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=338680 CPUtime=1121.5
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 84447 0 0 0 112057 93 0 0 25 0 1 0 306651596 346808320 84433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 84670 84433 77 171 0 84497 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 344036

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32626
/proc/meminfo: memFree=1374064/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=352144 CPUtime=1181.46
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 87819 0 0 0 118048 98 0 0 25 0 1 0 306651596 360595456 87805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 88036 87805 77 171 0 87863 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 357500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32626
/proc/meminfo: memFree=1369264/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=357544 CPUtime=1199.95
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 88934 0 0 0 119896 99 0 0 25 0 1 0 306651596 366125056 88920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528984 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 89386 88920 77 171 0 89213 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 362900

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.09
CPU system time (s): 0.99
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 362900

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

runsolver used 1.05884 second user time and 3.42248 second system time

The end

Launcher Data

Begin job on node67 at 2009-05-20 04:24:14
IDJOB=1832683
IDBENCH=70305
IDSOLVER=671
FILE ID=node67/1832683-1242786253
PBS_JOBID= 9322349
Free space on /tmp= 66348 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832683-1242786253/watcher-1832683-1242786253 -o /tmp/evaluation-result-1832683-1242786253/solver-1832683-1242786253 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832683-1242786253.cnf

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

MD5SUM BENCH= ee1ee4ce24708e1154601d98d318621f
RANDOM SEED=1324907934

node67.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.277
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.277
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:       1729040 kB
Buffers:         35980 kB
Cached:         220852 kB
SwapCached:       7824 kB
Active:          41052 kB
Inactive:       225108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729040 kB
SwapTotal:     4192956 kB
SwapFree:      4179888 kB
Dirty:            2176 kB
Writeback:           0 kB
Mapped:          14112 kB
Slab:            46692 kB
Committed_AS:  1056120 kB
PageTables:       1440 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= 66344 MiB
End job on node67 at 2009-05-20 04:44:16