Trace number 1837060

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-18UNSAT 1384.48 1385.23

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
MD5SUMc716daea92d5e29b94f85a19b52859ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark353.481
Satisfiable
(Un)Satisfiability was proved
Number of variables151952
Number of clauses697321
Sum of the clauses size1601192
Maximum clause length10
Minimum clause length1
Number of clauses of size 112754
Number of clauses of size 2551183
Number of clauses of size 3104744
Number of clauses of size 43180
Number of clauses of size 512720
Number of clauses of size over 512740

Solver Data 

0.00/0.00	c Parsing...
0.00/0.53	c ==============================================================================
0.00/0.53	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.53	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.53	c ==============================================================================
0.00/0.53	c |         0 |  684567  1588438 |  205370       0        0     nan |  0.000 % |
4.69/4.79	c |         0 |  274294   727061 |      --       0       --      -- |     --   | -250115/-498767
4.69/4.79	c ==============================================================================
4.69/4.79	c Result  :   #vars: 46737   #clauses: 274294   #literals: 727061
4.69/4.79	c CPU time:   4.6153 s
4.69/4.79	c ==============================================================================
4.98/5.07	c This is MiniSat 2.0 beta
4.98/5.07	c WARNING: for repeatability, setting FPU to use double precision
4.98/5.07	c ============================[ Problem Statistics ]=============================
4.98/5.07	c |                                                                             |
4.98/5.07	c |  Number of variables:  46737                                                |
4.98/5.07	c |  Number of clauses:    274294                                               |
5.05/5.23	c |  Parsing time:         0.15         s                                       |
5.05/5.24	c ============================[ Search Statistics ]==============================
5.05/5.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.05/5.24	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.05/5.24	c ===============================================================================
5.05/5.24	c |         0 |   46737   274294   727061 |    91431        0    nan |  0.000 % |
5.37/5.44	c |       100 |   46248   274294   727061 |    91431       90     35 | 10.144 % |
5.56/5.63	c |       200 |   46086   274294   727061 |    91431      171     29 | 21.443 % |
5.66/5.76	c |       300 |   36708   210053   574374 |    91431      254     28 | 21.514 % |
5.76/5.84	c |       411 |   36597   210053   574374 |    91431      354     26 | 32.276 % |
5.86/5.97	c |       512 |   35460   210053   574374 |    91431      453     27 | 38.740 % |
6.06/6.14	c |       622 |   28293   154765   431752 |    91431      421     32 | 60.517 % |
6.16/6.28	c |       743 |   28267   154765   431752 |    91431      532     30 | 60.766 % |
6.26/6.36	c |       843 |   18337    90264   258591 |    91431      577     37 | 60.766 % |
6.36/6.43	c |       955 |   18221    90264   258591 |    91431      687     34 | 61.906 % |
6.46/6.51	c |      1076 |   18221    90264   258591 |    91431      808     34 | 61.906 % |
6.56/6.62	c |      1210 |   17799    87095   250223 |    91431      926     35 | 69.264 % |
6.66/6.73	c |      1311 |   17799    87095   250223 |    91431     1027     35 | 69.264 % |
6.76/6.83	c |      1421 |   14364    67259   193210 |    91431     1112     35 | 70.852 % |
6.86/6.95	c |      1543 |   13600    62596   180359 |    91431     1201     35 | 71.318 % |
6.86/6.98	c |      1677 |   13600    62596   180359 |    91431     1335     34 | 71.318 % |
7.06/7.11	c |      1827 |   13600    62596   180359 |    91431     1485     34 | 71.318 % |
7.16/7.21	c |      1927 |   13404    61702   177596 |    91431     1581     34 | 71.479 % |
7.26/7.33	c |      2039 |   13404    61702   177596 |    91431     1693     35 | 71.479 % |
7.36/7.42	c |      2161 |   13312    60475   174143 |    91431     1813     34 | 72.970 % |
7.46/7.52	c |      2294 |   13312    60475   174143 |    91431     1946     35 | 72.970 % |
7.56/7.63	c |      2441 |   12633    56614   163463 |    91431     2018     37 | 72.970 % |
7.66/7.77	c |      2601 |   12621    56540   163264 |    91431     2175     38 | 72.996 % |
7.77/7.82	c |      2702 |   12621    56540   163264 |    91431     2276     38 | 72.996 % |
7.87/7.92	c |      2812 |   12621    56540   163264 |    91431     2386     38 | 72.996 % |
7.97/8.02	c |      2936 |   12621    56540   163264 |    91431     2510     38 | 72.996 % |
8.07/8.10	c |      3069 |   12621    56540   163264 |    91431     2643     38 | 72.996 % |
8.17/8.23	c |      3215 |   12610    56464   163082 |    91431     2787     39 | 73.047 % |
8.27/8.31	c |      3375 |   12610    56464   163082 |    91431     2947     39 | 73.047 % |
8.37/8.42	c |      3551 |   12597    56386   162868 |    91431     3123     39 | 73.047 % |
8.37/8.46	c |      3652 |   12594    56386   162868 |    91431     3223     39 | 73.098 % |
8.47/8.54	c |      3764 |   12572    56260   162505 |    91431     3333     39 | 73.122 % |
8.57/8.63	c |      3886 |   12571    56260   162505 |    91431     3454     39 | 73.137 % |
8.67/8.75	c |      4020 |   12554    56120   162166 |    91431     3584     39 | 73.160 % |
8.77/8.85	c |      4168 |   12554    56120   162166 |    91431     3732     39 | 73.160 % |
8.87/8.93	c |      4329 |   12544    56055   161990 |    91431     3893     39 | 73.160 % |
8.97/9.08	c |      4507 |   12544    56055   161990 |    91431     4071     40 | 73.160 % |
9.07/9.14	c |      4700 |   12544    56055   161990 |    91431     4264     40 | 73.160 % |
9.17/9.24	c |      4801 |   12544    56055   161990 |    91431     4365     40 | 73.160 % |
9.27/9.30	c |      4913 |   12544    56055   161990 |    91431     4477     41 | 73.160 % |
9.37/9.42	c |      5034 |   12544    56055   161990 |    91431     4598     41 | 73.160 % |
9.37/9.47	c |      5169 |   12544    56055   161990 |    91431     4733     41 | 73.160 % |
9.47/9.57	c |      5317 |   12544    56055   161990 |    91431     4881     41 | 73.160 % |
9.67/9.73	c |      5477 |   12535    55997   161847 |    91431     5038     41 | 73.218 % |
9.77/9.87	c |      5656 |   12534    55997   161847 |    91431     5216     41 | 73.486 % |
9.97/10.03	c |      5850 |   12392    55241   160051 |    91431     5407     41 | 73.486 % |
10.07/10.17	c |      6063 |   12250    54696   158368 |    91431     5616     41 | 73.790 % |
10.17/10.24	c |      6163 |   12250    54696   158368 |    91431     5716     41 | 73.790 % |
10.27/10.35	c |      6273 |   12250    54696   158368 |    91431     5826     41 | 73.790 % |
10.36/10.44	c |      6394 |   12250    54696   158368 |    91431     5947     41 | 73.790 % |
10.46/10.55	c |      6528 |   12250    54696   158368 |    91431     6081     41 | 73.790 % |
10.56/10.63	c |      6674 |   12250    54696   158368 |    91431     6227     42 | 73.790 % |
10.76/10.80	c |      6834 |   12249    54693   158362 |    91431     6386     42 | 73.792 % |
10.87/10.93	c |      7010 |   12247    54693   158362 |    91431     6560     42 | 73.826 % |
10.97/11.01	c |      7204 |   12233    54583   158108 |    91431     6750     42 | 73.826 % |
11.06/11.19	c |      7416 |   12233    54583   158108 |    91431     6962     43 | 73.826 % |
11.26/11.37	c |      7649 |   12233    54583   158108 |    91431     7195     43 | 73.826 % |
11.36/11.45	c |      7749 |   12233    54583   158108 |    91431     7295     43 | 73.826 % |
11.46/11.55	c |      7860 |   12233    54583   158108 |    91431     7406     42 | 73.826 % |
11.56/11.66	c |      7982 |   12233    54583   158108 |    91431     7528     42 | 73.826 % |
11.66/11.75	c |      8115 |   12233    54583   158108 |    91431     7661     42 | 73.826 % |
11.76/11.88	c |      8261 |   12219    54509   157897 |    91431     7806     42 | 73.856 % |
11.86/12.00	c |      8421 |   12219    54509   157897 |    91431     7966     41 | 73.856 % |
12.06/12.12	c |      8599 |   12219    54509   157897 |    91431     8144     41 | 73.856 % |
12.16/12.27	c |      8792 |   12198    54381   157570 |    91431     8334     41 | 73.901 % |
12.36/12.45	c |      9004 |   12198    54381   157570 |    91431     8546     41 | 73.901 % |
12.56/12.62	c |      9237 |   12198    54381   157570 |    91431     8779     40 | 73.901 % |
12.76/12.84	c |      9494 |   12198    54381   157570 |    91431     9036     40 | 73.901 % |
12.86/12.92	c |      9594 |   12198    54381   157570 |    91431     9136     40 | 73.901 % |
12.86/13.00	c |      9704 |   12198    54381   157570 |    91431     9246     40 | 73.901 % |
12.96/13.08	c |      9825 |   12198    54381   157570 |    91431     9367     40 | 73.901 % |
13.06/13.18	c |      9958 |   12198    54381   157570 |    91431     9500     39 | 73.901 % |
13.26/13.31	c |     10107 |   12198    54381   157570 | 2147483647     9649     39 | 73.901 % |
13.36/13.43	c |     10270 |   12198    54381   157570 | 2147483647     9812     39 | 73.901 % |
13.46/13.58	c |     10446 |   12198    54381   157570 | 2147483647     9988     39 | 73.901 % |
13.66/13.73	c |     10639 |   12198    54381   157570 | 2147483647    10181     38 | 73.901 % |
13.85/13.93	c |     10852 |   12187    54312   157390 | 2147483647    10392     38 | 73.924 % |
14.05/14.11	c |     11085 |   12187    54312   157390 | 2147483647    10625     38 | 73.924 % |
14.16/14.27	c |     11342 |   12187    54312   157390 | 2147483647    10882     37 | 73.924 % |
14.35/14.47	c |     11625 |   12187    54312   157390 | 2147483647    11165     37 | 73.924 % |
14.45/14.54	c |     11726 |   12187    54312   157390 | 2147483647    11266     36 | 73.924 % |
14.55/14.63	c |     11837 |   12187    54312   157390 | 2147483647    11377     36 | 73.924 % |
14.65/14.74	c |     11958 |   12187    54312   157390 | 2147483647    11498     36 | 73.924 % |
14.75/14.83	c |     12092 |   12187    54312   157390 | 2147483647    11632     36 | 73.924 % |
14.85/14.95	c |     12239 |   12187    54312   157390 | 2147483647    11779     36 | 73.924 % |
14.95/15.08	c |     12400 |   12187    54312   157390 | 2147483647    11940     36 | 73.924 % |
15.15/15.21	c |     12578 |   12187    54312   157390 | 2147483647    12118     35 | 73.924 % |
15.26/15.37	c |     12772 |   12187    54312   157390 | 2147483647    12312     35 | 73.924 % |
15.45/15.53	c |     12985 |   12187    54312   157390 | 2147483647    12525     35 | 73.924 % |
15.65/15.71	c |     13219 |   12187    54312   157390 | 2147483647    12759     34 | 73.924 % |
15.85/15.94	c |     13475 |   12187    54312   157390 | 2147483647    13015     34 | 73.924 % |
16.05/16.15	c |     13756 |   12187    54312   157390 | 2147483647    13296     34 | 73.924 % |
16.25/16.37	c |     14065 |   12187    54312   157390 | 2147483647    13605     33 | 73.924 % |
16.36/16.44	c |     14167 |   12187    54312   157390 | 2147483647    13707     33 | 73.924 % |
16.46/16.55	c |     14282 |   12187    54312   157390 | 2147483647    13822     33 | 73.924 % |
16.55/16.64	c |     14403 |   12187    54312   157390 | 2147483647    13943     33 | 73.924 % |
16.65/16.73	c |     14537 |   12187    54312   157390 | 2147483647    14077     33 | 73.924 % |
16.75/16.82	c |     14684 |   12187    54312   157390 | 2147483647    14224     33 | 73.924 % |
16.85/16.95	c |     14844 |   12187    54312   157390 | 2147483647    14384     33 | 73.924 % |
17.05/17.11	c |     15020 |   12187    54312   157390 | 2147483647    14560     33 | 73.924 % |
17.15/17.24	c |     15213 |   12187    54312   157390 | 2147483647    14753     33 | 73.924 % |
17.25/17.40	c |     15425 |   12187    54312   157390 | 2147483647    14965     33 | 73.924 % |
17.56/17.62	c |     15660 |   12187    54312   157390 | 2147483647    15200     33 | 73.924 % |
17.75/17.81	c |     15916 |   12187    54312   157390 | 2147483647    15456     34 | 73.924 % |
17.95/18.05	c |     16199 |   12187    54312   157390 | 2147483647    15739     34 | 73.924 % |
18.25/18.37	c |     16509 |   12187    54312   157390 | 2147483647    16049     34 | 73.924 % |
18.55/18.64	c |     16848 |   12187    54312   157390 | 2147483647    16388     34 | 73.924 % |
18.65/18.74	c |     16948 |   12187    54312   157390 | 2147483647    16488     34 | 73.924 % |
18.75/18.83	c |     17059 |   12187    54312   157390 | 2147483647    16599     34 | 73.924 % |
18.85/18.93	c |     17180 |   12187    54312   157390 | 2147483647    16720     34 | 73.924 % |
18.95/19.04	c |     17313 |   12187    54312   157390 | 2147483647    16853     34 | 73.924 % |
19.05/19.16	c |     17459 |   12187    54312   157390 | 2147483647    16999     34 | 73.924 % |
19.15/19.28	c |     17620 |   12187    54312   157390 | 2147483647    17160     35 | 73.924 % |
19.35/19.41	c |     17797 |   12187    54312   157390 | 2147483647    17337     35 | 73.924 % |
19.45/19.57	c |     17992 |   12187    54312   157390 | 2147483647    17532     35 | 73.924 % |
19.65/19.76	c |     18207 |   12187    54312   157390 | 2147483647    17747     35 | 73.924 % |
19.85/19.95	c |     18440 |   12187    54312   157390 | 2147483647    17980     35 | 73.924 % |
20.15/20.24	c |     18698 |   12187    54312   157390 | 2147483647    18238     35 | 73.924 % |
20.45/20.51	c |     18979 |   12187    54312   157390 | 2147483647    18519     35 | 73.924 % |
20.75/20.90	c |     19290 |   12187    54312   157390 | 2147483647    18830     35 | 73.924 % |
21.05/21.15	c |     19630 |   12187    54312   157390 | 2147483647    19170     35 | 73.924 % |
21.25/21.37	c |     20002 |   12187    54312   157390 | 2147483647    19542     35 | 73.924 % |
21.35/21.44	c |     20104 |   12187    54312   157390 | 2147483647    19644     35 | 73.924 % |
21.45/21.56	c |     20214 |   12187    54312   157390 | 2147483647    19754     35 | 73.924 % |
21.55/21.67	c |     20335 |   12187    54312   157390 | 2147483647    19875     35 | 73.924 % |
21.65/21.79	c |     20469 |   12187    54312   157390 | 2147483647    20009     35 | 73.924 % |
21.85/21.91	c |     20616 |   12187    54312   157390 | 2147483647    20156     35 | 73.924 % |
21.95/22.05	c |     20776 |   12187    54312   157390 | 2147483647    20316     36 | 73.924 % |
22.05/22.19	c |     20954 |   12187    54312   157390 | 2147483647    20494     36 | 73.924 % |
22.25/22.38	c |     21147 |   12187    54312   157390 | 2147483647    20687     36 | 73.924 % |
22.65/22.71	c |     21365 |   12174    54238   157192 | 2147483647    20900     36 | 73.952 % |
22.85/22.92	c |     21598 |   12174    54238   157192 | 2147483647    21133     36 | 73.952 % |
23.05/23.11	c |     21857 |   12174    54238   157192 | 2147483647    21392     35 | 73.952 % |
23.25/23.31	c |     22139 |   12174    54238   157192 | 2147483647    21674     35 | 73.952 % |
23.45/23.58	c |     22448 |   12174    54238   157192 | 2147483647    21983     35 | 73.952 % |
23.85/23.90	c |     22787 |   12170    54206   157104 | 2147483647    22321     35 | 73.961 % |
24.15/24.26	c |     23160 |   12170    54206   157104 | 2147483647    22694     35 | 73.961 % |
24.44/24.57	c |     23570 |   12168    54206   157104 | 2147483647    23103     35 | 73.982 % |
24.54/24.68	c |     23670 |   12160    54142   156951 | 2147483647    23201     35 | 73.982 % |
24.64/24.78	c |     23780 |   12160    54142   156951 | 2147483647    23311     35 | 73.982 % |
24.74/24.89	c |     23905 |   12160    54142   156951 | 2147483647    23436     35 | 73.982 % |
24.94/25.02	c |     24039 |   12160    54142   156951 | 2147483647    23570     35 | 73.982 % |
25.04/25.17	c |     24185 |   12160    54142   156951 | 2147483647    23716     35 | 73.982 % |
25.14/25.29	c |     24345 |   12160    54142   156951 | 2147483647    23876     35 | 73.982 % |
25.44/25.51	c |     24521 |   12160    54142   156951 | 2147483647    24052     36 | 73.982 % |
25.54/25.69	c |     24715 |   12160    54142   156951 | 2147483647    24246     36 | 73.982 % |
25.74/25.89	c |     24928 |   12160    54142   156951 | 2147483647    24459     36 | 73.982 % |
25.94/26.06	c |     25161 |   12160    54142   156951 | 2147483647    24692     36 | 73.982 % |
26.14/26.27	c |     25417 |   12160    54142   156951 | 2147483647    24948     36 | 73.982 % |
26.34/26.49	c |     25700 |   12160    54142   156951 | 2147483647    25231     36 | 73.982 % |
26.64/26.78	c |     26009 |   12152    54084   156812 | 2147483647    25529     36 | 73.999 % |
26.94/27.04	c |     26348 |   12152    54084   156812 | 2147483647    25868     36 | 73.999 % |
27.24/27.34	c |     26720 |   12152    54084   156812 | 2147483647    26240     36 | 73.999 % |
27.74/27.80	c |     27130 |   12152    54084   156812 | 2147483647    26650     36 | 73.999 % |
28.24/28.38	c |     27581 |   12152    54084   156812 | 2147483647    27101     36 | 73.999 % |
28.34/28.49	c |     27682 |   12152    54084   156812 | 2147483647    27202     36 | 73.999 % |
28.54/28.60	c |     27793 |   12152    54084   156812 | 2147483647    27313     36 | 73.999 % |
28.64/28.72	c |     27916 |   12152    54084   156812 | 2147483647    27436     36 | 73.999 % |
28.74/28.83	c |     28049 |   12152    54084   156812 | 2147483647    27569     36 | 73.999 % |
28.84/28.95	c |     28195 |   12152    54084   156812 | 2147483647    27715     36 | 73.999 % |
29.04/29.15	c |     28356 |   12152    54084   156812 | 2147483647    27876     36 | 73.999 % |
29.34/29.40	c |     28532 |   12152    54084   156812 | 2147483647    28052     36 | 73.999 % |
29.54/29.62	c |     28726 |   12152    54084   156812 | 2147483647    28246     36 | 73.999 % |
29.74/29.87	c |     28939 |   12152    54084   156812 | 2147483647    28459     36 | 73.999 % |
30.04/30.16	c |     29173 |   12152    54084   156812 | 2147483647    28693     36 | 73.999 % |
30.34/30.40	c |     29429 |   12152    54084   156812 | 2147483647    28949     36 | 73.999 % |
30.63/30.72	c |     29711 |   12152    54084   156812 | 2147483647    29231     36 | 73.999 % |
30.93/31.07	c |     30020 |   12152    54084   156812 | 2147483647    29540     36 | 73.999 % |
31.23/31.37	c |     30359 |   12152    54084   156812 | 2147483647    29879     36 | 73.999 % |
31.63/31.72	c |     30732 |   12152    54084   156812 | 2147483647    30252     36 | 73.999 % |
32.03/32.16	c |     31142 |   12152    54084   156812 | 2147483647    30662     36 | 73.999 % |
32.53/32.68	c |     31591 |   12152    54084   156812 | 2147483647    31111     36 | 73.999 % |
33.13/33.27	c |     32084 |   12152    54084   156812 | 2147483647    31604     36 | 73.999 % |
33.33/33.40	c |     32184 |   12152    54084   156812 | 2147483647    31704     36 | 73.999 % |
33.43/33.50	c |     32296 |   12152    54084   156812 | 2147483647    31816     36 | 73.999 % |
33.53/33.66	c |     32417 |   12152    54084   156812 | 2147483647    31937     36 | 73.999 % |
33.73/33.83	c |     32551 |   12152    54084   156812 | 2147483647    32071     36 | 73.999 % |
33.93/34.01	c |     32697 |   12152    54084   156812 | 2147483647    32217     36 | 73.999 % |
34.13/34.24	c |     32857 |   12152    54084   156812 | 2147483647    32377     36 | 73.999 % |
34.33/34.48	c |     33033 |   12152    54084   156812 | 2147483647    32553     36 | 73.999 % |
34.63/34.72	c |     33226 |   12152    54084   156812 | 2147483647    32746     36 | 73.999 % |
34.83/35.00	c |     33440 |   12152    54084   156812 | 2147483647    32960     36 | 73.999 % |
35.14/35.22	c |     33674 |   12152    54084   156812 | 2147483647    33194     36 | 73.999 % |
35.33/35.45	c |     33931 |   12152    54084   156812 | 2147483647    33451     35 | 73.999 % |
35.53/35.66	c |     34213 |   12152    54084   156812 | 2147483647    33733     35 | 73.999 % |
35.83/35.94	c |     34522 |   12152    54084   156812 | 2147483647    34042     35 | 73.999 % |
36.14/36.27	c |     34862 |   12152    54084   156812 | 2147483647    34382     35 | 73.999 % |
36.53/36.63	c |     35234 |   12123    53937   156409 | 2147483647    34750     35 | 74.061 % |
37.13/37.20	c |     35644 |   12123    53937   156409 | 2147483647    35160     36 | 74.061 % |
37.63/37.76	c |     36094 |   12121    53937   156409 | 2147483647    35607     36 | 74.158 % |
38.13/38.26	c |     36589 |   12121    53937   156409 | 2147483647    36102     36 | 74.158 % |
38.73/38.81	c |     37132 |   12077    53659   155706 | 2147483647    36608     36 | 74.185 % |
38.83/38.91	c |     37232 |   12077    53659   155706 | 2147483647    36708     36 | 74.185 % |
38.93/39.06	c |     37344 |   12077    53659   155706 | 2147483647    36820     36 | 74.185 % |
39.13/39.22	c |     37467 |   12077    53659   155706 | 2147483647    36942     36 | 74.209 % |
39.23/39.36	c |     37600 |   12077    53659   155706 | 2147483647    37075     36 | 74.209 % |
39.43/39.57	c |     37746 |   12077    53659   155706 | 2147483647    37221     36 | 74.209 % |
39.63/39.71	c |     37906 |   12077    53659   155706 | 2147483647    37381     36 | 74.209 % |
39.83/39.95	c |     38082 |   12054    53535   155375 | 2147483647    37537     36 | 74.209 % |
40.03/40.15	c |     38275 |   12054    53535   155375 | 2147483647    37730     36 | 74.209 % |
40.23/40.36	c |     38490 |   12054    53535   155375 | 2147483647    37945     35 | 74.209 % |
40.53/40.68	c |     38723 |   12054    53535   155375 | 2147483647    38178     36 | 74.209 % |
40.83/40.96	c |     38980 |   12054    53535   155375 | 2147483647    38435     35 | 74.209 % |
41.13/41.29	c |     39261 |   12054    53535   155375 | 2147483647    38716     35 | 74.209 % |
41.53/41.63	c |     39570 |   12054    53535   155375 | 2147483647    39025     35 | 74.209 % |
41.83/41.93	c |     39909 |   12054    53535   155375 | 2147483647    39364     35 | 74.209 % |
42.23/42.34	c |     40281 |   12054    53535   155375 | 2147483647    39736     35 | 74.209 % |
42.73/42.81	c |     40690 |   12054    53535   155375 | 2147483647    40145     35 | 74.209 % |
43.23/43.35	c |     41139 |   12054    53535   155375 | 2147483647    40594     35 | 74.209 % |
43.73/43.84	c |     41632 |   12054    53535   155375 | 2147483647    41087     35 | 74.209 % |
44.52/44.66	c |     42177 |   12054    53535   155375 | 2147483647    41632     35 | 74.209 % |
45.32/45.45	c |     42773 |   12054    53535   155375 | 2147483647    42228     35 | 74.209 % |
45.52/45.60	c |     42873 |   12054    53535   155375 | 2147483647    42328     35 | 74.209 % |
45.62/45.72	c |     42984 |   12054    53535   155375 | 2147483647    42439     35 | 74.209 % |
45.72/45.85	c |     43105 |   12054    53535   155375 | 2147483647    42560     35 | 74.209 % |
45.92/46.00	c |     43238 |   12054    53535   155375 | 2147483647    42693     35 | 74.209 % |
46.13/46.22	c |     43385 |   12054    53535   155375 | 2147483647    42840     35 | 74.209 % |
46.22/46.36	c |     43547 |   12054    53535   155375 | 2147483647    43002     35 | 74.209 % |
46.52/46.63	c |     43723 |   12054    53535   155375 | 2147483647    43178     35 | 74.209 % |
46.72/46.85	c |     43916 |   12054    53535   155375 | 2147483647    43371     35 | 74.209 % |
47.02/47.10	c |     44129 |   12054    53535   155375 | 2147483647    43584     35 | 74.209 % |
47.32/47.43	c |     44363 |   12054    53535   155375 | 2147483647    43818     35 | 74.209 % |
47.62/47.75	c |     44619 |   11981    53058   154082 | 2147483647    44071     35 | 74.365 % |
48.02/48.16	c |     44900 |   11981    53058   154082 | 2147483647    44352     35 | 74.365 % |
48.52/48.60	c |     45210 |   11981    53058   154082 | 2147483647    44662     35 | 74.365 % |
48.92/49.04	c |     45549 |   11981    53058   154082 | 2147483647    45001     35 | 74.365 % |
49.33/49.48	c |     45922 |   11981    53058   154082 | 2147483647    45374     35 | 74.365 % |
49.82/49.98	c |     46332 |   11981    53058   154082 | 2147483647    45784     35 | 74.365 % |
50.53/50.65	c |     46781 |   11969    52986   153886 | 2147483647    46232     34 | 74.391 % |
51.12/51.25	c |     47274 |   11969    52986   153886 | 2147483647    46725     34 | 74.391 % |
51.92/52.06	c |     47816 |   11966    52986   153886 | 2147483647    47265     34 | 74.438 % |
52.63/52.74	c |     48412 |   11966    52986   153886 | 2147483647    47861     34 | 74.438 % |
53.32/53.40	c |     49067 |   11947    52854   153529 | 2147483647    48509     34 | 74.438 % |
53.42/53.52	c |     49167 |   11947    52854   153529 | 2147483647    48609     34 | 74.438 % |
53.52/53.66	c |     49277 |   11947    52854   153529 | 2147483647    48719     34 | 74.438 % |
53.72/53.83	c |     49399 |   11947    52854   153529 | 2147483647    48841     34 | 74.438 % |
53.82/53.96	c |     49532 |   11947    52854   153529 | 2147483647    48974     34 | 74.438 % |
54.02/54.13	c |     49679 |   11947    52854   153529 | 2147483647    49121     34 | 74.438 % |
54.12/54.28	c |     49839 |   11947    52854   153529 | 2147483647    49281     34 | 74.438 % |
54.42/54.54	c |     50017 |   11947    52854   153529 | 2147483647    49459     34 | 74.438 % |
54.62/54.78	c |     50212 |   11947    52854   153529 | 2147483647    49654     34 | 74.438 % |
54.92/55.07	c |     50424 |   11947    52854   153529 | 2147483647    49866     34 | 74.438 % |
55.22/55.35	c |     50658 |   11947    52854   153529 | 2147483647    50100     34 | 74.438 % |
55.62/55.77	c |     50917 |   11947    52854   153529 | 2147483647    50359     34 | 74.438 % |
56.12/56.21	c |     51199 |   11947    52854   153529 | 2147483647    50641     34 | 74.438 % |
56.62/56.78	c |     51509 |   11947    52854   153529 | 2147483647    50951     34 | 74.438 % |
56.92/57.08	c |     51849 |   11947    52854   153529 | 2147483647    51291     34 | 74.438 % |
57.52/57.60	c |     52222 |   11938    52785   153342 | 2147483647    51662     34 | 74.457 % |
58.12/58.21	c |     52631 |   11938    52785   153342 | 2147483647    52071     34 | 74.457 % |
58.52/58.69	c |     53080 |   11938    52785   153342 | 2147483647    52519     34 | 74.459 % |
59.23/59.39	c |     53575 |   11938    52785   153342 | 2147483647    53013     34 | 75.413 % |
59.82/59.99	c |     54117 |   11938    52785   153342 | 2147483647    53555     34 | 75.413 % |
60.52/60.63	c |     54714 |   11491    50985   148216 | 2147483647    54114     34 | 75.413 % |
61.43/61.57	c |     55369 |   11491    50985   148216 | 2147483647    54769     34 | 75.413 % |
62.32/62.46	c |     56090 |   11491    50985   148216 | 2147483647    55490     34 | 75.413 % |
62.53/62.60	c |     56192 |   11491    50985   148216 | 2147483647    55592     34 | 75.414 % |
62.63/62.76	c |     56303 |   11491    50985   148216 | 2147483647    55703     34 | 75.414 % |
62.82/62.90	c |     56424 |   11491    50985   148216 | 2147483647    55824     34 | 75.413 % |
63.02/63.11	c |     56559 |   11491    50985   148216 | 2147483647    55959     34 | 75.414 % |
63.22/63.31	c |     56705 |   11491    50985   148216 | 2147483647    56105     34 | 75.414 % |
63.42/63.54	c |     56868 |   11491    50985   148216 | 2147483647    56268     34 | 75.414 % |
63.62/63.80	c |     57047 |   11491    50985   148216 | 2147483647    56447     34 | 75.413 % |
63.92/64.04	c |     57240 |   11491    50985   148216 | 2147483647    56640     34 | 75.414 % |
64.22/64.31	c |     57452 |   11491    50985   148216 | 2147483647    56852     34 | 75.413 % |
64.52/64.60	c |     57686 |   11491    50985   148216 | 2147483647    57086     34 | 75.413 % |
64.82/64.99	c |     57944 |   11491    50985   148216 | 2147483647    57344     34 | 75.414 % |
65.22/65.38	c |     58227 |   11491    50985   148216 | 2147483647    57627     33 | 75.414 % |
65.72/65.86	c |     58536 |   11491    50985   148216 | 2147483647    57936     33 | 75.414 % |
66.22/66.34	c |     58876 |   11491    50985   148216 | 2147483647    58276     33 | 75.414 % |
66.72/66.87	c |     59249 |   11491    50985   148216 | 2147483647    58649     33 | 75.414 % |
67.22/67.39	c |     59658 |   11491    50985   148216 | 2147483647    59058     33 | 75.413 % |
67.92/68.06	c |     60108 |   11414    50568   147089 | 2147483647    59501     33 | 75.578 % |
68.72/68.87	c |     60604 |   11414    50568   147089 | 2147483647    59997     33 | 75.578 % |
69.52/69.65	c |     61148 |   11414    50568   147089 | 2147483647    60541     33 | 75.578 % |
70.12/70.30	c |     61744 |   11414    50568   147089 | 2147483647    61137     33 | 75.578 % |
71.12/71.20	c |     62399 |   11414    50568   147089 | 2147483647    61792     33 | 75.578 % |
72.22/72.32	c |     63120 |   11414    50568   147089 | 2147483647    62513     33 | 75.578 % |
73.42/73.54	c |     63912 |   11414    50568   147089 | 2147483647    63305     33 | 75.578 % |
73.62/73.71	c |     64014 |   11414    50568   147089 | 2147483647    63407     33 | 75.578 % |
73.72/73.89	c |     64124 |   11414    50568   147089 | 2147483647    63517     33 | 75.578 % |
73.92/74.05	c |     64245 |   11414    50568   147089 | 2147483647    63638     33 | 75.578 % |
74.12/74.25	c |     64379 |   11414    50568   147089 | 2147483647    63772     33 | 75.578 % |
74.31/74.49	c |     64527 |   11414    50568   147089 | 2147483647    63920     33 | 75.578 % |
74.62/74.71	c |     64688 |   11414    50568   147089 | 2147483647    64081     33 | 75.578 % |
74.81/74.99	c |     64864 |   11414    50568   147089 | 2147483647    64257     32 | 75.578 % |
75.11/75.22	c |     65060 |   11414    50568   147089 | 2147483647    64453     32 | 75.578 % |
75.31/75.49	c |     65272 |   11414    50568   147089 | 2147483647    64665     32 | 75.578 % |
75.71/75.90	c |     65507 |   11414    50568   147089 | 2147483647    64900     32 | 75.578 % |
76.21/76.30	c |     65764 |   11414    50568   147089 | 2147483647    65157     32 | 75.578 % |
76.61/76.74	c |     66045 |   11414    50568   147089 | 2147483647    65438     32 | 75.578 % |
76.91/77.06	c |     66354 |   11354    50446   146689 | 2147483647    65746     32 | 75.707 % |
77.31/77.47	c |     66696 |   11349    50446   146689 | 2147483647    66087     32 | 77.305 % |
77.91/78.01	c |     67069 |   11349    50446   146689 | 2147483647    66460     32 | 77.305 % |
78.41/78.50	c |     67479 |   11349    50446   146689 | 2147483647    66869     32 | 77.333 % |
78.91/79.02	c |     67928 |   11349    50446   146689 | 2147483647    67318     32 | 77.333 % |
79.61/79.72	c |     68421 |   11349    50446   146689 | 2147483647    67811     33 | 77.333 % |
80.41/80.58	c |     68966 |   11349    50446   146689 | 2147483647    68356     32 | 77.333 % |
81.51/81.61	c |     69564 |   10594    47266   136455 | 2147483647    68926     32 | 77.333 % |
82.01/82.16	c |     70220 |   10594    47266   136455 | 2147483647    69582     32 | 77.333 % |
83.01/83.15	c |     70940 |   10594    47266   136455 | 2147483647    70302     32 | 77.333 % |
84.21/84.36	c |     71736 |   10594    47266   136455 | 2147483647    71098     32 | 77.333 % |
85.50/85.69	c |     72607 |   10594    47266   136455 | 2147483647    71969     32 | 77.333 % |
85.71/85.84	c |     72707 |   10594    47266   136455 | 2147483647    72069     32 | 77.333 % |
85.80/85.97	c |     72817 |   10594    47266   136455 | 2147483647    72179     32 | 77.333 % |
86.10/86.20	c |     72939 |   10594    47266   136455 | 2147483647    72301     32 | 77.333 % |
86.30/86.43	c |     73072 |   10594    47266   136455 | 2147483647    72434     32 | 77.333 % |
86.50/86.63	c |     73219 |   10594    47266   136455 | 2147483647    72581     32 | 77.333 % |
86.81/86.93	c |     73381 |   10594    47266   136455 | 2147483647    72743     32 | 77.333 % |
87.10/87.20	c |     73560 |   10594    47266   136455 | 2147483647    72922     32 | 77.333 % |
87.30/87.50	c |     73753 |   10594    47266   136455 | 2147483647    73115     32 | 77.333 % |
87.70/87.82	c |     73965 |   10594    47266   136455 | 2147483647    73327     32 | 77.333 % |
88.10/88.20	c |     74199 |   10594    47266   136455 | 2147483647    73561     32 | 77.333 % |
88.50/88.62	c |     74455 |   10594    47266   136455 | 2147483647    73817     32 | 77.333 % |
88.90/89.08	c |     74736 |   10594    47266   136455 | 2147483647    74098     32 | 77.333 % |
89.40/89.59	c |     75045 |   10594    47266   136455 | 2147483647    74407     32 | 77.333 % |
89.90/90.10	c |     75384 |   10594    47266   136455 | 2147483647    74746     32 | 77.333 % |
90.50/90.68	c |     75756 |   10594    47266   136455 | 2147483647    75118     32 | 77.333 % |
91.20/91.39	c |     76166 |   10594    47266   136455 | 2147483647    75528     32 | 77.333 % |
92.00/92.12	c |     76620 |   10594    47266   136455 | 2147483647    75982     32 | 77.333 % |
92.80/92.94	c |     77114 |   10594    47266   136455 | 2147483647    76476     32 | 77.333 % |
93.60/93.78	c |     77656 |   10594    47266   136455 | 2147483647    77018     32 | 77.333 % |
94.60/94.75	c |     78253 |   10594    47266   136455 | 2147483647    77615     32 | 77.333 % |
95.70/95.82	c |     78908 |   10594    47266   136455 | 2147483647    78270     32 | 77.333 % |
96.80/96.95	c |     79630 |   10594    47266   136455 | 2147483647    78992     32 | 77.333 % |
98.10/98.20	c |     80423 |   10594    47266   136455 | 2147483647    79785     32 | 77.333 % |
99.30/99.48	c |     81294 |   10594    47266   136455 | 2147483647    80656     31 | 77.333 % |
101.00/101.15	c |     82254 |   10594    47266   136455 | 2147483647    81616     31 | 77.333 % |
101.20/101.32	c |     82355 |   10594    47266   136455 | 2147483647    81717     31 | 77.333 % |
101.30/101.49	c |     82465 |   10594    47266   136455 | 2147483647    81827     31 | 77.333 % |
101.50/101.68	c |     82587 |   10594    47266   136455 | 2147483647    81949     31 | 77.333 % |
101.80/101.92	c |     82721 |   10594    47266   136455 | 2147483647    82083     31 | 77.333 % |
102.00/102.14	c |     82868 |   10594    47266   136455 | 2147483647    82230     31 | 77.333 % |
102.30/102.43	c |     83028 |   10594    47266   136455 | 2147483647    82390     31 | 77.333 % |
102.60/102.76	c |     83206 |   10594    47266   136455 | 2147483647    82568     31 | 77.333 % |
103.00/103.10	c |     83400 |   10594    47266   136455 | 2147483647    82762     31 | 77.333 % |
103.30/103.48	c |     83612 |   10594    47266   136455 | 2147483647    82974     31 | 77.333 % |
103.80/103.91	c |     83845 |   10594    47266   136455 | 2147483647    83207     31 | 77.333 % |
104.30/104.41	c |     84102 |   10594    47266   136455 | 2147483647    83464     31 | 77.333 % |
104.69/104.84	c |     84383 |   10594    47266   136455 | 2147483647    83745     31 | 77.333 % |
105.19/105.37	c |     84692 |   10594    47266   136455 | 2147483647    84054     31 | 77.333 % |
105.79/105.95	c |     85032 |   10594    47266   136455 | 2147483647    84394     31 | 77.333 % |
106.50/106.70	c |     85404 |   10594    47266   136455 | 2147483647    84766     31 | 77.333 % |
107.30/107.46	c |     85813 |   10594    47266   136455 | 2147483647    85175     31 | 77.333 % |
108.00/108.18	c |     86262 |   10594    47266   136455 | 2147483647    85624     31 | 77.333 % |
108.89/109.01	c |     86756 |   10594    47266   136455 | 2147483647    86118     31 | 77.333 % |
109.90/110.02	c |     87299 |   10594    47266   136455 | 2147483647    86661     31 | 77.333 % |
110.90/111.04	c |     87895 |   10594    47266   136455 | 2147483647    87257     31 | 77.333 % |
112.00/112.14	c |     88551 |   10594    47266   136455 | 2147483647    87913     31 | 77.333 % |
113.20/113.36	c |     89272 |   10594    47266   136455 | 2147483647    88634     30 | 77.333 % |
114.49/114.66	c |     90064 |   10594    47266   136455 | 2147483647    89426     30 | 77.333 % |
115.99/116.13	c |     90936 |   10594    47266   136455 | 2147483647    90298     30 | 77.333 % |
117.69/117.85	c |     91895 |   10594    47266   136455 | 2147483647    91257     30 | 77.333 % |
119.99/120.10	c |     92948 |   10594    47266   136455 | 2147483647    92310     30 | 77.333 % |
120.09/120.29	c |     93052 |   10594    47266   136455 | 2147483647    92414     30 | 77.333 % |
120.39/120.52	c |     93162 |   10594    47266   136455 | 2147483647    92524     30 | 77.333 % |
120.69/120.80	c |     93283 |   10594    47266   136455 | 2147483647    92645     30 | 77.333 % |
120.89/121.06	c |     93419 |   10594    47266   136455 | 2147483647    92781     30 | 77.333 % |
121.18/121.33	c |     93567 |   10594    47266   136455 | 2147483647    92929     30 | 77.333 % |
121.48/121.61	c |     93730 |   10594    47266   136455 | 2147483647    93092     30 | 77.333 % |
121.78/121.93	c |     93906 |   10594    47266   136455 | 2147483647    93268     30 | 77.333 % |
122.08/122.21	c |     94099 |   10594    47266   136455 | 2147483647    93461     30 | 77.333 % |
122.38/122.55	c |     94313 |   10594    47266   136455 | 2147483647    93675     30 | 77.333 % |
122.78/122.94	c |     94546 |   10594    47266   136455 | 2147483647    93908     30 | 77.333 % |
123.28/123.41	c |     94802 |   10594    47266   136455 | 2147483647    94164     30 | 77.333 % |
123.78/123.93	c |     95083 |   10594    47266   136455 | 2147483647    94445     30 | 77.333 % |
124.28/124.46	c |     95392 |   10594    47266   136455 | 2147483647    94754     30 | 77.333 % |
124.98/125.11	c |     95733 |   10594    47266   136455 | 2147483647    95095     30 | 77.333 % |
125.58/125.76	c |     96105 |   10594    47266   136455 | 2147483647    95467     30 | 77.333 % |
126.48/126.62	c |     96514 |   10594    47266   136455 | 2147483647    95876     30 | 77.333 % |
127.38/127.51	c |     96963 |   10594    47266   136455 | 2147483647    96325     30 | 77.333 % |
128.38/128.60	c |     97456 |   10594    47266   136455 | 2147483647    96818     30 | 77.333 % |
129.38/129.51	c |     98000 |   10594    47266   136455 | 2147483647    97362     30 | 77.333 % |
130.48/130.61	c |     98598 |   10594    47266   136455 | 2147483647    97960     30 | 77.333 % |
131.58/131.74	c |     99253 |   10594    47266   136455 | 2147483647    98615     30 | 77.333 % |
132.88/133.08	c |     99973 |   10594    47266   136455 | 2147483647    99335     29 | 77.333 % |
134.37/134.59	c |    100765 |   10594    47266   136455 | 2147483647   100127     29 | 77.333 % |
136.18/136.30	c |    101636 |   10594    47266   136455 | 2147483647   100998     29 | 77.333 % |
137.87/138.09	c |    102595 |   10594    47266   136455 | 2147483647   101957     29 | 77.333 % |
139.98/140.14	c |    103648 |   10594    47266   136455 | 2147483647   103010     29 | 77.333 % |
142.08/142.21	c |    104807 |   10594    47266   136455 | 2147483647   104169     29 | 77.333 % |
142.28/142.41	c |    104908 |   10594    47266   136455 | 2147483647   104270     29 | 77.333 % |
142.48/142.64	c |    105020 |   10594    47266   136455 | 2147483647   104382     29 | 77.333 % |
142.68/142.89	c |    105141 |   10594    47266   136455 | 2147483647   104503     29 | 77.333 % |
143.08/143.21	c |    105274 |   10594    47266   136455 | 2147483647   104636     29 | 77.333 % |
143.28/143.49	c |    105420 |   10594    47266   136455 | 2147483647   104782     29 | 77.333 % |
143.58/143.78	c |    105580 |   10594    47266   136455 | 2147483647   104942     29 | 77.333 % |
143.98/144.12	c |    105759 |   10594    47266   136455 | 2147483647   105121     29 | 77.333 % |
144.38/144.55	c |    105953 |   10594    47266   136455 | 2147483647   105315     29 | 77.333 % |
144.88/145.03	c |    106165 |   10594    47266   136455 | 2147483647   105527     29 | 77.333 % |
145.38/145.53	c |    106399 |   10594    47266   136455 | 2147483647   105761     29 | 77.333 % |
145.98/146.11	c |    106657 |   10594    47266   136455 | 2147483647   106019     29 | 77.333 % |
146.58/146.72	c |    106938 |   10594    47266   136455 | 2147483647   106300     29 | 77.333 % |
147.28/147.43	c |    107248 |   10594    47266   136455 | 2147483647   106610     29 | 77.333 % |
147.97/148.14	c |    107587 |   10594    47266   136455 | 2147483647   106949     29 | 77.333 % |
148.77/148.90	c |    107959 |   10594    47266   136455 | 2147483647   107321     29 | 77.333 % |
149.48/149.67	c |    108368 |   10594    47266   136455 | 2147483647   107730     29 | 77.333 % |
150.58/150.75	c |    108820 |   10594    47266   136455 | 2147483647   108182     29 | 77.333 % |
151.68/151.86	c |    109313 |   10594    47266   136455 | 2147483647   108675     29 | 77.333 % |
152.68/152.88	c |    109857 |   10594    47266   136455 | 2147483647   109219     29 | 77.333 % |
153.88/154.07	c |    110454 |   10594    47266   136455 | 2147483647   109816     29 | 77.333 % |
155.17/155.37	c |    111110 |   10594    47266   136455 | 2147483647   110472     29 | 77.333 % |
156.67/156.81	c |    111830 |   10594    47266   136455 | 2147483647   111192     28 | 77.333 % |
158.37/158.50	c |    112622 |   10594    47266   136455 | 2147483647   111984     28 | 77.333 % |
159.97/160.13	c |    113496 |   10594    47266   136455 | 2147483647   112858     28 | 77.333 % |
161.77/161.94	c |    114454 |   10594    47266   136455 | 2147483647   113816     28 | 77.333 % |
164.17/164.33	c |    115508 |   10594    47266   136455 | 2147483647   114870     28 | 77.333 % |
166.47/166.60	c |    116670 |   10594    47266   136455 | 2147483647   116032     28 | 77.333 % |
169.06/169.21	c |    117943 |   10594    47266   136455 | 2147483647   117305     28 | 77.333 % |
169.26/169.40	c |    118044 |   10594    47266   136455 | 2147483647   117406     28 | 77.333 % |
169.56/169.75	c |    118156 |   10594    47266   136455 | 2147483647   117518     28 | 77.333 % |
169.96/170.11	c |    118277 |   10594    47266   136455 | 2147483647   117639     28 | 77.333 % |
170.26/170.43	c |    118411 |   10594    47266   136455 | 2147483647   117773     28 | 77.333 % |
170.56/170.76	c |    118561 |   10594    47266   136455 | 2147483647   117923     28 | 77.333 % |
170.96/171.15	c |    118722 |   10594    47266   136455 | 2147483647   118084     28 | 77.333 % |
171.46/171.61	c |    118901 |   10594    47266   136455 | 2147483647   118263     28 | 77.333 % |
171.76/171.98	c |    119096 |   10594    47266   136455 | 2147483647   118458     28 | 77.333 % |
172.36/172.52	c |    119308 |   10594    47266   136455 | 2147483647   118670     28 | 77.333 % |
172.86/173.05	c |    119542 |   10594    47266   136455 | 2147483647   118904     28 | 77.333 % |
173.46/173.65	c |    119798 |   10594    47266   136455 | 2147483647   119160     28 | 77.333 % |
174.06/174.22	c |    120079 |   10594    47266   136455 | 2147483647   119441     28 | 77.333 % |
174.76/174.91	c |    120388 |   10594    47266   136455 | 2147483647   119750     28 | 77.333 % |
175.46/175.63	c |    120727 |   10594    47266   136455 | 2147483647   120089     28 | 77.333 % |
176.26/176.43	c |    121099 |   10594    47266   136455 | 2147483647   120461     28 | 77.333 % |
177.15/177.34	c |    121510 |   10594    47266   136455 | 2147483647   120872     28 | 77.333 % |
178.15/178.33	c |    121959 |   10594    47266   136455 | 2147483647   121321     28 | 77.333 % |
179.16/179.35	c |    122452 |   10594    47266   136455 | 2147483647   121814     28 | 77.333 % |
180.35/180.54	c |    122994 |   10594    47266   136455 | 2147483647   122356     28 | 77.333 % |
181.45/181.67	c |    123591 |   10594    47266   136455 | 2147483647   122953     27 | 77.333 % |
182.75/182.96	c |    124246 |   10594    47266   136455 | 2147483647   123608     27 | 77.333 % |
184.35/184.50	c |    124966 |   10594    47266   136455 | 2147483647   124328     27 | 77.333 % |
185.85/186.08	c |    125759 |   10594    47266   136455 | 2147483647   125121     27 | 77.333 % |
187.65/187.80	c |    126631 |   10594    47266   136455 | 2147483647   125993     27 | 77.333 % |
189.35/189.52	c |    127589 |   10594    47266   136455 | 2147483647   126951     27 | 77.333 % |
191.25/191.47	c |    128645 |   10594    47266   136455 | 2147483647   128007     27 | 77.333 % |
193.55/193.78	c |    129803 |   10594    47266   136455 | 2147483647   129165     27 | 77.333 % |
196.34/196.50	c |    131076 |   10594    47266   136455 |   129362   130438     27 | 77.333 % |
199.14/199.33	c |    132476 |   10594    47266   136455 |   129362   131838     27 | 77.333 % |
199.34/199.56	c |    132577 |   10594    47266   136455 |   129362   131939     27 | 77.333 % |
199.64/199.81	c |    132687 |   10594    47266   136455 |   129362   132049     27 | 77.333 % |
199.84/200.09	c |    132808 |   10594    47266   136455 |   129362   132170     27 | 77.333 % |
200.14/200.37	c |    132941 |   10594    47266   136455 |   129362   132303     27 | 77.333 % |
200.54/200.73	c |    133091 |   10594    47266   136455 |   129362   132453     27 | 77.333 % |
200.94/201.13	c |    133252 |   10594    47266   136455 |   129362   132614     27 | 77.333 % |
201.34/201.56	c |    133428 |   10594    47266   136455 |   129362   132790     27 | 77.333 % |
201.74/201.97	c |    133624 |   10594    47266   136455 |   129362   132986     27 | 77.333 % |
202.15/202.40	c |    133837 |   10594    47266   136455 |   129362   133199     27 | 77.333 % |
202.74/202.96	c |    134074 |   10594    47266   136455 |   129362   133436     27 | 77.333 % |
203.34/203.55	c |    134335 |   10594    47266   136455 |   129362   133697     27 | 77.333 % |
203.84/204.04	c |    134617 |   10594    47266   136455 |   129362   133979     27 | 77.333 % |
204.54/204.74	c |    134926 |   10594    47266   136455 |   129362   134288     27 | 77.333 % |
205.24/205.50	c |    135267 |   10594    47266   136455 |   129362   134629     27 | 77.333 % |
206.24/206.40	c |    135639 |   10594    47266   136455 |   129362   135001     27 | 77.333 % |
207.14/207.39	c |    136050 |   10594    47266   136455 |   129362   135412     27 | 77.333 % |
208.24/208.48	c |    136501 |   10594    47266   136455 |   129362   135863     27 | 77.333 % |
209.34/209.52	c |    137000 |   10594    47266   136455 |   129362   136362     27 | 77.333 % |
210.64/210.89	c |    137542 |   10594    47266   136455 |   129362   136904     26 | 77.333 % |
212.03/212.25	c |    138142 |   10594    47266   136455 |   129362   137504     26 | 77.333 % |
213.42/213.67	c |    138799 |   10594    47266   136455 |   129362   138161     26 | 77.333 % |
214.92/215.12	c |    139520 |   10594    47266   136455 |   129362   138882     26 | 77.333 % |
216.62/216.82	c |    140314 |   10594    47266   136455 |   139363   139676     26 | 77.333 % |
218.52/218.72	c |    141185 |   10495    46641   134826 |   139363   140546     26 | 77.545 % |
220.62/220.86	c |    142144 |   10494    46641   134826 |   139363   141504     26 | 77.701 % |
222.52/222.80	c |    143198 |   10494    46641   134826 |   139363   142558     26 | 77.701 % |
224.41/224.69	c |    144357 |   10494    46641   134826 |   139363   143717     26 | 77.701 % |
226.61/226.86	c |    145631 |   10494    46641   134826 |   139363   144991     26 | 77.701 % |
233.61/233.84	c |    147031 |    9516    41679   119355 |   139363    61557     34 | 83.606 % |
235.51/235.80	c |    148573 |    9516    41679   119355 |   139363    63099     34 | 83.606 % |
235.71/235.95	c |    148674 |    7662    32935    94449 |   139363    62653     34 | 83.606 % |
235.81/236.08	c |    148784 |    7662    32935    94449 |   139363    62763     34 | 83.606 % |
236.01/236.23	c |    148905 |    7662    32935    94449 |   139363    62884     34 | 83.606 % |
236.22/236.41	c |    149039 |    7662    32935    94449 |   139363    63018     34 | 83.606 % |
236.32/236.58	c |    149185 |    7662    32935    94449 |   139363    63164     34 | 83.606 % |
236.61/236.83	c |    149346 |    7662    32935    94449 |   139363    63325     34 | 83.606 % |
236.81/237.03	c |    149523 |    7662    32935    94449 |   139363    63502     34 | 83.606 % |
237.01/237.27	c |    149716 |    7662    32935    94449 |   139363    63695     34 | 83.606 % |
237.42/237.62	c |    149930 |    7662    32935    94449 |   139363    63909     34 | 83.606 % |
237.71/237.93	c |    150163 |    7662    32935    94449 | 2147483647    64142     34 | 83.606 % |
238.11/238.36	c |    150419 |    7662    32935    94449 | 2147483647    64398     34 | 83.606 % |
238.52/238.79	c |    150700 |    7662    32935    94449 | 2147483647    64679     34 | 83.606 % |
239.01/239.25	c |    151009 |    7662    32935    94449 | 2147483647    64988     34 | 83.606 % |
239.41/239.63	c |    151348 |    7662    32935    94449 | 2147483647    65327     34 | 83.606 % |
239.81/240.09	c |    151722 |    7662    32935    94449 | 2147483647    65701     34 | 83.606 % |
240.51/240.75	c |    152133 |    7662    32935    94449 | 2147483647    66112     34 | 83.606 % |
241.11/241.39	c |    152584 |    7662    32935    94449 | 2147483647    66563     34 | 83.606 % |
242.01/242.23	c |    153077 |    7662    32935    94449 | 2147483647    67056     34 | 83.606 % |
242.81/243.07	c |    153620 |    7662    32935    94449 | 2147483647    67599     34 | 83.606 % |
243.71/243.93	c |    154218 |    7662    32935    94449 | 2147483647    68197     34 | 83.606 % |
244.31/244.58	c |    154873 |    7662    32935    94449 | 2147483647    68852     34 | 83.606 % |
245.01/245.30	c |    155593 |    7662    32935    94449 | 2147483647    69572     34 | 83.606 % |
246.21/246.42	c |    156385 |    7662    32935    94449 | 2147483647    70364     34 | 83.606 % |
247.61/247.82	c |    157258 |    7662    32935    94449 | 2147483647    71237     34 | 83.606 % |
249.21/249.43	c |    158217 |    7662    32935    94449 | 2147483647    72196     34 | 83.606 % |
250.80/251.04	c |    159271 |    7649    32850    94219 | 2147483647    73245     33 | 83.771 % |
252.61/252.88	c |    160430 |    7649    32850    94219 | 2147483647    74404     33 | 83.771 % |
254.80/255.05	c |    161705 |    7649    32850    94219 | 2147483647    75679     33 | 83.771 % |
257.00/257.24	c |    163105 |    7585    32478    93235 | 2147483647    77078     33 | 83.863 % |
259.60/259.86	c |    164647 |    7585    32478    93235 | 2147483647    78620     33 | 83.863 % |
262.50/262.76	c |    166341 |    7542    32297    92737 | 2147483647    80308     33 | 83.863 % |
262.70/262.97	c |    166441 |    7542    32297    92737 | 2147483647    80408     33 | 83.863 % |
262.90/263.17	c |    166551 |    7542    32297    92737 | 2147483647    80518     33 | 83.863 % |
263.20/263.42	c |    166672 |    7542    32297    92737 | 2147483647    80639     33 | 83.863 % |
263.50/263.70	c |    166806 |    7542    32297    92737 | 2147483647    80773     33 | 83.863 % |
263.80/264.01	c |    166952 |    7542    32297    92737 | 2147483647    80919     33 | 83.863 % |
264.00/264.29	c |    167115 |    7542    32297    92737 | 2147483647    81082     33 | 83.863 % |
264.39/264.60	c |    167291 |    7542    32297    92737 | 2147483647    81258     33 | 83.863 % |
264.69/264.97	c |    167486 |    7542    32297    92737 | 2147483647    81453     33 | 83.863 % |
265.09/265.33	c |    167698 |    7542    32297    92737 | 2147483647    81665     33 | 83.863 % |
265.49/265.71	c |    167931 |    7542    32297    92737 | 2147483647    81898     33 | 83.863 % |
265.90/266.12	c |    168188 |    7542    32297    92737 | 2147483647    82155     33 | 83.863 % |
266.29/266.53	c |    168470 |    7542    32297    92737 | 2147483647    82437     32 | 83.863 % |
266.79/267.04	c |    168781 |    7542    32297    92737 | 2147483647    82748     32 | 83.863 % |
267.29/267.56	c |    169120 |    7542    32297    92737 | 2147483647    83087     32 | 83.863 % |
268.09/268.30	c |    169493 |    7542    32297    92737 | 2147483647    83460     32 | 83.863 % |
268.89/269.14	c |    169902 |    7542    32297    92737 | 2147483647    83869     32 | 83.863 % |
269.59/269.89	c |    170351 |    7542    32297    92737 | 2147483647    84318     32 | 83.863 % |
270.59/270.85	c |    170846 |    7542    32297    92737 | 2147483647    84813     32 | 83.863 % |
271.69/271.91	c |    171388 |    7530    32226    92551 | 2147483647    85353     32 | 83.889 % |
272.69/272.95	c |    171984 |    7530    32226    92551 | 2147483647    85949     32 | 83.889 % |
273.99/274.28	c |    172640 |    7530    32226    92551 | 2147483647    86605     32 | 83.889 % |
275.39/275.61	c |    173360 |    7530    32226    92551 | 2147483647    87325     32 | 83.889 % |
276.78/277.03	c |    174152 |    7530    32226    92551 | 2147483647    88117     32 | 83.889 % |
278.29/278.58	c |    175023 |    7530    32226    92551 | 2147483647    88988     32 | 83.889 % |
280.38/280.66	c |    175982 |    7530    32226    92551 | 2147483647    89947     32 | 83.889 % |
282.78/283.01	c |    177035 |    7456    31908    91536 | 2147483647    90994     32 | 84.047 % |
284.58/284.86	c |    178193 |    7456    31908    91536 | 2147483647    92152     32 | 84.047 % |
286.58/286.89	c |    179466 |    7456    31908    91536 | 2147483647    93425     31 | 84.047 % |
288.38/288.62	c |    180869 |    7456    31908    91536 | 2147483647    94828     31 | 84.047 % |
290.68/290.91	c |    182409 |    7456    31908    91536 | 2147483647    96368     31 | 84.047 % |
293.38/293.60	c |    184103 |    7456    31908    91536 | 2147483647    98062     31 | 84.047 % |
296.38/296.65	c |    185966 |    7456    31908    91536 | 2147483647    99925     31 | 84.047 % |
296.58/296.87	c |    186066 |    7456    31908    91536 | 2147483647   100025     31 | 84.047 % |
296.78/297.09	c |    186176 |    7456    31908    91536 | 2147483647   100135     31 | 84.047 % |
297.08/297.31	c |    186299 |    7456    31908    91536 | 2147483647   100258     31 | 84.047 % |
297.28/297.59	c |    186432 |    7456    31908    91536 | 2147483647   100391     31 | 84.047 % |
297.58/297.87	c |    186578 |    7456    31908    91536 | 2147483647   100537     31 | 84.047 % |
297.88/298.16	c |    186738 |    7456    31908    91536 | 2147483647   100697     31 | 84.047 % |
298.28/298.52	c |    186914 |    7456    31908    91536 | 2147483647   100873     31 | 84.047 % |
298.68/298.90	c |    187107 |    7456    31908    91536 | 2147483647   101066     31 | 84.047 % |
299.08/299.31	c |    187319 |    7456    31908    91536 | 2147483647   101278     31 | 84.047 % |
299.58/299.84	c |    187553 |    7456    31908    91536 | 2147483647   101512     31 | 84.047 % |
299.97/300.29	c |    187810 |    7456    31908    91536 | 2147483647   101769     31 | 84.047 % |
300.67/300.96	c |    188092 |    7456    31908    91536 | 2147483647   102051     31 | 84.047 % |
301.27/301.51	c |    188401 |    7456    31908    91536 | 2147483647   102360     31 | 84.047 % |
301.87/302.15	c |    188741 |    7456    31908    91536 | 2147483647   102700     31 | 84.047 % |
302.67/302.94	c |    189115 |    7456    31908    91536 | 2147483647   103074     31 | 84.047 % |
303.47/303.73	c |    189525 |    7456    31908    91536 | 2147483647   103484     31 | 84.047 % |
304.27/304.56	c |    189974 |    7445    31854    91398 | 2147483647   103930     31 | 84.070 % |
305.27/305.59	c |    190467 |    7445    31854    91398 | 2147483647   104423     31 | 84.070 % |
306.37/306.61	c |    191009 |    7445    31854    91398 | 2147483647   104965     31 | 84.070 % |
307.47/307.75	c |    191605 |    7445    31854    91398 | 2147483647   105561     31 | 84.070 % |
308.87/309.11	c |    192260 |    7445    31854    91398 | 2147483647   106216     31 | 84.070 % |
310.36/310.66	c |    192984 |    7445    31854    91398 | 2147483647   106940     31 | 84.070 % |
312.17/312.45	c |    193777 |    7445    31854    91398 | 2147483647   107733     31 | 84.070 % |
314.06/314.37	c |    194649 |    7445    31854    91398 | 2147483647   108605     31 | 84.070 % |
316.16/316.46	c |    195609 |    7445    31854    91398 | 2147483647   109565     31 | 84.070 % |
318.16/318.48	c |    196662 |    7445    31854    91398 | 2147483647   110618     31 | 84.070 % |
320.36/320.60	c |    197820 |    7445    31854    91398 | 2147483647   111776     31 | 84.070 % |
322.46/322.71	c |    199094 |    7445    31854    91398 | 2147483647   113050     31 | 84.070 % |
325.46/325.77	c |    200496 |    7445    31854    91398 | 2147483647   114452     31 | 84.070 % |
328.27/328.56	c |    202037 |    7422    31725    91050 | 2147483647   115984     31 | 84.120 % |
331.87/332.16	c |    203732 |    7422    31725    91050 | 2147483647   117677     31 | 84.147 % |
335.96/336.24	c |    205595 |    7422    31725    91050 | 2147483647   119540     31 | 84.147 % |
340.26/340.54	c |    207645 |    7409    31641    90830 | 2147483647   121588     31 | 84.147 % |
340.56/340.81	c |    207747 |    7409    31641    90830 | 2147483647   121690     31 | 84.147 % |
340.77/341.06	c |    207858 |    7409    31641    90830 | 2147483647   121801     31 | 84.147 % |
341.16/341.41	c |    207980 |    7409    31641    90830 | 2147483647   121923     31 | 84.147 % |
341.46/341.73	c |    208115 |    7409    31641    90830 | 2147483647   122058     31 | 84.147 % |
341.87/342.13	c |    208264 |    7409    31641    90830 | 2147483647   122207     31 | 84.147 % |
342.36/342.63	c |    208425 |    7409    31641    90830 | 2147483647   122368     31 | 84.147 % |
342.76/343.03	c |    208601 |    7409    31641    90830 | 2147483647   122544     31 | 84.147 % |
343.26/343.57	c |    208796 |    7409    31641    90830 | 2147483647   122739     31 | 84.147 % |
343.76/344.05	c |    209009 |    7409    31641    90830 | 2147483647   122952     31 | 84.147 % |
344.16/344.47	c |    209243 |    7409    31641    90830 | 2147483647   123186     31 | 84.147 % |
344.66/344.98	c |    209499 |    7409    31641    90830 | 2147483647   123442     31 | 84.147 % |
345.25/345.57	c |    209782 |    7409    31641    90830 | 2147483647   123725     31 | 84.147 % |
345.75/346.06	c |    210091 |    7409    31641    90830 | 2147483647   124034     31 | 84.147 % |
346.65/346.92	c |    210430 |    7409    31641    90830 | 2147483647   124373     31 | 84.147 % |
347.45/347.78	c |    210803 |    7409    31641    90830 | 2147483647   124746     31 | 84.147 % |
348.25/348.60	c |    211212 |    7409    31641    90830 | 2147483647   125155     31 | 84.147 % |
349.15/349.47	c |    211661 |    7409    31641    90830 | 2147483647   125604     31 | 84.147 % |
350.25/350.55	c |    212155 |    7409    31641    90830 | 2147483647   126098     31 | 84.147 % |
351.45/351.76	c |    212697 |    7409    31641    90830 | 2147483647   126640     31 | 84.147 % |
352.95/353.29	c |    213299 |    7409    31641    90830 | 2147483647   127242     31 | 84.147 % |
354.85/355.17	c |    213955 |    7409    31641    90830 | 2147483647   127898     31 | 84.147 % |
356.55/356.87	c |    214676 |    7409    31641    90830 | 2147483647   128619     31 | 84.147 % |
358.35/358.68	c |    215468 |    7409    31641    90830 | 2147483647   129411     31 | 84.147 % |
360.25/360.54	c |    216340 |    7409    31641    90830 | 2147483647   130283     31 | 84.147 % |
362.05/362.35	c |    217299 |    7409    31641    90830 | 2147483647   131242     31 | 84.147 % |
364.55/364.82	c |    218354 |    7409    31641    90830 | 2147483647   132297     31 | 84.147 % |
367.34/367.61	c |    219513 |    7409    31641    90830 | 2147483647   133456     31 | 84.147 % |
370.14/370.47	c |    220786 |    7409    31641    90830 | 2147483647   134729     31 | 84.147 % |
373.14/373.41	c |    222187 |    7409    31641    90830 | 2147483647   136130     31 | 84.147 % |
376.64/376.99	c |    223731 |    7409    31641    90830 | 2147483647   137674     30 | 84.147 % |
380.64/380.99	c |    225425 |    7409    31641    90830 | 2147483647   139368     30 | 84.147 % |
384.14/384.41	c |    227289 |    7409    31641    90830 | 2147483647   141232     30 | 84.147 % |
387.94/388.25	c |    229338 |    7409    31641    90830 | 2147483647   143281     30 | 84.147 % |
392.33/392.63	c |    231591 |    7273    31034    88904 | 2147483647   145514     30 | 84.438 % |
392.63/392.93	c |    231691 |    7273    31034    88904 | 2147483647   145614     30 | 84.438 % |
392.93/393.22	c |    231801 |    7273    31034    88904 | 2147483647   145724     30 | 84.438 % |
393.33/393.61	c |    231922 |    7273    31034    88904 | 2147483647   145845     30 | 84.438 % |
393.63/393.97	c |    232055 |    7273    31034    88904 | 2147483647   145978     30 | 84.438 % |
394.13/394.47	c |    232201 |    7273    31034    88904 | 2147483647   146124     30 | 84.438 % |
394.73/395.03	c |    232362 |    7273    31034    88904 | 2147483647   146285     30 | 84.438 % |
395.23/395.53	c |    232538 |    7273    31034    88904 | 2147483647   146461     30 | 84.438 % |
395.83/396.13	c |    232731 |    7273    31034    88904 | 2147483647   146654     30 | 84.438 % |
396.43/396.76	c |    232944 |    7273    31034    88904 | 2147483647   146867     30 | 84.438 % |
397.13/397.43	c |    233181 |    7273    31034    88904 | 2147483647   147104     30 | 84.438 % |
397.93/398.21	c |    233437 |    7273    31034    88904 | 2147483647   147360     30 | 84.438 % |
398.63/398.94	c |    233720 |    7273    31034    88904 | 2147483647   147643     30 | 84.438 % |
399.33/399.69	c |    234031 |    7273    31034    88904 | 2147483647   147954     30 | 84.438 % |
400.22/400.50	c |    234371 |    7273    31034    88904 | 2147483647   148294     30 | 84.438 % |
401.13/401.40	c |    234743 |    7273    31034    88904 | 2147483647   148666     30 | 84.438 % |
402.33/402.68	c |    235152 |    7273    31034    88904 | 2147483647   149075     30 | 84.438 % |
403.52/403.84	c |    235603 |    7273    31034    88904 | 2147483647   149526     30 | 84.438 % |
404.62/404.94	c |    236097 |    7273    31034    88904 | 2147483647   150020     30 | 84.438 % |
406.02/406.35	c |    236640 |    7273    31034    88904 | 2147483647   150563     30 | 84.438 % |
407.22/407.56	c |    237238 |    7273    31034    88904 | 2147483647   151161     30 | 84.438 % |
409.03/409.31	c |    237896 |    7261    30964    88729 | 2147483647   151818     30 | 84.464 % |
410.63/410.98	c |    238617 |    7261    30964    88729 | 2147483647   152539     30 | 84.464 % |
412.53/412.83	c |    239409 |    7261    30964    88729 | 2147483647   153330     30 | 84.518 % |
414.03/414.35	c |    240280 |    7261    30964    88729 | 2147483647   154201     30 | 84.518 % |
416.43/416.71	c |    241240 |    7261    30964    88729 | 2147483647   155161     30 | 84.518 % |
419.12/419.44	c |    242293 |    7261    30964    88729 | 2147483647   156214     30 | 84.518 % |
422.03/422.31	c |    243454 |    7261    30964    88729 | 2147483647   157375     30 | 84.518 % |
425.02/425.39	c |    244727 |    7236    30868    88462 | 2147483647   158648     30 | 84.518 % |
428.32/428.67	c |    246130 |    7236    30868    88462 | 2147483647   160050     30 | 84.541 % |
432.22/432.53	c |    247670 |    7236    30868    88462 | 2147483647   161590     30 | 84.541 % |
437.21/437.50	c |    249364 |    7236    30868    88462 | 2147483647   163284     29 | 84.541 % |
441.91/442.21	c |    251227 |    7225    30804    88290 | 2147483647   165142     29 | 84.541 % |
446.61/446.90	c |    253276 |    7225    30804    88290 | 2147483647   167191     29 | 84.541 % |
452.60/452.93	c |    255530 |    7225    30804    88290 | 2147483647   169445     29 | 84.541 % |
459.30/459.60	c |    258009 |    7225    30804    88290 | 2147483647   171924     29 | 84.541 % |
459.51/459.88	c |    258110 |    7225    30804    88290 | 2147483647   172025     29 | 84.541 % |
459.80/460.18	c |    258225 |    7225    30804    88290 | 2147483647   172140     29 | 84.541 % |
460.20/460.51	c |    258348 |    7225    30804    88290 | 2147483647   172263     29 | 84.541 % |
460.51/460.89	c |    258481 |    7225    30804    88290 | 2147483647   172396     29 | 84.541 % |
460.90/461.28	c |    258628 |    7225    30804    88290 | 2147483647   172543     29 | 84.541 % |
461.40/461.73	c |    258789 |    7225    30804    88290 | 2147483647   172704     29 | 84.541 % |
461.80/462.13	c |    258966 |    7225    30804    88290 | 2147483647   172881     29 | 84.541 % |
462.30/462.69	c |    259159 |    7225    30804    88290 | 2147483647   173074     29 | 84.541 % |
463.00/463.34	c |    259373 |    7225    30804    88290 | 2147483647   173288     29 | 84.541 % |
463.60/463.98	c |    259609 |    7225    30804    88290 | 2147483647   173524     29 | 84.541 % |
464.40/464.71	c |    259868 |    7225    30804    88290 | 2147483647   173783     29 | 84.541 % |
465.00/465.38	c |    260149 |    7225    30804    88290 |   173915   174064     29 | 84.541 % |
465.80/466.18	c |    260458 |    7225    30804    88290 |   173915   174373     29 | 84.541 % |
466.80/467.17	c |    260800 |    7225    30804    88290 |   173915   174715     29 | 84.541 % |
467.90/468.28	c |    261175 |    7225    30804    88290 |   173915   175090     29 | 84.541 % |
468.90/469.21	c |    261584 |    7225    30804    88290 |   173915   175499     29 | 84.541 % |
470.00/470.38	c |    262033 |    7225    30804    88290 |   173915   175948     29 | 84.541 % |
471.40/471.74	c |    262526 |    7225    30804    88290 |   173915   176441     29 | 84.541 % |
472.70/473.09	c |    263071 |    7225    30804    88290 |   173915   176986     29 | 84.541 % |
474.30/474.66	c |    263667 |    7225    30804    88290 |   173915   177582     29 | 84.541 % |
476.20/476.59	c |    264322 |    7225    30804    88290 |   173915   178237     29 | 84.541 % |
478.00/478.38	c |    265043 |    7225    30804    88290 |   173915   178958     29 | 84.541 % |
480.29/480.67	c |    265837 |    7225    30804    88290 |   173915   179752     29 | 84.541 % |
483.58/483.94	c |    266709 |    7225    30804    88290 |   173915   180624     29 | 84.541 % |
486.58/486.92	c |    267667 |    7225    30804    88290 |   173915   181582     29 | 84.541 % |
489.08/489.49	c |    268720 |    7225    30804    88290 |   173915   182635     29 | 84.541 % |
493.48/493.83	c |    269878 |    7225    30804    88290 |   173915   183793     29 | 84.541 % |
496.58/496.95	c |    271152 |    7225    30804    88290 |   183915   185067     29 | 84.541 % |
500.58/500.96	c |    272552 |    7211    30744    88127 |   183915   186458     29 | 84.571 % |
504.58/504.98	c |    274095 |    7211    30744    88127 |   183915   188001     29 | 84.571 % |
509.87/510.23	c |    275789 |    7211    30744    88127 |   183915   189695     29 | 84.571 % |
515.17/515.59	c |    277654 |    7211    30744    88127 |   183915   191560     29 | 84.571 % |
520.27/520.66	c |    279703 |    7211    30744    88127 |   183915   193609     29 | 84.571 % |
526.65/527.06	c |    281956 |    7211    30744    88127 |   193906   195862     28 | 84.571 % |
532.05/532.40	c |    284434 |    7211    30744    88127 |   193906   198340     28 | 84.571 % |
540.95/541.38	c |    287161 |    7211    30744    88127 |   193906   201067     28 | 84.571 % |
541.25/541.63	c |    287262 |    7211    30744    88127 |   193906   201168     28 | 84.571 % |
541.55/541.97	c |    287372 |    7211    30744    88127 |   193906   201278     28 | 84.571 % |
541.85/542.27	c |    287494 |    7211    30744    88127 |   193906   201400     28 | 84.571 % |
542.25/542.68	c |    287630 |    7211    30744    88127 |   193906   201536     28 | 84.571 % |
542.65/543.06	c |    287777 |    7211    30744    88127 |   193906   201683     28 | 84.571 % |
542.95/543.39	c |    287939 |    7211    30744    88127 |   193906   201845     28 | 84.571 % |
543.65/544.04	c |    288115 |    7211    30744    88127 |   193906   202021     28 | 84.571 % |
544.35/544.76	c |    288308 |    7211    30744    88127 |   193906   202214     28 | 84.571 % |
544.84/545.28	c |    288520 |    7211    30744    88127 |   193906   202426     28 | 84.571 % |
545.54/545.92	c |    288753 |    7211    30744    88127 |   193906   202659     28 | 84.571 % |
546.25/546.66	c |    289010 |    7211    30744    88127 |   193906   202916     28 | 84.571 % |
547.14/547.56	c |    289292 |    7211    30744    88127 |   193906   203198     28 | 84.571 % |
548.04/548.42	c |    289601 |    7211    30744    88127 |   193906   203507     28 | 84.571 % |
549.24/549.67	c |    289940 |    7211    30744    88127 |   193906   203846     28 | 84.571 % |
550.54/550.94	c |    290312 |    7211    30744    88127 |   203906   204218     28 | 84.571 % |
551.64/552.08	c |    290723 |    7211    30744    88127 |   203906   204629     28 | 84.571 % |
552.95/553.38	c |    291173 |    7211    30744    88127 |   203906   205079     28 | 84.571 % |
554.34/554.74	c |    291669 |    7211    30744    88127 |   203906   205575     28 | 84.571 % |
556.44/556.81	c |    292211 |    7211    30744    88127 |   203906   206117     28 | 84.571 % |
558.04/558.48	c |    292807 |    7211    30744    88127 |   203906   206713     28 | 84.571 % |
560.54/560.96	c |    293463 |    7211    30744    88127 |   203906   207369     28 | 84.571 % |
563.24/563.64	c |    294184 |    7211    30744    88127 |   203906   208090     28 | 84.571 % |
565.94/566.32	c |    294977 |    7211    30744    88127 |   203906   208883     28 | 84.571 % |
569.14/569.60	c |    295849 |    7211    30744    88127 |   203906   209755     28 | 84.571 % |
572.32/572.79	c |    296808 |    7211    30744    88127 |   203906   210714     28 | 84.571 % |
575.42/575.83	c |    297861 |    7211    30744    88127 |   203906   211767     28 | 84.571 % |
579.52/579.94	c |    299020 |    7211    30744    88127 |   203906   212926     28 | 84.571 % |
583.23/583.60	c |    300295 |    7211    30744    88127 |   213906   214201     28 | 84.571 % |
587.73/588.17	c |    301695 |    7209    30731    88080 |   213906   215598     28 | 84.575 % |
592.22/592.65	c |    303236 |    7209    30731    88080 |   213906   217139     28 | 84.575 % |
596.72/597.19	c |    304930 |    7209    30731    88080 |   213906   218833     28 | 84.575 % |
602.22/602.66	c |    306793 |    7209    30731    88080 |   213906   220696     28 | 84.575 % |
608.92/609.40	c |    308846 |    7209    30731    88080 |   213906   222749     28 | 84.575 % |
615.11/615.56	c |    311099 |    7209    30731    88080 |   223905   225002     28 | 84.575 % |
623.41/623.82	c |    313577 |    7208    30727    88070 |   223905   227479     28 | 84.578 % |
632.01/632.47	c |    316302 |    7208    30727    88070 |   223905   230204     28 | 84.578 % |
642.90/643.32	c |    319305 |    7208    30727    88070 |   223905   233207     28 | 84.578 % |
643.30/643.72	c |    319405 |    7208    30727    88070 |   223905   233307     28 | 84.578 % |
643.70/644.19	c |    319516 |    7208    30727    88070 |   223905   233418     28 | 84.578 % |
644.11/644.56	c |    319637 |    7208    30727    88070 |   223905   233539     28 | 84.578 % |
644.60/645.05	c |    319772 |    7208    30727    88070 |   223905   233674     28 | 84.578 % |
645.10/645.51	c |    319918 |    7208    30727    88070 |   223905   233820     28 | 84.578 % |
645.70/646.11	c |    320078 |    7208    30727    88070 |   233902   233980     28 | 84.578 % |
646.31/646.71	c |    320256 |    7208    30727    88070 |   233902   234158     28 | 84.578 % |
647.00/647.41	c |    320453 |    7208    30727    88070 |   233902   234355     28 | 84.578 % |
647.80/648.28	c |    320666 |    7208    30727    88070 |   233902   234568     28 | 84.578 % |
648.70/649.16	c |    320899 |    7208    30727    88070 |   233902   234801     28 | 84.578 % |
649.60/650.08	c |    321155 |    7208    30727    88070 |   233902   235057     28 | 84.578 % |
650.80/651.23	c |    321436 |    7208    30727    88070 |   233902   235338     28 | 84.578 % |
652.00/652.42	c |    321748 |    7208    30727    88070 |   233902   235650     28 | 84.578 % |
653.30/653.80	c |    322088 |    7208    30727    88070 |   233902   235990     28 | 84.578 % |
654.40/654.89	c |    322460 |    7208    30727    88070 |   233902   236362     28 | 84.578 % |
655.50/655.99	c |    322870 |    7208    30727    88070 |   233902   236772     28 | 84.578 % |
657.30/657.78	c |    323320 |    7208    30727    88070 |   233902   237222     28 | 84.578 % |
658.40/658.90	c |    323815 |    7208    30727    88070 |   233902   237717     27 | 84.578 % |
660.19/660.61	c |    324359 |    7208    30727    88070 |   233902   238261     27 | 84.578 % |
661.98/662.40	c |    324955 |    7208    30727    88070 |   233902   238857     27 | 84.578 % |
664.88/665.32	c |    325611 |    7208    30727    88070 |   233902   239513     27 | 84.578 % |
667.68/668.17	c |    326332 |    7208    30727    88070 |   233902   240234     27 | 84.578 % |
670.58/671.02	c |    327125 |    7208    30727    88070 |   233902   241027     27 | 84.578 % |
672.68/673.12	c |    327996 |    7208    30727    88070 |   233902   241898     27 | 84.578 % |
674.98/675.42	c |    328955 |    7208    30727    88070 |   233902   242857     27 | 84.578 % |
677.18/677.62	c |    330008 |    7208    30727    88070 |   243902   243910     27 | 84.578 % |
680.27/680.71	c |    331167 |    7208    30727    88070 |   243902   245069     27 | 84.578 % |
683.87/684.34	c |    332440 |    7208    30727    88070 |   243902   246342     27 | 84.578 % |
687.57/688.03	c |    333843 |    7208    30727    88070 |   243902   247745     27 | 84.578 % |
691.77/692.21	c |    335385 |    7208    30727    88070 |   243902   249287     27 | 84.578 % |
696.27/696.71	c |    337079 |    7208    30727    88070 |   243902   250981     27 | 84.578 % |
700.37/700.82	c |    338942 |    7208    30727    88070 |   243902   252844     27 | 84.578 % |
706.06/706.56	c |    340991 |    7197    30658    87888 |   253903   254892     27 | 84.601 % |
712.56/713.00	c |    343244 |    7197    30658    87888 |   253903   257144     27 | 84.631 % |
718.05/718.55	c |    345723 |    7197    30658    87888 |   253903   259623     27 | 84.631 % |
725.45/725.97	c |    348448 |    7197    30658    87888 |   253903   262348     27 | 84.631 % |
735.15/735.61	c |    351445 |    7183    30577    87663 |   263893   265337     27 | 84.631 % |
746.45/746.93	c |    354743 |    7183    30577    87663 |   263893   268635     27 | 84.631 % |
746.75/747.27	c |    354843 |    7183    30577    87663 |   263893   268735     27 | 84.631 % |
747.15/747.61	c |    354956 |    7183    30577    87663 |   263893   268848     27 | 84.631 % |
747.35/747.87	c |    355077 |    7183    30577    87663 |   263893   268969     27 | 84.631 % |
747.85/748.39	c |    355211 |    7183    30577    87663 |   263893   269103     27 | 84.631 % |
748.45/748.92	c |    355357 |    7183    30577    87663 |   263893   269249     27 | 84.631 % |
748.95/749.47	c |    355517 |    7183    30577    87663 |   263893   269409     27 | 84.631 % |
749.55/750.09	c |    355695 |    7183    30577    87663 |   263893   269587     27 | 84.631 % |
750.44/750.95	c |    355891 |    7183    30577    87663 |   263893   269783     27 | 84.631 % |
751.44/751.91	c |    356105 |    7183    30577    87663 |   263893   269997     27 | 84.631 % |
752.24/752.70	c |    356338 |    7183    30577    87663 |   263893   270230     27 | 84.631 % |
753.24/753.75	c |    356595 |    7183    30577    87663 |   263893   270487     27 | 84.631 % |
754.34/754.81	c |    356877 |    7183    30577    87663 |   263893   270769     27 | 84.631 % |
755.44/755.93	c |    357188 |    7183    30577    87663 |   263893   271080     27 | 84.631 % |
756.44/756.97	c |    357527 |    7183    30577    87663 |   263893   271419     27 | 84.631 % |
757.54/758.09	c |    357900 |    7183    30577    87663 |   263893   271792     27 | 84.631 % |
758.64/759.19	c |    358310 |    7183    30577    87663 |   263893   272202     27 | 84.631 % |
760.04/760.59	c |    358761 |    7183    30577    87663 |   263893   272653     27 | 84.631 % |
761.34/761.81	c |    359255 |    7183    30577    87663 |   263893   273147     27 | 84.631 % |
763.04/763.52	c |    359797 |    7183    30577    87663 |   263893   273689     27 | 84.631 % |
764.74/765.22	c |    360393 |    7183    30577    87663 |   273894   274285     27 | 84.631 % |
766.83/767.39	c |    361050 |    7183    30577    87663 |   273894   274942     27 | 84.631 % |
769.03/769.54	c |    361770 |    7183    30577    87663 |   273894   275662     27 | 84.631 % |
771.64/772.17	c |    362562 |    7183    30577    87663 |   273894   276454     27 | 84.631 % |
774.33/774.89	c |    363433 |    7183    30577    87663 |   273894   277325     27 | 84.631 % |
777.03/777.59	c |    364392 |    7183    30577    87663 |   273894   278284     27 | 84.631 % |
780.03/780.56	c |    365445 |    7183    30577    87663 |   273894   279337     27 | 84.631 % |
783.13/783.67	c |    366605 |    7183    30577    87663 |   273894   280497     27 | 84.631 % |
785.93/786.47	c |    367879 |    7183    30577    87663 |   273894   281771     27 | 84.631 % |
789.23/789.74	c |    369280 |    7183    30577    87663 |   273894   283172     27 | 84.631 % |
793.13/793.60	c |    370820 |    7183    30577    87663 |   283895   284712     27 | 84.631 % |
797.42/797.92	c |    372518 |    7183    30577    87663 |   283895   286410     27 | 84.631 % |
803.02/803.51	c |    374382 |    7183    30577    87663 |   283895   288274     27 | 84.631 % |
809.42/809.99	c |    376432 |    7183    30577    87663 |   283895   290324     27 | 84.631 % |
817.02/817.60	c |    378686 |    7183    30577    87663 |   283895   292578     27 | 84.631 % |
825.11/825.65	c |    381164 |    7183    30577    87663 |   293895   295056     27 | 84.631 % |
833.01/833.53	c |    383889 |    7183    30577    87663 |   293895   297781     27 | 84.631 % |
840.10/840.67	c |    386888 |    7183    30577    87663 |   293895   300780     27 | 84.631 % |
849.09/849.61	c |    390186 |    7173    30499    87474 |   303881   304067     27 | 84.652 % |
858.79/859.30	c |    393812 |    7173    30499    87474 |   303881   307693     27 | 84.652 % |
858.99/859.56	c |    393914 |    7173    30499    87474 |   303881   307795     27 | 84.652 % |
859.39/859.99	c |    394027 |    7173    30499    87474 |   303881   307908     27 | 84.652 % |
859.89/860.44	c |    394149 |    7173    30499    87474 |   303881   308030     27 | 84.652 % |
860.39/860.92	c |    394284 |    7173    30499    87474 |   303881   308165     27 | 84.652 % |
860.88/861.41	c |    394430 |    7173    30499    87474 |   303881   308311     27 | 84.652 % |
861.28/861.84	c |    394593 |    7173    30499    87474 |   303881   308474     27 | 84.652 % |
861.89/862.46	c |    394770 |    7173    30499    87474 |   303881   308651     27 | 84.652 % |
862.38/862.95	c |    394963 |    7173    30499    87474 |   303881   308844     27 | 84.652 % |
862.99/863.52	c |    395175 |    7173    30499    87474 |   303881   309056     27 | 84.652 % |
863.58/864.13	c |    395408 |    7173    30499    87474 |   303881   309289     27 | 84.652 % |
864.28/864.88	c |    395664 |    7173    30499    87474 |   303881   309545     27 | 84.652 % |
865.38/865.99	c |    395949 |    7173    30499    87474 |   303881   309830     27 | 84.652 % |
866.19/866.74	c |    396258 |    7173    30499    87474 |   303881   310139     27 | 84.652 % |
867.28/867.88	c |    396599 |    7173    30499    87474 |   303881   310479     27 | 84.680 % |
868.58/869.15	c |    396973 |    7173    30499    87474 |   303881   310853     27 | 84.680 % |
870.08/870.70	c |    397383 |    7173    30499    87474 |   303881   311263     27 | 84.680 % |
871.68/872.28	c |    397832 |    7173    30499    87474 |   303881   311712     27 | 84.680 % |
873.18/873.76	c |    398326 |    7173    30499    87474 |   303881   312206     27 | 84.680 % |
874.68/875.23	c |    398868 |    7173    30499    87474 |   303881   312748     27 | 84.680 % |
876.28/876.88	c |    399464 |    7160    30426    87282 |   303881   313342     27 | 84.680 % |
878.48/879.00	c |    400121 |    7160    30426    87282 |   313878   313999     27 | 84.680 % |
880.68/881.26	c |    400841 |    7160    30426    87282 |   313878   314719     27 | 84.680 % |
883.08/883.66	c |    401633 |    7160    30426    87282 |   313878   315511     27 | 84.680 % |
885.37/885.92	c |    402506 |    7160    30426    87282 |   313878   316384     27 | 84.680 % |
888.97/889.57	c |    403468 |    7160    30426    87282 |   313878   317346     27 | 84.680 % |
892.68/893.22	c |    404523 |    7160    30426    87282 |   313878   318400     27 | 84.682 % |
896.07/896.66	c |    405682 |    7160    30426    87282 |   313878   319558     27 | 84.706 % |
899.77/900.40	c |    406956 |    7160    30426    87282 |   313878   320832     27 | 84.706 % |
903.87/904.45	c |    408358 |    7160    30426    87282 |   313878   322234     27 | 84.706 % |
908.26/908.82	c |    409901 |    7160    30426    87282 |   313878   323777     27 | 84.706 % |
912.96/913.52	c |    411597 |    7148    30366    87126 |   323859   325456     27 | 84.706 % |
917.86/918.48	c |    413460 |    7148    30366    87126 |   323859   327319     27 | 84.706 % |
925.96/926.50	c |    415512 |    7148    30366    87126 |   323859   329371     27 | 84.706 % |
934.55/935.12	c |    417765 |    7148    30366    87126 |   323859   331624     27 | 84.706 % |
943.15/943.71	c |    420243 |    7148    30366    87126 |   333860   334102     27 | 84.706 % |
950.95/951.56	c |    422972 |    7148    30366    87126 |   333860   336831     27 | 84.706 % |
959.94/960.54	c |    425970 |    7148    30366    87126 |   333860   339829     27 | 84.706 % |
971.74/972.32	c |    429266 |    7148    30366    87126 |   333860   343125     27 | 84.706 % |
983.04/983.69	c |    432891 |    7148    30366    87126 |   343859   346750     27 | 84.706 % |
997.04/997.63	c |    436880 |    7148    30366    87126 |   343859   350739     27 | 84.706 % |
997.33/997.99	c |    436980 |    7148    30366    87126 |   343859   350839     27 | 84.706 % |
997.83/998.48	c |    437090 |    7148    30366    87126 |   343859   350949     27 | 84.706 % |
998.33/998.92	c |    437211 |    7148    30366    87126 |   343859   351070     27 | 84.706 % |
998.83/999.42	c |    437344 |    7148    30366    87126 |   343859   351203     27 | 84.706 % |
999.33/999.95	c |    437494 |    7148    30366    87126 |   343859   351353     27 | 84.706 % |
999.93/1000.53	c |    437655 |    7148    30366    87126 |   343859   351514     27 | 84.706 % |
1000.63/1001.22	c |    437831 |    7148    30366    87126 |   343859   351690     27 | 84.706 % |
1001.43/1002.07	c |    438026 |    7148    30366    87126 |   343859   351885     27 | 84.706 % |
1002.53/1003.14	c |    438241 |    7148    30366    87126 |   343859   352100     27 | 84.706 % |
1003.43/1004.03	c |    438474 |    7148    30366    87126 |   343859   352333     27 | 84.706 % |
1004.53/1005.16	c |    438730 |    7148    30366    87126 |   343859   352589     27 | 84.706 % |
1005.83/1006.46	c |    439011 |    7148    30366    87126 |   343859   352870     27 | 84.706 % |
1007.42/1008.05	c |    439320 |    7148    30366    87126 |   343859   353179     27 | 84.706 % |
1008.72/1009.38	c |    439660 |    7148    30366    87126 |   343859   353519     27 | 84.706 % |
1010.02/1010.67	c |    440037 |    7148    30366    87126 |   353859   353896     27 | 84.706 % |
1011.62/1012.25	c |    440446 |    7148    30366    87126 |   353859   354305     27 | 84.706 % |
1013.62/1014.25	c |    440895 |    7148    30366    87126 |   353859   354754     27 | 84.706 % |
1015.32/1015.90	c |    441388 |    7148    30366    87126 |   353859   355247     27 | 84.706 % |
1017.12/1017.73	c |    441930 |    7148    30366    87126 |   353859   355789     27 | 84.706 % |
1019.32/1019.93	c |    442529 |    7148    30366    87126 |   353859   356388     27 | 84.706 % |
1021.71/1022.32	c |    443188 |    7148    30366    87126 |   353859   357047     27 | 84.706 % |
1024.20/1024.82	c |    443908 |    7148    30366    87126 |   353859   357767     27 | 84.706 % |
1027.20/1027.88	c |    444700 |    7148    30366    87126 |   353859   358559     27 | 84.706 % |
1030.30/1030.97	c |    445572 |    7148    30366    87126 |   353859   359431     27 | 84.706 % |
1033.50/1034.17	c |    446531 |    7148    30366    87126 |   353859   360390     27 | 84.706 % |
1036.60/1037.28	c |    447585 |    7148    30366    87126 |   353859   361444     27 | 84.706 % |
1040.50/1041.19	c |    448743 |    7148    30366    87126 |   353859   362602     27 | 84.706 % |
1044.00/1044.65	c |    450017 |    7148    30366    87126 |   363859   363876     27 | 84.706 % |
1048.30/1048.96	c |    451417 |    7148    30366    87126 |   363859   365276     27 | 84.706 % |
1053.49/1054.12	c |    452957 |    7148    30366    87126 |   363859   366816     27 | 84.706 % |
1059.29/1059.95	c |    454651 |    7148    30366    87126 |   363859   368510     27 | 84.706 % |
1065.78/1066.44	c |    456514 |    7148    30366    87126 |   363859   370373     27 | 84.706 % |
1073.88/1074.55	c |    458563 |    7148    30366    87126 |   363859   372422     27 | 84.706 % |
1082.78/1083.46	c |    460817 |    7148    30366    87126 |   373859   374676     27 | 84.706 % |
1090.87/1091.54	c |    463295 |    7148    30366    87126 |   373859   377154     27 | 84.706 % |
1099.98/1100.62	c |    466020 |    7148    30366    87126 |   373859   379879     27 | 84.706 % |
1109.28/1109.95	c |    469017 |    7148    30366    87126 |   373859   382876     27 | 84.706 % |
1119.36/1120.09	c |    472314 |    7148    30366    87126 |   383860   386173     27 | 84.706 % |
1131.46/1132.18	c |    475941 |    7148    30366    87126 |   383860   389800     27 | 84.706 % |
1144.25/1144.93	c |    479929 |    7148    30366    87126 |   383860   393788     27 | 84.706 % |
1158.74/1159.43	c |    484314 |    7148    30366    87126 |   393861   398173     26 | 84.706 % |
1159.04/1159.75	c |    484414 |    7148    30366    87126 |   393861   398273     26 | 84.706 % |
1159.44/1160.15	c |    484526 |    7148    30366    87126 |   393861   398385     26 | 84.706 % |
1159.94/1160.62	c |    484647 |    7148    30366    87126 |   393861   398506     26 | 84.706 % |
1160.54/1161.24	c |    484780 |    7148    30366    87126 |   393861   398639     26 | 84.706 % |
1161.14/1161.83	c |    484927 |    7148    30366    87126 |   393861   398786     26 | 84.706 % |
1161.64/1162.37	c |    485087 |    7148    30366    87126 |   393861   398946     26 | 84.706 % |
1162.34/1163.02	c |    485263 |    7148    30366    87126 |   393861   399122     26 | 84.706 % |
1162.93/1163.64	c |    485456 |    7148    30366    87126 |   393861   399315     26 | 84.706 % |
1163.63/1164.34	c |    485668 |    7148    30366    87126 |   393861   399527     26 | 84.706 % |
1164.43/1165.17	c |    485901 |    7148    30366    87126 |   393861   399760     26 | 84.706 % |
1165.43/1166.17	c |    486157 |    7148    30366    87126 |   393861   400016     26 | 84.706 % |
1166.44/1167.13	c |    486438 |    7148    30366    87126 |   393861   400297     26 | 84.706 % |
1167.63/1168.40	c |    486748 |    7148    30366    87126 |   393861   400607     26 | 84.706 % |
1168.83/1169.54	c |    487090 |    7148    30366    87126 |   393861   400949     26 | 84.706 % |
1170.33/1171.06	c |    487463 |    7148    30366    87126 |   393861   401322     26 | 84.706 % |
1171.83/1172.52	c |    487874 |    7148    30366    87126 |   393861   401733     26 | 84.706 % |
1173.63/1174.35	c |    488324 |    7148    30366    87126 |   393861   402183     26 | 84.706 % |
1175.43/1176.17	c |    488820 |    7148    30366    87126 |   393861   402679     26 | 84.706 % |
1177.63/1178.36	c |    489362 |    7148    30366    87126 |   393861   403221     26 | 84.706 % |
1180.33/1181.00	c |    489958 |    7148    30366    87126 |   393861   403817     26 | 84.706 % |
1182.83/1183.58	c |    490613 |    7148    30366    87126 |   403859   404472     26 | 84.706 % |
1185.53/1186.24	c |    491334 |    7137    30299    86948 |   403859   405191     26 | 84.729 % |
1188.33/1189.10	c |    492126 |    7137    30299    86948 |   403859   405983     26 | 84.729 % |
1191.32/1192.07	c |    493002 |    7137    30299    86948 |   403859   406858     26 | 84.757 % |
1195.52/1196.22	c |    493960 |    7137    30299    86948 |   403859   407816     26 | 84.757 % |
1199.82/1200.56	c |    495015 |    7137    30299    86948 |   403859   408871     26 | 84.757 % |
1203.91/1204.64	c |    496173 |    7137    30299    86948 |   403859   410028     26 | 84.783 % |
1209.41/1210.16	c |    497448 |    7137    30299    86948 |   403859   411303     26 | 84.783 % |
1213.80/1214.57	c |    498851 |    7137    30299    86948 |   403859   412706     26 | 84.783 % |
1219.80/1220.59	c |    500391 |    7137    30299    86948 |   413855   414246     26 | 84.783 % |
1225.60/1226.36	c |    502085 |    7137    30299    86948 |   413855   415940     26 | 84.783 % |
1233.50/1234.29	c |    503952 |    7137    30299    86948 |   413855   417807     26 | 84.783 % |
1241.10/1241.80	c |    506004 |    7137    30299    86948 |   413855   419859     26 | 84.783 % |
1247.19/1247.96	c |    508257 |    7112    30163    86591 |   413855   422103     26 | 84.783 % |
1254.99/1255.76	c |    510736 |    7112    30163    86591 |   423847   424582     26 | 84.783 % |
1264.68/1265.40	c |    513463 |    7112    30163    86591 |   423847   427309     26 | 84.783 % |
1273.58/1274.34	c |    516460 |    7112    30163    86591 |   423847   430306     26 | 84.783 % |
1286.08/1286.85	c |    519757 |    7112    30163    86591 |   423847   433602     26 | 84.806 % |
1297.77/1298.58	c |    523382 |    7102    30163    86591 |   433848   437226     26 | 91.533 % |
1362.24/1363.09	c |    527369 |    3957    13581    41196 |   433848    95093     23 | 91.533 % |
1367.84/1368.60	c |    531756 |    3957    13581    41196 |    97726    99480     23 | 91.533 % |
1374.34/1375.12	c |    536581 |    3945    13528    41056 |    97726    94508     23 | 91.559 % |
1374.44/1375.27	c |    536681 |    3945    13528    41056 |    97726    94608     23 | 91.559 % |
1374.64/1375.41	c |    536793 |    3945    13528    41056 |    97726    94719     23 | 91.621 % |
1374.74/1375.60	c |    536918 |    3945    13528    41056 |    97726    94844     23 | 91.621 % |
1374.94/1375.78	c |    537052 |    3945    13528    41056 |    97726    94978     23 | 91.621 % |
1375.14/1375.94	c |    537199 |    3945    13528    41056 |    97726    95125     23 | 91.621 % |
1375.34/1376.16	c |    537359 |    3945    13528    41056 |    97726    95285     23 | 91.621 % |
1375.64/1376.43	c |    537535 |    3945    13528    41056 |    97726    95461     23 | 91.621 % |
1375.94/1376.79	c |    537728 |    3916    13360    40556 |    97726    95614     23 | 91.621 % |
1376.24/1377.06	c |    537941 |    3912    13360    40556 |    97726    95825     23 | 91.848 % |
1376.54/1377.37	c |    538178 |    3912    13360    40556 |    97726    96062     23 | 91.848 % |
1376.84/1377.66	c |    538434 |    3912    13360    40556 |    97726    96318     23 | 91.848 % |
1377.24/1378.02	c |    538716 |    3912    13360    40556 |    97726    96600     23 | 91.848 % |
1377.54/1378.36	c |    539027 |    3912    13360    40556 |    97726    96911     23 | 91.848 % |
1377.94/1378.78	c |    539366 |    3912    13360    40556 |    97726    97249     23 | 91.904 % |
1378.44/1379.26	c |    539738 |    3912    13360    40556 |    97726    97621     23 | 91.904 % |
1378.94/1379.72	c |    540148 |    3912    13360    40556 |    97885    98031     23 | 91.904 % |
1379.43/1380.25	c |    540597 |    3912    13360    40556 |    97885    98480     23 | 91.904 % |
1380.03/1380.84	c |    541093 |    3912    13360    40556 |    97885    98976     23 | 91.904 % |
1380.83/1381.62	c |    541637 |    3912    13360    40556 |    97885    99520     23 | 91.904 % |
1381.63/1382.44	c |    542234 |    3912    13360    40556 |    97885   100117     23 | 91.904 % |
1384.13/1384.99	c |    542891 |    3776    12141    37138 |    97885    44717     23 | 92.300 % |
1384.42/1385.21	c ===============================================================================
1384.42/1385.21	c restarts              : 926
1384.42/1385.21	c conflicts             : 543188         (394 /sec)
1384.42/1385.21	c decisions             : 686165         (0.95 % random) (498 /sec)
1384.42/1385.21	c propagations          : 471054574      (341537 /sec)
1384.42/1385.21	c conflict literals     : 13554034       (39.16 % deleted)
1384.42/1385.21	c Memory used           : 74.38 MB
1384.42/1385.21	c CPU time              : 1379.22 s
1384.42/1385.21	c 
1384.42/1385.21	s UNSATISFIABLE
1384.42/1385.22	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837060-1242857018/watcher-1837060-1242857018 -o /tmp/evaluation-result-1837060-1242857018/solver-1837060-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837060-1242857018.cnf 

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 19975
/proc/meminfo: memFree=1472520/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313730789 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 231882850386 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19975/statm: 1339 235 195 169 0 50 0
[pid=19976] ppid=19975 vsize=5356 CPUtime=0
/proc/19976/stat : 19976 (SatELiteGTI) S 19975 19975 19938 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313730789 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/19976/statm: 1339 238 198 169 0 50 0
[pid=19978] ppid=19976 vsize=5356 CPUtime=0
/proc/19978/stat : 19978 (SatELiteGTI) R 19976 19975 19938 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882681639 0 0 4096 0 0 0 0 17 1 0 0
/proc/19978/statm: 1339 239 199 169 0 50 0

[startup+0.085827 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 19975
/proc/meminfo: memFree=1472520/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101827 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 19975
/proc/meminfo: memFree=1472520/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301851 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 19975
/proc/meminfo: memFree=1472520/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701895 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 19975
/proc/meminfo: memFree=1472520/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50198 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 19980
/proc/meminfo: memFree=1401592/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
[pid=19980] ppid=19975 vsize=85776 CPUtime=1.49
/proc/19980/stat : 19980 (SatELite_releas) R 19975 19975 19938 0 -1 4194304 19591 0 0 0 138 11 0 0 25 0 1 0 313730790 87834624 18105 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/19980/statm: 21444 18105 76 173 0 21269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91132

[startup+3.10117 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 19980
/proc/meminfo: memFree=1397240/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=0
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 237 197 169 0 50 0
[pid=19980] ppid=19975 vsize=97556 CPUtime=3.08
/proc/19980/stat : 19980 (SatELite_releas) R 19975 19975 19938 0 -1 4194304 21668 0 0 0 297 11 0 0 25 0 1 0 313730790 99897344 19954 1992294400 134512640 135223648 4294956128 18446744073709551615 134718120 0 0 4096 3 0 0 0 17 0 0 0
/proc/19980/statm: 24389 19954 76 173 0 24214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 102912

[startup+6.30154 s]
/proc/loadavg: 0.23 0.05 0.02 2/66 19981
/proc/meminfo: memFree=1447352/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=17332 CPUtime=1.21
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 3970 0 0 0 120 1 0 0 25 0 1 0 313731296 17747968 3936 1992294400 134512640 135215339 4294956240 18446744073709551615 134526016 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 4333 3936 76 171 0 4160 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22688

[startup+12.7013 s]
/proc/loadavg: 0.29 0.06 0.02 2/66 19981
/proc/meminfo: memFree=1447096/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=17468 CPUtime=7.61
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 3980 0 0 0 759 2 0 0 25 0 1 0 313731296 17887232 3946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 4367 3946 77 171 0 4194 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22824

[startup+25.5018 s]
/proc/loadavg: 0.45 0.11 0.04 2/66 19981
/proc/meminfo: memFree=1446904/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=17792 CPUtime=20.39
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 4073 0 0 0 2037 2 0 0 25 0 1 0 313731296 18219008 4039 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 4448 4039 77 171 0 4275 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23148

[startup+51.1018 s]
/proc/loadavg: 0.64 0.18 0.06 2/66 19981
/proc/meminfo: memFree=1443256/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=21628 CPUtime=45.97
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 4996 0 0 0 4594 3 0 0 25 0 1 0 313731296 22147072 4962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 5407 4962 77 171 0 5234 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 26984

[startup+102.306 s]
/proc/loadavg: 0.84 0.30 0.11 2/66 19981
/proc/meminfo: memFree=1438136/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=26668 CPUtime=97.15
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 6257 0 0 0 9711 4 0 0 25 0 1 0 313731296 27308032 6223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 6667 6223 77 171 0 6494 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 32024

[startup+162.302 s]
/proc/loadavg: 0.94 0.43 0.16 2/66 19981
/proc/meminfo: memFree=1434488/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=30448 CPUtime=157.12
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 7174 0 0 0 15706 6 0 0 25 0 1 0 313731296 31178752 7140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 7612 7140 77 171 0 7439 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 35804

[startup+222.302 s]
/proc/loadavg: 0.98 0.53 0.21 2/66 19981
/proc/meminfo: memFree=1431288/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=33848 CPUtime=217.07
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 7956 0 0 0 21701 6 0 0 25 0 1 0 313731296 34660352 7922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 8462 7922 77 171 0 8289 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 39204

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.26 2/66 19981
/proc/meminfo: memFree=1430584/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=34728 CPUtime=277.03
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 8119 0 0 0 27697 6 0 0 25 0 1 0 313731296 35561472 8085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 8682 8085 77 171 0 8509 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 40084

[startup+342.302 s]
/proc/loadavg: 0.99 0.68 0.30 2/66 19981
/proc/meminfo: memFree=1430008/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=35268 CPUtime=337.01
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 8261 0 0 0 33694 7 0 0 25 0 1 0 313731296 36114432 8227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 8817 8227 77 171 0 8644 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 40624

[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 19981
/proc/meminfo: memFree=1427320/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=37916 CPUtime=396.97

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


[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.65 2/66 19981
/proc/meminfo: memFree=1398072/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=68376 CPUtime=1056.64
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 16226 0 0 0 105649 15 0 0 25 0 1 0 313731296 70017024 16192 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 17094 16192 77 171 0 16921 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 73732

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 19981
/proc/meminfo: memFree=1395768/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=70416 CPUtime=1116.61
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 16783 0 0 0 111645 16 0 0 25 0 1 0 313731296 72105984 16749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 17604 16749 77 171 0 17431 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 75772

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/66 19981
/proc/meminfo: memFree=1393720/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=72352 CPUtime=1176.58
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 17305 0 0 0 117641 17 0 0 25 0 1 0 313731296 74088448 17271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 18088 17271 77 171 0 17915 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 77708

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/66 19981
/proc/meminfo: memFree=1391736/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=74348 CPUtime=1236.54
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 17734 0 0 0 123637 17 0 0 25 0 1 0 313731296 76132352 17700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 18587 17700 77 171 0 18414 0
Current children cumulated CPU time (s) 1241.59
Current children cumulated vsize (KiB) 79704

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 19981
/proc/meminfo: memFree=1389688/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1296.52
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 129635 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134526041 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 81512

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389688/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1356.49
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 135632 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1361.54
Current children cumulated vsize (KiB) 81512

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

[startup+1369.51 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389688/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1363.69
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 136352 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1368.74
Current children cumulated vsize (KiB) 81512

[startup+1375.9 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389688/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1370.09
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 136992 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1375.14
Current children cumulated vsize (KiB) 81512

[startup+1379.1 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1373.29
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137312 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1378.34
Current children cumulated vsize (KiB) 81512

[startup+1382.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1376.48
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137631 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1381.53
Current children cumulated vsize (KiB) 81512

[startup+1383.9 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1378.07
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137790 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134526024 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1383.12
Current children cumulated vsize (KiB) 81512

[startup+1384.7 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1378.87
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137870 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134525090 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1383.92
Current children cumulated vsize (KiB) 81512

[startup+1385.1 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1379.27
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137910 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1384.32
Current children cumulated vsize (KiB) 81512

[startup+1385.2 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 19981
/proc/meminfo: memFree=1389624/2055920 swapFree=4179592/4192956
[pid=19975] ppid=19973 vsize=5356 CPUtime=5.05
/proc/19975/stat : 19975 (SatELiteGTI) S 19973 19975 19938 0 -1 4194304 336 29620 0 0 0 0 486 19 16 0 1 0 313730789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19975/statm: 1339 239 197 169 0 50 0
[pid=19981] ppid=19975 vsize=76156 CPUtime=1379.37
/proc/19981/stat : 19981 (minisat_static) R 19975 19975 19938 0 -1 4194304 18233 0 0 0 137920 17 0 0 25 0 1 0 313731296 77983744 18199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19981/statm: 19039 18199 77 171 0 18866 0
Current children cumulated CPU time (s) 1384.42
Current children cumulated vsize (KiB) 81512

Child status: 20
Real time (s): 1385.23
CPU time (s): 1384.48
CPU user time (s): 1384.09
CPU system time (s): 0.394939
CPU usage (%): 99.9458
Max. virtual memory (cumulated for all children) (KiB): 105660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1384.09
system time used= 0.394939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48350
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= 46
involuntary context switches= 6260

runsolver used 1.77773 second user time and 3.32349 second system time

The end

Launcher Data 

Begin job on node75 at 2009-05-21 00:03:39
IDJOB=1837060
IDBENCH=20374
IDSOLVER=674
FILE ID=node75/1837060-1242857018
PBS_JOBID= 9328444
Free space on /tmp= 66180 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837060-1242857018/watcher-1837060-1242857018 -o /tmp/evaluation-result-1837060-1242857018/solver-1837060-1242857018 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837060-1242857018.cnf

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

MD5SUM BENCH= c716daea92d5e29b94f85a19b52859ac
RANDOM SEED=2016091326

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1473008 kB
Buffers:         60424 kB
Cached:         468600 kB
SwapCached:       7564 kB
Active:         136216 kB
Inactive:       402296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1473008 kB
SwapTotal:     4192956 kB
SwapFree:      4179592 kB
Dirty:           13948 kB
Writeback:           0 kB
Mapped:          14448 kB
Slab:            30324 kB
Committed_AS:   905904 kB
PageTables:       1424 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= 66180 MiB
End job on node75 at 2009-05-21 00:26:45