Trace number 3262352

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
glucose 2SAT 941.417 941.401

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
MD5SUM91ac0151536835225f21cbe5a3574a2d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.435933
Satisfiable
(Un)Satisfiability was proved
Number of variables222
Number of clauses26201
Sum of the clauses size115467
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2294
Number of clauses of size 323935
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51972

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   26201   115467 |    7860       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 222   #clauses: 26201   #literals: 115467
0.00/0.01	c CPU time:   0.009998 s
0.00/0.01	c ==============================================================================
0.00/0.03	c
0.00/0.03	c Starting glucose
0.00/0.03	c
30.18/30.22	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
30.18/30.22	c WARNING: for repeatability, setting FPU to use double precision
30.18/30.22	c ============================[ Problem Statistics ]=============================
30.18/30.22	c |                                                                             |
30.18/30.22	c |  Number of variables:           222                                         |
30.18/30.22	c |  Number of clauses:           26201                                         |
30.18/30.22	c |  Parse time:                   0.00 s                                       |
30.18/30.22	c |                                                                             |
30.18/30.22	c ============================[ Search Statistics ]==============================
30.18/30.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.18/30.22	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
30.18/30.22	c ===============================================================================
30.18/30.22	c |      7250 |     222    26201   115467 |        1     5252     25 |  0.000 % |
30.18/30.22	c |      7351 |     222    26201   115467 |        1     5353     25 |  0.000 % |
30.18/30.22	c |     62420 |     222    26201   115467 |        1    28265     24 |  0.000 % |
30.18/30.22	c |     64423 |     222    26201   115467 |        1    15850     23 |  0.000 % |
30.18/30.22	c |     65003 |     222    26201   115467 |        1    16430     23 |  0.000 % |
30.18/30.22	c |    150534 |     222    26201   115467 |        1    43147     22 |  0.000 % |
30.18/30.22	c |    208401 |     222    26201   115467 |        1    48807     22 |  0.000 % |
30.18/30.22	c |    208502 |     222    26201   115467 |        1    48908     22 |  0.000 % |
30.18/30.22	c |    208691 |     222    26201   115467 |        1    49097     22 |  0.000 % |
30.18/30.22	c |    208791 |     222    26201   115467 |        1    49197     22 |  0.000 % |
30.18/30.22	c |    209693 |     222    26201   115467 |        1    50099     22 |  0.000 % |
30.18/30.22	c |    213833 |     222    26201   115467 |        1    54239     22 |  0.000 % |
30.18/30.22	c |    234564 |     222    26201   115467 |        1    44977     21 |  0.000 % |
30.18/30.22	c |    277201 |     222    26201   115467 |        1    55014     21 |  0.000 % |
30.18/30.22	c |    343904 |     222    26201   115467 |        1    48724     21 |  0.000 % |
30.18/30.22	c |    423796 |     222    26201   115467 |        1    45213     20 |  0.000 % |
30.18/30.22	c |    428412 |     222    26201   115467 |        1    49829     20 |  0.000 % |
30.18/30.22	c |    428634 |     222    26201   115467 |        1    50051     20 |  0.000 % |
30.18/30.22	c |    428734 |     222    26201   115467 |        1    50151     20 |  0.000 % |
30.18/30.22	c |    429218 |     222    26201   115467 |        1    50635     21 |  0.000 % |
30.18/30.22	c |    429951 |     222    26201   115467 |        1    51368     21 |  0.000 % |
30.18/30.22	c |    432272 |     222    26201   115467 |        1    53689     21 |  0.000 % |
30.18/30.22	c |    432373 |     222    26201   115467 |        1    53790     21 |  0.000 % |
30.18/30.22	c |    432473 |     222    26201   115467 |        1    53890     21 |  0.000 % |
30.18/30.22	c |    436922 |     222    26201   115467 |        1    58339     21 |  0.000 % |
30.18/30.22	c |    437022 |     222    26201   115467 |        1    58439     21 |  0.000 % |
30.18/30.22	c |    437268 |     222    26201   115467 |        1    58685     21 |  0.000 % |
30.18/30.22	c |    437588 |     222    26201   115467 |        1    59005     21 |  0.000 % |
30.18/30.22	c |    438457 |     222    26201   115467 |        1    59874     22 |  0.000 % |
30.18/30.22	c |    456032 |     222    26201   115467 |        1    77449     22 |  0.000 % |
30.18/30.22	c |    456134 |     222    26201   115467 |        1    77551     22 |  0.000 % |
30.18/30.22	c |    473159 |     222    26201   115467 |        1    48973     20 |  0.000 % |
30.18/30.22	c |    474873 |     222    26201   115467 |        1    50687     20 |  0.000 % |
30.18/30.22	c |    490162 |     222    26201   115467 |        1    65976     21 |  0.000 % |
30.18/30.22	c |    498277 |     222    26201   115467 |        1    74091     21 |  0.000 % |
30.18/30.22	c |    510381 |     222    26201   115467 |        1    86195     22 |  0.000 % |
30.18/30.22	c |    512584 |     222    26201   115467 |        1    88398     22 |  0.000 % |
30.18/30.22	c |    513668 |     222    26201   115467 |        1    89482     22 |  0.000 % |
30.18/30.22	c |    513768 |     222    26201   115467 |        1    89582     22 |  0.000 % |
66.38/66.49	c |    513870 |     222    26201   115467 |        1    89684     22 |  0.000 % |
66.38/66.49	c |    516731 |     222    26201   115467 |        1    92545     22 |  0.000 % |
66.38/66.49	c |    543550 |     222    26201   115467 |        1    71166     21 |  0.000 % |
66.38/66.49	c |    559057 |     222    26201   115467 |        1    86673     22 |  0.000 % |
66.38/66.49	c |    559899 |     222    26201   115467 |        1    87515     22 |  0.000 % |
66.38/66.49	c |    560345 |     222    26201   115467 |        1    87961     22 |  0.000 % |
66.38/66.49	c |    560661 |     222    26201   115467 |        1    88277     22 |  0.000 % |
66.38/66.49	c |    560993 |     222    26201   115467 |        1    88609     22 |  0.000 % |
66.38/66.49	c |    561094 |     222    26201   115467 |        1    88710     23 |  0.000 % |
66.38/66.49	c |    562882 |     222    26201   115467 |        1    90498     23 |  0.000 % |
66.38/66.49	c |    569610 |     222    26201   115467 |        1    97226     23 |  0.000 % |
66.38/66.49	c |    586756 |     222    26201   115467 |        1    63573     20 |  0.000 % |
66.38/66.49	c |    622169 |     222    26201   115467 |        1    98986     22 |  0.000 % |
66.38/66.49	c |    622271 |     222    26201   115467 |        1    99088     22 |  0.000 % |
66.38/66.49	c |    624412 |     222    26201   115467 |        1   101229     22 |  0.000 % |
66.38/66.49	c |    624532 |     222    26201   115467 |        1   101349     22 |  0.000 % |
66.38/66.49	c |    624634 |     222    26201   115467 |        1   101451     22 |  0.000 % |
66.38/66.49	c |    624735 |     222    26201   115467 |        1   101552     22 |  0.000 % |
66.38/66.49	c |    626732 |     222    26201   115467 |        1   103549     22 |  0.000 % |
66.38/66.49	c |    632688 |     222    26201   115467 |        1    56101     20 |  0.000 % |
66.38/66.49	c |    634259 |     222    26201   115467 |        1    57672     20 |  0.000 % |
66.38/66.49	c |    634508 |     222    26201   115467 |        1    57921     20 |  0.000 % |
66.38/66.49	c |    636299 |     222    26201   115467 |        1    59712     20 |  0.000 % |
66.38/66.49	c |    748423 |     222    26201   115467 |        1   115834     20 |  0.000 % |
66.38/66.49	c |    750330 |     222    26201   115467 |        1    59143     18 |  0.000 % |
66.38/66.49	c |    752380 |     222    26201   115467 |        1    61193     19 |  0.000 % |
66.38/66.49	c |    752480 |     222    26201   115467 |        1    61293     19 |  0.000 % |
66.38/66.49	c |    791540 |     222    26201   115467 |        1   100353     21 |  0.000 % |
66.38/66.49	c |    845994 |     222    26201   115467 |        1    93615     20 |  0.000 % |
66.38/66.49	c |    848842 |     222    26201   115467 |        1    96463     20 |  0.000 % |
66.38/66.49	c |    851165 |     222    26201   115467 |        1    98786     21 |  0.000 % |
66.38/66.49	c |    851924 |     222    26201   115467 |        1    99545     21 |  0.000 % |
66.38/66.49	c |    852025 |     222    26201   115467 |        1    99646     21 |  0.000 % |
66.38/66.49	c |    852230 |     222    26201   115467 |        1    99851     21 |  0.000 % |
66.38/66.49	c |    852330 |     222    26201   115467 |        1    99951     21 |  0.000 % |
66.38/66.49	c |    852430 |     222    26201   115467 |        1   100051     21 |  0.000 % |
66.38/66.49	c |    853593 |     222    26201   115467 |        1   101214     21 |  0.000 % |
66.38/66.49	c |    870356 |     222    26201   115467 |        1   117977     21 |  0.000 % |
66.38/66.49	c |    870862 |     222    26201   115467 |        1   118483     21 |  0.000 % |
66.38/66.49	c |    872113 |     222    26201   115467 |        1   119734     21 |  0.000 % |
66.38/66.49	c |    901073 |     222    26201   115467 |        1    84896     20 |  0.000 % |
66.38/66.49	c |    911112 |     222    26201   115467 |        1    94935     20 |  0.000 % |
66.38/66.49	c |    911717 |     222    26201   115467 |        1    95540     20 |  0.000 % |
66.38/66.49	c |    923202 |     222    26201   115467 |        1   107025     20 |  0.000 % |
66.38/66.49	c |    924769 |     222    26201   115467 |        1   108592     21 |  0.000 % |
66.38/66.49	c |    925346 |     222    26201   115467 |        1   109169     21 |  0.000 % |
66.38/66.49	c |    991093 |     222    26201   115467 |        1   108507     20 |  0.000 % |
66.38/66.49	c |    998149 |     222    26201   115467 |        1   115563     21 |  0.000 % |
66.38/66.49	c |   1000175 |     222    26201   115467 |        1   117589     21 |  0.000 % |
66.38/66.49	c |   1004868 |     222    26201   115467 |        1   122282     21 |  0.000 % |
100.98/101.09	c |   1083263 |     222    26201   115467 |        1   131679     21 |  0.000 % |
100.98/101.09	c |   1090615 |     222    26201   115467 |        1   139031     21 |  0.000 % |
100.98/101.09	c |   1090715 |     222    26201   115467 |        1   139131     21 |  0.000 % |
100.98/101.09	c |   1090889 |     222    26201   115467 |        1   139305     21 |  0.000 % |
100.98/101.09	c |   1094243 |     222    26201   115467 |        1   142659     21 |  0.000 % |
100.98/101.09	c |   1094345 |     222    26201   115467 |        1   142761     21 |  0.000 % |
100.98/101.09	c |   1095318 |     222    26201   115467 |        1    72132     18 |  0.000 % |
100.98/101.09	c |   1136376 |     222    26201   115467 |        1   113190     21 |  0.000 % |
100.98/101.09	c |   1136476 |     222    26201   115467 |        1   113290     21 |  0.000 % |
100.98/101.09	c |   1136577 |     222    26201   115467 |        1   113391     21 |  0.000 % |
100.98/101.09	c |   1140061 |     222    26201   115467 |        1   116875     21 |  0.000 % |
100.98/101.09	c |   1149064 |     222    26201   115467 |        1   125878     21 |  0.000 % |
100.98/101.09	c |   1152083 |     222    26201   115467 |        1   128897     21 |  0.000 % |
100.98/101.09	c |   1152184 |     222    26201   115467 |        1   128998     21 |  0.000 % |
100.98/101.09	c |   1156305 |     222    26201   115467 |        1   133119     21 |  0.000 % |
100.98/101.09	c |   1156407 |     222    26201   115467 |        1   133221     21 |  0.000 % |
100.98/101.09	c |   1156969 |     222    26201   115467 |        1   133783     21 |  0.000 % |
100.98/101.09	c |   1157923 |     222    26201   115467 |        1   134737     21 |  0.000 % |
100.98/101.09	c |   1158705 |     222    26201   115467 |        1   135519     21 |  0.000 % |
100.98/101.09	c |   1234715 |     222    26201   115467 |        1   137329     20 |  0.000 % |
100.98/101.09	c |   1236450 |     222    26201   115467 |        1   139064     20 |  0.000 % |
100.98/101.09	c |   1236551 |     222    26201   115467 |        1   139165     20 |  0.000 % |
100.98/101.09	c |   1239917 |     222    26201   115467 |        1   142531     20 |  0.000 % |
100.98/101.09	c |   1241578 |     222    26201   115467 |        1   144192     20 |  0.000 % |
100.98/101.09	c |   1249139 |     222    26201   115467 |        1   151753     20 |  0.000 % |
100.98/101.09	c |   1250326 |     222    26201   115467 |        1   152940     20 |  0.000 % |
100.98/101.09	c |   1253524 |     222    26201   115467 |        1    79339     18 |  0.000 % |
100.98/101.09	c |   1254298 |     222    26201   115467 |        1    80113     18 |  0.000 % |
100.98/101.09	c |   1254399 |     222    26201   115467 |        1    80214     18 |  0.000 % |
100.98/101.09	c |   1254945 |     222    26201   115467 |        1    80760     18 |  0.000 % |
100.98/101.09	c |   1255951 |     222    26201   115467 |        1    81766     18 |  0.000 % |
100.98/101.09	c |   1256051 |     222    26201   115467 |        1    81866     18 |  0.000 % |
100.98/101.09	c |   1263624 |     222    26201   115467 |        1    89439     19 |  0.000 % |
100.98/101.09	c |   1265869 |     222    26201   115467 |        1    91684     19 |  0.000 % |
100.98/101.09	c |   1269287 |     222    26201   115467 |        1    95102     19 |  0.000 % |
100.98/101.09	c |   1269389 |     222    26201   115467 |        1    95204     19 |  0.000 % |
100.98/101.09	c |   1275452 |     222    26201   115467 |        1   101267     20 |  0.000 % |
100.98/101.09	c |   1279661 |     222    26201   115467 |        1   105476     20 |  0.000 % |
100.98/101.09	c |   1282322 |     222    26201   115467 |        1   108137     20 |  0.000 % |
100.98/101.09	c |   1344749 |     222    26201   115467 |        1    91159     19 |  0.000 % |
100.98/101.09	c |   1346265 |     222    26201   115467 |        1    92675     19 |  0.000 % |
100.98/101.09	c |   1347087 |     222    26201   115467 |        1    93497     19 |  0.000 % |
100.98/101.09	c |   1349210 |     222    26201   115467 |        1    95620     19 |  0.000 % |
100.98/101.09	c |   1353913 |     222    26201   115467 |        1   100323     19 |  0.000 % |
100.98/101.09	c |   1385751 |     222    26201   115467 |        1   132161     20 |  0.000 % |
100.98/101.09	c |   1402946 |     222    26201   115467 |        1   149356     21 |  0.000 % |
100.98/101.09	c |   1409718 |     222    26201   115467 |        1   156128     21 |  0.000 % |
100.98/101.09	c |   1425968 |     222    26201   115467 |        1    90384     19 |  0.000 % |
100.98/101.09	c |   1427387 |     222    26201   115467 |        1    91803     19 |  0.000 % |
100.98/101.09	c |   1434383 |     222    26201   115467 |        1    98799     19 |  0.000 % |
127.78/127.88	c |   1435376 |     222    26201   115467 |        1    99792     19 |  0.000 % |
127.78/127.88	c |   1443872 |     222    26201   115467 |        1   108288     20 |  0.000 % |
127.78/127.88	c |   1443977 |     222    26201   115467 |        1   108393     20 |  0.000 % |
127.78/127.88	c |   1445884 |     222    26201   115467 |        1   110300     20 |  0.000 % |
127.78/127.88	c |   1449205 |     222    26201   115467 |        1   113621     20 |  0.000 % |
127.78/127.88	c |   1450689 |     222    26201   115467 |        1   115105     20 |  0.000 % |
127.78/127.88	c |   1452281 |     222    26201   115467 |        1   116697     20 |  0.000 % |
127.78/127.88	c |   1452647 |     222    26201   115467 |        1   117063     20 |  0.000 % |
127.78/127.88	c |   1455296 |     222    26201   115467 |        1   119712     20 |  0.000 % |
127.78/127.88	c |   1455826 |     222    26201   115467 |        1   120242     20 |  0.000 % |
127.78/127.88	c |   1456010 |     222    26201   115467 |        1   120426     20 |  0.000 % |
127.78/127.88	c |   1456110 |     222    26201   115467 |        1   120526     20 |  0.000 % |
127.78/127.88	c |   1456210 |     222    26201   115467 |        1   120626     20 |  0.000 % |
127.78/127.88	c |   1463232 |     222    26201   115467 |        1   127648     21 |  0.000 % |
127.78/127.88	c |   1463534 |     222    26201   115467 |        1   127950     21 |  0.000 % |
127.78/127.88	c |   1472408 |     222    26201   115467 |        1   136824     21 |  0.000 % |
127.78/127.88	c |   1488781 |     222    26201   115467 |        1   153197     22 |  0.000 % |
127.78/127.88	c |   1488882 |     222    26201   115467 |        1   153298     22 |  0.000 % |
127.78/127.88	c |   1491534 |     222    26201   115467 |        1   155950     22 |  0.000 % |
127.78/127.88	c |   1507360 |     222    26201   115467 |        1    87172     19 |  0.000 % |
127.78/127.88	c |   1696272 |     222    26201   115467 |        1    99089     18 |  0.000 % |
127.78/127.88	c |   1698261 |     222    26201   115467 |        1   101078     18 |  0.000 % |
127.78/127.88	c |   1698361 |     222    26201   115467 |        1   101178     18 |  0.000 % |
127.78/127.88	c |   1701915 |     222    26201   115467 |        1   104732     18 |  0.000 % |
127.78/127.88	c |   1702271 |     222    26201   115467 |        1   105088     18 |  0.000 % |
127.78/127.88	c |   1704570 |     222    26201   115467 |        1   107387     18 |  0.000 % |
127.78/127.88	c |   1704671 |     222    26201   115467 |        1   107488     19 |  0.000 % |
127.78/127.88	c |   1704825 |     222    26201   115467 |        1   107642     19 |  0.000 % |
127.78/127.88	c |   1704928 |     222    26201   115467 |        1   107745     19 |  0.000 % |
127.78/127.88	c |   1708843 |     222    26201   115467 |        1   111660     19 |  0.000 % |
127.78/127.88	c |   1709792 |     222    26201   115467 |        1   112609     19 |  0.000 % |
127.78/127.88	c |   1709892 |     222    26201   115467 |        1   112709     19 |  0.000 % |
127.78/127.88	c |   1714479 |     222    26201   115467 |        1   117296     19 |  0.000 % |
127.78/127.88	c |   1715522 |     222    26201   115467 |        1   118339     19 |  0.000 % |
127.78/127.88	c |   1716775 |     222    26201   115467 |        1   119592     19 |  0.000 % |
127.78/127.88	c |   1717781 |     222    26201   115467 |        1   120598     19 |  0.000 % |
127.78/127.88	c |   1718235 |     222    26201   115467 |        1   121052     19 |  0.000 % |
127.78/127.88	c |   1720827 |     222    26201   115467 |        1   123644     19 |  0.000 % |
127.78/127.88	c |   1720927 |     222    26201   115467 |        1   123744     19 |  0.000 % |
127.78/127.88	c |   1721027 |     222    26201   115467 |        1   123844     19 |  0.000 % |
127.78/127.88	c |   1721127 |     222    26201   115467 |        1   123944     19 |  0.000 % |
127.78/127.88	c |   1721227 |     222    26201   115467 |        1   124044     19 |  0.000 % |
127.78/127.88	c |   1721328 |     222    26201   115467 |        1   124145     19 |  0.000 % |
127.78/127.88	c |   1721884 |     222    26201   115467 |        1   124701     20 |  0.000 % |
127.78/127.88	c |   1730506 |     222    26201   115467 |        1   133323     20 |  0.000 % |
127.78/127.88	c |   1731943 |     222    26201   115467 |        1   134760     20 |  0.000 % |
127.78/127.88	c |   1732069 |     222    26201   115467 |        1   134886     20 |  0.000 % |
127.78/127.88	c |   1735056 |     222    26201   115467 |        1   137873     20 |  0.000 % |
127.78/127.88	c |   1736427 |     222    26201   115467 |        1   139244     20 |  0.000 % |
127.78/127.88	c |   1736528 |     222    26201   115467 |        1   139345     20 |  0.000 % |
177.78/177.80	c |   1736629 |     222    26201   115467 |        1   139446     20 |  0.000 % |
177.78/177.80	c |   1742641 |     222    26201   115467 |        1   145458     20 |  0.000 % |
177.78/177.80	c |   1761282 |     222    26201   115467 |        1   164099     21 |  0.000 % |
177.78/177.80	c |   1763296 |     222    26201   115467 |        1   166113     21 |  0.000 % |
177.78/177.80	c |   1763884 |     222    26201   115467 |        1   166701     21 |  0.000 % |
177.78/177.80	c |   1770506 |     222    26201   115467 |        1   173323     21 |  0.000 % |
177.78/177.80	c |   1770621 |     222    26201   115467 |        1   173438     21 |  0.000 % |
177.78/177.80	c |   1796622 |     222    26201   115467 |        1   107036     19 |  0.000 % |
177.78/177.80	c |   1798620 |     222    26201   115467 |        1   109034     19 |  0.000 % |
177.78/177.80	c |   1806764 |     222    26201   115467 |        1   117178     19 |  0.000 % |
177.78/177.80	c |   1811633 |     222    26201   115467 |        1   122047     19 |  0.000 % |
177.78/177.80	c |   1821929 |     222    26201   115467 |        1   132343     20 |  0.000 % |
177.78/177.80	c |   1822029 |     222    26201   115467 |        1   132443     20 |  0.000 % |
177.78/177.80	c |   1835753 |     222    26201   115467 |        1   146167     21 |  0.000 % |
177.78/177.80	c |   1886781 |     222    26201   115467 |        1   102194     18 |  0.000 % |
177.78/177.80	c |   1900056 |     222    26201   115467 |        1   115469     19 |  0.000 % |
177.78/177.80	c |   1904215 |     222    26201   115467 |        1   119628     19 |  0.000 % |
177.78/177.80	c |   1911796 |     222    26201   115467 |        1   127209     19 |  0.000 % |
177.78/177.80	c |   1912966 |     222    26201   115467 |        1   128379     20 |  0.000 % |
177.78/177.80	c |   1922004 |     222    26201   115467 |        1   137417     20 |  0.000 % |
177.78/177.80	c |   1940845 |     222    26201   115467 |        1   156258     21 |  0.000 % |
177.78/177.80	c |   2007914 |     222    26201   115467 |        1   125733     20 |  0.000 % |
177.78/177.80	c |   2020788 |     222    26201   115467 |        1   138607     20 |  0.000 % |
177.78/177.80	c |   2028926 |     222    26201   115467 |        1   146745     20 |  0.000 % |
177.78/177.80	c |   2128581 |     222    26201   115467 |        1   146201     19 |  0.000 % |
177.78/177.80	c |   2128685 |     222    26201   115467 |        1   146305     19 |  0.000 % |
177.78/177.80	c |   2129839 |     222    26201   115467 |        1   147459     19 |  0.000 % |
177.78/177.80	c |   2135060 |     222    26201   115467 |        1   152680     19 |  0.000 % |
177.78/177.80	c |   2135161 |     222    26201   115467 |        1   152781     19 |  0.000 % |
177.78/177.80	c |   2135261 |     222    26201   115467 |        1   152881     19 |  0.000 % |
177.78/177.80	c |   2142684 |     222    26201   115467 |        1   160304     19 |  0.000 % |
177.78/177.80	c |   2143274 |     222    26201   115467 |        1   160894     20 |  0.000 % |
177.78/177.80	c |   2143854 |     222    26201   115467 |        1   161474     20 |  0.000 % |
177.78/177.80	c |   2164463 |     222    26201   115467 |        1   182083     20 |  0.000 % |
177.78/177.80	c |   2164563 |     222    26201   115467 |        1   182183     20 |  0.000 % |
177.78/177.80	c |   2169405 |     222    26201   115467 |        1   187025     20 |  0.000 % |
177.78/177.80	c |   2170804 |     222    26201   115467 |        1   188424     20 |  0.000 % |
177.78/177.80	c |   2170957 |     222    26201   115467 |        1   188577     20 |  0.000 % |
177.78/177.80	c |   2179589 |     222    26201   115467 |        1   197209     20 |  0.000 % |
177.78/177.80	c |   2200604 |     222    26201   115467 |        1   115421     18 |  0.000 % |
177.78/177.80	c |   2234478 |     222    26201   115467 |        1   149295     20 |  0.000 % |
177.78/177.80	c |   2237542 |     222    26201   115467 |        1   152359     20 |  0.000 % |
177.78/177.80	c |   2237642 |     222    26201   115467 |        1   152459     20 |  0.000 % |
177.78/177.80	c |   2242850 |     222    26201   115467 |        1   157667     20 |  0.000 % |
177.78/177.80	c |   2246319 |     222    26201   115467 |        1   161136     20 |  0.000 % |
177.78/177.80	c |   2265482 |     222    26201   115467 |        1   180299     21 |  0.000 % |
177.78/177.80	c |   2266625 |     222    26201   115467 |        1   181442     21 |  0.000 % |
177.78/177.80	c |   2268507 |     222    26201   115467 |        1   183324     21 |  0.000 % |
177.78/177.80	c |   2280527 |     222    26201   115467 |        1   195344     21 |  0.000 % |
177.78/177.80	c |   2283560 |     222    26201   115467 |        1   198377     21 |  0.000 % |
230.18/230.27	c |   2328823 |     222    26201   115467 |        1   138244     20 |  0.000 % |
230.18/230.27	c |   2329289 |     222    26201   115467 |        1   138710     20 |  0.000 % |
230.18/230.27	c |   2350739 |     222    26201   115467 |        1   160160     20 |  0.000 % |
230.18/230.27	c |   2359869 |     222    26201   115467 |        1   169290     20 |  0.000 % |
230.18/230.27	c |   2362107 |     222    26201   115467 |        1   171528     20 |  0.000 % |
230.18/230.27	c |   2362207 |     222    26201   115467 |        1   171628     20 |  0.000 % |
230.18/230.27	c |   2427265 |     222    26201   115467 |        1   128687     18 |  0.000 % |
230.18/230.27	c |   2427367 |     222    26201   115467 |        1   128789     18 |  0.000 % |
230.18/230.27	c |   2430679 |     222    26201   115467 |        1   132101     19 |  0.000 % |
230.18/230.27	c |   2444322 |     222    26201   115467 |        1   145744     19 |  0.000 % |
230.18/230.27	c |   2455608 |     222    26201   115467 |        1   157030     19 |  0.000 % |
230.18/230.27	c |   2461036 |     222    26201   115467 |        1   162458     20 |  0.000 % |
230.18/230.27	c |   2514662 |     222    26201   115467 |        1   216084     20 |  0.000 % |
230.18/230.27	c |   2562979 |     222    26201   115467 |        1   153797     19 |  0.000 % |
230.18/230.27	c |   2563465 |     222    26201   115467 |        1   154283     19 |  0.000 % |
230.18/230.27	c |   2565300 |     222    26201   115467 |        1   156118     19 |  0.000 % |
230.18/230.27	c |   2565400 |     222    26201   115467 |        1   156218     19 |  0.000 % |
230.18/230.27	c |   2571217 |     222    26201   115467 |        1   162035     19 |  0.000 % |
230.18/230.27	c |   2571387 |     222    26201   115467 |        1   162205     19 |  0.000 % |
230.18/230.27	c |   2572544 |     222    26201   115467 |        1   163362     19 |  0.000 % |
230.18/230.27	c |   2575033 |     222    26201   115467 |        1   165851     19 |  0.000 % |
230.18/230.27	c |   2581267 |     222    26201   115467 |        1   172085     19 |  0.000 % |
230.18/230.27	c |   2586720 |     222    26201   115467 |        1   177538     19 |  0.000 % |
230.18/230.27	c |   2589700 |     222    26201   115467 |        1   180518     19 |  0.000 % |
230.18/230.27	c |   2589906 |     222    26201   115467 |        1   180724     19 |  0.000 % |
230.18/230.27	c |   2602717 |     222    26201   115467 |        1   193535     20 |  0.000 % |
230.18/230.27	c |   2603225 |     222    26201   115467 |        1   194043     20 |  0.000 % |
230.18/230.27	c |   2614691 |     222    26201   115467 |        1   205509     20 |  0.000 % |
230.18/230.27	c |   2659607 |     222    26201   115467 |        1   137223     19 |  0.000 % |
230.18/230.27	c |   2675708 |     222    26201   115467 |        1   153324     19 |  0.000 % |
230.18/230.27	c |   2692739 |     222    26201   115467 |        1   170355     19 |  0.000 % |
230.18/230.27	c |   2692872 |     222    26201   115467 |        1   170488     19 |  0.000 % |
230.18/230.27	c |   2734837 |     222    26201   115467 |        1   212453     20 |  0.000 % |
230.18/230.27	c |   2737274 |     222    26201   115467 |        1   214890     20 |  0.000 % |
230.18/230.27	c |   2737380 |     222    26201   115467 |        1   214996     20 |  0.000 % |
230.18/230.27	c |   2749917 |     222    26201   115467 |        1   227533     21 |  0.000 % |
230.18/230.27	c |   2752359 |     222    26201   115467 |        1   229975     21 |  0.000 % |
230.18/230.27	c |   2754505 |     222    26201   115467 |        1   116323     18 |  0.000 % |
230.18/230.27	c |   2759058 |     222    26201   115467 |        1   120876     18 |  0.000 % |
230.18/230.27	c |   2763013 |     222    26201   115467 |        1   124831     18 |  0.000 % |
230.18/230.27	c |   2777969 |     222    26201   115467 |        1   139787     19 |  0.000 % |
230.18/230.27	c |   2778289 |     222    26201   115467 |        1   140107     19 |  0.000 % |
230.18/230.27	c |   2807092 |     222    26201   115467 |        1   168910     19 |  0.000 % |
230.18/230.27	c |   2811513 |     222    26201   115467 |        1   173331     20 |  0.000 % |
230.18/230.27	c |   2811613 |     222    26201   115467 |        1   173431     20 |  0.000 % |
230.18/230.27	c |   2811716 |     222    26201   115467 |        1   173534     20 |  0.000 % |
230.18/230.27	c |   2818247 |     222    26201   115467 |        1   180065     20 |  0.000 % |
230.18/230.27	c |   2818347 |     222    26201   115467 |        1   180165     20 |  0.000 % |
230.18/230.27	c |   2819590 |     222    26201   115467 |        1   181408     20 |  0.000 % |
230.18/230.27	c |   2820450 |     222    26201   115467 |        1   182268     20 |  0.000 % |
252.08/252.13	c |   2827104 |     222    26201   115467 |        1   188922     20 |  0.000 % |
252.08/252.13	c |   2827330 |     222    26201   115467 |        1   189148     20 |  0.000 % |
252.08/252.13	c |   2828442 |     222    26201   115467 |        1   190260     20 |  0.000 % |
252.08/252.13	c |   2842689 |     222    26201   115467 |        1   204507     20 |  0.000 % |
252.08/252.13	c |   2853312 |     222    26201   115467 |        1   215130     20 |  0.000 % |
252.08/252.13	c |   2853451 |     222    26201   115467 |        1   215269     20 |  0.000 % |
252.08/252.13	c |   2864275 |     222    26201   115467 |        1   226093     21 |  0.000 % |
252.08/252.13	c |   2864827 |     222    26201   115467 |        1   226645     21 |  0.000 % |
252.08/252.13	c |   2865280 |     222    26201   115467 |        1   227098     21 |  0.000 % |
252.08/252.13	c |   2866331 |     222    26201   115467 |        1   228149     21 |  0.000 % |
252.08/252.13	c |   2868324 |     222    26201   115467 |        1   230142     21 |  0.000 % |
252.08/252.13	c |   2868425 |     222    26201   115467 |        1   230243     21 |  0.000 % |
252.08/252.13	c |   2874177 |     222    26201   115467 |        1   235995     21 |  0.000 % |
252.08/252.13	c |   2878219 |     222    26201   115467 |        1   121634     18 |  0.000 % |
252.08/252.13	c |   2878319 |     222    26201   115467 |        1   121734     18 |  0.000 % |
252.08/252.13	c |   2881126 |     222    26201   115467 |        1   124541     18 |  0.000 % |
252.08/252.13	c |   2882143 |     222    26201   115467 |        1   125558     18 |  0.000 % |
252.08/252.13	c |   2883571 |     222    26201   115467 |        1   126986     18 |  0.000 % |
252.08/252.13	c |   2889382 |     222    26201   115467 |        1   132797     18 |  0.000 % |
252.08/252.13	c |   2889484 |     222    26201   115467 |        1   132899     18 |  0.000 % |
252.08/252.13	c |   2891373 |     222    26201   115467 |        1   134788     18 |  0.000 % |
252.08/252.13	c |   2893533 |     222    26201   115467 |        1   136948     19 |  0.000 % |
252.08/252.13	c |   2894227 |     222    26201   115467 |        1   137642     19 |  0.000 % |
252.08/252.13	c |   2894626 |     222    26201   115467 |        1   138041     19 |  0.000 % |
252.08/252.13	c |   2894726 |     222    26201   115467 |        1   138141     19 |  0.000 % |
252.08/252.13	c |   2894827 |     222    26201   115467 |        1   138242     19 |  0.000 % |
252.08/252.13	c |   2894935 |     222    26201   115467 |        1   138350     19 |  0.000 % |
252.08/252.13	c |   2895035 |     222    26201   115467 |        1   138450     19 |  0.000 % |
252.08/252.13	c |   2896730 |     222    26201   115467 |        1   140145     19 |  0.000 % |
252.08/252.13	c |   2914222 |     222    26201   115467 |        1   157637     19 |  0.000 % |
252.08/252.13	c |   2914684 |     222    26201   115467 |        1   158099     19 |  0.000 % |
252.08/252.13	c |   2918500 |     222    26201   115467 |        1   161915     19 |  0.000 % |
252.08/252.13	c |   2921757 |     222    26201   115467 |        1   165172     19 |  0.000 % |
252.08/252.13	c |   2925937 |     222    26201   115467 |        1   169352     19 |  0.000 % |
252.08/252.13	c |   2926038 |     222    26201   115467 |        1   169453     19 |  0.000 % |
252.08/252.13	c |   2927116 |     222    26201   115467 |        1   170531     20 |  0.000 % |
252.08/252.13	c |   2927216 |     222    26201   115467 |        1   170631     20 |  0.000 % |
252.08/252.13	c |   2934819 |     222    26201   115467 |        1   178234     20 |  0.000 % |
252.08/252.13	c |   2942562 |     222    26201   115467 |        1   185977     20 |  0.000 % |
252.08/252.13	c |   2942662 |     222    26201   115467 |        1   186077     20 |  0.000 % |
252.08/252.13	c |   2946869 |     222    26201   115467 |        1   190284     20 |  0.000 % |
252.08/252.13	c |   2946970 |     222    26201   115467 |        1   190385     20 |  0.000 % |
252.08/252.13	c |   2947510 |     222    26201   115467 |        1   190925     20 |  0.000 % |
252.08/252.13	c |   2968567 |     222    26201   115467 |        1   211982     20 |  0.000 % |
252.08/252.13	c |   3028973 |     222    26201   115467 |        1   151389     19 |  0.000 % |
252.08/252.13	c |   3029075 |     222    26201   115467 |        1   151491     19 |  0.000 % |
252.08/252.13	c |   3041590 |     222    26201   115467 |        1   164006     19 |  0.000 % |
252.08/252.13	c |   3041745 |     222    26201   115467 |        1   164161     19 |  0.000 % |
252.08/252.13	c |   3044309 |     222    26201   115467 |        1   166725     19 |  0.000 % |
284.18/284.26	c |   3045247 |     222    26201   115467 |        1   167663     20 |  0.000 % |
284.18/284.26	c |   3045351 |     222    26201   115467 |        1   167767     20 |  0.000 % |
284.18/284.26	c |   3057344 |     222    26201   115467 |        1   179760     20 |  0.000 % |
284.18/284.26	c |   3060111 |     222    26201   115467 |        1   182527     20 |  0.000 % |
284.18/284.26	c |   3062237 |     222    26201   115467 |        1   184653     20 |  0.000 % |
284.18/284.26	c |   3063353 |     222    26201   115467 |        1   185769     20 |  0.000 % |
284.18/284.26	c |   3122458 |     222    26201   115467 |        1   244874     21 |  0.000 % |
284.18/284.26	c |   3122711 |     222    26201   115467 |        1   245127     21 |  0.000 % |
284.18/284.26	c |   3124904 |     222    26201   115467 |        1   123719     18 |  0.000 % |
284.18/284.26	c |   3135650 |     222    26201   115467 |        1   134465     18 |  0.000 % |
284.18/284.26	c |   3146151 |     222    26201   115467 |        1   144966     18 |  0.000 % |
284.18/284.26	c |   3146619 |     222    26201   115467 |        1   145434     18 |  0.000 % |
284.18/284.26	c |   3146719 |     222    26201   115467 |        1   145534     18 |  0.000 % |
284.18/284.26	c |   3153000 |     222    26201   115467 |        1   151815     19 |  0.000 % |
284.18/284.26	c |   3153101 |     222    26201   115467 |        1   151916     19 |  0.000 % |
284.18/284.26	c |   3173202 |     222    26201   115467 |        1   172017     19 |  0.000 % |
284.18/284.26	c |   3183958 |     222    26201   115467 |        1   182773     19 |  0.000 % |
284.18/284.26	c |   3184060 |     222    26201   115467 |        1   182875     19 |  0.000 % |
284.18/284.26	c |   3184348 |     222    26201   115467 |        1   183163     19 |  0.000 % |
284.18/284.26	c |   3197958 |     222    26201   115467 |        1   196773     20 |  0.000 % |
284.18/284.26	c |   3214593 |     222    26201   115467 |        1   213408     20 |  0.000 % |
284.18/284.26	c |   3214823 |     222    26201   115467 |        1   213638     20 |  0.000 % |
284.18/284.26	c |   3215659 |     222    26201   115467 |        1   214474     20 |  0.000 % |
284.18/284.26	c |   3216239 |     222    26201   115467 |        1   215054     20 |  0.000 % |
284.18/284.26	c |   3216386 |     222    26201   115467 |        1   215201     20 |  0.000 % |
284.18/284.26	c |   3216488 |     222    26201   115467 |        1   215303     20 |  0.000 % |
284.18/284.26	c |   3216619 |     222    26201   115467 |        1   215434     20 |  0.000 % |
284.18/284.26	c |   3217013 |     222    26201   115467 |        1   215828     20 |  0.000 % |
284.18/284.26	c |   3220272 |     222    26201   115467 |        1   219087     20 |  0.000 % |
284.18/284.26	c |   3220374 |     222    26201   115467 |        1   219189     20 |  0.000 % |
284.18/284.26	c |   3220611 |     222    26201   115467 |        1   219426     20 |  0.000 % |
284.18/284.26	c |   3220711 |     222    26201   115467 |        1   219526     20 |  0.000 % |
284.18/284.26	c |   3230310 |     222    26201   115467 |        1   229125     20 |  0.000 % |
284.18/284.26	c |   3231052 |     222    26201   115467 |        1   229867     20 |  0.000 % |
284.18/284.26	c |   3231217 |     222    26201   115467 |        1   230032     20 |  0.000 % |
284.18/284.26	c |   3231417 |     222    26201   115467 |        1   230232     20 |  0.000 % |
284.18/284.26	c |   3233710 |     222    26201   115467 |        1   232525     20 |  0.000 % |
284.18/284.26	c |   3233811 |     222    26201   115467 |        1   232626     20 |  0.000 % |
284.18/284.26	c |   3233912 |     222    26201   115467 |        1   232727     20 |  0.000 % |
284.18/284.26	c |   3264468 |     222    26201   115467 |        1   137088     18 |  0.000 % |
284.18/284.26	c |   3303722 |     222    26201   115467 |        1   176342     19 |  0.000 % |
284.18/284.26	c |   3304418 |     222    26201   115467 |        1   177038     19 |  0.000 % |
284.18/284.26	c |   3305905 |     222    26201   115467 |        1   178525     19 |  0.000 % |
284.18/284.26	c |   3306988 |     222    26201   115467 |        1   179608     19 |  0.000 % |
284.18/284.26	c |   3308236 |     222    26201   115467 |        1   180856     19 |  0.000 % |
284.18/284.26	c |   3308338 |     222    26201   115467 |        1   180958     19 |  0.000 % |
284.18/284.26	c |   3313733 |     222    26201   115467 |        1   186353     19 |  0.000 % |
284.18/284.26	c |   3339619 |     222    26201   115467 |        1   212239     19 |  0.000 % |
284.18/284.26	c |   3339719 |     222    26201   115467 |        1   212339     19 |  0.000 % |
284.18/284.26	c |   3344679 |     222    26201   115467 |        1   217299     20 |  0.000 % |
330.88/330.99	c |   3345764 |     222    26201   115467 |        1   218384     20 |  0.000 % |
330.88/330.99	c |   3348415 |     222    26201   115467 |        1   221035     20 |  0.000 % |
330.88/330.99	c |   3350719 |     222    26201   115467 |        1   223339     20 |  0.000 % |
330.88/330.99	c |   3352798 |     222    26201   115467 |        1   225418     20 |  0.000 % |
330.88/330.99	c |   3352901 |     222    26201   115467 |        1   225521     20 |  0.000 % |
330.88/330.99	c |   3354583 |     222    26201   115467 |        1   227203     20 |  0.000 % |
330.88/330.99	c |   3355294 |     222    26201   115467 |        1   227914     20 |  0.000 % |
330.88/330.99	c |   3369940 |     222    26201   115467 |        1   242560     20 |  0.000 % |
330.88/330.99	c |   3373081 |     222    26201   115467 |        1   245701     20 |  0.000 % |
330.88/330.99	c |   3374434 |     222    26201   115467 |        1   247054     20 |  0.000 % |
330.88/330.99	c |   3374723 |     222    26201   115467 |        1   247343     20 |  0.000 % |
330.88/330.99	c |   3405230 |     222    26201   115467 |        1   149043     18 |  0.000 % |
330.88/330.99	c |   3409297 |     222    26201   115467 |        1   153110     18 |  0.000 % |
330.88/330.99	c |   3412056 |     222    26201   115467 |        1   155869     18 |  0.000 % |
330.88/330.99	c |   3412156 |     222    26201   115467 |        1   155969     18 |  0.000 % |
330.88/330.99	c |   3412257 |     222    26201   115467 |        1   156070     18 |  0.000 % |
330.88/330.99	c |   3425315 |     222    26201   115467 |        1   169128     19 |  0.000 % |
330.88/330.99	c |   3436066 |     222    26201   115467 |        1   179879     19 |  0.000 % |
330.88/330.99	c |   3436166 |     222    26201   115467 |        1   179979     19 |  0.000 % |
330.88/330.99	c |   3436486 |     222    26201   115467 |        1   180299     19 |  0.000 % |
330.88/330.99	c |   3436770 |     222    26201   115467 |        1   180583     19 |  0.000 % |
330.88/330.99	c |   3444118 |     222    26201   115467 |        1   187931     19 |  0.000 % |
330.88/330.99	c |   3467236 |     222    26201   115467 |        1   211049     20 |  0.000 % |
330.88/330.99	c |   3471383 |     222    26201   115467 |        1   215196     20 |  0.000 % |
330.88/330.99	c |   3496209 |     222    26201   115467 |        1   240022     20 |  0.000 % |
330.88/330.99	c |   3503844 |     222    26201   115467 |        1   247657     20 |  0.000 % |
330.88/330.99	c |   3504035 |     222    26201   115467 |        1   247848     20 |  0.000 % |
330.88/330.99	c |   3509705 |     222    26201   115467 |        1   253518     20 |  0.000 % |
330.88/330.99	c |   3554779 |     222    26201   115467 |        1   167199     18 |  0.000 % |
330.88/330.99	c |   3555239 |     222    26201   115467 |        1   167659     18 |  0.000 % |
330.88/330.99	c |   3555339 |     222    26201   115467 |        1   167759     18 |  0.000 % |
330.88/330.99	c |   3555440 |     222    26201   115467 |        1   167860     18 |  0.000 % |
330.88/330.99	c |   3555541 |     222    26201   115467 |        1   167961     18 |  0.000 % |
330.88/330.99	c |   3574814 |     222    26201   115467 |        1   187234     18 |  0.000 % |
330.88/330.99	c |   3579588 |     222    26201   115467 |        1   192008     19 |  0.000 % |
330.88/330.99	c |   3585469 |     222    26201   115467 |        1   197889     19 |  0.000 % |
330.88/330.99	c |   3585896 |     222    26201   115467 |        1   198316     19 |  0.000 % |
330.88/330.99	c |   3604986 |     222    26201   115467 |        1   217406     19 |  0.000 % |
330.88/330.99	c |   3608859 |     222    26201   115467 |        1   221279     19 |  0.000 % |
330.88/330.99	c |   3609272 |     222    26201   115467 |        1   221692     19 |  0.000 % |
330.88/330.99	c |   3611292 |     222    26201   115467 |        1   223712     19 |  0.000 % |
330.88/330.99	c |   3647400 |     222    26201   115467 |        1   259820     20 |  0.000 % |
330.88/330.99	c |   3650358 |     222    26201   115467 |        1   262778     20 |  0.000 % |
330.88/330.99	c |   3654634 |     222    26201   115467 |        1   267054     20 |  0.000 % |
330.88/330.99	c |   3661401 |     222    26201   115467 |        1   139816     17 |  0.000 % |
330.88/330.99	c |   3661501 |     222    26201   115467 |        1   139916     17 |  0.000 % |
330.88/330.99	c |   3678016 |     222    26201   115467 |        1   156431     18 |  0.000 % |
330.88/330.99	c |   3749609 |     222    26201   115467 |        1   228024     20 |  0.000 % |
330.88/330.99	c |   3749710 |     222    26201   115467 |        1   228125     20 |  0.000 % |
330.88/330.99	c |   3764897 |     222    26201   115467 |        1   243312     20 |  0.000 % |
373.08/373.13	c |   3769750 |     222    26201   115467 |        1   248165     20 |  0.000 % |
373.08/373.13	c |   3773101 |     222    26201   115467 |        1   251516     20 |  0.000 % |
373.08/373.13	c |   3773202 |     222    26201   115467 |        1   251617     20 |  0.000 % |
373.08/373.13	c |   3773765 |     222    26201   115467 |        1   252180     20 |  0.000 % |
373.08/373.13	c |   3774344 |     222    26201   115467 |        1   252759     20 |  0.000 % |
373.08/373.13	c |   3774444 |     222    26201   115467 |        1   252859     20 |  0.000 % |
373.08/373.13	c |   3774544 |     222    26201   115467 |        1   252959     20 |  0.000 % |
373.08/373.13	c |   3778897 |     222    26201   115467 |        1   257312     20 |  0.000 % |
373.08/373.13	c |   3790204 |     222    26201   115467 |        1   268619     20 |  0.000 % |
373.08/373.13	c |   3803271 |     222    26201   115467 |        1   145084     18 |  0.000 % |
373.08/373.13	c |   3804840 |     222    26201   115467 |        1   146653     18 |  0.000 % |
373.08/373.13	c |   3805956 |     222    26201   115467 |        1   147769     18 |  0.000 % |
373.08/373.13	c |   3811055 |     222    26201   115467 |        1   152868     18 |  0.000 % |
373.08/373.13	c |   3828513 |     222    26201   115467 |        1   170326     19 |  0.000 % |
373.08/373.13	c |   3828613 |     222    26201   115467 |        1   170426     19 |  0.000 % |
373.08/373.13	c |   3829542 |     222    26201   115467 |        1   171355     19 |  0.000 % |
373.08/373.13	c |   3830014 |     222    26201   115467 |        1   171827     19 |  0.000 % |
373.08/373.13	c |   3832000 |     222    26201   115467 |        1   173813     19 |  0.000 % |
373.08/373.13	c |   3834395 |     222    26201   115467 |        1   176208     19 |  0.000 % |
373.08/373.13	c |   3952528 |     222    26201   115467 |        1   155137     18 |  0.000 % |
373.08/373.13	c |   3954210 |     222    26201   115467 |        1   156819     18 |  0.000 % |
373.08/373.13	c |   3975309 |     222    26201   115467 |        1   177918     18 |  0.000 % |
373.08/373.13	c |   3975411 |     222    26201   115467 |        1   178020     18 |  0.000 % |
373.08/373.13	c |   3975537 |     222    26201   115467 |        1   178146     18 |  0.000 % |
373.08/373.13	c |   3976226 |     222    26201   115467 |        1   178835     18 |  0.000 % |
373.08/373.13	c |   4020287 |     222    26201   115467 |        1   222896     19 |  0.000 % |
373.08/373.13	c |   4020399 |     222    26201   115467 |        1   223008     19 |  0.000 % |
373.08/373.13	c |   4020500 |     222    26201   115467 |        1   223109     19 |  0.000 % |
373.08/373.13	c |   4022055 |     222    26201   115467 |        1   224664     19 |  0.000 % |
373.08/373.13	c |   4025783 |     222    26201   115467 |        1   228392     19 |  0.000 % |
373.08/373.13	c |   4033855 |     222    26201   115467 |        1   236464     20 |  0.000 % |
373.08/373.13	c |   4037461 |     222    26201   115467 |        1   240070     20 |  0.000 % |
373.08/373.13	c |   4039584 |     222    26201   115467 |        1   242193     20 |  0.000 % |
373.08/373.13	c |   4040023 |     222    26201   115467 |        1   242632     20 |  0.000 % |
373.08/373.13	c |   4108826 |     222    26201   115467 |        1   169637     18 |  0.000 % |
373.08/373.13	c |   4119342 |     222    26201   115467 |        1   180153     18 |  0.000 % |
373.08/373.13	c |   4124903 |     222    26201   115467 |        1   185714     18 |  0.000 % |
373.08/373.13	c |   4125959 |     222    26201   115467 |        1   186770     18 |  0.000 % |
373.08/373.13	c |   4126617 |     222    26201   115467 |        1   187428     18 |  0.000 % |
373.08/373.13	c |   4126717 |     222    26201   115467 |        1   187528     18 |  0.000 % |
373.08/373.13	c |   4126857 |     222    26201   115467 |        1   187668     18 |  0.000 % |
373.08/373.13	c |   4126957 |     222    26201   115467 |        1   187768     18 |  0.000 % |
373.08/373.13	c |   4131983 |     222    26201   115467 |        1   192794     19 |  0.000 % |
373.08/373.13	c |   4137201 |     222    26201   115467 |        1   198012     19 |  0.000 % |
373.08/373.13	c |   4138860 |     222    26201   115467 |        1   199671     19 |  0.000 % |
373.08/373.13	c |   4139933 |     222    26201   115467 |        1   200744     19 |  0.000 % |
373.08/373.13	c |   4140265 |     222    26201   115467 |        1   201076     19 |  0.000 % |
373.08/373.13	c |   4140366 |     222    26201   115467 |        1   201177     19 |  0.000 % |
373.08/373.13	c |   4144087 |     222    26201   115467 |        1   204898     19 |  0.000 % |
373.08/373.13	c |   4144195 |     222    26201   115467 |        1   205006     19 |  0.000 % |
422.59/422.60	c |   4180731 |     222    26201   115467 |        1   241542     19 |  0.000 % |
422.59/422.60	c |   4185864 |     222    26201   115467 |        1   246675     20 |  0.000 % |
422.59/422.60	c |   4189525 |     222    26201   115467 |        1   250336     20 |  0.000 % |
422.59/422.60	c |   4189625 |     222    26201   115467 |        1   250436     20 |  0.000 % |
422.59/422.60	c |   4189785 |     222    26201   115467 |        1   250596     20 |  0.000 % |
422.59/422.60	c |   4189885 |     222    26201   115467 |        1   250696     20 |  0.000 % |
422.59/422.60	c |   4197633 |     222    26201   115467 |        1   258444     20 |  0.000 % |
422.59/422.60	c |   4201495 |     222    26201   115467 |        1   262306     20 |  0.000 % |
422.59/422.60	c |   4201727 |     222    26201   115467 |        1   262538     20 |  0.000 % |
422.59/422.60	c |   4256863 |     222    26201   115467 |        1   173273     18 |  0.000 % |
422.59/422.60	c |   4273954 |     222    26201   115467 |        1   190364     18 |  0.000 % |
422.59/422.60	c |   4284362 |     222    26201   115467 |        1   200772     18 |  0.000 % |
422.59/422.60	c |   4290809 |     222    26201   115467 |        1   207219     19 |  0.000 % |
422.59/422.60	c |   4296671 |     222    26201   115467 |        1   213081     19 |  0.000 % |
422.59/422.60	c |   4297625 |     222    26201   115467 |        1   214035     19 |  0.000 % |
422.59/422.60	c |   4297727 |     222    26201   115467 |        1   214137     19 |  0.000 % |
422.59/422.60	c |   4302935 |     222    26201   115467 |        1   219345     19 |  0.000 % |
422.59/422.60	c |   4303035 |     222    26201   115467 |        1   219445     19 |  0.000 % |
422.59/422.60	c |   4312958 |     222    26201   115467 |        1   229368     19 |  0.000 % |
422.59/422.60	c |   4313060 |     222    26201   115467 |        1   229470     19 |  0.000 % |
422.59/422.60	c |   4313160 |     222    26201   115467 |        1   229570     19 |  0.000 % |
422.59/422.60	c |   4345910 |     222    26201   115467 |        1   262320     20 |  0.000 % |
422.59/422.60	c |   4346013 |     222    26201   115467 |        1   262423     20 |  0.000 % |
422.59/422.60	c |   4349053 |     222    26201   115467 |        1   265463     20 |  0.000 % |
422.59/422.60	c |   4366186 |     222    26201   115467 |        1   282596     20 |  0.000 % |
422.59/422.60	c |   4378724 |     222    26201   115467 |        1   148141     17 |  0.000 % |
422.59/422.60	c |   4400651 |     222    26201   115467 |        1   170068     18 |  0.000 % |
422.59/422.60	c |   4400794 |     222    26201   115467 |        1   170211     18 |  0.000 % |
422.59/422.60	c |   4400894 |     222    26201   115467 |        1   170311     18 |  0.000 % |
422.59/422.60	c |   4412276 |     222    26201   115467 |        1   181693     18 |  0.000 % |
422.59/422.60	c |   4412426 |     222    26201   115467 |        1   181843     18 |  0.000 % |
422.59/422.60	c |   4414572 |     222    26201   115467 |        1   183989     18 |  0.000 % |
422.59/422.60	c |   4447219 |     222    26201   115467 |        1   216636     19 |  0.000 % |
422.59/422.60	c |   4488946 |     222    26201   115467 |        1   258363     20 |  0.000 % |
422.59/422.60	c |   4498673 |     222    26201   115467 |        1   268090     20 |  0.000 % |
422.59/422.60	c |   4498774 |     222    26201   115467 |        1   268191     20 |  0.000 % |
422.59/422.60	c |   4498875 |     222    26201   115467 |        1   268292     20 |  0.000 % |
422.59/422.60	c |   4508168 |     222    26201   115467 |        1   277585     20 |  0.000 % |
422.59/422.60	c |   4508269 |     222    26201   115467 |        1   277686     20 |  0.000 % |
422.59/422.60	c |   4520552 |     222    26201   115467 |        1   289969     20 |  0.000 % |
422.59/422.60	c |   4521688 |     222    26201   115467 |        1   291105     20 |  0.000 % |
422.59/422.60	c |   4530000 |     222    26201   115467 |        1   149811     17 |  0.000 % |
422.59/422.60	c |   4530100 |     222    26201   115467 |        1   149911     17 |  0.000 % |
422.59/422.60	c |   4530201 |     222    26201   115467 |        1   150012     17 |  0.000 % |
422.59/422.60	c |   4531975 |     222    26201   115467 |        1   151786     17 |  0.000 % |
422.59/422.60	c |   4544458 |     222    26201   115467 |        1   164269     18 |  0.000 % |
422.59/422.60	c |   4565615 |     222    26201   115467 |        1   185426     18 |  0.000 % |
422.59/422.60	c |   4567103 |     222    26201   115467 |        1   186914     18 |  0.000 % |
422.59/422.60	c |   4567244 |     222    26201   115467 |        1   187055     18 |  0.000 % |
422.59/422.60	c |   4568892 |     222    26201   115467 |        1   188703     19 |  0.000 % |
465.59/465.68	c |   4569298 |     222    26201   115467 |        1   189109     19 |  0.000 % |
465.59/465.68	c |   4611614 |     222    26201   115467 |        1   231425     19 |  0.000 % |
465.59/465.68	c |   4613653 |     222    26201   115467 |        1   233464     19 |  0.000 % |
465.59/465.68	c |   4628596 |     222    26201   115467 |        1   248407     19 |  0.000 % |
465.59/465.68	c |   4628697 |     222    26201   115467 |        1   248508     19 |  0.000 % |
465.59/465.68	c |   4629125 |     222    26201   115467 |        1   248936     19 |  0.000 % |
465.59/465.68	c |   4643817 |     222    26201   115467 |        1   263628     20 |  0.000 % |
465.59/465.68	c |   4644019 |     222    26201   115467 |        1   263830     20 |  0.000 % |
465.59/465.68	c |   4644121 |     222    26201   115467 |        1   263932     20 |  0.000 % |
465.59/465.68	c |   4650919 |     222    26201   115467 |        1   270730     20 |  0.000 % |
465.59/465.68	c |   4657802 |     222    26201   115467 |        1   277613     20 |  0.000 % |
465.59/465.68	c |   4658494 |     222    26201   115467 |        1   278305     20 |  0.000 % |
465.59/465.68	c |   4658865 |     222    26201   115467 |        1   278676     20 |  0.000 % |
465.59/465.68	c |   4671416 |     222    26201   115467 |        1   291227     20 |  0.000 % |
465.59/465.68	c |   4674294 |     222    26201   115467 |        1   294105     20 |  0.000 % |
465.59/465.68	c |   4674645 |     222    26201   115467 |        1   294456     20 |  0.000 % |
465.59/465.68	c |   4674787 |     222    26201   115467 |        1   294598     20 |  0.000 % |
465.59/465.68	c |   4676783 |     222    26201   115467 |        1   296594     20 |  0.000 % |
465.59/465.68	c |   4679409 |     222    26201   115467 |        1   299220     20 |  0.000 % |
465.59/465.68	c |   4680732 |     222    26201   115467 |        1   300543     20 |  0.000 % |
465.59/465.68	c |   4680832 |     222    26201   115467 |        1   300643     20 |  0.000 % |
465.59/465.68	c |   4720752 |     222    26201   115467 |        1   188366     18 |  0.000 % |
465.59/465.68	c |   4720863 |     222    26201   115467 |        1   188477     18 |  0.000 % |
465.59/465.68	c |   4722469 |     222    26201   115467 |        1   190083     18 |  0.000 % |
465.59/465.68	c |   4729351 |     222    26201   115467 |        1   196965     19 |  0.000 % |
465.59/465.68	c |   4729452 |     222    26201   115467 |        1   197066     19 |  0.000 % |
465.59/465.68	c |   4729987 |     222    26201   115467 |        1   197601     19 |  0.000 % |
465.59/465.68	c |   4730848 |     222    26201   115467 |        1   198462     19 |  0.000 % |
465.59/465.68	c |   4731362 |     222    26201   115467 |        1   198976     19 |  0.000 % |
465.59/465.68	c |   4733239 |     222    26201   115467 |        1   200853     19 |  0.000 % |
465.59/465.68	c |   4746200 |     222    26201   115467 |        1   213814     19 |  0.000 % |
465.59/465.68	c |   4746302 |     222    26201   115467 |        1   213916     19 |  0.000 % |
465.59/465.68	c |   4746662 |     222    26201   115467 |        1   214276     19 |  0.000 % |
465.59/465.68	c |   4752063 |     222    26201   115467 |        1   219677     19 |  0.000 % |
465.59/465.68	c |   4811400 |     222    26201   115467 |        1   279014     20 |  0.000 % |
465.59/465.68	c |   4812811 |     222    26201   115467 |        1   280425     20 |  0.000 % |
465.59/465.68	c |   4813828 |     222    26201   115467 |        1   281442     20 |  0.000 % |
465.59/465.68	c |   4834843 |     222    26201   115467 |        1   302457     20 |  0.000 % |
465.59/465.68	c |   4859437 |     222    26201   115467 |        1   172254     18 |  0.000 % |
465.59/465.68	c |   4859538 |     222    26201   115467 |        1   172355     18 |  0.000 % |
465.59/465.68	c |   4865284 |     222    26201   115467 |        1   178101     18 |  0.000 % |
465.59/465.68	c |   4887342 |     222    26201   115467 |        1   200159     19 |  0.000 % |
465.59/465.68	c |   4887858 |     222    26201   115467 |        1   200675     19 |  0.000 % |
465.59/465.68	c |   4912552 |     222    26201   115467 |        1   225369     19 |  0.000 % |
465.59/465.68	c |   4933494 |     222    26201   115467 |        1   246311     19 |  0.000 % |
465.59/465.68	c |   4937638 |     222    26201   115467 |        1   250455     20 |  0.000 % |
465.59/465.68	c |   4937740 |     222    26201   115467 |        1   250557     20 |  0.000 % |
465.59/465.68	c |   4938128 |     222    26201   115467 |        1   250945     20 |  0.000 % |
465.59/465.68	c |   4938228 |     222    26201   115467 |        1   251045     20 |  0.000 % |
465.59/465.68	c |   4940329 |     222    26201   115467 |        1   253146     20 |  0.000 % |
552.50/552.56	c |   4940526 |     222    26201   115467 |        1   253343     20 |  0.000 % |
552.50/552.56	c |   4953445 |     222    26201   115467 |        1   266262     20 |  0.000 % |
552.50/552.56	c |   4953995 |     222    26201   115467 |        1   266812     20 |  0.000 % |
552.50/552.56	c |   4980821 |     222    26201   115467 |        1   293638     20 |  0.000 % |
552.50/552.56	c |   4982305 |     222    26201   115467 |        1   295122     20 |  0.000 % |
552.50/552.56	c |   4986427 |     222    26201   115467 |        1   299244     20 |  0.000 % |
552.50/552.56	c |   4986530 |     222    26201   115467 |        1   299347     20 |  0.000 % |
552.50/552.56	c |   4988388 |     222    26201   115467 |        1   301205     20 |  0.000 % |
552.50/552.56	c |   4990314 |     222    26201   115467 |        1   303131     20 |  0.000 % |
552.50/552.56	c |   4990414 |     222    26201   115467 |        1   303231     20 |  0.000 % |
552.50/552.56	c |   4990850 |     222    26201   115467 |        1   303667     20 |  0.000 % |
552.50/552.56	c |   5056714 |     222    26201   115467 |        1   212131     19 |  0.000 % |
552.50/552.56	c |   5056909 |     222    26201   115467 |        1   212326     19 |  0.000 % |
552.50/552.56	c |   5070945 |     222    26201   115467 |        1   226362     19 |  0.000 % |
552.50/552.56	c |   5071048 |     222    26201   115467 |        1   226465     19 |  0.000 % |
552.50/552.56	c |   5081376 |     222    26201   115467 |        1   236793     19 |  0.000 % |
552.50/552.56	c |   5090585 |     222    26201   115467 |        1   246002     20 |  0.000 % |
552.50/552.56	c |   5090685 |     222    26201   115467 |        1   246102     20 |  0.000 % |
552.50/552.56	c |   5119313 |     222    26201   115467 |        1   274730     20 |  0.000 % |
552.50/552.56	c |   5201614 |     222    26201   115467 |        1   197035     18 |  0.000 % |
552.50/552.56	c |   5210229 |     222    26201   115467 |        1   205650     18 |  0.000 % |
552.50/552.56	c |   5221161 |     222    26201   115467 |        1   216582     19 |  0.000 % |
552.50/552.56	c |   5295607 |     222    26201   115467 |        1   291028     20 |  0.000 % |
552.50/552.56	c |   5302069 |     222    26201   115467 |        1   297490     20 |  0.000 % |
552.50/552.56	c |   5311395 |     222    26201   115467 |        1   306816     20 |  0.000 % |
552.50/552.56	c |   5336242 |     222    26201   115467 |        1   169059     17 |  0.000 % |
552.50/552.56	c |   5403024 |     222    26201   115467 |        1   235841     18 |  0.000 % |
552.50/552.56	c |   5405920 |     222    26201   115467 |        1   238737     19 |  0.000 % |
552.50/552.56	c |   5406021 |     222    26201   115467 |        1   238838     19 |  0.000 % |
552.50/552.56	c |   5434938 |     222    26201   115467 |        1   267755     19 |  0.000 % |
552.50/552.56	c |   5435234 |     222    26201   115467 |        1   268051     19 |  0.000 % |
552.50/552.56	c |   5484184 |     222    26201   115467 |        1   317001     20 |  0.000 % |
552.50/552.56	c |   5496455 |     222    26201   115467 |        1   329272     20 |  0.000 % |
552.50/552.56	c |   5505260 |     222    26201   115467 |        1   172875     17 |  0.000 % |
552.50/552.56	c |   5511663 |     222    26201   115467 |        1   179278     17 |  0.000 % |
552.50/552.56	c |   5519257 |     222    26201   115467 |        1   186872     18 |  0.000 % |
552.50/552.56	c |   5522933 |     222    26201   115467 |        1   190548     18 |  0.000 % |
552.50/552.56	c |   5568395 |     222    26201   115467 |        1   236010     19 |  0.000 % |
552.50/552.56	c |   5568498 |     222    26201   115467 |        1   236113     19 |  0.000 % |
552.50/552.56	c |   5571937 |     222    26201   115467 |        1   239552     19 |  0.000 % |
552.50/552.56	c |   5572514 |     222    26201   115467 |        1   240129     19 |  0.000 % |
552.50/552.56	c |   5573458 |     222    26201   115467 |        1   241073     19 |  0.000 % |
552.50/552.56	c |   5579800 |     222    26201   115467 |        1   247415     19 |  0.000 % |
552.50/552.56	c |   5594113 |     222    26201   115467 |        1   261728     19 |  0.000 % |
552.50/552.56	c |   5594570 |     222    26201   115467 |        1   262185     19 |  0.000 % |
552.50/552.56	c |   5594698 |     222    26201   115467 |        1   262313     19 |  0.000 % |
552.50/552.56	c |   5641945 |     222    26201   115467 |        1   309560     20 |  0.000 % |
552.50/552.56	c |   5652608 |     222    26201   115467 |        1   320223     20 |  0.000 % |
552.50/552.56	c |   5654204 |     222    26201   115467 |        1   321819     20 |  0.000 % |
552.50/552.56	c |   5655395 |     222    26201   115467 |        1   323010     20 |  0.000 % |
618.69/618.78	c |   5667870 |     222    26201   115467 |        1   335485     20 |  0.000 % |
618.69/618.78	c |   5672162 |     222    26201   115467 |        1   171974     17 |  0.000 % |
618.69/618.78	c |   5674720 |     222    26201   115467 |        1   174532     17 |  0.000 % |
618.69/618.78	c |   5681632 |     222    26201   115467 |        1   181444     17 |  0.000 % |
618.69/618.78	c |   5682967 |     222    26201   115467 |        1   182779     17 |  0.000 % |
618.69/618.78	c |   5683287 |     222    26201   115467 |        1   183099     17 |  0.000 % |
618.69/618.78	c |   5687364 |     222    26201   115467 |        1   187176     18 |  0.000 % |
618.69/618.78	c |   5687520 |     222    26201   115467 |        1   187332     18 |  0.000 % |
618.69/618.78	c |   5694516 |     222    26201   115467 |        1   194328     18 |  0.000 % |
618.69/618.78	c |   5694616 |     222    26201   115467 |        1   194428     18 |  0.000 % |
618.69/618.78	c |   5696421 |     222    26201   115467 |        1   196233     18 |  0.000 % |
618.69/618.78	c |   5697713 |     222    26201   115467 |        1   197525     18 |  0.000 % |
618.69/618.78	c |   5700650 |     222    26201   115467 |        1   200462     18 |  0.000 % |
618.69/618.78	c |   5708021 |     222    26201   115467 |        1   207833     18 |  0.000 % |
618.69/618.78	c |   5708121 |     222    26201   115467 |        1   207933     18 |  0.000 % |
618.69/618.78	c |   5708724 |     222    26201   115467 |        1   208536     18 |  0.000 % |
618.69/618.78	c |   5720427 |     222    26201   115467 |        1   220239     18 |  0.000 % |
618.69/618.78	c |   5720574 |     222    26201   115467 |        1   220386     18 |  0.000 % |
618.69/618.78	c |   5721024 |     222    26201   115467 |        1   220836     18 |  0.000 % |
618.69/618.78	c |   5723283 |     222    26201   115467 |        1   223095     19 |  0.000 % |
618.69/618.78	c |   5732733 |     222    26201   115467 |        1   232545     19 |  0.000 % |
618.69/618.78	c |   5755827 |     222    26201   115467 |        1   255639     19 |  0.000 % |
618.69/618.78	c |   5757279 |     222    26201   115467 |        1   257091     19 |  0.000 % |
618.69/618.78	c |   5779065 |     222    26201   115467 |        1   278877     19 |  0.000 % |
618.69/618.78	c |   5798756 |     222    26201   115467 |        1   298568     20 |  0.000 % |
618.69/618.78	c |   5799154 |     222    26201   115467 |        1   298966     20 |  0.000 % |
618.69/618.78	c |   5799254 |     222    26201   115467 |        1   299066     20 |  0.000 % |
618.69/618.78	c |   5799397 |     222    26201   115467 |        1   299209     20 |  0.000 % |
618.69/618.78	c |   5800213 |     222    26201   115467 |        1   300025     20 |  0.000 % |
618.69/618.78	c |   5816406 |     222    26201   115467 |        1   316218     20 |  0.000 % |
618.69/618.78	c |   5816506 |     222    26201   115467 |        1   316318     20 |  0.000 % |
618.69/618.78	c |   5820366 |     222    26201   115467 |        1   320178     20 |  0.000 % |
618.69/618.78	c |   5879885 |     222    26201   115467 |        1   209297     18 |  0.000 % |
618.69/618.78	c |   5881983 |     222    26201   115467 |        1   211395     18 |  0.000 % |
618.69/618.78	c |   5887837 |     222    26201   115467 |        1   217249     18 |  0.000 % |
618.69/618.78	c |   5901041 |     222    26201   115467 |        1   230453     18 |  0.000 % |
618.69/618.78	c |   5901439 |     222    26201   115467 |        1   230851     18 |  0.000 % |
618.69/618.78	c |   5901940 |     222    26201   115467 |        1   231352     18 |  0.000 % |
618.69/618.78	c |   6007559 |     222    26201   115467 |        1   336971     19 |  0.000 % |
618.69/618.78	c |   6029267 |     222    26201   115467 |        1   185675     17 |  0.000 % |
618.69/618.78	c |   6029368 |     222    26201   115467 |        1   185776     17 |  0.000 % |
618.69/618.78	c |   6033211 |     222    26201   115467 |        1   189619     17 |  0.000 % |
618.69/618.78	c |   6051818 |     222    26201   115467 |        1   208226     17 |  0.000 % |
618.69/618.78	c |   6083202 |     222    26201   115467 |        1   239610     18 |  0.000 % |
618.69/618.78	c |   6096879 |     222    26201   115467 |        1   253287     18 |  0.000 % |
618.69/618.78	c |   6123689 |     222    26201   115467 |        1   280097     19 |  0.000 % |
618.69/618.78	c |   6140939 |     222    26201   115467 |        1   297347     19 |  0.000 % |
618.69/618.78	c |   6164204 |     222    26201   115467 |        1   320612     19 |  0.000 % |
618.69/618.78	c |   6169207 |     222    26201   115467 |        1   325615     19 |  0.000 % |
618.69/618.78	c |   6178255 |     222    26201   115467 |        1   334663     20 |  0.000 % |
676.40/676.44	c |   6178355 |     222    26201   115467 |        1   334763     20 |  0.000 % |
676.40/676.44	c |   6181140 |     222    26201   115467 |        1   337548     20 |  0.000 % |
676.40/676.44	c |   6185512 |     222    26201   115467 |        1   341920     20 |  0.000 % |
676.40/676.44	c |   6201799 |     222    26201   115467 |        1   182609     17 |  0.000 % |
676.40/676.44	c |   6225440 |     222    26201   115467 |        1   206250     18 |  0.000 % |
676.40/676.44	c |   6227841 |     222    26201   115467 |        1   208651     18 |  0.000 % |
676.40/676.44	c |   6228499 |     222    26201   115467 |        1   209309     18 |  0.000 % |
676.40/676.44	c |   6228600 |     222    26201   115467 |        1   209410     18 |  0.000 % |
676.40/676.44	c |   6240880 |     222    26201   115467 |        1   221690     18 |  0.000 % |
676.40/676.44	c |   6241960 |     222    26201   115467 |        1   222770     18 |  0.000 % |
676.40/676.44	c |   6259308 |     222    26201   115467 |        1   240118     18 |  0.000 % |
676.40/676.44	c |   6259409 |     222    26201   115467 |        1   240219     19 |  0.000 % |
676.40/676.44	c |   6259956 |     222    26201   115467 |        1   240766     19 |  0.000 % |
676.40/676.44	c |   6265032 |     222    26201   115467 |        1   245842     19 |  0.000 % |
676.40/676.44	c |   6267660 |     222    26201   115467 |        1   248470     19 |  0.000 % |
676.40/676.44	c |   6270552 |     222    26201   115467 |        1   251362     19 |  0.000 % |
676.40/676.44	c |   6270653 |     222    26201   115467 |        1   251463     19 |  0.000 % |
676.40/676.44	c |   6270753 |     222    26201   115467 |        1   251563     19 |  0.000 % |
676.40/676.44	c |   6278209 |     222    26201   115467 |        1   259019     19 |  0.000 % |
676.40/676.44	c |   6295429 |     222    26201   115467 |        1   276239     19 |  0.000 % |
676.40/676.44	c |   6370031 |     222    26201   115467 |        1   350841     19 |  0.000 % |
676.40/676.44	c |   6373737 |     222    26201   115467 |        1   354547     19 |  0.000 % |
676.40/676.44	c |   6409982 |     222    26201   115467 |        1   212594     17 |  0.000 % |
676.40/676.44	c |   6427104 |     222    26201   115467 |        1   229716     18 |  0.000 % |
676.40/676.44	c |   6427204 |     222    26201   115467 |        1   229816     18 |  0.000 % |
676.40/676.44	c |   6427305 |     222    26201   115467 |        1   229917     18 |  0.000 % |
676.40/676.44	c |   6431142 |     222    26201   115467 |        1   233754     18 |  0.000 % |
676.40/676.44	c |   6437985 |     222    26201   115467 |        1   240597     18 |  0.000 % |
676.40/676.44	c |   6439239 |     222    26201   115467 |        1   241851     18 |  0.000 % |
676.40/676.44	c |   6439901 |     222    26201   115467 |        1   242513     18 |  0.000 % |
676.40/676.44	c |   6470742 |     222    26201   115467 |        1   273354     18 |  0.000 % |
676.40/676.44	c |   6475161 |     222    26201   115467 |        1   277773     18 |  0.000 % |
676.40/676.44	c |   6475262 |     222    26201   115467 |        1   277874     18 |  0.000 % |
676.40/676.44	c |   6476207 |     222    26201   115467 |        1   278819     18 |  0.000 % |
676.40/676.44	c |   6477755 |     222    26201   115467 |        1   280367     18 |  0.000 % |
676.40/676.44	c |   6517521 |     222    26201   115467 |        1   320133     19 |  0.000 % |
676.40/676.44	c |   6524648 |     222    26201   115467 |        1   327260     19 |  0.000 % |
676.40/676.44	c |   6525446 |     222    26201   115467 |        1   328058     19 |  0.000 % |
676.40/676.44	c |   6530927 |     222    26201   115467 |        1   333539     19 |  0.000 % |
676.40/676.44	c |   6531120 |     222    26201   115467 |        1   333732     19 |  0.000 % |
676.40/676.44	c |   6543574 |     222    26201   115467 |        1   346186     19 |  0.000 % |
676.40/676.44	c |   6546366 |     222    26201   115467 |        1   348978     19 |  0.000 % |
676.40/676.44	c |   6547662 |     222    26201   115467 |        1   350274     19 |  0.000 % |
676.40/676.44	c |   6562831 |     222    26201   115467 |        1   184642     17 |  0.000 % |
676.40/676.44	c |   6569647 |     222    26201   115467 |        1   191458     17 |  0.000 % |
676.40/676.44	c |   6574007 |     222    26201   115467 |        1   195818     17 |  0.000 % |
676.40/676.44	c |   6579563 |     222    26201   115467 |        1   201374     17 |  0.000 % |
676.40/676.44	c |   6581207 |     222    26201   115467 |        1   203018     17 |  0.000 % |
676.40/676.44	c |   6600241 |     222    26201   115467 |        1   222052     18 |  0.000 % |
676.40/676.44	c |   6627493 |     222    26201   115467 |        1   249304     18 |  0.000 % |
735.39/735.48	c |   6630952 |     222    26201   115467 |        1   252763     19 |  0.000 % |
735.39/735.48	c |   6635748 |     222    26201   115467 |        1   257559     19 |  0.000 % |
735.39/735.48	c |   6649476 |     222    26201   115467 |        1   271287     19 |  0.000 % |
735.39/735.48	c |   6649725 |     222    26201   115467 |        1   271536     19 |  0.000 % |
735.39/735.48	c |   6655525 |     222    26201   115467 |        1   277336     19 |  0.000 % |
735.39/735.48	c |   6677721 |     222    26201   115467 |        1   299532     19 |  0.000 % |
735.39/735.48	c |   6692132 |     222    26201   115467 |        1   313943     19 |  0.000 % |
735.39/735.48	c |   6701883 |     222    26201   115467 |        1   323694     20 |  0.000 % |
735.39/735.48	c |   6705075 |     222    26201   115467 |        1   326886     20 |  0.000 % |
735.39/735.48	c |   6705176 |     222    26201   115467 |        1   326987     20 |  0.000 % |
735.39/735.48	c |   6705796 |     222    26201   115467 |        1   327607     20 |  0.000 % |
735.39/735.48	c |   6705912 |     222    26201   115467 |        1   327723     20 |  0.000 % |
735.39/735.48	c |   6723269 |     222    26201   115467 |        1   345080     20 |  0.000 % |
735.39/735.48	c |   6735449 |     222    26201   115467 |        1   357260     20 |  0.000 % |
735.39/735.48	c |   6735552 |     222    26201   115467 |        1   357363     20 |  0.000 % |
735.39/735.48	c |   6744863 |     222    26201   115467 |        1   366674     20 |  0.000 % |
735.39/735.48	c |   6748032 |     222    26201   115467 |        1   186440     17 |  0.000 % |
735.39/735.48	c |   6752457 |     222    26201   115467 |        1   190865     17 |  0.000 % |
735.39/735.48	c |   6752640 |     222    26201   115467 |        1   191048     17 |  0.000 % |
735.39/735.48	c |   6752740 |     222    26201   115467 |        1   191148     17 |  0.000 % |
735.39/735.48	c |   6759736 |     222    26201   115467 |        1   198144     17 |  0.000 % |
735.39/735.48	c |   6787189 |     222    26201   115467 |        1   225597     18 |  0.000 % |
735.39/735.48	c |   6787560 |     222    26201   115467 |        1   225968     18 |  0.000 % |
735.39/735.48	c |   6791407 |     222    26201   115467 |        1   229815     18 |  0.000 % |
735.39/735.48	c |   6828214 |     222    26201   115467 |        1   266622     19 |  0.000 % |
735.39/735.48	c |   6833535 |     222    26201   115467 |        1   271943     19 |  0.000 % |
735.39/735.48	c |   6833637 |     222    26201   115467 |        1   272045     19 |  0.000 % |
735.39/735.48	c |   6855507 |     222    26201   115467 |        1   293915     19 |  0.000 % |
735.39/735.48	c |   6860565 |     222    26201   115467 |        1   298973     19 |  0.000 % |
735.39/735.48	c |   6893975 |     222    26201   115467 |        1   332383     19 |  0.000 % |
735.39/735.48	c |   6901220 |     222    26201   115467 |        1   339628     19 |  0.000 % |
735.39/735.48	c |   6906867 |     222    26201   115467 |        1   345275     19 |  0.000 % |
735.39/735.48	c |   6910231 |     222    26201   115467 |        1   348639     19 |  0.000 % |
735.39/735.48	c |   6916329 |     222    26201   115467 |        1   354737     20 |  0.000 % |
735.39/735.48	c |   6916579 |     222    26201   115467 |        1   354987     20 |  0.000 % |
735.39/735.48	c |   6929655 |     222    26201   115467 |        1   368063     20 |  0.000 % |
735.39/735.48	c |   6940497 |     222    26201   115467 |        1   192911     17 |  0.000 % |
735.39/735.48	c |   6940601 |     222    26201   115467 |        1   193015     17 |  0.000 % |
735.39/735.48	c |   6967957 |     222    26201   115467 |        1   220371     17 |  0.000 % |
735.39/735.48	c |   6979827 |     222    26201   115467 |        1   232241     18 |  0.000 % |
735.39/735.48	c |   6981960 |     222    26201   115467 |        1   234374     18 |  0.000 % |
735.39/735.48	c |   6994848 |     222    26201   115467 |        1   247262     18 |  0.000 % |
735.39/735.48	c |   6996333 |     222    26201   115467 |        1   248747     18 |  0.000 % |
735.39/735.48	c |   7002621 |     222    26201   115467 |        1   255035     18 |  0.000 % |
735.39/735.48	c |   7038399 |     222    26201   115467 |        1   290813     19 |  0.000 % |
735.39/735.48	c |   7038862 |     222    26201   115467 |        1   291276     19 |  0.000 % |
735.39/735.48	c |   7039166 |     222    26201   115467 |        1   291580     19 |  0.000 % |
735.39/735.48	c |   7040838 |     222    26201   115467 |        1   293252     19 |  0.000 % |
735.39/735.48	c |   7043412 |     222    26201   115467 |        1   295826     19 |  0.000 % |
735.39/735.48	c |   7069606 |     222    26201   115467 |        1   322020     19 |  0.000 % |
797.59/797.69	c |   7072079 |     222    26201   115467 |        1   324493     19 |  0.000 % |
797.59/797.69	c |   7085329 |     222    26201   115467 |        1   337743     19 |  0.000 % |
797.59/797.69	c |   7120827 |     222    26201   115467 |        1   373241     19 |  0.000 % |
797.59/797.69	c |   7125872 |     222    26201   115467 |        1   189686     16 |  0.000 % |
797.59/797.69	c |   7125972 |     222    26201   115467 |        1   189786     16 |  0.000 % |
797.59/797.69	c |   7128646 |     222    26201   115467 |        1   192460     17 |  0.000 % |
797.59/797.69	c |   7133445 |     222    26201   115467 |        1   197259     17 |  0.000 % |
797.59/797.69	c |   7135397 |     222    26201   115467 |        1   199211     17 |  0.000 % |
797.59/797.69	c |   7135497 |     222    26201   115467 |        1   199311     17 |  0.000 % |
797.59/797.69	c |   7136674 |     222    26201   115467 |        1   200488     17 |  0.000 % |
797.59/797.69	c |   7187546 |     222    26201   115467 |        1   251360     18 |  0.000 % |
797.59/797.69	c |   7198992 |     222    26201   115467 |        1   262806     18 |  0.000 % |
797.59/797.69	c |   7208594 |     222    26201   115467 |        1   272408     18 |  0.000 % |
797.59/797.69	c |   7210221 |     222    26201   115467 |        1   274035     18 |  0.000 % |
797.59/797.69	c |   7221515 |     222    26201   115467 |        1   285329     18 |  0.000 % |
797.59/797.69	c |   7239157 |     222    26201   115467 |        1   302971     19 |  0.000 % |
797.59/797.69	c |   7245864 |     222    26201   115467 |        1   309678     19 |  0.000 % |
797.59/797.69	c |   7246010 |     222    26201   115467 |        1   309824     19 |  0.000 % |
797.59/797.69	c |   7249704 |     222    26201   115467 |        1   313518     19 |  0.000 % |
797.59/797.69	c |   7266036 |     222    26201   115467 |        1   329850     19 |  0.000 % |
797.59/797.69	c |   7271159 |     222    26201   115467 |        1   334973     19 |  0.000 % |
797.59/797.69	c |   7284331 |     222    26201   115467 |        1   348145     19 |  0.000 % |
797.59/797.69	c |   7284728 |     222    26201   115467 |        1   348542     19 |  0.000 % |
797.59/797.69	c |   7285086 |     222    26201   115467 |        1   348900     19 |  0.000 % |
797.59/797.69	c |   7288875 |     222    26201   115467 |        1   352689     19 |  0.000 % |
797.59/797.69	c |   7291433 |     222    26201   115467 |        1   355247     19 |  0.000 % |
797.59/797.69	c |   7293581 |     222    26201   115467 |        1   357395     19 |  0.000 % |
797.59/797.69	c |   7293681 |     222    26201   115467 |        1   357495     19 |  0.000 % |
797.59/797.69	c |   7298470 |     222    26201   115467 |        1   362284     19 |  0.000 % |
797.59/797.69	c |   7299413 |     222    26201   115467 |        1   363227     19 |  0.000 % |
797.59/797.69	c |   7300053 |     222    26201   115467 |        1   363867     19 |  0.000 % |
797.59/797.69	c |   7343508 |     222    26201   115467 |        1   216122     17 |  0.000 % |
797.59/797.69	c |   7368801 |     222    26201   115467 |        1   241415     17 |  0.000 % |
797.59/797.69	c |   7368901 |     222    26201   115467 |        1   241515     17 |  0.000 % |
797.59/797.69	c |   7377360 |     222    26201   115467 |        1   249974     18 |  0.000 % |
797.59/797.69	c |   7416028 |     222    26201   115467 |        1   288642     18 |  0.000 % |
797.59/797.69	c |   7417752 |     222    26201   115467 |        1   290366     18 |  0.000 % |
797.59/797.69	c |   7430245 |     222    26201   115467 |        1   302859     18 |  0.000 % |
797.59/797.69	c |   7432320 |     222    26201   115467 |        1   304934     18 |  0.000 % |
797.59/797.69	c |   7432676 |     222    26201   115467 |        1   305290     18 |  0.000 % |
797.59/797.69	c |   7440220 |     222    26201   115467 |        1   312834     19 |  0.000 % |
797.59/797.69	c |   7450477 |     222    26201   115467 |        1   323091     19 |  0.000 % |
797.59/797.69	c |   7453317 |     222    26201   115467 |        1   325931     19 |  0.000 % |
797.59/797.69	c |   7470811 |     222    26201   115467 |        1   343425     19 |  0.000 % |
797.59/797.69	c |   7489968 |     222    26201   115467 |        1   362582     19 |  0.000 % |
797.59/797.69	c |   7491966 |     222    26201   115467 |        1   364580     19 |  0.000 % |
797.59/797.69	c |   7492066 |     222    26201   115467 |        1   364680     19 |  0.000 % |
797.59/797.69	c |   7494830 |     222    26201   115467 |        1   367444     19 |  0.000 % |
797.59/797.69	c |   7510772 |     222    26201   115467 |        1   383386     19 |  0.000 % |
797.59/797.69	c |   7517763 |     222    26201   115467 |        1   196574     16 |  0.000 % |
864.80/864.85	c |   7522455 |     222    26201   115467 |        1   201266     17 |  0.000 % |
864.80/864.85	c |   7556980 |     222    26201   115467 |        1   235791     17 |  0.000 % |
864.80/864.85	c |   7625202 |     222    26201   115467 |        1   304013     19 |  0.000 % |
864.80/864.85	c |   7628816 |     222    26201   115467 |        1   307627     19 |  0.000 % |
864.80/864.85	c |   7676437 |     222    26201   115467 |        1   355248     19 |  0.000 % |
864.80/864.85	c |   7719573 |     222    26201   115467 |        1   201984     16 |  0.000 % |
864.80/864.85	c |   7720140 |     222    26201   115467 |        1   202551     17 |  0.000 % |
864.80/864.85	c |   7721811 |     222    26201   115467 |        1   204222     17 |  0.000 % |
864.80/864.85	c |   7721913 |     222    26201   115467 |        1   204324     17 |  0.000 % |
864.80/864.85	c |   7746099 |     222    26201   115467 |        1   228510     17 |  0.000 % |
864.80/864.85	c |   7746199 |     222    26201   115467 |        1   228610     17 |  0.000 % |
864.80/864.85	c |   7778362 |     222    26201   115467 |        1   260773     18 |  0.000 % |
864.80/864.85	c |   7778560 |     222    26201   115467 |        1   260971     18 |  0.000 % |
864.80/864.85	c |   7783516 |     222    26201   115467 |        1   265927     18 |  0.000 % |
864.80/864.85	c |   7788812 |     222    26201   115467 |        1   271223     18 |  0.000 % |
864.80/864.85	c |   7817299 |     222    26201   115467 |        1   299710     18 |  0.000 % |
864.80/864.85	c |   7824000 |     222    26201   115467 |        1   306411     18 |  0.000 % |
864.80/864.85	c |   7824544 |     222    26201   115467 |        1   306955     18 |  0.000 % |
864.80/864.85	c |   7825712 |     222    26201   115467 |        1   308123     18 |  0.000 % |
864.80/864.85	c |   7833905 |     222    26201   115467 |        1   316316     19 |  0.000 % |
864.80/864.85	c |   7840757 |     222    26201   115467 |        1   323168     19 |  0.000 % |
864.80/864.85	c |   7841269 |     222    26201   115467 |        1   323680     19 |  0.000 % |
864.80/864.85	c |   7841872 |     222    26201   115467 |        1   324283     19 |  0.000 % |
864.80/864.85	c |   7843060 |     222    26201   115467 |        1   325471     19 |  0.000 % |
864.80/864.85	c |   7843160 |     222    26201   115467 |        1   325571     19 |  0.000 % |
864.80/864.85	c |   7852072 |     222    26201   115467 |        1   334483     19 |  0.000 % |
864.80/864.85	c |   7854246 |     222    26201   115467 |        1   336657     19 |  0.000 % |
864.80/864.85	c |   7856264 |     222    26201   115467 |        1   338675     19 |  0.000 % |
864.80/864.85	c |   7856637 |     222    26201   115467 |        1   339048     19 |  0.000 % |
864.80/864.85	c |   7856737 |     222    26201   115467 |        1   339148     19 |  0.000 % |
864.80/864.85	c |   7856837 |     222    26201   115467 |        1   339248     19 |  0.000 % |
864.80/864.85	c |   7859830 |     222    26201   115467 |        1   342241     19 |  0.000 % |
864.80/864.85	c |   7861336 |     222    26201   115467 |        1   343747     19 |  0.000 % |
864.80/864.85	c |   7862210 |     222    26201   115467 |        1   344621     19 |  0.000 % |
864.80/864.85	c |   7863767 |     222    26201   115467 |        1   346178     19 |  0.000 % |
864.80/864.85	c |   7877930 |     222    26201   115467 |        1   360341     19 |  0.000 % |
864.80/864.85	c |   7878070 |     222    26201   115467 |        1   360481     19 |  0.000 % |
864.80/864.85	c |   7878570 |     222    26201   115467 |        1   360981     19 |  0.000 % |
864.80/864.85	c |   7881420 |     222    26201   115467 |        1   363831     19 |  0.000 % |
864.80/864.85	c |   7885779 |     222    26201   115467 |        1   368190     19 |  0.000 % |
864.80/864.85	c |   7895967 |     222    26201   115467 |        1   378378     19 |  0.000 % |
864.80/864.85	c |   7896072 |     222    26201   115467 |        1   378483     19 |  0.000 % |
864.80/864.85	c |   7903284 |     222    26201   115467 |        1   385695     19 |  0.000 % |
864.80/864.85	c |   7935256 |     222    26201   115467 |        1   218678     17 |  0.000 % |
864.80/864.85	c |   7949089 |     222    26201   115467 |        1   232511     17 |  0.000 % |
864.80/864.85	c |   7951063 |     222    26201   115467 |        1   234485     17 |  0.000 % |
864.80/864.85	c |   7961321 |     222    26201   115467 |        1   244743     17 |  0.000 % |
864.80/864.85	c |   7964299 |     222    26201   115467 |        1   247721     17 |  0.000 % |
864.80/864.85	c |   7976689 |     222    26201   115467 |        1   260111     18 |  0.000 % |
864.80/864.85	c |   7976795 |     222    26201   115467 |        1   260217     18 |  0.000 % |
938.90/938.97	c |   7982837 |     222    26201   115467 |        1   266259     18 |  0.000 % |
938.90/938.97	c |   8091506 |     222    26201   115467 |        1   374928     19 |  0.000 % |
938.90/938.97	c |   8103658 |     222    26201   115467 |        1   387080     19 |  0.000 % |
938.90/938.97	c |   8125531 |     222    26201   115467 |        1   207356     17 |  0.000 % |
938.90/938.97	c |   8142698 |     222    26201   115467 |        1   224523     17 |  0.000 % |
938.90/938.97	c |   8151414 |     222    26201   115467 |        1   233239     17 |  0.000 % |
938.90/938.97	c |   8153030 |     222    26201   115467 |        1   234855     17 |  0.000 % |
938.90/938.97	c |   8173391 |     222    26201   115467 |        1   255216     18 |  0.000 % |
938.90/938.97	c |   8192832 |     222    26201   115467 |        1   274657     18 |  0.000 % |
938.90/938.97	c |   8201860 |     222    26201   115467 |        1   283685     18 |  0.000 % |
938.90/938.97	c |   8222906 |     222    26201   115467 |        1   304731     18 |  0.000 % |
938.90/938.97	c |   8224529 |     222    26201   115467 |        1   306354     18 |  0.000 % |
938.90/938.97	c |   8225098 |     222    26201   115467 |        1   306923     18 |  0.000 % |
938.90/938.97	c |   8261627 |     222    26201   115467 |        1   343452     19 |  0.000 % |
938.90/938.97	c |   8261836 |     222    26201   115467 |        1   343661     19 |  0.000 % |
938.90/938.97	c |   8278527 |     222    26201   115467 |        1   360352     19 |  0.000 % |
938.90/938.97	c |   8278864 |     222    26201   115467 |        1   360689     19 |  0.000 % |
938.90/938.97	c |   8279030 |     222    26201   115467 |        1   360855     19 |  0.000 % |
938.90/938.97	c |   8279131 |     222    26201   115467 |        1   360956     19 |  0.000 % |
938.90/938.97	c |   8279232 |     222    26201   115467 |        1   361057     19 |  0.000 % |
938.90/938.97	c |   8305579 |     222    26201   115467 |        1   387404     19 |  0.000 % |
938.90/938.97	c |   8305681 |     222    26201   115467 |        1   387506     19 |  0.000 % |
938.90/938.97	c |   8319851 |     222    26201   115467 |        1   401676     19 |  0.000 % |
938.90/938.97	c |   8326097 |     222    26201   115467 |        1   407922     19 |  0.000 % |
938.90/938.97	c |   8326437 |     222    26201   115467 |        1   408262     19 |  0.000 % |
938.90/938.97	c |   8326594 |     222    26201   115467 |        1   408419     19 |  0.000 % |
938.90/938.97	c |   8327481 |     222    26201   115467 |        1   205096     16 |  0.000 % |
938.90/938.97	c |   8332596 |     222    26201   115467 |        1   210211     16 |  0.000 % |
938.90/938.97	c |   8334612 |     222    26201   115467 |        1   212227     16 |  0.000 % |
938.90/938.97	c |   8336030 |     222    26201   115467 |        1   213645     17 |  0.000 % |
938.90/938.97	c |   8369686 |     222    26201   115467 |        1   247301     17 |  0.000 % |
938.90/938.97	c |   8370302 |     222    26201   115467 |        1   247917     17 |  0.000 % |
938.90/938.97	c |   8381718 |     222    26201   115467 |        1   259333     18 |  0.000 % |
938.90/938.97	c |   8384928 |     222    26201   115467 |        1   262543     18 |  0.000 % |
938.90/938.97	c |   8386468 |     222    26201   115467 |        1   264083     18 |  0.000 % |
938.90/938.97	c |   8421418 |     222    26201   115467 |        1   299033     18 |  0.000 % |
938.90/938.97	c |   8422405 |     222    26201   115467 |        1   300020     18 |  0.000 % |
938.90/938.97	c |   8422505 |     222    26201   115467 |        1   300120     18 |  0.000 % |
938.90/938.97	c |   8439946 |     222    26201   115467 |        1   317561     18 |  0.000 % |
938.90/938.97	c |   8443600 |     222    26201   115467 |        1   321215     18 |  0.000 % |
938.90/938.97	c |   8443706 |     222    26201   115467 |        1   321321     18 |  0.000 % |
938.90/938.97	c |   8443806 |     222    26201   115467 |        1   321421     18 |  0.000 % |
938.90/938.97	c |   8443907 |     222    26201   115467 |        1   321522     18 |  0.000 % |
938.90/938.97	c |   8447886 |     222    26201   115467 |        1   325501     19 |  0.000 % |
938.90/938.97	c |   8451695 |     222    26201   115467 |        1   329310     19 |  0.000 % |
938.90/938.97	c |   8491832 |     222    26201   115467 |        1   369447     19 |  0.000 % |
938.90/938.97	c |   8494628 |     222    26201   115467 |        1   372243     19 |  0.000 % |
938.90/938.97	c |   8494977 |     222    26201   115467 |        1   372592     19 |  0.000 % |
938.90/938.97	c |   8498596 |     222    26201   115467 |        1   376211     19 |  0.000 % |
938.90/938.97	c |   8499562 |     222    26201   115467 |        1   377177     19 |  0.000 % |
941.30/941.38	c |   8512922 |     222    26201   115467 |        1   390537     19 |  0.008 % |
941.30/941.38	c ===============================================================================
941.30/941.38	c restarts              : 939
941.30/941.38	c nb ReduceDB           : 79
941.30/941.38	c nb removed Clauses    : 8122385
941.30/941.38	c nb learnts DL2        : 79
941.30/941.38	c nb learnts size 2     : 16
941.30/941.38	c nb learnts size 1     : 0
941.30/941.38	c conflicts             : 8512922        (9046 /sec)
941.30/941.38	c decisions             : 10136140       (0.00 % random) (10771 /sec)
941.30/941.38	c propagations          : 259222922      (275450 /sec)
941.30/941.38	c conflict literals     : 196386410      (49.17 % deleted)
941.30/941.38	c nb reduced Clauses    : 13969
941.30/941.38	c CPU time              : 941.088 s
941.30/941.38	
941.30/941.39	s SATISFIABLE
941.30/941.39	v 1 2 3 -4 5 6 7 8 9 10 11 12 -13 14 15 16 17 18 19 20 -21 22 -23 24 25 26 27 28 29 -30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 -50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 -67 68 -69 70 71 72 73 74 75 76 77 78 79 80 81 -82 83 84 85 86 87 88 89 -90 91 -92 93 94 95 96 97 98 99 100 -101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 -118 -119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 -136 137 138 139 140 141 -142 143 144 -145 146 -147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 -168 169 -170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 -187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 -207 208 209 210 -211 212 213 -214 215 -216 217 218 219 220 221 222 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262352-1303542328/watcher-3262352-1303542328 -o /tmp/evaluation-result-3262352-1303542328/solver-3262352-1303542328 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262352-1303542328.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.85 3.11 3/178 29076
/proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 465835154 8912896 253 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 253 211 178 0 69 0

[startup+0.0503699 s]
/proc/loadavg: 2.06 2.85 3.11 3/178 29076
/proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.100359 s]
/proc/loadavg: 2.06 2.85 3.11 3/178 29076
/proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.300322 s]
/proc/loadavg: 2.06 2.85 3.11 3/178 29076
/proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.700247 s]
/proc/loadavg: 2.06 2.85 3.11 3/178 29076
/proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+1.50113 s]
/proc/loadavg: 2.06 2.85 3.11 5/194 29104
/proc/meminfo: memFree=13254012/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=24996 CPUtime=1.46 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 3743 0 0 0 146 0 0 0 25 0 1 0 465835157 25595904 2824 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 6249 2824 248 17 0 2890 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33700

[startup+3.10083 s]
/proc/loadavg: 2.06 2.85 3.11 6/194 29104
/proc/meminfo: memFree=13240496/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=24996 CPUtime=3.06 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 3882 0 0 0 306 0 0 0 25 0 1 0 465835157 25595904 2960 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 6249 2960 248 17 0 2890 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33700

[startup+6.30023 s]
/proc/loadavg: 2.21 2.87 3.11 5/194 29105
/proc/meminfo: memFree=13225476/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=33912 CPUtime=6.25 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 5309 0 0 0 625 0 0 0 25 0 1 0 465835157 34725888 4318 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 8478 4318 248 17 0 5119 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42616

[startup+12.701 s]
/proc/loadavg: 2.36 2.89 3.11 6/194 29105
/proc/meminfo: memFree=13202172/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=33912 CPUtime=12.66 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 6094 0 0 0 1266 0 0 0 25 0 1 0 465835157 34725888 5070 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 8478 5070 248 17 0 5119 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42616

[startup+25.5006 s]
/proc/loadavg: 2.72 2.95 3.13 6/194 29105
/proc/meminfo: memFree=13188292/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=45700 CPUtime=25.46 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 12162 0 0 0 2545 1 0 0 25 0 1 0 465835157 46796800 6742 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 11425 6742 250 17 0 8066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54404

[startup+51.1008 s]
/proc/loadavg: 3.16 3.03 3.15 6/194 29106
/proc/meminfo: memFree=13136312/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=64376 CPUtime=51.06 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 16457 0 0 0 5105 1 0 0 25 0 1 0 465835157 65921024 11010 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 16094 11010 250 17 0 12735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73080

[startup+102.307 s]
/proc/loadavg: 3.79 3.21 3.20 6/194 29107
/proc/meminfo: memFree=13078372/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=64376 CPUtime=102.27 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 20797 0 0 0 10225 2 0 0 25 0 1 0 465835157 65921024 12073 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 16094 12073 250 17 0 12735 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 73080

[startup+162.301 s]
/proc/loadavg: 3.92 3.35 3.25 6/194 29109
/proc/meminfo: memFree=13049940/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=102192 CPUtime=162.26 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 28076 0 0 0 16223 3 0 0 25 0 1 0 465835157 104644608 14405 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 25548 14405 250 17 0 22189 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 110896

[startup+222.3 s]
/proc/loadavg: 3.97 3.47 3.29 6/194 29110
/proc/meminfo: memFree=13027964/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=102192 CPUtime=222.26 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 28671 0 0 0 22223 3 0 0 25 0 1 0 465835157 104644608 14978 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 25548 14978 250 17 0 22189 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 110896

[startup+282.301 s]
/proc/loadavg: 3.99 3.56 3.34 5/194 29112
/proc/meminfo: memFree=12999300/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=102192 CPUtime=282.27 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 34477 0 0 0 28222 5 0 0 25 0 1 0 465835157 104644608 20546 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 25548 20546 250 17 0 22189 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 110896

[startup+342.301 s]
/proc/loadavg: 3.99 3.64 3.37 6/194 29114
/proc/meminfo: memFree=12944092/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=102192 CPUtime=342.26 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 34914 0 0 0 34221 5 0 0 25 0 1 0 465835157 104644608 20970 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 25548 20970 250 17 0 22189 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 110896

[startup+402.3 s]
/proc/loadavg: 4.07 3.72 3.42 6/194 29115
/proc/meminfo: memFree=12928532/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3

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

/proc/29091/statm: 25753 22415 250 17 0 22394 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 111716

[startup+642.301 s]
/proc/loadavg: 4.00 3.86 3.54 6/194 29122
/proc/meminfo: memFree=12876640/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=103012 CPUtime=642.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 67576 0 0 0 64218 10 0 0 25 0 1 0 465835157 105484288 22418 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 25753 22418 250 17 0 22394 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 111716

[startup+702.301 s]
/proc/loadavg: 4.08 3.92 3.58 6/194 29123
/proc/meminfo: memFree=12823048/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=115752 CPUtime=702.27 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 95325 0 0 0 70212 15 0 0 25 0 1 0 465835157 118530048 25606 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 28938 25606 250 17 0 25579 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 124456

[startup+762.307 s]
/proc/loadavg: 4.03 3.93 3.60 5/194 29125
/proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=115752 CPUtime=762.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 112158 0 0 0 76210 18 0 0 25 0 1 0 465835157 118530048 25609 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 28938 25609 250 17 0 25579 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 124456

[startup+822.301 s]
/proc/loadavg: 4.01 3.94 3.62 5/194 29157
/proc/meminfo: memFree=12872996/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=822.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 137450 0 0 0 82206 22 0 0 25 0 1 0 465835157 169033728 33738 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 33738 250 17 0 37909 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 173776

[startup+882.301 s]
/proc/loadavg: 4.00 3.95 3.64 6/194 29159
/proc/meminfo: memFree=12854952/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=882.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 155482 0 0 0 88203 25 0 0 25 0 1 0 465835157 169033728 34044 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 34044 250 17 0 37909 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 173776

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

[startup+895.9 s]
/proc/loadavg: 4.00 3.95 3.65 5/194 29159
/proc/meminfo: memFree=12883940/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=115752 CPUtime=895.87 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 156016 0 0 0 89562 25 0 0 25 0 1 0 465835157 118530048 25616 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 28938 25616 250 17 0 25579 0
Current children cumulated CPU time (s) 895.89
Current children cumulated vsize (KiB) 124456

[startup+921.5 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29160
/proc/meminfo: memFree=12914428/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=115752 CPUtime=921.48 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 165155 0 0 0 92121 27 0 0 25 0 1 0 465835157 118530048 25626 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 28938 25626 250 17 0 25579 0
Current children cumulated CPU time (s) 921.5
Current children cumulated vsize (KiB) 124456

[startup+934.301 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29160
/proc/meminfo: memFree=12849080/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=934.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 172768 0 0 0 93400 28 0 0 25 0 1 0 465835157 169033728 33237 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 33237 250 17 0 37909 0
Current children cumulated CPU time (s) 934.3
Current children cumulated vsize (KiB) 173776

[startup+937.5 s]
/proc/loadavg: 4.00 3.95 3.66 5/194 29160
/proc/meminfo: memFree=12813864/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=937.48 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173305 0 0 0 93720 28 0 0 25 0 1 0 465835157 169033728 33753 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 33753 250 17 0 37909 0
Current children cumulated CPU time (s) 937.5
Current children cumulated vsize (KiB) 173776

[startup+939.101 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29160
/proc/meminfo: memFree=12812128/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=939.08 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173508 0 0 0 93880 28 0 0 25 0 1 0 465835157 169033728 33953 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 33953 250 17 0 37909 0
Current children cumulated CPU time (s) 939.1
Current children cumulated vsize (KiB) 173776

[startup+940.701 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29161
/proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=940.68 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173718 0 0 0 94040 28 0 0 25 0 1 0 465835157 169033728 34158 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 34158 250 17 0 37909 0
Current children cumulated CPU time (s) 940.7
Current children cumulated vsize (KiB) 173776

[startup+941.101 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29161
/proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=941.08 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173796 0 0 0 94079 29 0 0 25 0 1 0 465835157 169033728 34235 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 34235 250 17 0 37909 0
Current children cumulated CPU time (s) 941.1
Current children cumulated vsize (KiB) 173776

[startup+941.301 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29161
/proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29076/statm: 2176 255 211 178 0 69 0
[pid=29091] ppid=29076 vsize=165072 CPUtime=941.28 cores=1,3
/proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173830 0 0 0 94099 29 0 0 25 0 1 0 465835157 169033728 34269 33554432000 4194304 4260849 140736016649376 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29091/statm: 41268 34269 250 17 0 37909 0
Current children cumulated CPU time (s) 941.3
Current children cumulated vsize (KiB) 173776

[startup+941.401 s]
/proc/loadavg: 4.00 3.95 3.66 6/194 29161
/proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528
[pid=29076] ppid=29073 vsize=8704 CPUtime=941.4 cores=1,3
/proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 413 174571 0 0 0 0 94111 29 18 0 1 0 465835154 8912896 257 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29076/statm: 2176 257 213 178 0 69 0
Current children cumulated CPU time (s) 941.4
Current children cumulated vsize (KiB) 8704

Child status: 10
Real time (s): 941.401
CPU time (s): 941.417
CPU user time (s): 941.118
CPU system time (s): 0.298954
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 173776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 941.118
system time used= 0.298954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175169
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= 42
involuntary context switches= 2070

runsolver used 1.44378 second user time and 3.74643 second system time

The end

Launcher Data

Begin job on node102 at 2011-04-23 09:05:28
IDJOB=3262352
IDBENCH=83293
IDSOLVER=1651
FILE ID=node102/3262352-1303542328
RUNJOBID= node102-1303542328-29055
PBS_JOBID= 13143136
Free space on /tmp= 71004 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262352-1303542328/watcher-3262352-1303542328 -o /tmp/evaluation-result-3262352-1303542328/solver-3262352-1303542328 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3262352-1303542328.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 91ac0151536835225f21cbe5a3574a2d
RANDOM SEED=2139766098

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13293864 kB
Buffers:       1834236 kB
Cached:       17202644 kB
SwapCached:          0 kB
Active:        9637232 kB
Inactive:      9464864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13293864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3208 kB
Writeback:           0 kB
AnonPages:       64812 kB
Mapped:          14492 kB
Slab:           492440 kB
PageTables:       5500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 70996 MiB
End job on node102 at 2011-04-23 09:21:10