Trace number 1833801

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 551.655 551.958

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
MD5SUMeb4d0d02a25a8a84182ddd3b6d1fa8b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark270.303
Satisfiable
(Un)Satisfiability was proved
Number of variables33090
Number of clauses165828
Sum of the clauses size478271
Maximum clause length9
Minimum clause length1
Number of clauses of size 14268
Number of clauses of size 241089
Number of clauses of size 397665
Number of clauses of size 415752
Number of clauses of size 56916
Number of clauses of size over 5138

Solver Data

0.00/0.00	c Parsing...
0.00/0.14	c ==============================================================================
0.00/0.14	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.14	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.14	c ==============================================================================
0.00/0.14	c |         0 |  155258   454459 |   46577       0        0     nan |  0.000 % |
1.09/1.12	c |         0 |   68970   232657 |      --       0       --      -- |     --   | -80730/-205120
1.09/1.12	c ==============================================================================
1.09/1.12	c Result  :   #vars: 7889   #clauses: 68970   #literals: 232657
1.09/1.12	c CPU time:   1.07484 s
1.09/1.12	c ==============================================================================
1.18/1.20	c This is MiniSat 2.0 beta
1.18/1.20	c WARNING: for repeatability, setting FPU to use double precision
1.18/1.20	c ============================[ Problem Statistics ]=============================
1.18/1.20	c |                                                                             |
1.18/1.20	c |  Number of variables:  7889                                                 |
1.18/1.20	c |  Number of clauses:    68970                                                |
1.18/1.24	c |  Parsing time:         0.04         s                                       |
1.18/1.25	c ============================[ Search Statistics ]==============================
1.18/1.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.25	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.18/1.25	c ===============================================================================
1.18/1.25	c |         0 |    7889    68970   232657 |    22990        0    nan |  0.000 % |
1.18/1.25	c |       100 |    7888    68970   232657 |    22990       99      7 |  0.013 % |
1.18/1.26	c |       202 |    7888    68970   232657 |    22990      201      9 |  0.013 % |
1.18/1.26	c |       304 |    7888    68970   232657 |    22990      303      9 |  0.013 % |
1.18/1.27	c |       414 |    7887    68970   232657 |    22990      412     10 |  0.038 % |
1.18/1.27	c |       514 |    7886    68970   232657 |    22990      512     10 |  0.038 % |
1.18/1.28	c |       626 |    7886    68970   232657 |    22990      624     11 |  0.038 % |
1.18/1.29	c |       747 |    7886    68970   232657 |    22990      745     11 |  0.038 % |
1.18/1.29	c |       847 |    7886    68970   232657 |    22990      845     11 |  0.038 % |
1.19/1.30	c |       957 |    7886    68970   232657 |    22990      955     11 |  0.038 % |
1.19/1.31	c |      1078 |    7886    68970   232657 |    22990     1076     11 |  0.038 % |
1.19/1.32	c |      1212 |    7886    68970   232657 |    22990     1210     11 |  0.038 % |
1.19/1.33	c |      1312 |    7886    68970   232657 |    22990     1310     11 |  0.038 % |
1.19/1.33	c |      1422 |    7886    68970   232657 |    22990     1420     11 |  0.038 % |
1.19/1.34	c |      1543 |    7886    68970   232657 |    22990     1541     12 |  0.038 % |
1.19/1.35	c |      1676 |    7886    68970   232657 |    22990     1674     12 |  0.038 % |
1.19/1.36	c |      1823 |    7886    68970   232657 |    22990     1821     12 |  0.038 % |
1.19/1.37	c |      1925 |    7886    68970   232657 |    22990     1923     12 |  0.038 % |
1.19/1.37	c |      2037 |    7886    68970   232657 |    22990     2035     12 |  0.038 % |
1.19/1.39	c |      2158 |    7886    68547   230590 |    22990     2155     12 |  0.038 % |
1.19/1.39	c |      2293 |    7886    68547   230590 |    22990     2290     12 |  0.038 % |
1.19/1.40	c |      2440 |    7886    68547   230590 |    22990     2437     12 |  0.038 % |
1.19/1.42	c |      2602 |    7886    68547   230590 |    22990     2599     12 |  0.038 % |
1.19/1.42	c |      2702 |    7886    68547   230590 |    22990     2699     12 |  0.038 % |
1.19/1.43	c |      2813 |    7886    68547   230590 |    22990     2810     13 |  0.038 % |
1.19/1.44	c |      2934 |    7886    68547   230590 |    22990     2931     13 |  0.038 % |
1.19/1.45	c |      3067 |    7886    68547   230590 |    22990     3064     13 |  0.038 % |
1.19/1.46	c |      3213 |    7886    68547   230590 |    22990     3210     13 |  0.038 % |
1.19/1.47	c |      3373 |    7886    68547   230590 |    22990     3370     13 |  0.038 % |
1.19/1.49	c |      3549 |    7886    68547   230590 |    22990     3546     13 |  0.038 % |
1.19/1.49	c |      3649 |    7886    68547   230590 |    22990     3646     13 |  0.038 % |
1.19/1.50	c |      3759 |    7886    68547   230590 |    22990     3756     13 |  0.038 % |
1.19/1.51	c |      3880 |    7886    68547   230590 |    22990     3877     13 |  0.038 % |
1.19/1.52	c |      4013 |    7886    68547   230590 |    22990     4010     13 |  0.038 % |
1.19/1.53	c |      4163 |    7886    68547   230590 |    22990     4160     13 |  0.038 % |
1.19/1.54	c |      4323 |    7886    68547   230590 |    22990     4320     13 |  0.038 % |
1.19/1.55	c |      4501 |    7886    68547   230590 |    22990     4498     13 |  0.038 % |
1.19/1.57	c |      4696 |    7886    68547   230590 |    22990     4693     13 |  0.038 % |
1.19/1.58	c |      4798 |    7886    68547   230590 |    22990     4795     13 |  0.038 % |
1.19/1.59	c |      4908 |    7886    68547   230590 |    22990     4905     13 |  0.038 % |
1.19/1.60	c |      5029 |    7886    68547   230590 |    22990     5026     13 |  0.038 % |
1.19/1.61	c |      5163 |    7886    68547   230590 |    22990     5160     13 |  0.038 % |
1.19/1.62	c |      5309 |    7886    68547   230590 |    22990     5306     13 |  0.038 % |
1.19/1.63	c |      5469 |    7886    68547   230590 |    22990     5466     13 |  0.038 % |
1.19/1.65	c |      5645 |    7886    68547   230590 |    22990     5642     13 |  0.038 % |
1.19/1.67	c |      5838 |    7886    68547   230590 |    22990     5835     13 |  0.038 % |
1.19/1.69	c |      6051 |    7886    68547   230590 |    22990     6048     13 |  0.038 % |
1.19/1.69	c |      6151 |    7886    68547   230590 |    22990     6148     13 |  0.038 % |
1.19/1.70	c |      6261 |    7886    68547   230590 |    22990     6258     13 |  0.038 % |
1.19/1.71	c |      6382 |    7886    68547   230590 |    22990     6379     13 |  0.038 % |
1.19/1.72	c |      6515 |    7886    68547   230590 |    22990     6512     13 |  0.038 % |
1.19/1.74	c |      6662 |    7886    68547   230590 |    22990     6659     14 |  0.038 % |
1.19/1.75	c |      6826 |    7886    68547   230590 |    22990     6823     14 |  0.038 % |
1.19/1.76	c |      7002 |    7886    68547   230590 |    22990     6999     14 |  0.038 % |
1.19/1.78	c |      7195 |    7886    68547   230590 |    22990     7192     14 |  0.038 % |
1.19/1.80	c |      7408 |    7886    68547   230590 |    22990     7405     14 |  0.038 % |
1.19/1.82	c |      7641 |    7886    68547   230590 |    22990     7638     14 |  0.038 % |
1.19/1.83	c |      7741 |    7886    68547   230590 |    22990     7738     14 |  0.038 % |
1.19/1.84	c |      7852 |    7886    68547   230590 |    22990     7849     14 |  0.038 % |
1.19/1.85	c |      7974 |    7886    68547   230590 |    22990     7971     14 |  0.038 % |
1.19/1.86	c |      8107 |    7886    68547   230590 |    22990     8104     14 |  0.038 % |
1.19/1.87	c |      8254 |    7886    68547   230590 |    22990     8251     14 |  0.038 % |
1.19/1.88	c |      8415 |    7886    68547   230590 |    22990     8412     14 |  0.038 % |
1.19/1.90	c |      8594 |    7886    68547   230590 |    22990     8591     14 |  0.038 % |
1.19/1.92	c |      8787 |    7886    68547   230590 |    22990     8784     14 |  0.038 % |
1.19/1.93	c |      8999 |    7886    68547   230590 |    22990     8996     14 |  0.038 % |
1.19/1.95	c |      9232 |    7886    68547   230590 |    22990     9229     14 |  0.038 % |
1.19/1.98	c |      9488 |    7886    68547   230590 |    22990     9485     14 |  0.038 % |
1.19/1.99	c |      9588 |    7886    68547   230590 |    22990     9585     14 |  0.038 % |
1.19/2.00	c |      9700 |    7886    68547   230590 |    22990     9697     14 |  0.038 % |
1.19/2.01	c |      9821 |    7886    68547   230590 |    22990     9818     14 |  0.038 % |
1.19/2.02	c |      9955 |    7886    68547   230590 |    22990     9952     14 |  0.038 % |
1.19/2.04	c |     10102 |    7886    68547   230590 | 2147483647    10099     14 |  0.038 % |
1.19/2.05	c |     10262 |    7886    68547   230590 | 2147483647    10259     14 |  0.038 % |
1.19/2.07	c |     10438 |    7886    68547   230590 | 2147483647    10435     14 |  0.038 % |
1.19/2.08	c |     10631 |    7886    68547   230590 | 2147483647    10628     14 |  0.038 % |
2.07/2.11	c |     10847 |    7886    68547   230590 | 2147483647    10844     14 |  0.038 % |
2.07/2.14	c |     11081 |    7886    68547   230590 | 2147483647    11078     14 |  0.038 % |
2.07/2.17	c |     11338 |    7886    68547   230590 | 2147483647    11335     14 |  0.038 % |
2.07/2.20	c |     11620 |    7886    68547   230590 | 2147483647    11617     14 |  0.038 % |
2.17/2.21	c |     11721 |    7886    68547   230590 | 2147483647    11718     14 |  0.038 % |
2.17/2.22	c |     11831 |    7886    68547   230590 | 2147483647    11828     14 |  0.038 % |
2.17/2.23	c |     11954 |    7886    68547   230590 | 2147483647    11951     15 |  0.038 % |
2.17/2.25	c |     12087 |    7886    68547   230590 | 2147483647    12084     15 |  0.038 % |
2.17/2.26	c |     12234 |    7886    68547   230590 | 2147483647    12231     15 |  0.038 % |
2.17/2.28	c |     12395 |    7886    68547   230590 | 2147483647    12392     15 |  0.038 % |
2.26/2.30	c |     12571 |    7886    68547   230590 | 2147483647    12568     15 |  0.038 % |
2.26/2.32	c |     12765 |    7886    68547   230590 | 2147483647    12762     15 |  0.038 % |
2.26/2.35	c |     12980 |    7886    68547   230590 | 2147483647    12977     15 |  0.038 % |
2.26/2.37	c |     13214 |    7886    68547   230590 | 2147483647    13211     15 |  0.038 % |
2.37/2.40	c |     13472 |    7886    68547   230590 | 2147483647    13469     15 |  0.038 % |
2.37/2.43	c |     13753 |    7886    68547   230590 | 2147483647    13750     15 |  0.038 % |
2.37/2.46	c |     14064 |    7886    68547   230590 | 2147483647    14061     15 |  0.038 % |
2.37/2.47	c |     14164 |    7886    68547   230590 | 2147483647    14161     15 |  0.038 % |
2.37/2.48	c |     14276 |    7886    68547   230590 | 2147483647    14273     15 |  0.038 % |
2.37/2.49	c |     14398 |    7886    68547   230590 | 2147483647    14395     15 |  0.038 % |
2.47/2.51	c |     14531 |    7886    68547   230590 | 2147483647    14528     15 |  0.038 % |
2.47/2.52	c |     14677 |    7886    68547   230590 | 2147483647    14674     15 |  0.038 % |
2.47/2.54	c |     14839 |    7886    68547   230590 | 2147483647    14836     15 |  0.038 % |
2.47/2.56	c |     15019 |    7886    68547   230590 | 2147483647    15016     15 |  0.038 % |
2.47/2.59	c |     15213 |    7886    68547   230590 | 2147483647    15210     15 |  0.038 % |
2.57/2.61	c |     15426 |    7886    68547   230590 | 2147483647    15423     15 |  0.038 % |
2.57/2.65	c |     15659 |    7886    68547   230590 | 2147483647    15656     15 |  0.038 % |
2.57/2.68	c |     15918 |    7886    68547   230590 | 2147483647    15915     15 |  0.038 % |
2.67/2.71	c |     16201 |    7886    68547   230590 | 2147483647    16198     15 |  0.038 % |
2.67/2.76	c |     16510 |    7886    68547   230590 | 2147483647    16507     15 |  0.038 % |
2.77/2.80	c |     16850 |    7886    68547   230590 | 2147483647    16847     15 |  0.038 % |
2.77/2.81	c |     16950 |    7886    68547   230590 | 2147483647    16947     15 |  0.038 % |
2.77/2.82	c |     17060 |    7886    68547   230590 | 2147483647    17057     15 |  0.038 % |
2.77/2.84	c |     17181 |    7886    68547   230590 | 2147483647    17178     15 |  0.038 % |
2.77/2.85	c |     17316 |    7886    68547   230590 | 2147483647    17313     15 |  0.038 % |
2.77/2.87	c |     17463 |    7886    68547   230590 | 2147483647    17460     15 |  0.038 % |
2.77/2.89	c |     17623 |    7886    68547   230590 | 2147483647    17620     15 |  0.038 % |
2.87/2.91	c |     17800 |    7886    68547   230590 | 2147483647    17797     15 |  0.038 % |
2.87/2.94	c |     17993 |    7886    68547   230590 | 2147483647    17990     15 |  0.038 % |
2.87/2.97	c |     18207 |    7886    68547   230590 | 2147483647    18204     15 |  0.038 % |
2.96/3.00	c |     18440 |    7886    68547   230590 | 2147483647    18437     15 |  0.038 % |
2.96/3.04	c |     18699 |    7886    68547   230590 | 2147483647    18696     15 |  0.038 % |
2.96/3.08	c |     18982 |    7886    68547   230590 | 2147483647    18979     15 |  0.038 % |
3.06/3.12	c |     19293 |    7886    68547   230590 | 2147483647    19290     15 |  0.038 % |
3.06/3.16	c |     19634 |    7886    68547   230590 | 2147483647    19631     15 |  0.038 % |
3.17/3.21	c |     20008 |    7886    68547   230590 | 2147483647    20005     15 |  0.038 % |
3.17/3.22	c |     20110 |    7886    68547   230590 | 2147483647    20107     15 |  0.038 % |
3.17/3.24	c |     20221 |    7886    68547   230590 | 2147483647    20218     15 |  0.038 % |
3.17/3.25	c |     20346 |    7886    68547   230590 | 2147483647    20343     15 |  0.038 % |
3.17/3.27	c |     20481 |    7886    68547   230590 | 2147483647    20478     15 |  0.038 % |
3.17/3.29	c |     20627 |    7886    68547   230590 | 2147483647    20624     15 |  0.038 % |
3.27/3.31	c |     20788 |    7886    68547   230590 | 2147483647    20785     15 |  0.038 % |
3.27/3.32	c |     20965 |    7886    68547   230590 | 2147483647    20962     15 |  0.038 % |
3.27/3.35	c |     21159 |    7886    68547   230590 | 2147483647    21156     15 |  0.038 % |
3.27/3.38	c |     21372 |    7886    68547   230590 | 2147483647    21369     15 |  0.038 % |
3.36/3.42	c |     21610 |    7886    68547   230590 | 2147483647    21607     15 |  0.038 % |
3.36/3.45	c |     21866 |    7886    68547   230590 | 2147483647    21863     15 |  0.038 % |
3.46/3.50	c |     22147 |    7886    68547   230590 | 2147483647    22144     15 |  0.038 % |
3.46/3.55	c |     22457 |    7886    68547   230590 | 2147483647    22454     15 |  0.038 % |
3.56/3.61	c |     22796 |    7886    68547   230590 | 2147483647    22793     15 |  0.038 % |
3.56/3.67	c |     23170 |    7886    68547   230590 | 2147483647    23167     15 |  0.038 % |
3.66/3.72	c |     23580 |    7886    68547   230590 | 2147483647    23577     15 |  0.038 % |
3.66/3.74	c |     23682 |    7886    68547   230590 | 2147483647    23679     15 |  0.038 % |
3.66/3.76	c |     23792 |    7886    68547   230590 | 2147483647    23789     15 |  0.038 % |
3.66/3.78	c |     23913 |    7886    68547   230590 | 2147483647    23910     15 |  0.038 % |
3.76/3.81	c |     24046 |    7886    68547   230590 | 2147483647    24043     15 |  0.038 % |
3.76/3.84	c |     24192 |    7886    68547   230590 | 2147483647    24189     15 |  0.038 % |
3.76/3.87	c |     24354 |    7886    68547   230590 | 2147483647    24351     15 |  0.038 % |
3.76/3.89	c |     24530 |    7886    68547   230590 | 2147483647    24527     15 |  0.038 % |
3.86/3.92	c |     24723 |    7886    68547   230590 | 2147483647    24720     15 |  0.038 % |
3.86/3.95	c |     24937 |    7886    68547   230590 | 2147483647    24934     15 |  0.038 % |
3.86/3.99	c |     25170 |    7886    68547   230590 | 2147483647    25167     15 |  0.038 % |
3.96/4.04	c |     25426 |    7886    68547   230590 | 2147483647    25423     15 |  0.038 % |
3.96/4.08	c |     25708 |    7886    68547   230590 | 2147483647    25705     15 |  0.038 % |
4.06/4.14	c |     26017 |    7886    68547   230590 | 2147483647    26014     15 |  0.038 % |
4.16/4.20	c |     26356 |    7886    68547   230590 | 2147483647    26353     15 |  0.038 % |
4.16/4.26	c |     26728 |    7886    68547   230590 | 2147483647    26725     16 |  0.038 % |
4.27/4.33	c |     27138 |    7886    68547   230590 | 2147483647    27135     15 |  0.038 % |
4.37/4.41	c |     27587 |    7886    68547   230590 | 2147483647    27584     16 |  0.038 % |
4.37/4.43	c |     27687 |    7886    68547   230590 | 2147483647    27684     16 |  0.038 % |
4.37/4.45	c |     27798 |    7886    68547   230590 | 2147483647    27795     15 |  0.038 % |
4.37/4.47	c |     27919 |    7886    68547   230590 | 2147483647    27916     16 |  0.038 % |
4.37/4.49	c |     28052 |    7886    68547   230590 | 2147483647    28049     16 |  0.038 % |
4.46/4.52	c |     28199 |    7886    68547   230590 | 2147483647    28196     15 |  0.038 % |
4.46/4.54	c |     28361 |    7886    68547   230590 | 2147483647    28358     15 |  0.038 % |
4.46/4.58	c |     28537 |    7886    68547   230590 | 2147483647    28534     15 |  0.038 % |
4.56/4.61	c |     28730 |    7886    68547   230590 | 2147483647    28727     15 |  0.038 % |
4.56/4.65	c |     28942 |    7886    68547   230590 | 2147483647    28939     15 |  0.038 % |
4.56/4.69	c |     29175 |    7886    68547   230590 | 2147483647    29172     15 |  0.038 % |
4.66/4.73	c |     29431 |    7886    68547   230590 | 2147483647    29428     15 |  0.038 % |
4.66/4.79	c |     29713 |    7886    68547   230590 | 2147483647    29710     15 |  0.038 % |
4.76/4.82	c |     30023 |    7886    68547   230590 | 2147483647    30020     15 |  0.038 % |
4.76/4.86	c |     30362 |    7886    68547   230590 | 2147483647    30359     15 |  0.038 % |
4.86/4.93	c |     30735 |    7886    68547   230590 | 2147483647    30732     15 |  0.038 % |
4.96/5.01	c |     31145 |    7886    68547   230590 | 2147483647    31142     15 |  0.038 % |
4.96/5.09	c |     31599 |    7886    68547   230590 | 2147483647    31596     15 |  0.038 % |
5.06/5.18	c |     32092 |    7886    68547   230590 | 2147483647    32089     15 |  0.038 % |
5.16/5.21	c |     32193 |    7886    68547   230590 | 2147483647    32190     15 |  0.038 % |
5.16/5.24	c |     32303 |    7885    68531   230557 | 2147483647    32299     15 |  0.051 % |
5.16/5.26	c |     32425 |    7885    68531   230557 | 2147483647    32421     15 |  0.051 % |
5.16/5.29	c |     32559 |    7885    68531   230557 | 2147483647    32555     15 |  0.051 % |
5.26/5.32	c |     32706 |    7885    68531   230557 | 2147483647    32702     15 |  0.051 % |
5.26/5.35	c |     32866 |    7885    68531   230557 | 2147483647    32862     15 |  0.051 % |
5.26/5.39	c |     33042 |    7885    68531   230557 | 2147483647    33038     15 |  0.051 % |
5.37/5.43	c |     33236 |    7885    68531   230557 | 2147483647    33232     15 |  0.051 % |
5.37/5.47	c |     33450 |    7885    68531   230557 | 2147483647    33446     16 |  0.051 % |
5.47/5.51	c |     33683 |    7885    68531   230557 | 2147483647    33679     16 |  0.051 % |
5.47/5.57	c |     33940 |    7885    68531   230557 | 2147483647    33936     16 |  0.051 % |
5.56/5.64	c |     34223 |    7885    68531   230557 | 2147483647    34219     16 |  0.051 % |
5.56/5.70	c |     34534 |    7885    68531   230557 | 2147483647    34530     16 |  0.051 % |
5.66/5.77	c |     34876 |    7885    68531   230557 | 2147483647    34872     16 |  0.051 % |
5.76/5.86	c |     35248 |    7885    68531   230557 | 2147483647    35244     16 |  0.051 % |
5.86/5.95	c |     35658 |    7885    68531   230557 | 2147483647    35654     16 |  0.051 % |
5.96/6.04	c |     36107 |    7885    68531   230557 | 2147483647    36103     16 |  0.051 % |
6.06/6.16	c |     36600 |    7885    68531   230557 | 2147483647    36596     16 |  0.051 % |
6.16/6.29	c |     37144 |    7885    68531   230557 | 2147483647    37140     16 |  0.051 % |
6.26/6.31	c |     37244 |    7885    68531   230557 | 2147483647    37240     16 |  0.051 % |
6.26/6.32	c |     37355 |    7885    68531   230557 | 2147483647    37351     16 |  0.051 % |
6.26/6.35	c |     37478 |    7885    68531   230557 | 2147483647    37474     16 |  0.051 % |
6.26/6.38	c |     37612 |    7885    68531   230557 | 2147483647    37608     16 |  0.051 % |
6.36/6.41	c |     37758 |    7885    68531   230557 | 2147483647    37754     16 |  0.051 % |
6.36/6.45	c |     37919 |    7885    68531   230557 | 2147483647    37915     16 |  0.051 % |
6.36/6.50	c |     38095 |    7885    68531   230557 | 2147483647    38091     16 |  0.051 % |
6.47/6.55	c |     38289 |    7885    68531   230557 | 2147483647    38285     16 |  0.051 % |
6.57/6.60	c |     38501 |    7885    68531   230557 | 2147483647    38497     16 |  0.051 % |
6.57/6.67	c |     38734 |    7885    68531   230557 | 2147483647    38730     16 |  0.051 % |
6.66/6.72	c |     38993 |    7885    68531   230557 | 2147483647    38989     16 |  0.051 % |
6.77/6.81	c |     39275 |    7885    68531   230557 | 2147483647    39271     16 |  0.051 % |
6.77/6.89	c |     39584 |    7885    68531   230557 | 2147483647    39580     16 |  0.051 % |
6.87/6.97	c |     39924 |    7885    68531   230557 | 2147483647    39920     16 |  0.051 % |
7.07/7.11	c |     40297 |    7885    68531   230557 | 2147483647    40293     16 |  0.051 % |
7.07/7.19	c |     40706 |    7885    68531   230557 | 2147483647    40702     16 |  0.051 % |
7.17/7.29	c |     41155 |    7885    68531   230557 | 2147483647    41151     16 |  0.051 % |
7.37/7.40	c |     41648 |    7885    68531   230557 | 2147483647    41644     16 |  0.051 % |
7.47/7.51	c |     42191 |    7885    68531   230557 | 2147483647    42187     16 |  0.051 % |
7.57/7.62	c |     42787 |    7885    68531   230557 | 2147483647    42783     16 |  0.051 % |
7.57/7.65	c |     42887 |    7885    68531   230557 | 2147483647    42883     16 |  0.051 % |
7.57/7.68	c |     42998 |    7885    68531   230557 | 2147483647    42994     16 |  0.051 % |
7.67/7.71	c |     43121 |    7885    68531   230557 | 2147483647    43117     16 |  0.051 % |
7.67/7.74	c |     43254 |    7885    68531   230557 | 2147483647    43250     16 |  0.051 % |
7.67/7.76	c |     43400 |    7885    68531   230557 | 2147483647    43396     16 |  0.051 % |
7.77/7.81	c |     43560 |    7885    68531   230557 | 2147483647    43556     16 |  0.051 % |
7.77/7.83	c |     43736 |    7885    68531   230557 | 2147483647    43732     16 |  0.051 % |
7.77/7.87	c |     43930 |    7885    68531   230557 | 2147483647    43926     16 |  0.051 % |
7.87/7.94	c |     44142 |    7885    68531   230557 | 2147483647    44138     16 |  0.051 % |
7.87/7.97	c |     44375 |    7885    68531   230557 | 2147483647    44371     16 |  0.051 % |
7.97/8.05	c |     44631 |    7885    68531   230557 | 2147483647    44627     16 |  0.051 % |
8.07/8.14	c |     44912 |    7885    68531   230557 | 2147483647    44908     16 |  0.051 % |
8.17/8.20	c |     45221 |    7885    68531   230557 | 2147483647    45217     16 |  0.051 % |
8.17/8.27	c |     45561 |    7885    68531   230557 | 2147483647    45557     16 |  0.051 % |
8.27/8.37	c |     45934 |    7885    68531   230557 | 2147483647    45930     16 |  0.051 % |
8.37/8.47	c |     46343 |    7885    68531   230557 | 2147483647    46339     16 |  0.051 % |
8.57/8.65	c |     46794 |    7885    68531   230557 | 2147483647    46790     16 |  0.051 % |
8.67/8.80	c |     47288 |    7885    68531   230557 | 2147483647    47284     16 |  0.051 % |
8.87/8.93	c |     47830 |    7885    68531   230557 | 2147483647    47826     17 |  0.051 % |
9.07/9.10	c |     48427 |    7885    68531   230557 | 2147483647    48423     17 |  0.051 % |
9.07/9.19	c |     49082 |    7885    68531   230557 | 2147483647    49078     17 |  0.051 % |
9.16/9.22	c |     49182 |    7885    68531   230557 | 2147483647    49178     17 |  0.051 % |
9.16/9.23	c |     49293 |    7885    68531   230557 | 2147483647    49289     17 |  0.051 % |
9.16/9.27	c |     49414 |    7885    68531   230557 | 2147483647    49410     17 |  0.051 % |
9.26/9.30	c |     49548 |    7885    68531   230557 | 2147483647    49544     17 |  0.051 % |
9.26/9.36	c |     49694 |    7885    68531   230557 | 2147483647    49690     17 |  0.051 % |
9.36/9.42	c |     49854 |    7885    68531   230557 | 2147483647    49850     17 |  0.051 % |
9.36/9.45	c |     50030 |    7885    68531   230557 | 2147483647    50026     17 |  0.051 % |
9.46/9.51	c |     50224 |    7885    68531   230557 | 2147483647    50220     17 |  0.051 % |
9.46/9.59	c |     50439 |    7885    68531   230557 | 2147483647    50435     17 |  0.051 % |
9.56/9.66	c |     50674 |    7885    68531   230557 | 2147483647    50670     17 |  0.051 % |
9.66/9.74	c |     50931 |    7885    68531   230557 | 2147483647    50927     17 |  0.051 % |
9.76/9.81	c |     51212 |    7885    68531   230557 | 2147483647    51208     17 |  0.051 % |
9.76/9.90	c |     51521 |    7885    68531   230557 | 2147483647    51517     17 |  0.051 % |
9.96/10.04	c |     51862 |    7885    68531   230557 | 2147483647    51858     17 |  0.051 % |
10.06/10.17	c |     52239 |    7885    68531   230557 | 2147483647    52235     17 |  0.051 % |
10.26/10.32	c |     52648 |    7885    68531   230557 | 2147483647    52644     17 |  0.051 % |
10.36/10.43	c |     53098 |    7885    68531   230557 | 2147483647    53094     17 |  0.051 % |
10.56/10.61	c |     53591 |    7885    68531   230557 | 2147483647    53587     17 |  0.051 % |
10.76/10.80	c |     54133 |    7885    68531   230557 | 2147483647    54129     17 |  0.051 % |
10.96/11.02	c |     54731 |    7885    68531   230557 | 2147483647    54727     17 |  0.051 % |
11.16/11.26	c |     55386 |    7885    68531   230557 | 2147483647    55382     17 |  0.051 % |
11.35/11.49	c |     56106 |    7885    68531   230557 | 2147483647    56102     17 |  0.051 % |
11.45/11.53	c |     56207 |    7885    68531   230557 | 2147483647    56203     17 |  0.051 % |
11.45/11.57	c |     56317 |    7885    68531   230557 | 2147483647    56313     17 |  0.051 % |
11.55/11.62	c |     56443 |    7885    68531   230557 | 2147483647    56439     17 |  0.051 % |
11.55/11.67	c |     56576 |    7885    68531   230557 | 2147483647    56572     17 |  0.051 % |
11.65/11.74	c |     56723 |    7885    68531   230557 | 2147483647    56719     17 |  0.051 % |
11.75/11.81	c |     56883 |    7885    68531   230557 | 2147483647    56879     17 |  0.051 % |
11.75/11.88	c |     57059 |    7885    68531   230557 | 2147483647    57055     17 |  0.051 % |
11.85/11.97	c |     57252 |    7885    68531   230557 | 2147483647    57248     17 |  0.051 % |
11.96/12.07	c |     57465 |    7885    68531   230557 | 2147483647    57461     17 |  0.051 % |
12.06/12.17	c |     57698 |    7885    68531   230557 | 2147483647    57694     17 |  0.051 % |
12.15/12.26	c |     57956 |    7885    68531   230557 | 2147483647    57952     17 |  0.051 % |
12.25/12.35	c |     58239 |    7885    68531   230557 | 2147483647    58235     17 |  0.051 % |
12.36/12.48	c |     58548 |    7885    68531   230557 | 2147483647    58544     17 |  0.051 % |
12.56/12.61	c |     58890 |    7885    68531   230557 | 2147483647    58886     17 |  0.051 % |
12.76/12.81	c |     59262 |    7885    68531   230557 | 2147483647    59258     17 |  0.051 % |
12.86/12.96	c |     59671 |    7885    68531   230557 | 2147483647    59667     17 |  0.051 % |
13.07/13.13	c |     60120 |    7885    68531   230557 | 2147483647    60116     17 |  0.051 % |
13.26/13.31	c |     60615 |    7885    68531   230557 | 2147483647    60611     17 |  0.051 % |
13.46/13.53	c |     61158 |    7885    68531   230557 | 2147483647    61154     17 |  0.051 % |
13.76/13.81	c |     61756 |    7885    68531   230557 | 2147483647    61752     17 |  0.051 % |
14.06/14.12	c |     62413 |    7885    68531   230557 | 2147483647    62409     17 |  0.051 % |
14.36/14.43	c |     63136 |    7885    68531   230557 | 2147483647    63132     17 |  0.051 % |
14.76/14.83	c |     63930 |    7885    68531   230557 | 2147483647    63926     17 |  0.051 % |
14.76/14.88	c |     64030 |    7885    68531   230557 | 2147483647    64026     17 |  0.051 % |
14.86/14.93	c |     64142 |    7885    68531   230557 | 2147483647    64138     17 |  0.051 % |
14.96/15.01	c |     64263 |    7885    68531   230557 | 2147483647    64259     17 |  0.051 % |
14.96/15.06	c |     64396 |    7885    68531   230557 | 2147483647    64392     17 |  0.051 % |
15.06/15.12	c |     64543 |    7885    68531   230557 | 2147483647    64539     17 |  0.051 % |
15.16/15.20	c |     64703 |    7885    68531   230557 | 2147483647    64699     17 |  0.051 % |
15.16/15.29	c |     64880 |    7885    68531   230557 | 2147483647    64876     17 |  0.051 % |
15.26/15.39	c |     65074 |    7885    68531   230557 | 2147483647    65070     17 |  0.051 % |
15.46/15.51	c |     65288 |    7885    68531   230557 | 2147483647    65284     17 |  0.051 % |
15.56/15.62	c |     65522 |    7885    68531   230557 | 2147483647    65518     17 |  0.051 % |
15.66/15.73	c |     65779 |    7885    68531   230557 | 2147483647    65775     17 |  0.051 % |
15.76/15.88	c |     66060 |    7885    68531   230557 | 2147483647    66056     17 |  0.051 % |
15.96/16.03	c |     66372 |    7885    68531   230557 | 2147483647    66368     17 |  0.051 % |
16.16/16.21	c |     66711 |    7885    68531   230557 | 2147483647    66707     17 |  0.051 % |
16.26/16.36	c |     67083 |    7885    68531   230557 | 2147483647    67079     17 |  0.051 % |
16.46/16.59	c |     67492 |    7885    68531   230557 | 2147483647    67488     18 |  0.051 % |
16.66/16.72	c |     67942 |    7885    68531   230557 | 2147483647    67938     18 |  0.051 % |
16.76/16.85	c |     68436 |    7885    68531   230557 | 2147483647    68432     18 |  0.051 % |
16.96/17.02	c |     68978 |    7885    68531   230557 | 2147483647    68974     18 |  0.051 % |
17.16/17.23	c |     69574 |    7885    68531   230557 | 2147483647    69570     18 |  0.051 % |
17.56/17.61	c |     70229 |    7885    68531   230557 | 2147483647    70225     18 |  0.051 % |
17.95/18.01	c |     70951 |    7885    68531   230557 | 2147483647    70947     18 |  0.051 % |
18.35/18.45	c |     71744 |    7885    68531   230557 | 2147483647    71740     18 |  0.051 % |
18.85/18.93	c |     72617 |    7885    68531   230557 | 2147483647    72613     18 |  0.051 % |
18.85/18.97	c |     72718 |    7885    68531   230557 | 2147483647    72714     18 |  0.051 % |
18.95/19.01	c |     72828 |    7885    68531   230557 | 2147483647    72824     18 |  0.051 % |
19.05/19.10	c |     72949 |    7885    68531   230557 | 2147483647    72945     18 |  0.051 % |
19.05/19.16	c |     73082 |    7885    68531   230557 | 2147483647    73078     18 |  0.051 % |
19.15/19.25	c |     73228 |    7885    68531   230557 | 2147483647    73224     18 |  0.051 % |
19.25/19.34	c |     73390 |    7885    68531   230557 | 2147483647    73386     18 |  0.051 % |
19.35/19.44	c |     73567 |    7885    68531   230557 | 2147483647    73563     18 |  0.051 % |
19.45/19.54	c |     73761 |    7885    68531   230557 | 2147483647    73757     18 |  0.051 % |
19.55/19.62	c |     73978 |    7885    68531   230557 | 2147483647    73974     18 |  0.051 % |
19.66/19.77	c |     74211 |    7885    68531   230557 | 2147483647    74207     18 |  0.051 % |
19.76/19.89	c |     74467 |    7885    68531   230557 | 2147483647    74463     18 |  0.051 % |
19.95/20.05	c |     74748 |    7885    68531   230557 | 2147483647    74744     18 |  0.051 % |
20.25/20.30	c |     75057 |    7885    68531   230557 | 2147483647    75053     18 |  0.051 % |
20.45/20.57	c |     75396 |    7885    68531   230557 | 2147483647    75392     18 |  0.051 % |
20.65/20.79	c |     75768 |    7885    68531   230557 | 2147483647    75764     18 |  0.051 % |
21.05/21.10	c |     76179 |    7885    68531   230557 | 2147483647    76175     18 |  0.051 % |
21.25/21.35	c |     76629 |    7885    68531   230557 | 2147483647    76625     18 |  0.051 % |
21.55/21.64	c |     77122 |    7885    68531   230557 | 2147483647    77118     18 |  0.051 % |
21.85/21.98	c |     77664 |    7885    68531   230557 | 2147483647    77660     18 |  0.051 % |
22.25/22.40	c |     78260 |    7885    68531   230557 | 2147483647    78256     18 |  0.051 % |
22.75/22.86	c |     78916 |    7885    68531   230557 | 2147483647    78912     18 |  0.051 % |
23.25/23.33	c |     79637 |    7885    68531   230557 | 2147483647    79633     18 |  0.051 % |
23.85/23.90	c |     80429 |    7885    68531   230557 | 2147483647    80425     18 |  0.051 % |
24.45/24.51	c |     81301 |    7885    68531   230557 | 2147483647    81297     18 |  0.051 % |
25.05/25.14	c |     82259 |    7885    68531   230557 | 2147483647    82255     18 |  0.051 % |
25.15/25.23	c |     82361 |    7885    68531   230557 | 2147483647    82357     18 |  0.051 % |
25.15/25.30	c |     82472 |    7885    68531   230557 | 2147483647    82468     18 |  0.051 % |
25.25/25.38	c |     82595 |    7885    68531   230557 | 2147483647    82591     18 |  0.051 % |
25.45/25.51	c |     82728 |    7885    68531   230557 | 2147483647    82724     18 |  0.051 % |
25.55/25.61	c |     82874 |    7885    68531   230557 | 2147483647    82870     18 |  0.051 % |
25.64/25.71	c |     83034 |    7885    68531   230557 | 2147483647    83030     18 |  0.051 % |
25.74/25.82	c |     83211 |    7885    68531   230557 | 2147483647    83207     18 |  0.051 % |
25.84/25.92	c |     83404 |    7885    68531   230557 | 2147483647    83400     18 |  0.051 % |
25.94/26.04	c |     83617 |    7885    68531   230557 | 2147483647    83613     18 |  0.051 % |
26.05/26.19	c |     83851 |    7885    68531   230557 | 2147483647    83847     18 |  0.051 % |
26.26/26.34	c |     84109 |    7885    68531   230557 | 2147483647    84105     18 |  0.051 % |
26.45/26.55	c |     84390 |    7885    68531   230557 | 2147483647    84386     18 |  0.051 % |
26.65/26.75	c |     84700 |    7885    68531   230557 | 2147483647    84696     18 |  0.051 % |
26.85/26.97	c |     85042 |    7885    68531   230557 | 2147483647    85038     18 |  0.051 % |
27.15/27.26	c |     85415 |    7885    68531   230557 | 2147483647    85411     18 |  0.051 % |
27.45/27.52	c |     85824 |    7885    68531   230557 | 2147483647    85820     18 |  0.051 % |
27.75/27.86	c |     86274 |    7885    68531   230557 | 2147483647    86270     18 |  0.051 % |
28.25/28.30	c |     86767 |    7885    68531   230557 | 2147483647    86763     18 |  0.051 % |
28.55/28.67	c |     87309 |    7885    68531   230557 | 2147483647    87305     18 |  0.051 % |
28.95/29.08	c |     87905 |    7885    68531   230557 | 2147483647    87901     18 |  0.051 % |
29.35/29.43	c |     88560 |    7885    68531   230557 | 2147483647    88556     18 |  0.051 % |
29.95/30.00	c |     89282 |    7885    68531   230557 | 2147483647    89278     18 |  0.051 % |
30.55/30.68	c |     90074 |    7885    68531   230557 |    89997    90070     18 |  0.051 % |
31.44/31.55	c |     90945 |    7885    68531   230557 |    89997    78534     18 |  0.051 % |
32.04/32.15	c |     91905 |    7885    68531   230557 |    89997    79494     19 |  0.051 % |
32.74/32.85	c |     92958 |    7885    68531   230557 |    89997    80547     19 |  0.051 % |
32.85/32.92	c |     93061 |    7885    68531   230557 |    89997    80650     19 |  0.051 % |
32.95/33.05	c |     93171 |    7885    68531   230557 |    89997    80760     19 |  0.051 % |
33.04/33.17	c |     93293 |    7885    68531   230557 |    89997    80882     19 |  0.051 % |
33.24/33.32	c |     93429 |    7885    68531   230557 |    89997    81018     19 |  0.051 % |
33.34/33.49	c |     93577 |    7885    68531   230557 |    89997    81166     19 |  0.051 % |
33.54/33.60	c |     93738 |    7885    68531   230557 |    89997    81327     19 |  0.051 % |
33.64/33.71	c |     93914 |    7885    68531   230557 |    89997    81503     19 |  0.051 % |
33.74/33.86	c |     94107 |    7885    68531   230557 |    89997    81696     19 |  0.051 % |
33.84/33.97	c |     94319 |    7885    68531   230557 |    89997    81908     19 |  0.051 % |
34.04/34.12	c |     94555 |    7885    68531   230557 |    89997    82144     19 |  0.051 % |
34.14/34.28	c |     94812 |    7885    68531   230557 |    89997    82401     19 |  0.051 % |
34.34/34.46	c |     95094 |    7885    68531   230557 |    89997    82683     19 |  0.051 % |
34.44/34.57	c |     95404 |    7885    68531   230557 |    89997    82993     19 |  0.051 % |
34.64/34.70	c |     95743 |    7885    68531   230557 |    89997    83332     19 |  0.051 % |
34.74/34.86	c |     96115 |    7885    68531   230557 |    89997    83704     19 |  0.051 % |
34.84/34.97	c |     96524 |    7885    68531   230557 |    89997    84113     19 |  0.051 % |
35.14/35.23	c |     96973 |    7880    68112   227693 |    89997    84540     19 |  0.190 % |
35.53/35.69	c |     97467 |    7880    68112   227693 |    89997    85034     19 |  0.190 % |
35.93/36.08	c |     98009 |    7880    68112   227693 |    89997    85576     19 |  0.190 % |
36.33/36.41	c |     98607 |    7880    68112   227693 |    89997    86174     19 |  0.190 % |
36.63/36.78	c |     99263 |    7880    68112   227693 |    89997    86830     19 |  0.190 % |
37.34/37.44	c |     99983 |    7880    68112   227693 |    89997    87550     19 |  0.190 % |
37.83/37.93	c |    100778 |    7880    68112   227693 |    87567    75737     19 |  0.190 % |
38.53/38.62	c |    101649 |    7880    68112   227693 |    87567    76608     19 |  0.190 % |
39.43/39.56	c |    102607 |    7880    68112   227693 |    87567    77566     19 |  0.190 % |
40.33/40.46	c |    103661 |    7880    68112   227693 |    87567    78620     19 |  0.190 % |
41.53/41.68	c |    104822 |    7880    68112   227693 |    87567    79781     19 |  0.190 % |
41.63/41.76	c |    104923 |    7880    68112   227693 |    87567    79882     19 |  0.190 % |
41.73/41.81	c |    105034 |    7880    68112   227693 |    87567    79993     19 |  0.190 % |
41.83/41.97	c |    105157 |    7880    68112   227693 |    87567    80116     19 |  0.190 % |
42.03/42.12	c |    105290 |    7880    68112   227693 |    87567    80249     19 |  0.190 % |
42.13/42.29	c |    105437 |    7874    67280   223601 |    87567    79696     19 |  0.190 % |
42.33/42.47	c |    105603 |    7874    67280   223601 |    87567    79862     19 |  0.190 % |
42.53/42.64	c |    105779 |    7874    67280   223601 |    87567    80038     19 |  0.190 % |
42.73/42.81	c |    105973 |    7874    67280   223601 |    87567    80232     19 |  0.190 % |
42.83/42.96	c |    106185 |    7874    67280   223601 |    87567    80444     19 |  0.190 % |
43.03/43.13	c |    106418 |    7874    67280   223601 |    87567    80677     19 |  0.190 % |
43.23/43.32	c |    106675 |    7874    67280   223601 |    87567    80934     19 |  0.190 % |
43.43/43.54	c |    106956 |    7874    67280   223601 |    87567    81215     19 |  0.190 % |
43.73/43.81	c |    107266 |    7874    67280   223601 |    87567    81525     19 |  0.190 % |
44.03/44.11	c |    107605 |    7874    67280   223601 |    87567    81864     19 |  0.190 % |
44.33/44.41	c |    107978 |    7874    67280   223601 |    87567    82237     19 |  0.190 % |
44.53/44.65	c |    108393 |    7874    67280   223601 |    87567    82652     19 |  0.190 % |
44.83/44.96	c |    108844 |    7874    67280   223601 |    87567    83103     19 |  0.190 % |
45.23/45.34	c |    109337 |    7874    67280   223601 |    87567    83596     19 |  0.190 % |
45.73/45.85	c |    109880 |    7874    67280   223601 |    87567    84139     19 |  0.190 % |
46.43/46.51	c |    110477 |    7874    67280   223601 |    84259    70487     18 |  0.190 % |
46.63/46.76	c |    111133 |    7874    67280   223601 |    84259    71143     19 |  0.190 % |
47.23/47.32	c |    111856 |    7874    67280   223601 |    84259    71866     19 |  0.190 % |
47.73/47.87	c |    112649 |    7874    67280   223601 |    84259    72659     19 |  0.190 % |
48.43/48.58	c |    113520 |    7874    67280   223601 |    84259    73530     19 |  0.190 % |
49.13/49.21	c |    114478 |    7874    67280   223601 |    84259    74488     19 |  0.190 % |
49.83/50.00	c |    115531 |    7874    67280   223601 |    84259    75541     19 |  0.190 % |
51.03/51.12	c |    116690 |    7874    67280   223601 |    84259    76700     19 |  0.190 % |
52.32/52.42	c |    117963 |    7874    67280   223601 |    84259    77973     19 |  0.190 % |
52.32/52.48	c |    118063 |    7874    67280   223601 |    84259    78073     19 |  0.190 % |
52.52/52.60	c |    118173 |    7874    67280   223601 |    84259    78183     19 |  0.190 % |
52.63/52.78	c |    118294 |    7874    67280   223601 |    84259    78304     19 |  0.190 % |
52.82/52.90	c |    118427 |    7874    67280   223601 |    84259    78437     19 |  0.190 % |
52.92/53.07	c |    118573 |    7874    67280   223601 |    84259    78583     19 |  0.190 % |
53.12/53.23	c |    118733 |    7874    67280   223601 |    84259    78743     19 |  0.190 % |
53.22/53.33	c |    118909 |    7874    67280   223601 |    84259    78919     19 |  0.190 % |
53.42/53.51	c |    119105 |    7874    67280   223601 |    84259    79115     19 |  0.190 % |
53.62/53.71	c |    119318 |    7874    67280   223601 |    84259    79328     19 |  0.190 % |
53.73/53.88	c |    119552 |    7874    67280   223601 |    84259    79562     19 |  0.190 % |
54.02/54.14	c |    119808 |    7874    67280   223601 |    84259    79818     19 |  0.190 % |
54.12/54.29	c |    120089 |    7874    67280   223601 |    80010    80099     19 |  0.190 % |
54.52/54.65	c |    120398 |    7874    67280   223601 |    80010    68159     18 |  0.190 % |
54.62/54.76	c |    120738 |    7874    67280   223601 |    80010    68499     18 |  0.190 % |
54.82/54.93	c |    121110 |    7874    67280   223601 |    80010    68871     18 |  0.190 % |
54.92/55.04	c |    121521 |    7874    67280   223601 |    80010    69282     18 |  0.190 % |
55.22/55.35	c |    121971 |    7874    67280   223601 |    80010    69732     18 |  0.190 % |
55.32/55.48	c |    122466 |    7874    67280   223601 |    80010    70227     18 |  0.190 % |
55.52/55.67	c |    123010 |    7874    67280   223601 |    80010    70771     18 |  0.190 % |
55.82/55.95	c |    123607 |    7874    67280   223601 |    80010    71368     18 |  0.190 % |
56.02/56.11	c |    124263 |    7874    67280   223601 |    80010    72024     18 |  0.190 % |
56.22/56.37	c |    124983 |    7874    67280   223601 |    80010    72744     18 |  0.190 % |
56.52/56.66	c |    125775 |    7874    67280   223601 |    80010    73536     18 |  0.190 % |
56.82/56.98	c |    126646 |    7874    67280   223601 |    80010    74407     18 |  0.190 % |
57.22/57.32	c |    127606 |    7874    67280   223601 |    80010    75367     18 |  0.190 % |
57.62/57.74	c |    128659 |    7874    67280   223601 |    80010    76420     18 |  0.190 % |
58.12/58.21	c |    129821 |    7874    67280   223601 |    80010    77582     18 |  0.190 % |
58.42/58.60	c |    131095 |    7874    67280   223601 | 2147483647    78856     18 |  0.190 % |
59.01/59.18	c |    132495 |    7874    67280   223601 | 2147483647    80256     18 |  0.190 % |
59.01/59.20	c |    132595 |    7874    67280   223601 | 2147483647    80356     18 |  0.190 % |
59.22/59.31	c |    132707 |    7874    67280   223601 | 2147483647    80468     18 |  0.190 % |
59.22/59.40	c |    132830 |    7874    67280   223601 | 2147483647    80591     18 |  0.190 % |
59.41/59.53	c |    132963 |    7874    67280   223601 | 2147483647    80724     18 |  0.190 % |
59.51/59.62	c |    133110 |    7874    67280   223601 | 2147483647    80871     18 |  0.190 % |
59.51/59.69	c |    133270 |    7874    67280   223601 | 2147483647    81031     18 |  0.190 % |
59.61/59.75	c |    133446 |    7874    67280   223601 | 2147483647    81207     18 |  0.190 % |
59.71/59.83	c |    133639 |    7874    67280   223601 | 2147483647    81400     18 |  0.190 % |
59.81/59.93	c |    133851 |    7874    67280   223601 | 2147483647    81612     18 |  0.190 % |
59.91/60.03	c |    134084 |    7874    67280   223601 | 2147483647    81845     18 |  0.190 % |
60.01/60.12	c |    134342 |    7874    67280   223601 | 2147483647    82103     18 |  0.190 % |
60.01/60.20	c |    134623 |    7874    67280   223601 | 2147483647    82384     18 |  0.190 % |
60.21/60.31	c |    134933 |    7874    67280   223601 | 2147483647    82694     18 |  0.190 % |
60.21/60.39	c |    135272 |    7874    67280   223601 | 2147483647    83033     18 |  0.190 % |
60.42/60.53	c |    135644 |    7874    67280   223601 | 2147483647    83405     18 |  0.190 % |
60.51/60.62	c |    136053 |    7874    67280   223601 | 2147483647    83814     18 |  0.190 % |
60.61/60.80	c |    136502 |    7874    67280   223601 | 2147483647    84263     18 |  0.190 % |
60.81/60.99	c |    136995 |    7874    67280   223601 | 2147483647    84756     19 |  0.190 % |
61.11/61.22	c |    137541 |    7874    67280   223601 | 2147483647    85302     19 |  0.190 % |
61.52/61.63	c |    138138 |    7874    67280   223601 | 2147483647    85899     19 |  0.190 % |
61.71/61.87	c |    138793 |    7874    67280   223601 | 2147483647    86554     19 |  0.190 % |
62.01/62.15	c |    139513 |    7874    67280   223601 | 2147483647    87274     19 |  0.190 % |
62.41/62.50	c |    140307 |    7874    67280   223601 | 2147483647    88068     19 |  0.190 % |
62.81/62.92	c |    141184 |    7874    67280   223601 | 2147483647    88945     19 |  0.190 % |
63.31/63.41	c |    142142 |    7874    67280   223601 | 2147483647    89903     19 |  0.190 % |
63.62/63.78	c |    143195 |    7874    67280   223601 | 2147483647    90956     19 |  0.190 % |
64.11/64.27	c |    144353 |    7874    67280   223601 | 2147483647    92114     19 |  0.190 % |
64.81/64.90	c |    145626 |    7874    67280   223601 | 2147483647    93387     19 |  0.190 % |
65.21/65.32	c |    147026 |    7874    67280   223601 | 2147483647    94787     19 |  0.190 % |
66.21/66.33	c |    148566 |    7874    67280   223601 | 2147483647    96327     19 |  0.190 % |
66.21/66.40	c |    148668 |    7874    67280   223601 | 2147483647    96429     19 |  0.190 % |
66.31/66.47	c |    148780 |    7874    67280   223601 | 2147483647    96541     19 |  0.190 % |
66.41/66.53	c |    148901 |    7874    67280   223601 | 2147483647    96662     19 |  0.190 % |
66.41/66.60	c |    149038 |    7874    67280   223601 | 2147483647    96799     19 |  0.190 % |
66.51/66.69	c |    149185 |    7874    67280   223601 | 2147483647    96946     19 |  0.190 % |
66.61/66.75	c |    149345 |    7874    67280   223601 | 2147483647    97106     19 |  0.190 % |
66.71/66.82	c |    149521 |    7874    67280   223601 | 2147483647    97282     19 |  0.190 % |
66.82/66.94	c |    149716 |    7874    67280   223601 | 2147483647    97477     19 |  0.190 % |
66.92/67.08	c |    149928 |    7874    67280   223601 | 2147483647    97689     19 |  0.190 % |
67.11/67.20	c |    150162 |    7874    67280   223601 | 2147483647    97923     19 |  0.190 % |
67.21/67.32	c |    150419 |    7874    67280   223601 | 2147483647    98180     19 |  0.190 % |
67.31/67.49	c |    150702 |    7874    67280   223601 | 2147483647    98463     19 |  0.190 % |
67.51/67.62	c |    151012 |    7874    67280   223601 | 2147483647    98773     19 |  0.190 % |
67.71/67.82	c |    151351 |    7874    67280   223601 | 2147483647    99112     19 |  0.190 % |
67.91/68.04	c |    151724 |    7874    67280   223601 | 2147483647    99485     19 |  0.190 % |
68.12/68.25	c |    152133 |    7874    67280   223601 | 2147483647    99894     19 |  0.190 % |
68.31/68.49	c |    152583 |    7874    67280   223601 | 2147483647   100344     19 |  0.190 % |
68.61/68.71	c |    153077 |    7874    67280   223601 | 2147483647   100838     19 |  0.190 % |
68.91/69.07	c |    153619 |    7874    67280   223601 | 2147483647   101380     19 |  0.190 % |
69.22/69.33	c |    154217 |    7874    67280   223601 | 2147483647   101978     19 |  0.190 % |
69.61/69.79	c |    154873 |    7874    67280   223601 | 2147483647   102634     19 |  0.190 % |
70.11/70.20	c |    155593 |    7874    67280   223601 | 2147483647   103354     19 |  0.190 % |
70.61/70.73	c |    156387 |    7874    67280   223601 | 2147483647   104148     19 |  0.190 % |
71.01/71.11	c |    157258 |    7874    67280   223601 | 2147483647   105019     19 |  0.190 % |
71.71/71.80	c |    158217 |    7874    67280   223601 | 2147483647   105978     19 |  0.190 % |
72.21/72.35	c |    159271 |    7874    67280   223601 | 2147483647   107032     19 |  0.190 % |
72.71/72.88	c |    160430 |    7874    67280   223601 | 2147483647   108191     19 |  0.190 % |
73.51/73.62	c |    161703 |    7874    67280   223601 | 2147483647   109464     19 |  0.190 % |
74.41/74.50	c |    163104 |    7874    67280   223601 | 2147483647   110865     19 |  0.190 % |
75.31/75.45	c |    164644 |    7874    67280   223601 | 2147483647   112405     20 |  0.190 % |
76.21/76.36	c |    166340 |    7874    67280   223601 | 2147483647   114101     20 |  0.190 % |
76.31/76.43	c |    166440 |    7874    67280   223601 | 2147483647   114201     20 |  0.190 % |
76.41/76.51	c |    166550 |    7874    67280   223601 | 2147483647   114311     20 |  0.190 % |
76.51/76.65	c |    166672 |    7874    67280   223601 | 2147483647   114433     20 |  0.190 % |
76.51/76.70	c |    166805 |    7874    67280   223601 | 2147483647   114566     20 |  0.190 % |
76.71/76.81	c |    166953 |    7874    67280   223601 | 2147483647   114714     20 |  0.190 % |
76.81/76.92	c |    167113 |    7874    67280   223601 | 2147483647   114874     20 |  0.190 % |
76.91/77.07	c |    167289 |    7874    67280   223601 | 2147483647   115050     20 |  0.190 % |
77.01/77.14	c |    167482 |    7874    67280   223601 | 2147483647   115243     20 |  0.190 % |
77.20/77.30	c |    167695 |    7874    67280   223601 | 2147483647   115456     20 |  0.190 % |
77.30/77.41	c |    167928 |    7874    67280   223601 | 2147483647   115689     20 |  0.190 % |
77.50/77.63	c |    168185 |    7874    67280   223601 | 2147483647   115946     20 |  0.190 % |
77.60/77.73	c |    168467 |    7874    67280   223601 | 2147483647   116228     20 |  0.190 % |
77.80/77.95	c |    168777 |    7874    67280   223601 | 2147483647   116538     20 |  0.190 % |
77.91/78.08	c |    169117 |    7874    67280   223601 | 2147483647   116878     20 |  0.190 % |
78.10/78.27	c |    169489 |    7874    67280   223601 | 2147483647   117250     20 |  0.190 % |
78.40/78.53	c |    169898 |    7874    67280   223601 | 2147483647   117659     20 |  0.190 % |
78.80/78.92	c |    170347 |    7874    67280   223601 | 2147483647   118108     20 |  0.190 % |
79.20/79.33	c |    170841 |    7874    67280   223601 | 2147483647   118602     20 |  0.190 % |
79.50/79.65	c |    171384 |    7874    67280   223601 | 2147483647   119145     20 |  0.190 % |
79.80/79.98	c |    171980 |    7874    67280   223601 | 2147483647   119741     20 |  0.190 % |
80.20/80.32	c |    172636 |    7874    67280   223601 | 2147483647   120397     20 |  0.190 % |
80.50/80.70	c |    173356 |    7874    67280   223601 | 2147483647   121117     20 |  0.190 % |
81.00/81.14	c |    174149 |    7874    67280   223601 | 2147483647   121910     20 |  0.190 % |
81.50/81.62	c |    175021 |    7874    67280   223601 | 2147483647   122782     20 |  0.190 % |
82.20/82.39	c |    175979 |    7874    67280   223601 | 2147483647   123740     20 |  0.190 % |
83.10/83.25	c |    177033 |    7874    67280   223601 | 2147483647   124794     20 |  0.190 % |
83.80/83.99	c |    178192 |    7874    67280   223601 | 2147483647   125953     20 |  0.190 % |
84.80/84.97	c |    179465 |    7874    67280   223601 | 2147483647   127226     20 |  0.190 % |
87.20/87.39	c |    180866 |    7874    67280   223601 |   127765   108390     19 |  0.190 % |
88.00/88.16	c |    182407 |    7874    67280   223601 |   127765   109931     19 |  0.190 % |
88.80/88.97	c |    184101 |    7874    67280   223601 |   127765   111625     19 |  0.190 % |
89.69/89.84	c |    185966 |    7874    67280   223601 |   127765   113490     19 |  0.190 % |
89.69/89.89	c |    186067 |    7874    67280   223601 |   127765   113591     19 |  0.190 % |
89.89/90.00	c |    186180 |    7874    67280   223601 |   127765   113704     19 |  0.190 % |
89.89/90.09	c |    186302 |    7874    67280   223601 |   127765   113826     19 |  0.190 % |
90.00/90.19	c |    186435 |    7874    67280   223601 |   127765   113959     19 |  0.190 % |
90.10/90.29	c |    186581 |    7874    67280   223601 |   127765   114105     19 |  0.190 % |
90.29/90.40	c |    186741 |    7874    67280   223601 |   127765   114265     19 |  0.190 % |
90.39/90.53	c |    186917 |    7874    67280   223601 |   127765   114441     19 |  0.190 % |
90.49/90.65	c |    187110 |    7874    67280   223601 |   127765   114634     19 |  0.190 % |
90.59/90.76	c |    187323 |    7874    67280   223601 |   127765   114847     19 |  0.190 % |
90.69/90.89	c |    187558 |    7874    67280   223601 |   127765   115082     19 |  0.190 % |
90.89/91.07	c |    187815 |    7874    67280   223601 |   127765   115339     19 |  0.190 % |
91.10/91.27	c |    188097 |    7874    67280   223601 |   127765   115621     19 |  0.190 % |
91.39/91.57	c |    188406 |    7874    67280   223601 |   127765   115930     19 |  0.190 % |
91.69/91.85	c |    188748 |    7874    67280   223601 |   127765   116272     19 |  0.190 % |
91.99/92.12	c |    189121 |    7874    67280   223601 |   127765   116645     19 |  0.190 % |
92.20/92.30	c |    189530 |    7874    67280   223601 |   127765   117054     19 |  0.190 % |
92.50/92.62	c |    189980 |    7874    67280   223601 |   127765   117504     19 |  0.190 % |
93.50/93.66	c |    190475 |    7874    67280   223601 |   117524   103418     19 |  0.190 % |
93.90/94.02	c |    191018 |    7874    67280   223601 |   117524   103961     19 |  0.190 % |
94.30/94.40	c |    191614 |    7874    67280   223601 |   117524   104557     19 |  0.190 % |
94.70/94.88	c |    192275 |    7874    67280   223601 |   117524   105218     20 |  0.190 % |
95.20/95.40	c |    192995 |    7874    67280   223601 |   117524   105938     20 |  0.190 % |
95.60/95.78	c |    193788 |    7874    67280   223601 |   117524   106731     20 |  0.190 % |
96.30/96.43	c |    194660 |    7874    67280   223601 |   117524   107603     20 |  0.190 % |
97.00/97.16	c |    195618 |    7874    67280   223601 |   117524   108561     20 |  0.190 % |
97.70/97.89	c |    196672 |    7874    67280   223601 |   117524   109615     20 |  0.190 % |
98.50/98.69	c |    197832 |    7874    67280   223601 |   117524   110775     20 |  0.190 % |
99.40/99.58	c |    199105 |    7874    67280   223601 |   117524   112048     20 |  0.190 % |
100.90/101.02	c |    200507 |    7874    67280   223601 |   112943    99236     20 |  0.190 % |
102.10/102.23	c |    202047 |    7874    67280   223601 |   112943   100776     20 |  0.190 % |
103.30/103.45	c |    203744 |    7874    67280   223601 |   112943   102473     20 |  0.190 % |
104.30/104.47	c |    205610 |    7874    67280   223601 |   112943   104339     20 |  0.190 % |
105.90/106.05	c |    207660 |    7874    67280   223601 |   112943   106389     20 |  0.190 % |
105.90/106.09	c |    207762 |    7874    67280   223601 |   112943   106491     20 |  0.190 % |
106.00/106.19	c |    207873 |    7874    67280   223601 |   112943   106602     20 |  0.190 % |
106.09/106.25	c |    207995 |    7874    67280   223601 |   112943   106724     20 |  0.190 % |
106.19/106.33	c |    208128 |    7874    67280   223601 |   112943   106857     20 |  0.190 % |
106.29/106.41	c |    208274 |    7874    67280   223601 |   112943   107003     20 |  0.190 % |
106.39/106.55	c |    208435 |    7874    67280   223601 |   112943   107164     20 |  0.190 % |
106.60/106.73	c |    208612 |    7874    67280   223601 |   112943   107341     20 |  0.190 % |
106.69/106.85	c |    208806 |    7874    67280   223601 |   112943   107535     20 |  0.190 % |
106.89/107.05	c |    209020 |    7874    67280   223601 |   112943   107749     20 |  0.190 % |
107.19/107.31	c |    209253 |    7874    67280   223601 |   112943   107982     20 |  0.190 % |
107.29/107.47	c |    209509 |    7874    67280   223601 |   112943   108238     20 |  0.190 % |
107.60/107.74	c |    209790 |    7874    67280   223601 |   112943   108519     20 |  0.190 % |
107.70/107.89	c |    210099 |    7874    67280   223601 |   108729   108828     20 |  0.190 % |
108.19/108.32	c |    210441 |    7874    67280   223601 |   108729    95057     20 |  0.190 % |
108.49/108.61	c |    210813 |    7874    67280   223601 |   108729    95429     20 |  0.190 % |
108.70/108.85	c |    211223 |    7874    67280   223601 |   108729    95839     20 |  0.190 % |
108.99/109.12	c |    211674 |    7874    67280   223601 |   108729    96290     20 |  0.190 % |
109.39/109.58	c |    212168 |    7874    67280   223601 |   108729    96784     20 |  0.190 % |
109.69/109.86	c |    212713 |    7874    67280   223601 |   108729    97329     20 |  0.190 % |
110.09/110.29	c |    213310 |    7874    67280   223601 |   108729    97926     20 |  0.190 % |
110.59/110.79	c |    213966 |    7874    67280   223601 |   108729    98582     20 |  0.190 % |
111.19/111.38	c |    214686 |    7874    67280   223601 |   108729    99302     20 |  0.190 % |
111.89/112.01	c |    215479 |    7874    67280   223601 |   108729   100095     21 |  0.190 % |
112.49/112.63	c |    216351 |    7874    67280   223601 |   108729   100967     21 |  0.190 % |
113.29/113.42	c |    217309 |    7874    67280   223601 |   108729   101925     21 |  0.190 % |
114.29/114.46	c |    218362 |    7874    67280   223601 |   108729   102978     21 |  0.190 % |
115.39/115.58	c |    219521 |    7874    67280   223601 |   108729   104137     21 |  0.190 % |
116.69/116.81	c |    220794 |    7874    67280   223601 |   104616    91190     20 |  0.190 % |
117.49/117.61	c |    222194 |    7874    67280   223601 |   104616    92590     20 |  0.190 % |
118.59/118.78	c |    223734 |    7874    67280   223601 |   104616    94130     20 |  0.190 % |
119.69/119.87	c |    225428 |    7874    67280   223601 |   104616    95824     21 |  0.190 % |
121.19/121.30	c |    227292 |    7874    67280   223601 |   104616    97688     21 |  0.190 % |
122.59/122.73	c |    229341 |    7874    67280   223601 |   104616    99737     21 |  0.190 % |
124.39/124.59	c |    231594 |    7874    67280   223601 |   100396    88604     20 |  0.190 % |
124.49/124.69	c |    231694 |    7874    67280   223601 |   100396    88704     20 |  0.190 % |
124.59/124.77	c |    231804 |    7874    67280   223601 |   100396    88814     20 |  0.190 % |
124.69/124.88	c |    231925 |    7874    67280   223601 |   100396    88935     20 |  0.190 % |
124.79/124.96	c |    232058 |    7874    67280   223601 |   100396    89068     20 |  0.190 % |
124.79/124.99	c |    232204 |    7874    67280   223601 |   100396    89214     20 |  0.190 % |
124.89/125.02	c |    232364 |    7874    67280   223601 |   100396    89374     20 |  0.190 % |
124.99/125.10	c |    232540 |    7874    67280   223601 |   100396    89550     20 |  0.190 % |
124.99/125.19	c |    232733 |    7874    67280   223601 |   100396    89743     20 |  0.190 % |
125.09/125.29	c |    232945 |    7874    67280   223601 |   100396    89955     20 |  0.190 % |
125.29/125.42	c |    233178 |    7874    67280   223601 |   100396    90188     20 |  0.190 % |
125.39/125.59	c |    233434 |    7874    67280   223601 |   100396    90444     20 |  0.190 % |
125.69/125.84	c |    233717 |    7874    67280   223601 |   100396    90727     20 |  0.190 % |
125.89/126.04	c |    234028 |    7874    67280   223601 |   100396    91038     20 |  0.190 % |
126.19/126.33	c |    234368 |    7874    67280   223601 |   100396    91378     20 |  0.190 % |
126.39/126.56	c |    234741 |    7874    67280   223601 |   100396    91751     20 |  0.190 % |
126.68/126.85	c |    235152 |    7874    67280   223601 |   100396    92162     20 |  0.190 % |
126.98/127.14	c |    235601 |    7874    67280   223601 |   100396    92611     20 |  0.190 % |
127.39/127.54	c |    236094 |    7874    67280   223601 |   100396    93104     20 |  0.190 % |
127.88/128.10	c |    236639 |    7874    67280   223601 |   100396    93649     20 |  0.190 % |
128.49/128.61	c |    237236 |    7874    67280   223601 |   100396    94246     20 |  0.190 % |
128.98/129.13	c |    237892 |    7874    67280   223601 |   100396    94902     20 |  0.190 % |
129.59/129.75	c |    238612 |    7874    67280   223601 |   100396    95622     20 |  0.190 % |
130.08/130.28	c |    239404 |    7874    67280   223601 |   100396    96414     20 |  0.190 % |
130.98/131.16	c |    240276 |    7874    67280   223601 |    97011    84861     20 |  0.190 % |
131.78/131.90	c |    241235 |    7874    67280   223601 |    97011    85820     20 |  0.190 % |
132.38/132.52	c |    242288 |    7874    67280   223601 |    97011    86873     20 |  0.190 % |
133.18/133.37	c |    243446 |    7874    67280   223601 |    97011    88031     20 |  0.190 % |
134.28/134.47	c |    244719 |    7874    67280   223601 |    97011    89304     20 |  0.190 % |
135.48/135.68	c |    246121 |    7874    67280   223601 |    97011    90706     20 |  0.190 % |
136.88/137.01	c |    247662 |    7874    67280   223601 |    97011    92247     21 |  0.190 % |
138.28/138.40	c |    249356 |    7874    67280   223601 |    97011    93941     21 |  0.190 % |
139.58/139.78	c |    251220 |    7874    67280   223601 |    94585    84944     20 |  0.190 % |
141.27/141.42	c |    253270 |    7874    67280   223601 |    94585    86994     20 |  0.190 % |
142.28/142.46	c |    255524 |    7874    67280   223601 |    94585    89248     20 |  0.190 % |
143.98/144.15	c |    258003 |    7874    67280   223601 |    94585    91727     21 |  0.190 % |
144.07/144.27	c |    258104 |    7874    67280   223601 |    94585    91828     21 |  0.190 % |
144.17/144.37	c |    258214 |    7874    67280   223601 |    94585    91938     21 |  0.190 % |
144.27/144.48	c |    258335 |    7874    67280   223601 |    94585    92059     21 |  0.190 % |
144.47/144.60	c |    258469 |    7874    67280   223601 |    94585    92193     21 |  0.190 % |
144.57/144.75	c |    258615 |    7874    67280   223601 |    94585    92339     21 |  0.190 % |
144.67/144.85	c |    258776 |    7874    67280   223601 |    94585    92500     21 |  0.190 % |
144.87/145.02	c |    258953 |    7874    67280   223601 |    94585    92677     21 |  0.190 % |
144.98/145.17	c |    259148 |    7874    67280   223601 |    94585    92872     21 |  0.190 % |
145.17/145.35	c |    259362 |    7874    67280   223601 |    94585    93086     21 |  0.190 % |
145.37/145.56	c |    259595 |    7874    67280   223601 |    94585    93319     21 |  0.190 % |
145.57/145.75	c |    259851 |    7874    67280   223601 |    94585    93575     21 |  0.190 % |
145.77/145.94	c |    260132 |    7874    67280   223601 | 2147483647    93856     21 |  0.190 % |
146.07/146.21	c |    260441 |    7874    67280   223601 | 2147483647    94165     21 |  0.190 % |
146.17/146.40	c |    260780 |    7874    67280   223601 | 2147483647    94504     21 |  0.190 % |
146.47/146.66	c |    261155 |    7874    67280   223601 | 2147483647    94879     21 |  0.190 % |
146.87/147.04	c |    261564 |    7874    67280   223601 | 2147483647    95288     21 |  0.190 % |
147.27/147.44	c |    262013 |    7874    67280   223601 | 2147483647    95737     21 |  0.190 % |
147.77/147.92	c |    262511 |    7874    67280   223601 | 2147483647    96235     21 |  0.190 % |
148.07/148.27	c |    263053 |    7874    67280   223601 | 2147483647    96777     21 |  0.190 % |
148.57/148.76	c |    263649 |    7874    67280   223601 | 2147483647    97373     21 |  0.190 % |
149.17/149.35	c |    264308 |    7874    67280   223601 | 2147483647    98032     21 |  0.190 % |
149.57/149.77	c |    265028 |    7874    67280   223601 | 2147483647    98752     21 |  0.190 % |
150.37/150.55	c |    265821 |    7874    67280   223601 | 2147483647    99545     21 |  0.190 % |
151.07/151.20	c |    266692 |    7874    67280   223601 | 2147483647   100416     21 |  0.190 % |
151.77/151.94	c |    267650 |    7874    67280   223601 | 2147483647   101374     21 |  0.190 % |
152.77/152.95	c |    268704 |    7874    67280   223601 | 2147483647   102428     21 |  0.190 % |
153.87/154.06	c |    269862 |    7874    67280   223601 | 2147483647   103586     21 |  0.190 % |
155.07/155.29	c |    271135 |    7874    67280   223601 |   103725    90385     20 |  0.190 % |
156.17/156.30	c |    272535 |    7874    67280   223601 |   103725    91785     20 |  0.190 % |
157.27/157.40	c |    274075 |    7874    67280   223601 |   103725    93325     20 |  0.190 % |
158.77/158.95	c |    275769 |    7874    67280   223601 |   103725    95019     20 |  0.190 % |
160.56/160.79	c |    277632 |    7874    67280   223601 |   103725    96882     20 |  0.190 % |
161.76/161.98	c |    279681 |    7874    67280   223601 |   103725    98931     20 |  0.190 % |
163.77/163.93	c |    281935 |    7874    67280   223601 |    99251    87910     20 |  0.190 % |
166.06/166.27	c |    284417 |    7874    67280   223601 |    99251    90392     20 |  0.190 % |
168.46/168.60	c |    287144 |    7874    67280   223601 |    99251    93119     20 |  0.190 % |
168.56/168.72	c |    287246 |    7874    67280   223601 |    99251    93221     20 |  0.190 % |
168.66/168.82	c |    287360 |    7874    67280   223601 |    99251    93335     20 |  0.190 % |
168.76/168.97	c |    287482 |    7874    67280   223601 |    99251    93457     20 |  0.190 % |
168.86/169.09	c |    287616 |    7874    67280   223601 |    99251    93591     20 |  0.190 % |
169.06/169.26	c |    287762 |    7874    67280   223601 |    99251    93737     20 |  0.190 % |
169.16/169.38	c |    287925 |    7874    67280   223601 |    99251    93900     20 |  0.190 % |
169.36/169.59	c |    288101 |    7874    67280   223601 |    99251    94076     20 |  0.190 % |
169.56/169.71	c |    288294 |    7874    67280   223601 |    99251    94269     20 |  0.190 % |
169.66/169.87	c |    288506 |    7874    67280   223601 |    99251    94481     20 |  0.190 % |
169.96/170.13	c |    288739 |    7874    67280   223601 |    99251    94714     20 |  0.190 % |
170.16/170.36	c |    288995 |    7874    67280   223601 |    99251    94970     20 |  0.190 % |
170.46/170.65	c |    289276 |    7874    67280   223601 |    99251    95251     20 |  0.190 % |
170.66/170.87	c |    289591 |    7874    67280   223601 |    99251    95566     20 |  0.190 % |
170.96/171.17	c |    289930 |    7874    67280   223601 |    99251    95905     20 |  0.190 % |
171.56/171.72	c |    290302 |    7874    67280   223601 |    95975    83089     19 |  0.190 % |
171.86/172.04	c |    290712 |    7874    67280   223601 |    95975    83499     20 |  0.190 % |
172.26/172.49	c |    291161 |    7874    67280   223601 |    95975    83948     20 |  0.190 % |
172.86/173.08	c |    291654 |    7874    67280   223601 |    95975    84441     20 |  0.190 % |
173.16/173.36	c |    292196 |    7874    67280   223601 |    95975    84983     20 |  0.190 % |
173.66/173.85	c |    292793 |    7874    67280   223601 |    95975    85580     20 |  0.190 % |
174.05/174.23	c |    293449 |    7874    67280   223601 |    95975    86236     20 |  0.190 % |
174.45/174.61	c |    294170 |    7874    67280   223601 |    95975    86957     20 |  0.190 % |
175.15/175.35	c |    294962 |    7874    67280   223601 |    95975    87749     20 |  0.190 % |
176.15/176.30	c |    295834 |    7874    67280   223601 |    95975    88621     20 |  0.190 % |
176.96/177.12	c |    296793 |    7874    67280   223601 |    95975    89580     20 |  0.190 % |
177.55/177.73	c |    297848 |    7874    67280   223601 |    95975    90635     20 |  0.190 % |
178.35/178.50	c |    299006 |    7874    67280   223601 |    95975    91793     20 |  0.190 % |
179.65/179.89	c |    300279 |    7874    67280   223601 |    92787    81674     19 |  0.190 % |
180.75/180.99	c |    301679 |    7874    67280   223601 |    92787    83074     19 |  0.190 % |
181.85/182.00	c |    303219 |    7874    67280   223601 |    92787    84614     20 |  0.190 % |
183.55/183.70	c |    304914 |    7874    67280   223601 |    92787    86309     20 |  0.190 % |
185.05/185.20	c |    306778 |    7874    67280   223601 |    92787    88173     20 |  0.190 % |
186.55/186.78	c |    308827 |    7874    67280   223601 |    92787    90222     20 |  0.190 % |
188.05/188.21	c |    311082 |    7874    67280   223601 | 2147483647    92477     20 |  0.190 % |
189.95/190.10	c |    313561 |    7874    67280   223601 | 2147483647    94956     20 |  0.190 % |
191.85/192.04	c |    316287 |    7874    67280   223601 | 2147483647    97682     20 |  0.190 % |
194.34/194.53	c |    319286 |    7874    67280   223601 | 2147483647   100681     20 |  0.190 % |
194.45/194.62	c |    319386 |    7874    67280   223601 | 2147483647   100781     20 |  0.190 % |
194.55/194.74	c |    319497 |    7874    67280   223601 | 2147483647   100892     20 |  0.190 % |
194.64/194.83	c |    319619 |    7874    67280   223601 | 2147483647   101014     20 |  0.190 % |
194.74/194.93	c |    319752 |    7874    67280   223601 | 2147483647   101147     20 |  0.190 % |
194.84/195.03	c |    319898 |    7874    67280   223601 | 2147483647   101293     20 |  0.190 % |
194.94/195.16	c |    320058 |    7874    67280   223601 |   101396   101453     20 |  0.190 % |
195.34/195.54	c |    320234 |    7874    67280   223601 |   101396    90454     20 |  0.190 % |
195.44/195.65	c |    320428 |    7874    67280   223601 |   101396    90648     20 |  0.190 % |
195.55/195.79	c |    320640 |    7874    67280   223601 |   101396    90860     20 |  0.190 % |
195.84/196.05	c |    320874 |    7874    67280   223601 |   101396    91094     20 |  0.190 % |
196.04/196.24	c |    321130 |    7874    67280   223601 |   101396    91350     20 |  0.190 % |
196.34/196.52	c |    321414 |    7874    67280   223601 |   101396    91634     20 |  0.190 % |
196.44/196.67	c |    321724 |    7874    67280   223601 |   101396    91944     20 |  0.190 % |
196.75/196.94	c |    322065 |    7874    67280   223601 |   101396    92285     20 |  0.190 % |
197.04/197.29	c |    322438 |    7874    67280   223601 |   101396    92658     20 |  0.190 % |
197.34/197.56	c |    322848 |    7874    67280   223601 |   101396    93068     20 |  0.190 % |
197.84/198.05	c |    323298 |    7874    67280   223601 |   101396    93518     20 |  0.190 % |
198.24/198.43	c |    323791 |    7874    67280   223601 |   101396    94011     20 |  0.190 % |
198.74/198.97	c |    324335 |    7874    67280   223601 |   101396    94555     20 |  0.190 % |
199.24/199.49	c |    324932 |    7874    67280   223601 |   101396    95152     20 |  0.190 % |
200.04/200.23	c |    325587 |    7874    67280   223601 |   101396    95807     20 |  0.190 % |
200.74/200.99	c |    326307 |    7874    67280   223601 |   101396    96527     20 |  0.190 % |
201.64/201.87	c |    327099 |    7874    67280   223601 |   101396    97319     20 |  0.190 % |
202.34/202.54	c |    327971 |    7874    67280   223601 |   101396    98191     20 |  0.190 % |
203.14/203.39	c |    328929 |    7874    67280   223601 |   101396    99149     20 |  0.190 % |
204.14/204.38	c |    329982 |    7874    67280   223601 |   101396   100202     20 |  0.190 % |
205.54/205.73	c |    331141 |    7874    67280   223601 |   100221    87693     20 |  0.190 % |
206.64/206.83	c |    332415 |    7874    67280   223601 |   100221    88967     20 |  0.190 % |
207.94/208.11	c |    333815 |    7874    67280   223601 |   100221    90367     20 |  0.190 % |
209.03/209.25	c |    335355 |    7874    67280   223601 |   100221    91907     20 |  0.190 % |
210.53/210.75	c |    337050 |    7874    67280   223601 |   100221    93602     20 |  0.190 % |
211.63/211.83	c |    338917 |    7874    67280   223601 |   100221    95469     20 |  0.190 % |
213.33/213.59	c |    340966 |    7874    67280   223601 |    96552    84957     20 |  0.190 % |
214.83/215.08	c |    343220 |    7874    67280   223601 |    96552    87211     20 |  0.190 % |
216.93/217.14	c |    345700 |    7874    67280   223601 |    96552    89691     20 |  0.190 % |
219.23/219.47	c |    348428 |    7874    67280   223601 |    96552    92419     20 |  0.190 % |
221.63/221.83	c |    351426 |    7874    67280   223601 |    93992    85268     20 |  0.190 % |
224.23/224.42	c |    354724 |    7874    67280   223601 |    93992    88566     20 |  0.190 % |
224.23/224.46	c |    354824 |    7874    67280   223601 |    93992    88666     20 |  0.190 % |
224.33/224.59	c |    354934 |    7874    67280   223601 |    93992    88776     20 |  0.190 % |
224.43/224.66	c |    355056 |    7874    67280   223601 |    93992    88898     20 |  0.190 % |
224.63/224.86	c |    355189 |    7874    67280   223601 |    93992    89031     20 |  0.190 % |
224.83/225.02	c |    355336 |    7874    67280   223601 |    93992    89178     20 |  0.190 % |
225.03/225.21	c |    355496 |    7874    67280   223601 |    93992    89338     20 |  0.190 % |
225.13/225.35	c |    355674 |    7874    67280   223601 |    93992    89516     20 |  0.190 % |
225.33/225.52	c |    355868 |    7874    67280   223601 |    93992    89710     20 |  0.190 % |
225.43/225.69	c |    356080 |    7874    67280   223601 |    93992    89922     20 |  0.190 % |
225.63/225.87	c |    356314 |    7874    67280   223601 |    93992    90156     20 |  0.190 % |
225.83/226.03	c |    356570 |    7874    67280   223601 |    93992    90412     20 |  0.190 % |
226.13/226.33	c |    356853 |    7874    67280   223601 |    93992    90695     20 |  0.190 % |
226.53/226.71	c |    357162 |    7874    67280   223601 |    93992    91004     20 |  0.190 % |
226.73/226.97	c |    357502 |    7874    67280   223601 |    93992    91344     20 |  0.190 % |
227.22/227.42	c |    357875 |    7874    67280   223601 |    93992    91717     20 |  0.190 % |
227.62/227.81	c |    358284 |    7874    67280   223601 |    93992    92126     20 |  0.190 % |
228.02/228.22	c |    358734 |    7874    67280   223601 |    93992    92576     20 |  0.190 % |
228.53/228.72	c |    359229 |    7874    67280   223601 |    93992    93071     20 |  0.190 % |
229.03/229.22	c |    359772 |    7874    67280   223601 |    93992    93614     20 |  0.190 % |
229.63/229.88	c |    360368 |    7874    67280   223601 |    93843    83364     20 |  0.190 % |
230.12/230.38	c |    361023 |    7874    67280   223601 |    93843    84019     20 |  0.190 % |
230.73/230.99	c |    361745 |    7874    67280   223601 |    93843    84741     20 |  0.190 % |
231.52/231.71	c |    362539 |    7874    67280   223601 |    93843    85535     20 |  0.190 % |
232.22/232.41	c |    363410 |    7874    67280   223601 |    93843    86406     20 |  0.190 % |
232.93/233.17	c |    364368 |    7874    67280   223601 |    93843    87364     20 |  0.190 % |
233.92/234.13	c |    365422 |    7874    67280   223601 |    93843    88418     20 |  0.190 % |
235.02/235.30	c |    366580 |    7874    67280   223601 |    93843    89576     20 |  0.190 % |
236.12/236.36	c |    367853 |    7874    67280   223601 |    93843    90849     20 |  0.190 % |
237.42/237.62	c |    369253 |    7874    67280   223601 |    93843    92249     20 |  0.190 % |
238.32/238.58	c |    370793 |    7874    67280   223601 |    92997    84424     20 |  0.190 % |
239.92/240.14	c |    372487 |    7874    67280   223601 |    92997    86118     20 |  0.190 % |
241.42/241.67	c |    374351 |    7874    67280   223601 |    92997    87982     20 |  0.190 % |
243.22/243.45	c |    376402 |    7874    67280   223601 |    92997    90033     20 |  0.190 % |
245.22/245.49	c |    378656 |    7874    67280   223601 |    92997    92287     20 |  0.190 % |
247.22/247.49	c |    381135 |    7874    67280   223601 | 2147483647    85443     19 |  0.190 % |
249.32/249.54	c |    383860 |    7874    67280   223601 | 2147483647    88168     20 |  0.190 % |
252.11/252.33	c |    386858 |    7874    67280   223601 | 2147483647    91166     20 |  0.190 % |
254.71/254.95	c |    390158 |    7874    67280   223601 | 2147483647    94466     20 |  0.190 % |
257.71/257.97	c |    393785 |    7874    67280   223601 | 2147483647    98093     20 |  0.190 % |
257.81/258.07	c |    393885 |    7874    67280   223601 | 2147483647    98193     20 |  0.190 % |
257.91/258.17	c |    393995 |    7874    67280   223601 | 2147483647    98303     20 |  0.190 % |
258.11/258.32	c |    394116 |    7874    67280   223601 | 2147483647    98424     20 |  0.190 % |
258.21/258.43	c |    394249 |    7874    67280   223601 | 2147483647    98557     20 |  0.190 % |
258.31/258.55	c |    394395 |    7874    67280   223601 | 2147483647    98703     20 |  0.190 % |
258.41/258.64	c |    394557 |    7874    67280   223601 | 2147483647    98865     20 |  0.190 % |
258.51/258.79	c |    394735 |    7874    67280   223601 | 2147483647    99043     20 |  0.190 % |
258.71/258.99	c |    394929 |    7874    67280   223601 | 2147483647    99237     20 |  0.190 % |
259.01/259.26	c |    395142 |    7874    67280   223601 | 2147483647    99450     20 |  0.190 % |
259.21/259.49	c |    395375 |    7874    67280   223601 | 2147483647    99683     20 |  0.190 % |
259.51/259.73	c |    395632 |    7874    67280   223601 | 2147483647    99940     20 |  0.190 % |
259.81/260.09	c |    395913 |    7874    67280   223601 | 2147483647   100221     20 |  0.190 % |
260.11/260.38	c |    396222 |    7874    67280   223601 | 2147483647   100530     20 |  0.190 % |
260.41/260.70	c |    396561 |    7874    67280   223601 | 2147483647   100869     20 |  0.190 % |
260.91/261.16	c |    396933 |    7874    67280   223601 | 2147483647   101241     20 |  0.190 % |
261.41/261.68	c |    397343 |    7874    67280   223601 | 2147483647   101651     20 |  0.190 % |
261.81/262.00	c |    397792 |    7874    67280   223601 | 2147483647   102100     20 |  0.190 % |
262.21/262.48	c |    398285 |    7874    67280   223601 | 2147483647   102593     20 |  0.190 % |
262.61/262.89	c |    398828 |    7874    67280   223601 | 2147483647   103136     20 |  0.190 % |
263.21/263.42	c |    399424 |    7874    67280   223601 | 2147483647   103732     20 |  0.190 % |
264.01/264.23	c |    400081 |    7874    67280   223601 |   104309    92832     20 |  0.190 % |
264.60/264.88	c |    400801 |    7874    67280   223601 |   104309    93552     20 |  0.190 % |
265.20/265.42	c |    401594 |    7874    67280   223601 |   104309    94345     20 |  0.190 % |
266.10/266.38	c |    402465 |    7874    67280   223601 |   104309    95216     20 |  0.190 % |
267.11/267.36	c |    403423 |    7874    67280   223601 |   104309    96174     20 |  0.190 % |
268.21/268.46	c |    404476 |    7874    67280   223601 |   104309    97227     20 |  0.190 % |
269.60/269.81	c |    405634 |    7874    67280   223601 |   104309    98385     20 |  0.190 % |
270.50/270.78	c |    406908 |    7874    67280   223601 |   104309    99659     20 |  0.190 % |
271.50/271.74	c |    408308 |    7874    67280   223601 |   104309   101059     20 |  0.190 % |
273.00/273.20	c |    409849 |    7874    67280   223601 |   104309   102600     20 |  0.190 % |
274.40/274.62	c |    411543 |    7874    67280   223601 |   102751    92419     20 |  0.190 % |
276.40/276.60	c |    413407 |    7874    67280   223601 |   102751    94283     20 |  0.190 % |
278.00/278.23	c |    415457 |    7874    67280   223601 |   102751    96333     20 |  0.190 % |
279.90/280.18	c |    417710 |    7874    67280   223601 |   102751    98586     20 |  0.190 % |
282.40/282.63	c |    420190 |    7874    67280   223601 |   100880   101066     20 |  0.190 % |
285.40/285.68	c |    422916 |    7874    67280   223601 |   100880    91822     20 |  0.190 % |
288.49/288.73	c |    425914 |    7874    67280   223601 |   100880    94820     20 |  0.190 % |
291.20/291.42	c |    429210 |    7874    67280   223601 |   100880    98116     20 |  0.190 % |
294.39/294.67	c |    432837 |    7874    67280   223601 |    98906    91161     20 |  0.190 % |
297.09/297.30	c |    436825 |    7874    67280   223601 |    98906    95149     20 |  0.190 % |
297.19/297.41	c |    436925 |    7874    67280   223601 |    98906    95249     20 |  0.190 % |
297.29/297.50	c |    437035 |    7874    67280   223601 |    98906    95359     20 |  0.190 % |
297.39/297.65	c |    437158 |    7874    67280   223601 |    98906    95482     20 |  0.190 % |
297.49/297.70	c |    437292 |    7874    67280   223601 |    98906    95616     20 |  0.190 % |
297.59/297.87	c |    437438 |    7874    67280   223601 |    98906    95762     20 |  0.190 % |
297.79/298.03	c |    437599 |    7874    67280   223601 |    98906    95923     20 |  0.190 % |
297.99/298.20	c |    437776 |    7874    67280   223601 |    98906    96100     20 |  0.190 % |
298.09/298.33	c |    437969 |    7874    67280   223601 |    98906    96293     20 |  0.190 % |
298.29/298.54	c |    438181 |    7874    67280   223601 |    98906    96505     20 |  0.190 % |
298.49/298.76	c |    438415 |    7874    67280   223601 |    98906    96739     20 |  0.190 % |
298.69/298.92	c |    438671 |    7874    67280   223601 |    98906    96995     20 |  0.190 % |
298.89/299.19	c |    438952 |    7874    67280   223601 |    98906    97276     20 |  0.190 % |
299.29/299.54	c |    439261 |    7874    67280   223601 |    98906    97585     20 |  0.190 % |
299.49/299.75	c |    439600 |    7874    67280   223601 |    98906    97924     20 |  0.190 % |
299.79/300.04	c |    439972 |    7874    67280   223601 |    98906    98296     20 |  0.190 % |
300.29/300.53	c |    440381 |    7874    67280   223601 |    98327    88128     20 |  0.190 % |
300.59/300.85	c |    440830 |    7874    67280   223601 |    98327    88577     20 |  0.190 % |
300.89/301.18	c |    441324 |    7874    67280   223601 |    98327    89071     20 |  0.190 % |
301.39/301.62	c |    441868 |    7874    67280   223601 |    98327    89615     20 |  0.190 % |
301.99/302.22	c |    442464 |    7874    67280   223601 |    98327    90211     20 |  0.190 % |
302.59/302.82	c |    443119 |    7874    67280   223601 |    98327    90866     20 |  0.190 % |
303.39/303.62	c |    443839 |    7874    67280   223601 |    98327    91586     20 |  0.190 % |
304.09/304.32	c |    444632 |    7874    67280   223601 |    98327    92379     20 |  0.190 % |
304.79/305.01	c |    445503 |    7874    67280   223601 |    98327    93250     20 |  0.190 % |
305.59/305.87	c |    446462 |    7874    67280   223601 |    98327    94209     20 |  0.190 % |
306.69/306.99	c |    447515 |    7874    67280   223601 |    98327    95262     20 |  0.190 % |
308.28/308.57	c |    448674 |    7874    67280   223601 |    98327    96421     20 |  0.190 % |
309.38/309.61	c |    449947 |    7874    67280   223601 |    98327    97694     20 |  0.190 % |
310.68/310.95	c |    451347 |    7874    67280   223601 |    97752    87228     20 |  0.190 % |
312.19/312.45	c |    452887 |    7874    67280   223601 |    97752    88768     20 |  0.190 % |
313.29/313.59	c |    454581 |    7874    67280   223601 |    97752    90462     20 |  0.190 % |
315.18/315.45	c |    456448 |    7874    67280   223601 |    97752    92329     20 |  0.190 % |
317.08/317.37	c |    458497 |    7874    67280   223601 |    97752    94378     20 |  0.190 % |
319.28/319.51	c |    460752 |    7874    67280   223601 |    95881    86246     20 |  0.190 % |
321.58/321.81	c |    463230 |    7874    67280   223601 |    95881    88724     20 |  0.190 % |
323.78/324.02	c |    465956 |    7874    67280   223601 |    95881    91450     20 |  0.190 % |
326.58/326.85	c |    468954 |    7874    67280   223601 |    95881    94448     20 |  0.190 % |
329.58/329.85	c |    472250 |    7874    67280   223601 |    95495    85720     19 |  0.190 % |
331.77/332.08	c |    475875 |    7874    67280   223601 |    95495    89345     19 |  0.190 % |
335.37/335.67	c |    479863 |    7874    67280   223601 |    95495    93333     20 |  0.190 % |
339.07/339.39	c |    484248 |    7874    67280   223601 | 2147483647    97718     20 |  0.190 % |
339.27/339.50	c |    484348 |    7874    67280   223601 | 2147483647    97818     20 |  0.190 % |
339.37/339.66	c |    484458 |    7874    67280   223601 | 2147483647    97928     20 |  0.190 % |
339.47/339.78	c |    484579 |    7874    67280   223601 | 2147483647    98049     20 |  0.190 % |
339.68/339.92	c |    484714 |    7874    67280   223601 | 2147483647    98184     20 |  0.190 % |
339.77/340.06	c |    484861 |    7874    67280   223601 | 2147483647    98331     20 |  0.190 % |
339.87/340.17	c |    485023 |    7874    67280   223601 | 2147483647    98493     20 |  0.190 % |
340.17/340.43	c |    485199 |    7874    67280   223601 | 2147483647    98669     20 |  0.190 % |
340.37/340.66	c |    485394 |    7874    67280   223601 | 2147483647    98864     20 |  0.190 % |
340.57/340.88	c |    485607 |    7874    67280   223601 | 2147483647    99077     20 |  0.190 % |
340.87/341.10	c |    485840 |    7874    67280   223601 | 2147483647    99310     20 |  0.190 % |
341.07/341.35	c |    486096 |    7874    67280   223601 | 2147483647    99566     20 |  0.190 % |
341.47/341.70	c |    486379 |    7874    67280   223601 | 2147483647    99849     20 |  0.190 % |
341.67/342.00	c |    486689 |    7874    67280   223601 | 2147483647   100159     20 |  0.190 % |
342.07/342.39	c |    487029 |    7874    67280   223601 | 2147483647   100499     20 |  0.190 % |
342.47/342.80	c |    487401 |    7874    67280   223601 | 2147483647   100871     20 |  0.190 % |
343.17/343.46	c |    487812 |    7874    67280   223601 | 2147483647   101282     20 |  0.190 % |
343.67/343.98	c |    488263 |    7874    67280   223601 | 2147483647   101733     20 |  0.190 % |
344.27/344.56	c |    488756 |    7874    67280   223601 | 2147483647   102226     20 |  0.190 % |
344.67/344.98	c |    489302 |    7874    67280   223601 | 2147483647   102772     20 |  0.190 % |
345.37/345.63	c |    489900 |    7874    67280   223601 | 2147483647   103370     20 |  0.190 % |
346.27/346.51	c |    490556 |    7874    67280   223601 |   103470    89925     19 |  0.190 % |
346.86/347.16	c |    491276 |    7874    67280   223601 |   103470    90645     19 |  0.190 % |
347.66/347.93	c |    492069 |    7874    67280   223601 |   103470    91438     19 |  0.190 % |
348.26/348.57	c |    492941 |    7874    67280   223601 |   103470    92310     20 |  0.190 % |
349.16/349.40	c |    493900 |    7874    67280   223601 |   103470    93269     20 |  0.190 % |
349.86/350.17	c |    494954 |    7874    67280   223601 |   103470    94323     20 |  0.190 % |
350.86/351.10	c |    496113 |    7874    67280   223601 |   103470    95482     20 |  0.190 % |
351.86/352.19	c |    497386 |    7874    67280   223601 |   103470    96755     20 |  0.190 % |
353.36/353.66	c |    498787 |    7874    67280   223601 |   103470    98156     20 |  0.190 % |
355.06/355.32	c |    500328 |    7874    67280   223601 |    99369    85252     19 |  0.190 % |
356.16/356.49	c |    502022 |    7874    67280   223601 |    99369    86946     19 |  0.190 % |
358.26/358.57	c |    503885 |    7874    67280   223601 |    99369    88809     19 |  0.190 % |
359.66/360.00	c |    505935 |    7874    67280   223601 |    99369    90859     19 |  0.190 % |
361.56/361.87	c |    508189 |    7874    67280   223601 |    99369    93113     20 |  0.190 % |
363.76/364.08	c |    510667 |    7874    67280   223601 |    94924    85475     19 |  0.190 % |
366.26/366.59	c |    513394 |    7874    67280   223601 |    94924    88202     19 |  0.190 % |
368.85/369.13	c |    516391 |    7874    67280   223601 |    94924    91199     20 |  0.190 % |
371.75/372.05	c |    519688 |    7874    67280   223601 |    94924    94496     20 |  0.190 % |
375.05/375.36	c |    523317 |    7874    67280   223601 | 2147483647    98125     20 |  0.190 % |
378.55/378.87	c |    527305 |    7874    67280   223601 | 2147483647   102113     20 |  0.190 % |
383.66/383.95	c |    531690 |    7874    67280   223601 |   104809    92814     20 |  0.190 % |
388.55/388.81	c |    536513 |    7874    67280   223601 |   104809    97637     20 |  0.190 % |
388.65/388.94	c |    536613 |    7874    67280   223601 |   104809    97737     20 |  0.190 % |
388.75/389.06	c |    536723 |    7874    67280   223601 |   104809    97847     20 |  0.190 % |
388.85/389.17	c |    536845 |    7874    67280   223601 |   104809    97969     20 |  0.190 % |
388.95/389.26	c |    536978 |    7874    67280   223601 |   104809    98102     20 |  0.190 % |
389.16/389.43	c |    537125 |    7874    67280   223601 |   104809    98249     20 |  0.190 % |
389.35/389.60	c |    537288 |    7874    67280   223601 |   104809    98412     20 |  0.190 % |
389.45/389.79	c |    537464 |    7874    67280   223601 |   104809    98588     20 |  0.190 % |
389.65/389.95	c |    537657 |    7874    67280   223601 |   104809    98781     20 |  0.190 % |
389.95/390.20	c |    537869 |    7874    67280   223601 |   104809    98993     20 |  0.190 % |
390.16/390.47	c |    538103 |    7874    67280   223601 |   104809    99227     20 |  0.190 % |
390.45/390.70	c |    538359 |    7874    67280   223601 |   104809    99483     20 |  0.190 % |
390.75/391.04	c |    538641 |    7874    67280   223601 |   104809    99765     20 |  0.190 % |
391.15/391.43	c |    538950 |    7874    67280   223601 |   104809   100074     20 |  0.190 % |
391.55/391.84	c |    539291 |    7874    67280   223601 |   104809   100415     20 |  0.190 % |
391.95/392.29	c |    539663 |    7874    67280   223601 |   104809   100787     20 |  0.190 % |
392.46/392.71	c |    540073 |    7874    67280   223601 |   101124   101197     20 |  0.190 % |
393.15/393.40	c |    540522 |    7874    67280   223601 |   101124    89887     20 |  0.190 % |
393.65/394.00	c |    541017 |    7874    67280   223601 |   101124    90382     20 |  0.190 % |
394.15/394.41	c |    541560 |    7874    67280   223601 |   101124    90925     20 |  0.190 % |
394.75/395.02	c |    542156 |    7874    67280   223601 |   101124    91521     20 |  0.190 % |
395.35/395.70	c |    542811 |    7874    67280   223601 |   101124    92176     20 |  0.190 % |
395.95/396.21	c |    543531 |    7874    67280   223601 |   101124    92896     20 |  0.190 % |
396.65/396.95	c |    544323 |    7874    67280   223601 |   101124    93688     20 |  0.190 % |
397.45/397.76	c |    545195 |    7874    67280   223601 |   101124    94560     20 |  0.190 % |
398.35/398.61	c |    546154 |    7874    67280   223601 |   101124    95519     20 |  0.190 % |
399.45/399.73	c |    547210 |    7874    67280   223601 |   101124    96575     20 |  0.190 % |
400.75/401.00	c |    548368 |    7874    67280   223601 |   101124    97733     20 |  0.190 % |
401.85/402.15	c |    549642 |    7874    67280   223601 |   101124    99007     20 |  0.190 % |
403.15/403.44	c |    551042 |    7874    67280   223601 |    99365    86464     20 |  0.190 % |
404.65/404.97	c |    552582 |    7874    67280   223601 |    99365    88004     20 |  0.190 % |
406.65/406.99	c |    554276 |    7874    67280   223601 |    99365    89698     20 |  0.190 % |
408.25/408.57	c |    556140 |    7874    67280   223601 |    99365    91562     20 |  0.190 % |
409.75/410.06	c |    558189 |    7874    67280   223601 |    99365    93611     20 |  0.190 % |
411.54/411.81	c |    560442 |    7874    67280   223601 |    95423    84577     20 |  0.190 % |
413.44/413.74	c |    562923 |    7874    67280   223601 |    95423    87058     20 |  0.190 % |
415.64/415.93	c |    565652 |    7874    67280   223601 |    95423    89787     20 |  0.190 % |
418.24/418.55	c |    568649 |    7874    67280   223601 |    95423    92784     20 |  0.190 % |
421.34/421.64	c |    571947 |    7874    67280   223601 | 2147483647    96082     20 |  0.190 % |
424.44/424.73	c |    575573 |    7874    67280   223601 | 2147483647    99708     20 |  0.190 % |
427.84/428.16	c |    579561 |    7874    67280   223601 | 2147483647   103696     20 |  0.190 % |
431.74/432.02	c |    583946 |    7874    67280   223601 |   104135    95593     20 |  0.190 % |
436.24/436.60	c |    588769 |    7874    67280   223601 |   104135   100416     20 |  0.190 % |
442.03/442.33	c |    594075 |    7874    67280   223601 |   101653    95142     20 |  0.190 % |
442.13/442.46	c |    594175 |    7874    67280   223601 |   101653    95242     20 |  0.190 % |
442.23/442.58	c |    594286 |    7874    67280   223601 |   101653    95353     20 |  0.190 % |
442.33/442.68	c |    594407 |    7874    67280   223601 |   101653    95474     20 |  0.190 % |
442.53/442.80	c |    594540 |    7874    67280   223601 |   101653    95607     20 |  0.190 % |
442.63/442.94	c |    594686 |    7874    67280   223601 |   101653    95753     20 |  0.190 % |
442.83/443.12	c |    594850 |    7874    67280   223601 |   101653    95917     20 |  0.190 % |
442.94/443.24	c |    595027 |    7874    67280   223601 |   101653    96094     20 |  0.190 % |
443.13/443.44	c |    595220 |    7874    67280   223601 |   101653    96287     20 |  0.190 % |
443.33/443.64	c |    595432 |    7874    67280   223601 |   101653    96499     20 |  0.190 % |
443.63/443.93	c |    595665 |    7874    67280   223601 |   101653    96732     20 |  0.190 % |
443.83/444.16	c |    595921 |    7874    67280   223601 |   101653    96988     20 |  0.190 % |
444.13/444.45	c |    596202 |    7874    67280   223601 |   101653    97269     20 |  0.190 % |
444.43/444.73	c |    596512 |    7874    67280   223601 |   101653    97579     20 |  0.190 % |
444.83/445.13	c |    596852 |    7874    67280   223601 |   101653    97919     20 |  0.190 % |
445.13/445.45	c |    597225 |    7874    67280   223601 |   101653    98292     20 |  0.190 % |
445.53/445.86	c |    597635 |    7873    67264   223568 |   101653    98701     20 |  0.203 % |
445.93/446.22	c |    598085 |    7873    67264   223568 |   101653    99151     20 |  0.203 % |
446.43/446.73	c |    598578 |    7873    67264   223568 |   101653    99644     20 |  0.203 % |
447.23/447.51	c |    599120 |    7873    67264   223568 |   101653   100186     20 |  0.203 % |
447.73/448.05	c |    599717 |    7873    67264   223568 |   101653   100783     20 |  0.203 % |
448.53/448.85	c |    600373 |    7873    67264   223568 |   101066    88547     19 |  0.203 % |
449.13/449.47	c |    601093 |    7873    67264   223568 |   101066    89267     19 |  0.203 % |
449.93/450.21	c |    601887 |    7873    67264   223568 |   101066    90061     19 |  0.203 % |
450.63/450.97	c |    602758 |    7873    67264   223568 |   101066    90932     19 |  0.203 % |
451.32/451.68	c |    603717 |    7873    67264   223568 |   101066    91891     19 |  0.203 % |
452.22/452.56	c |    604772 |    7873    67264   223568 |   101066    92946     19 |  0.203 % |
453.32/453.67	c |    605930 |    7873    67264   223568 |   101066    94104     20 |  0.203 % |
454.52/454.81	c |    607203 |    7873    67264   223568 |   101066    95377     20 |  0.203 % |
455.72/456.06	c |    608603 |    7873    67264   223568 |   101066    96777     20 |  0.203 % |
457.52/457.84	c |    610147 |    7873    67264   223568 | 2147483647    98321     20 |  0.203 % |
459.32/459.69	c |    611841 |    7873    67264   223568 | 2147483647   100015     20 |  0.203 % |
461.12/461.50	c |    613706 |    7873    67264   223568 | 2147483647   101880     20 |  0.203 % |
463.42/463.77	c |    615756 |    7873    67264   223568 | 2147483647   103930     20 |  0.203 % |
466.22/466.50	c |    618010 |    7873    67264   223568 | 2147483647   106184     20 |  0.203 % |
469.32/469.66	c |    620488 |    7873    67264   223568 |   108174    94294     20 |  0.203 % |
472.02/472.34	c |    623214 |    7873    67264   223568 |   108174    97020     20 |  0.203 % |
474.62/474.97	c |    626211 |    7873    67264   223568 |   108174   100017     20 |  0.203 % |
477.81/478.18	c |    629507 |    7873    67264   223568 |   108174   103313     20 |  0.203 % |
481.71/482.09	c |    633133 |    7873    67264   223568 |   103806    94288     20 |  0.203 % |
485.01/485.30	c |    637120 |    7873    67264   223568 |   103806    98275     20 |  0.203 % |
489.61/489.93	c |    641505 |    7873    67264   223568 |   101155    92525     19 |  0.203 % |
495.01/495.33	c |    646329 |    7873    67264   223568 |   101155    97349     19 |  0.203 % |
500.11/500.50	c |    651634 |    7873    67264   223568 | 2147483647   102654     20 |  0.203 % |
506.90/507.26	c |    657470 |    7873    67264   223568 | 2147483647   108490     20 |  0.203 % |
507.10/507.41	c |    657571 |    7873    67264   223568 | 2147483647   108591     20 |  0.203 % |
507.20/507.54	c |    657681 |    7873    67264   223568 | 2147483647   108701     20 |  0.203 % |
507.40/507.73	c |    657802 |    7873    67264   223568 | 2147483647   108822     20 |  0.203 % |
507.50/507.85	c |    657936 |    7873    67264   223568 | 2147483647   108956     20 |  0.203 % |
507.70/508.08	c |    658083 |    7873    67264   223568 | 2147483647   109103     20 |  0.203 % |
507.91/508.24	c |    658244 |    7873    67264   223568 | 2147483647   109264     20 |  0.203 % |
508.10/508.40	c |    658421 |    7873    67264   223568 | 2147483647   109441     20 |  0.203 % |
508.20/508.59	c |    658617 |    7873    67264   223568 | 2147483647   109637     20 |  0.203 % |
508.40/508.79	c |    658829 |    7873    67264   223568 | 2147483647   109849     20 |  0.203 % |
508.80/509.13	c |    659063 |    7873    67264   223568 | 2147483647   110083     20 |  0.203 % |
509.10/509.49	c |    659319 |    7873    67264   223568 | 2147483647   110339     20 |  0.203 % |
509.60/509.93	c |    659600 |    7873    67264   223568 | 2147483647   110620     20 |  0.203 % |
510.00/510.30	c |    659909 |    7873    67264   223568 | 2147483647   110929     20 |  0.203 % |
510.40/510.80	c |    660249 |    7873    67264   223568 |   111020   111269     20 |  0.203 % |
511.20/511.57	c |    660624 |    7873    67264   223568 |   111020    92858     19 |  0.203 % |
511.60/511.97	c |    661033 |    7873    67264   223568 |   111020    93267     19 |  0.203 % |
512.10/512.46	c |    661483 |    7873    67264   223568 |   111020    93717     19 |  0.203 % |
512.70/513.06	c |    661978 |    7873    67264   223568 |   111020    94212     19 |  0.203 % |
513.40/513.74	c |    662524 |    7873    67264   223568 |   111020    94758     19 |  0.203 % |
514.20/514.56	c |    663120 |    7873    67264   223568 |   111020    95354     19 |  0.203 % |
515.00/515.36	c |    663775 |    7873    67264   223568 |   111020    96009     19 |  0.203 % |
516.00/516.34	c |    664495 |    7873    67264   223568 |   111020    96729     19 |  0.203 % |
516.70/517.05	c |    665288 |    7873    67264   223568 |   111020    97522     19 |  0.203 % |
517.59/517.95	c |    666161 |    7873    67264   223568 |   111020    98395     19 |  0.203 % |
518.49/518.86	c |    667121 |    7873    67264   223568 |   111020    99355     19 |  0.203 % |
519.29/519.68	c |    668175 |    7873    67264   223568 |   111020   100409     19 |  0.203 % |
520.39/520.70	c |    669333 |    7873    67264   223568 |   111020   101567     19 |  0.203 % |
521.79/522.13	c |    670606 |    7873    67264   223568 |   102234    88338     19 |  0.203 % |
522.99/523.39	c |    672009 |    7873    67264   223568 |   102234    89741     19 |  0.203 % |
524.19/524.52	c |    673551 |    7873    67264   223568 |   102234    91283     19 |  0.203 % |
525.50/525.86	c |    675245 |    7873    67264   223568 |   102234    92977     19 |  0.203 % |
526.79/527.16	c |    677109 |    7873    67264   223568 |   102234    94841     19 |  0.203 % |
528.79/529.11	c |    679159 |    7873    67264   223568 |   102234    96891     19 |  0.203 % |
531.39/531.74	c |    681412 |    7873    67264   223568 |    97732    87806     18 |  0.203 % |
533.69/534.09	c |    683890 |    7873    67264   223568 |    97732    90284     18 |  0.203 % |
536.19/536.56	c |    686616 |    7873    67264   223568 |    97732    93010     19 |  0.203 % |
539.29/539.68	c |    689613 |    7873    67264   223568 |    97732    96007     19 |  0.203 % |
542.78/543.18	c |    692909 |    7873    67264   223568 |    96395    88354     18 |  0.203 % |
546.48/546.80	c |    696534 |    7873    67264   223568 |    96395    91979     18 |  0.203 % |
549.58/549.98	c |    700522 |    7870    66853   221264 | 2147483647    21927     11 |  0.241 % |
550.38/550.76	c |    704908 |    7868    66577   220171 | 2147483647    24124     11 |  0.266 % |
551.38/551.79	c |    709731 |    7856    66135   218820 | 2147483647    23813     11 |  0.469 % |
551.58/551.94	c ===============================================================================
551.58/551.94	c restarts              : 1034
551.58/551.94	c conflicts             : 710440         (1291 /sec)
551.58/551.94	c decisions             : 1022229        (1.80 % random) (1857 /sec)
551.58/551.94	c propagations          : 165344501      (300425 /sec)
551.58/551.94	c conflict literals     : 15740011       (37.02 % deleted)
551.58/551.94	c Memory used           : 22.30 MB
551.58/551.94	c CPU time              : 550.369 s
551.58/551.94	c 
551.58/551.94	s UNSATISFIABLE
551.58/551.95	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-1833801-1242825255/watcher-1833801-1242825255 -o /tmp/evaluation-result-1833801-1242825255/solver-1833801-1242825255 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833801-1242825255.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) R 15038 15040 14896 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840079859 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0

[startup+0.029894 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102905 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301941 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702015 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15045
/proc/meminfo: memFree=1948072/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 5356

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1960040/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=7384 CPUtime=1.87
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 1690 0 0 0 186 1 0 0 25 0 1 0 310553653 7561216 1676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 1846 1676 77 171 0 1673 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12740

[startup+6.30103 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1957672/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=9132 CPUtime=5.07
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 2159 0 0 0 506 1 0 0 25 0 1 0 310553653 9351168 2145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 2283 2145 77 171 0 2110 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14488

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1954920/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=11592 CPUtime=11.47
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 2776 0 0 0 1144 3 0 0 25 0 1 0 310553653 11870208 2762 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 2898 2762 77 171 0 2725 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 16948

[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1951912/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=14528 CPUtime=24.26
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 3494 0 0 0 2423 3 0 0 25 0 1 0 310553653 14876672 3480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 3632 3480 77 171 0 3459 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19884

[startup+51.1022 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1950376/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=15936 CPUtime=49.84
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 3856 0 0 0 4980 4 0 0 25 0 1 0 310553653 16318464 3842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 3984 3842 77 171 0 3811 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21292

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1945576/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=20956 CPUtime=101.01
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5042 0 0 0 10095 6 0 0 25 0 1 0 310553653 21458944 5028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5239 5028 77 171 0 5066 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 26312

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944872/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=21528 CPUtime=160.97
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5192 0 0 0 16091 6 0 0 25 0 1 0 310553653 22044672 5178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5382 5178 77 171 0 5209 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 26884

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944552/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=21852 CPUtime=220.94
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5244 0 0 0 22088 6 0 0 25 0 1 0 310553653 22376448 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5463 5230 77 171 0 5290 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 27208

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944296/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22020 CPUtime=280.91
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5282 0 0 0 28085 6 0 0 25 0 1 0 310553653 22548480 5268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5505 5268 77 171 0 5332 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 27376

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943976/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22172 CPUtime=340.88
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5331 0 0 0 34082 6 0 0 25 0 1 0 310553653 22704128 5317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5543 5317 77 171 0 5370 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 27528

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943592/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22512 CPUtime=400.86
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5400 0 0 0 40079 7 0 0 25 0 1 0 310553653 23052288 5386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5628 5386 77 171 0 5455 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 27868

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943336/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22652 CPUtime=460.83
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5430 0 0 0 46076 7 0 0 25 0 1 0 310553653 23195648 5416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5663 5416 77 171 0 5490 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 28008

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943080/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=520.8
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5481 0 0 0 52073 7 0 0 25 0 1 0 310553653 23379968 5467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5467 77 171 0 5535 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 28188

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

[startup+537.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=536
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 53593 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 537.19
Current children cumulated vsize (KiB) 28188

[startup+543.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=542.39
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54232 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 543.58
Current children cumulated vsize (KiB) 28188

[startup+547.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=545.59
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54552 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 546.78
Current children cumulated vsize (KiB) 28188

[startup+550.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=548.79
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54872 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (KiB) 28188

[startup+551.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=549.59
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54952 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 550.78
Current children cumulated vsize (KiB) 28188

[startup+551.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=549.99
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54992 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 551.18
Current children cumulated vsize (KiB) 28188

[startup+551.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=550.39
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 55032 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 551.58
Current children cumulated vsize (KiB) 28188

Child status: 20
Real time (s): 551.958
CPU time (s): 551.655
CPU user time (s): 551.519
CPU system time (s): 0.135979
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 30048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 551.519
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11550
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= 45
involuntary context switches= 2857

runsolver used 0.689895 second user time and 1.41478 second system time

The end

Launcher Data

Begin job on node44 at 2009-05-20 15:14:15
IDJOB=1833801
IDBENCH=70941
IDSOLVER=671
FILE ID=node44/1833801-1242825255
PBS_JOBID= 9322513
Free space on /tmp= 66364 MiB

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

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

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=1405759394

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1969688 kB
Buffers:         13624 kB
Cached:          37160 kB
SwapCached:       7152 kB
Active:          26720 kB
Inactive:        32892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1969688 kB
SwapTotal:     4192956 kB
SwapFree:      4179892 kB
Dirty:            4624 kB
Writeback:           0 kB
Mapped:          13924 kB
Slab:            12700 kB
Committed_AS:  1027124 kB
PageTables:       1384 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= 66360 MiB
End job on node44 at 2009-05-20 15:23:27