Trace number 3303492

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 2UNSAT 1129.41 1129.37

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
MD5SUM906590ef62b3db2841b2d529fd1636f7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark698.091
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of clauses22241
Sum of the clauses size99837
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268
Number of clauses of size 320324
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51849

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 |   22241    99837 |    6672       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 203   #clauses: 22241   #literals: 99837
0.00/0.01	c CPU time:   0.006998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
15.78/15.83	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
15.78/15.83	c WARNING: for repeatability, setting FPU to use double precision
15.78/15.83	c ============================[ Problem Statistics ]=============================
15.78/15.83	c |                                                                             |
15.78/15.83	c |  Number of variables:           203                                         |
15.78/15.83	c |  Number of clauses:           22241                                         |
15.78/15.83	c |  Parse time:                   0.00 s                                       |
15.78/15.83	c |                                                                             |
15.78/15.83	c ============================[ Search Statistics ]==============================
15.78/15.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.78/15.83	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.78/15.83	c ===============================================================================
15.78/15.83	c |      6674 |     203    22241    99837 |        1     4677     23 |  0.000 % |
15.78/15.83	c |      6774 |     203    22241    99837 |        1     4777     23 |  0.000 % |
15.78/15.83	c |      6877 |     203    22241    99837 |        1     4880     24 |  0.000 % |
15.78/15.83	c |      7342 |     203    22241    99837 |        1     5345     24 |  0.000 % |
15.78/15.83	c |      7442 |     203    22241    99837 |        1     5445     24 |  0.000 % |
15.78/15.83	c |      9882 |     203    22241    99837 |        1     7885     25 |  0.000 % |
15.78/15.83	c |     11981 |     203    22241    99837 |        1     5691     24 |  0.000 % |
15.78/15.83	c |     12081 |     203    22241    99837 |        1     5791     24 |  0.000 % |
15.78/15.83	c |     12181 |     203    22241    99837 |        1     5891     24 |  0.000 % |
15.78/15.83	c |     12282 |     203    22241    99837 |        1     5992     24 |  0.000 % |
15.78/15.83	c |     12897 |     203    22241    99837 |        1     6607     25 |  0.000 % |
15.78/15.83	c |     12998 |     203    22241    99837 |        1     6708     25 |  0.000 % |
15.78/15.83	c |     14783 |     203    22241    99837 |        1     8493     26 |  0.000 % |
15.78/15.83	c |     15262 |     203    22241    99837 |        1     8972     26 |  0.000 % |
15.78/15.83	c |     15362 |     203    22241    99837 |        1     9072     26 |  0.000 % |
15.78/15.83	c |     24375 |     203    22241    99837 |        1    11340     25 |  0.000 % |
15.78/15.83	c |     24781 |     203    22241    99837 |        1    11746     26 |  0.000 % |
15.78/15.83	c |     24946 |     203    22241    99837 |        1    11911     26 |  0.000 % |
15.78/15.83	c |     33304 |     203    22241    99837 |        1    10993     25 |  0.000 % |
15.78/15.83	c |     33405 |     203    22241    99837 |        1    11094     25 |  0.000 % |
15.78/15.83	c |     36554 |     203    22241    99837 |        1    14243     26 |  0.000 % |
15.78/15.83	c |     55520 |     203    22241    99837 |        1    21375     27 |  0.000 % |
15.78/15.83	c |     57122 |     203    22241    99837 |        1    22977     27 |  0.000 % |
15.78/15.83	c |     64251 |     203    22241    99837 |        1    15687     24 |  0.000 % |
15.78/15.83	c |    154256 |     203    22241    99837 |        1    46871     22 |  0.000 % |
15.78/15.83	c |    154356 |     203    22241    99837 |        1    46971     22 |  0.000 % |
15.78/15.83	c |    154736 |     203    22241    99837 |        1    47351     22 |  0.000 % |
15.78/15.83	c |    154837 |     203    22241    99837 |        1    47452     22 |  0.000 % |
15.78/15.83	c |    157536 |     203    22241    99837 |        1    25350     21 |  0.000 % |
15.78/15.83	c |    157660 |     203    22241    99837 |        1    25474     21 |  0.000 % |
15.78/15.83	c |    221337 |     203    22241    99837 |        1    31753     22 |  0.000 % |
15.78/15.83	c |    221460 |     203    22241    99837 |        1    31876     22 |  0.000 % |
15.78/15.83	c |    235384 |     203    22241    99837 |        1    45800     23 |  0.000 % |
15.78/15.83	c |    237115 |     203    22241    99837 |        1    47531     23 |  0.000 % |
15.78/15.83	c |    237215 |     203    22241    99837 |        1    47631     23 |  0.000 % |
15.78/15.83	c |    268442 |     203    22241    99837 |        1    46261     23 |  0.000 % |
15.78/15.83	c |    285527 |     203    22241    99837 |        1    63346     24 |  0.000 % |
15.78/15.83	c |    307265 |     203    22241    99837 |        1    49879     22 |  0.000 % |
15.78/15.83	c |    310492 |     203    22241    99837 |        1    53106     22 |  0.000 % |
80.78/80.81	c |    362206 |     203    22241    99837 |        1    67017     23 |  0.000 % |
80.78/80.81	c |    454985 |     203    22241    99837 |        1    76396     23 |  0.000 % |
80.78/80.81	c |    486684 |     203    22241    99837 |        1    62502     22 |  0.000 % |
80.78/80.81	c |    490247 |     203    22241    99837 |        1    66065     23 |  0.000 % |
80.78/80.81	c |    496778 |     203    22241    99837 |        1    72596     23 |  0.000 % |
80.78/80.81	c |    498572 |     203    22241    99837 |        1    74390     23 |  0.000 % |
80.78/80.81	c |    498672 |     203    22241    99837 |        1    74490     23 |  0.000 % |
80.78/80.81	c |    501351 |     203    22241    99837 |        1    77169     23 |  0.000 % |
80.78/80.81	c |    511902 |     203    22241    99837 |        1    87720     24 |  0.000 % |
80.78/80.81	c |    520033 |     203    22241    99837 |        1    95851     24 |  0.000 % |
80.78/80.81	c |    520133 |     203    22241    99837 |        1    95951     24 |  0.000 % |
80.78/80.81	c |    549996 |     203    22241    99837 |        1    77607     22 |  0.000 % |
80.78/80.81	c |    554009 |     203    22241    99837 |        1    81620     23 |  0.000 % |
80.78/80.81	c |    618228 |     203    22241    99837 |        1    95042     22 |  0.000 % |
80.78/80.81	c |    622623 |     203    22241    99837 |        1    99437     22 |  0.000 % |
80.78/80.81	c |    624669 |     203    22241    99837 |        1   101483     22 |  0.000 % |
80.78/80.81	c |    624769 |     203    22241    99837 |        1   101583     22 |  0.000 % |
80.78/80.81	c |    629401 |     203    22241    99837 |        1   106215     23 |  0.000 % |
80.78/80.81	c |    632355 |     203    22241    99837 |        1    55769     21 |  0.000 % |
80.78/80.81	c |    637083 |     203    22241    99837 |        1    60497     21 |  0.000 % |
80.78/80.81	c |    655068 |     203    22241    99837 |        1    78482     22 |  0.000 % |
80.78/80.81	c |    660768 |     203    22241    99837 |        1    84182     22 |  0.000 % |
80.78/80.81	c |    662045 |     203    22241    99837 |        1    85459     22 |  0.000 % |
80.78/80.81	c |    662145 |     203    22241    99837 |        1    85559     22 |  0.000 % |
80.78/80.81	c |    662245 |     203    22241    99837 |        1    85659     22 |  0.000 % |
80.78/80.81	c |    675118 |     203    22241    99837 |        1    98532     23 |  0.000 % |
80.78/80.81	c |    679375 |     203    22241    99837 |        1   102789     23 |  0.000 % |
80.78/80.81	c |    679762 |     203    22241    99837 |        1   103176     23 |  0.000 % |
80.78/80.81	c |    679862 |     203    22241    99837 |        1   103276     23 |  0.000 % |
80.78/80.81	c |    777186 |     203    22241    99837 |        1    86001     22 |  0.000 % |
80.78/80.81	c |    782484 |     203    22241    99837 |        1    91299     23 |  0.000 % |
80.78/80.81	c |    806813 |     203    22241    99837 |        1   115628     23 |  0.000 % |
80.78/80.81	c |    809463 |     203    22241    99837 |        1   118278     23 |  0.000 % |
80.78/80.81	c |    840332 |     203    22241    99837 |        1    87945     22 |  0.000 % |
80.78/80.81	c |    989163 |     203    22241    99837 |        1   106576     21 |  0.000 % |
80.78/80.81	c |    989264 |     203    22241    99837 |        1   106677     21 |  0.000 % |
80.78/80.81	c |    992540 |     203    22241    99837 |        1   109953     21 |  0.000 % |
80.78/80.81	c |    998680 |     203    22241    99837 |        1   116093     22 |  0.000 % |
80.78/80.81	c |   1003630 |     203    22241    99837 |        1   121043     22 |  0.000 % |
80.78/80.81	c |   1080100 |     203    22241    99837 |        1   128513     20 |  0.000 % |
80.78/80.81	c |   1084503 |     203    22241    99837 |        1   132916     20 |  0.000 % |
80.78/80.81	c |   1196797 |     203    22241    99837 |        1    99411     21 |  0.000 % |
80.78/80.81	c |   1196899 |     203    22241    99837 |        1    99513     21 |  0.000 % |
80.78/80.81	c |   1197000 |     203    22241    99837 |        1    99614     21 |  0.000 % |
80.78/80.81	c |   1210387 |     203    22241    99837 |        1   113001     21 |  0.000 % |
80.78/80.81	c |   1233195 |     203    22241    99837 |        1   135809     22 |  0.000 % |
80.78/80.81	c |   1233295 |     203    22241    99837 |        1   135909     22 |  0.000 % |
80.78/80.81	c |   1237179 |     203    22241    99837 |        1   139793     22 |  0.000 % |
80.78/80.81	c |   1237281 |     203    22241    99837 |        1   139895     22 |  0.000 % |
80.78/80.81	c |   1237745 |     203    22241    99837 |        1   140359     22 |  0.000 % |
117.28/117.31	c |   1237847 |     203    22241    99837 |        1   140461     22 |  0.000 % |
117.28/117.31	c |   1327372 |     203    22241    99837 |        1   153181     22 |  0.000 % |
117.28/117.31	c |   1343485 |     203    22241    99837 |        1    89897     20 |  0.000 % |
117.28/117.31	c |   1343585 |     203    22241    99837 |        1    89997     20 |  0.000 % |
117.28/117.31	c |   1343686 |     203    22241    99837 |        1    90098     20 |  0.000 % |
117.28/117.31	c |   1350229 |     203    22241    99837 |        1    96641     21 |  0.000 % |
117.28/117.31	c |   1358126 |     203    22241    99837 |        1   104538     21 |  0.000 % |
117.28/117.31	c |   1358226 |     203    22241    99837 |        1   104638     21 |  0.000 % |
117.28/117.31	c |   1360693 |     203    22241    99837 |        1   107105     21 |  0.000 % |
117.28/117.31	c |   1360997 |     203    22241    99837 |        1   107409     21 |  0.000 % |
117.28/117.31	c |   1370158 |     203    22241    99837 |        1   116570     22 |  0.000 % |
117.28/117.31	c |   1379283 |     203    22241    99837 |        1   125695     22 |  0.000 % |
117.28/117.31	c |   1391533 |     203    22241    99837 |        1   137945     22 |  0.000 % |
117.28/117.31	c |   1392454 |     203    22241    99837 |        1   138866     22 |  0.000 % |
117.28/117.31	c |   1392554 |     203    22241    99837 |        1   138966     22 |  0.000 % |
117.28/117.31	c |   1393957 |     203    22241    99837 |        1   140369     22 |  0.000 % |
117.28/117.31	c |   1428583 |     203    22241    99837 |        1    92995     20 |  0.000 % |
117.28/117.31	c |   1431060 |     203    22241    99837 |        1    95472     20 |  0.000 % |
117.28/117.31	c |   1480053 |     203    22241    99837 |        1   144465     22 |  0.000 % |
117.28/117.31	c |   1511689 |     203    22241    99837 |        1    91501     20 |  0.000 % |
117.28/117.31	c |   1515524 |     203    22241    99837 |        1    95336     20 |  0.000 % |
117.28/117.31	c |   1519933 |     203    22241    99837 |        1    99745     20 |  0.000 % |
117.28/117.31	c |   1520183 |     203    22241    99837 |        1    99995     20 |  0.000 % |
117.28/117.31	c |   1520347 |     203    22241    99837 |        1   100159     20 |  0.000 % |
117.28/117.31	c |   1520626 |     203    22241    99837 |        1   100438     20 |  0.000 % |
117.28/117.31	c |   1521135 |     203    22241    99837 |        1   100947     20 |  0.000 % |
117.28/117.31	c |   1540743 |     203    22241    99837 |        1   120555     21 |  0.000 % |
117.28/117.31	c |   1542096 |     203    22241    99837 |        1   121908     21 |  0.000 % |
117.28/117.31	c |   1550228 |     203    22241    99837 |        1   130040     21 |  0.000 % |
117.28/117.31	c |   1578040 |     203    22241    99837 |        1   157852     22 |  0.000 % |
117.28/117.31	c |   1581037 |     203    22241    99837 |        1   160849     22 |  0.000 % |
117.28/117.31	c |   1591684 |     203    22241    99837 |        1   171496     22 |  0.000 % |
117.28/117.31	c |   1591878 |     203    22241    99837 |        1   171690     22 |  0.000 % |
117.28/117.31	c |   1593169 |     203    22241    99837 |        1   172981     22 |  0.000 % |
117.28/117.31	c |   1595506 |     203    22241    99837 |        1    88120     20 |  0.000 % |
117.28/117.31	c |   1622221 |     203    22241    99837 |        1   114835     21 |  0.000 % |
117.28/117.31	c |   1624569 |     203    22241    99837 |        1   117183     21 |  0.000 % |
117.28/117.31	c |   1624670 |     203    22241    99837 |        1   117284     21 |  0.000 % |
117.28/117.31	c |   1630460 |     203    22241    99837 |        1   123074     21 |  0.000 % |
117.28/117.31	c |   1631192 |     203    22241    99837 |        1   123806     21 |  0.000 % |
117.28/117.31	c |   1631292 |     203    22241    99837 |        1   123906     21 |  0.000 % |
117.28/117.31	c |   1631998 |     203    22241    99837 |        1   124612     21 |  0.000 % |
117.28/117.31	c |   1653011 |     203    22241    99837 |        1   145625     22 |  0.000 % |
117.28/117.31	c |   1653112 |     203    22241    99837 |        1   145726     22 |  0.000 % |
117.28/117.31	c |   1653790 |     203    22241    99837 |        1   146404     22 |  0.000 % |
117.28/117.31	c |   1657979 |     203    22241    99837 |        1   150593     22 |  0.000 % |
117.28/117.31	c |   1658079 |     203    22241    99837 |        1   150693     22 |  0.000 % |
117.28/117.31	c |   1658530 |     203    22241    99837 |        1   151144     22 |  0.000 % |
117.28/117.31	c |   1658728 |     203    22241    99837 |        1   151342     22 |  0.000 % |
117.28/117.31	c |   1695568 |     203    22241    99837 |        1    98382     20 |  0.000 % |
187.00/187.06	c |   1695718 |     203    22241    99837 |        1    98532     20 |  0.000 % |
187.00/187.06	c |   1695855 |     203    22241    99837 |        1    98669     20 |  0.000 % |
187.00/187.06	c |   1696190 |     203    22241    99837 |        1    99004     20 |  0.000 % |
187.00/187.06	c |   1696290 |     203    22241    99837 |        1    99104     20 |  0.000 % |
187.00/187.06	c |   1696390 |     203    22241    99837 |        1    99204     20 |  0.000 % |
187.00/187.06	c |   1699874 |     203    22241    99837 |        1   102688     21 |  0.000 % |
187.00/187.06	c |   1739312 |     203    22241    99837 |        1   142126     22 |  0.000 % |
187.00/187.06	c |   1754858 |     203    22241    99837 |        1   157672     22 |  0.000 % |
187.00/187.06	c |   1758258 |     203    22241    99837 |        1   161072     22 |  0.000 % |
187.00/187.06	c |   1767271 |     203    22241    99837 |        1   170085     22 |  0.000 % |
187.00/187.06	c |   1767477 |     203    22241    99837 |        1   170291     22 |  0.000 % |
187.00/187.06	c |   1771286 |     203    22241    99837 |        1   174100     22 |  0.000 % |
187.00/187.06	c |   1799904 |     203    22241    99837 |        1   110323     21 |  0.000 % |
187.00/187.06	c |   1846149 |     203    22241    99837 |        1   156568     22 |  0.000 % |
187.00/187.06	c |   1848159 |     203    22241    99837 |        1   158578     22 |  0.000 % |
187.00/187.06	c |   1855526 |     203    22241    99837 |        1   165945     22 |  0.000 % |
187.00/187.06	c |   1856196 |     203    22241    99837 |        1   166615     22 |  0.000 % |
187.00/187.06	c |   1856318 |     203    22241    99837 |        1   166737     22 |  0.000 % |
187.00/187.06	c |   1857150 |     203    22241    99837 |        1   167569     22 |  0.000 % |
187.00/187.06	c |   1857253 |     203    22241    99837 |        1   167672     22 |  0.000 % |
187.00/187.06	c |   1890318 |     203    22241    99837 |        1   105741     20 |  0.000 % |
187.00/187.06	c |   1912461 |     203    22241    99837 |        1   127884     21 |  0.000 % |
187.00/187.06	c |   1918952 |     203    22241    99837 |        1   134375     21 |  0.000 % |
187.00/187.06	c |   1919125 |     203    22241    99837 |        1   134548     21 |  0.000 % |
187.00/187.06	c |   1937999 |     203    22241    99837 |        1   153422     21 |  0.000 % |
187.00/187.06	c |   1943235 |     203    22241    99837 |        1   158658     22 |  0.000 % |
187.00/187.06	c |   1947930 |     203    22241    99837 |        1   163353     22 |  0.000 % |
187.00/187.06	c |   1961744 |     203    22241    99837 |        1   177167     22 |  0.000 % |
187.00/187.06	c |   1975227 |     203    22241    99837 |        1   190650     22 |  0.000 % |
187.00/187.06	c |   1995899 |     203    22241    99837 |        1   113715     20 |  0.000 % |
187.00/187.06	c |   1996000 |     203    22241    99837 |        1   113816     20 |  0.000 % |
187.00/187.06	c |   2018922 |     203    22241    99837 |        1   136738     21 |  0.000 % |
187.00/187.06	c |   2032684 |     203    22241    99837 |        1   150500     21 |  0.000 % |
187.00/187.06	c |   2046770 |     203    22241    99837 |        1   164586     21 |  0.000 % |
187.00/187.06	c |   2059846 |     203    22241    99837 |        1   177662     22 |  0.000 % |
187.00/187.06	c |   2121418 |     203    22241    99837 |        1   139031     20 |  0.000 % |
187.00/187.06	c |   2131851 |     203    22241    99837 |        1   149464     21 |  0.000 % |
187.00/187.06	c |   2325600 |     203    22241    99837 |        1   135020     19 |  0.000 % |
187.00/187.06	c |   2325702 |     203    22241    99837 |        1   135122     19 |  0.000 % |
187.00/187.06	c |   2330642 |     203    22241    99837 |        1   140062     20 |  0.000 % |
187.00/187.06	c |   2347052 |     203    22241    99837 |        1   156472     20 |  0.000 % |
187.00/187.06	c |   2361880 |     203    22241    99837 |        1   171300     20 |  0.000 % |
187.00/187.06	c |   2361980 |     203    22241    99837 |        1   171400     20 |  0.000 % |
187.00/187.06	c |   2362080 |     203    22241    99837 |        1   171500     20 |  0.000 % |
187.00/187.06	c |   2367645 |     203    22241    99837 |        1   177065     21 |  0.000 % |
187.00/187.06	c |   2375049 |     203    22241    99837 |        1   184469     21 |  0.000 % |
187.00/187.06	c |   2394862 |     203    22241    99837 |        1   204282     21 |  0.000 % |
187.00/187.06	c |   2395580 |     203    22241    99837 |        1   205000     21 |  0.000 % |
187.00/187.06	c |   2420790 |     203    22241    99837 |        1   122205     20 |  0.000 % |
187.00/187.06	c |   2481470 |     203    22241    99837 |        1   182885     22 |  0.000 % |
246.18/246.28	c |   2482990 |     203    22241    99837 |        1   184405     22 |  0.000 % |
246.18/246.28	c |   2486484 |     203    22241    99837 |        1   187899     22 |  0.000 % |
246.18/246.28	c |   2486584 |     203    22241    99837 |        1   187999     22 |  0.000 % |
246.18/246.28	c |   2486685 |     203    22241    99837 |        1   188100     22 |  0.000 % |
246.18/246.28	c |   2492980 |     203    22241    99837 |        1   194395     22 |  0.000 % |
246.18/246.28	c |   2502805 |     203    22241    99837 |        1   204220     22 |  0.000 % |
246.18/246.28	c |   2505366 |     203    22241    99837 |        1   206781     22 |  0.000 % |
246.18/246.28	c |   2505467 |     203    22241    99837 |        1   206882     22 |  0.000 % |
246.18/246.28	c |   2513591 |     203    22241    99837 |        1   215006     22 |  0.000 % |
246.18/246.28	c |   2514736 |     203    22241    99837 |        1   216151     22 |  0.000 % |
246.18/246.28	c |   2554995 |     203    22241    99837 |        1   145807     20 |  0.000 % |
246.18/246.28	c |   2555286 |     203    22241    99837 |        1   146098     20 |  0.000 % |
246.18/246.28	c |   2588256 |     203    22241    99837 |        1   179068     21 |  0.000 % |
246.18/246.28	c |   2588356 |     203    22241    99837 |        1   179168     21 |  0.000 % |
246.18/246.28	c |   2591355 |     203    22241    99837 |        1   182167     21 |  0.000 % |
246.18/246.28	c |   2638820 |     203    22241    99837 |        1   116434     19 |  0.000 % |
246.18/246.28	c |   2640928 |     203    22241    99837 |        1   118542     20 |  0.000 % |
246.18/246.28	c |   2655859 |     203    22241    99837 |        1   133473     20 |  0.000 % |
246.18/246.28	c |   2671449 |     203    22241    99837 |        1   149063     21 |  0.000 % |
246.18/246.28	c |   2675363 |     203    22241    99837 |        1   152977     21 |  0.000 % |
246.18/246.28	c |   2730312 |     203    22241    99837 |        1   207926     22 |  0.000 % |
246.18/246.28	c |   2764479 |     203    22241    99837 |        1   126294     19 |  0.000 % |
246.18/246.28	c |   2771406 |     203    22241    99837 |        1   133221     20 |  0.000 % |
246.18/246.28	c |   2771506 |     203    22241    99837 |        1   133321     20 |  0.000 % |
246.18/246.28	c |   2773765 |     203    22241    99837 |        1   135580     20 |  0.000 % |
246.18/246.28	c |   2779648 |     203    22241    99837 |        1   141463     20 |  0.000 % |
246.18/246.28	c |   2804723 |     203    22241    99837 |        1   166538     21 |  0.000 % |
246.18/246.28	c |   2808561 |     203    22241    99837 |        1   170376     21 |  0.000 % |
246.18/246.28	c |   2812837 |     203    22241    99837 |        1   174652     21 |  0.000 % |
246.18/246.28	c |   2873062 |     203    22241    99837 |        1   234877     22 |  0.000 % |
246.18/246.28	c |   2873162 |     203    22241    99837 |        1   234977     22 |  0.000 % |
246.18/246.28	c |   2875934 |     203    22241    99837 |        1   119350     19 |  0.000 % |
246.18/246.28	c |   2911865 |     203    22241    99837 |        1   155281     20 |  0.000 % |
246.18/246.28	c |   2917274 |     203    22241    99837 |        1   160690     20 |  0.000 % |
246.18/246.28	c |   2928305 |     203    22241    99837 |        1   171721     20 |  0.000 % |
246.18/246.28	c |   2960364 |     203    22241    99837 |        1   203780     21 |  0.000 % |
246.18/246.28	c |   2961508 |     203    22241    99837 |        1   204924     21 |  0.000 % |
246.18/246.28	c |   2961608 |     203    22241    99837 |        1   205024     21 |  0.000 % |
246.18/246.28	c |   2961720 |     203    22241    99837 |        1   205136     21 |  0.000 % |
246.18/246.28	c |   2978541 |     203    22241    99837 |        1   221957     21 |  0.000 % |
246.18/246.28	c |   3030512 |     203    22241    99837 |        1   152931     20 |  0.000 % |
246.18/246.28	c |   3031579 |     203    22241    99837 |        1   153998     20 |  0.000 % |
246.18/246.28	c |   3031679 |     203    22241    99837 |        1   154098     20 |  0.000 % |
246.18/246.28	c |   3071629 |     203    22241    99837 |        1   194048     21 |  0.000 % |
246.18/246.28	c |   3073204 |     203    22241    99837 |        1   195623     21 |  0.000 % |
246.18/246.28	c |   3082083 |     203    22241    99837 |        1   204502     21 |  0.000 % |
246.18/246.28	c |   3082183 |     203    22241    99837 |        1   204602     21 |  0.000 % |
246.18/246.28	c |   3083789 |     203    22241    99837 |        1   206208     21 |  0.000 % |
246.18/246.28	c |   3084101 |     203    22241    99837 |        1   206520     21 |  0.000 % |
246.18/246.28	c |   3085126 |     203    22241    99837 |        1   207545     21 |  0.000 % |
326.09/326.18	c |   3085229 |     203    22241    99837 |        1   207648     21 |  0.000 % |
326.09/326.18	c |   3085329 |     203    22241    99837 |        1   207748     21 |  0.000 % |
326.09/326.18	c |   3085432 |     203    22241    99837 |        1   207851     21 |  0.000 % |
326.09/326.18	c |   3085532 |     203    22241    99837 |        1   207951     21 |  0.000 % |
326.09/326.18	c |   3093900 |     203    22241    99837 |        1   216319     21 |  0.000 % |
326.09/326.18	c |   3094394 |     203    22241    99837 |        1   216813     21 |  0.000 % |
326.09/326.18	c |   3094494 |     203    22241    99837 |        1   216913     21 |  0.000 % |
326.09/326.18	c |   3097064 |     203    22241    99837 |        1   219483     21 |  0.000 % |
326.09/326.18	c |   3097164 |     203    22241    99837 |        1   219583     21 |  0.000 % |
326.09/326.18	c |   3106876 |     203    22241    99837 |        1   229295     22 |  0.000 % |
326.09/326.18	c |   3106977 |     203    22241    99837 |        1   229396     22 |  0.000 % |
326.09/326.18	c |   3107153 |     203    22241    99837 |        1   229572     22 |  0.000 % |
326.09/326.18	c |   3164168 |     203    22241    99837 |        1   162985     20 |  0.000 % |
326.09/326.18	c |   3165923 |     203    22241    99837 |        1   164740     20 |  0.000 % |
326.09/326.18	c |   3166023 |     203    22241    99837 |        1   164840     20 |  0.000 % |
326.09/326.18	c |   3178405 |     203    22241    99837 |        1   177222     20 |  0.000 % |
326.09/326.18	c |   3180109 |     203    22241    99837 |        1   178926     20 |  0.000 % |
326.09/326.18	c |   3180517 |     203    22241    99837 |        1   179334     20 |  0.000 % |
326.09/326.18	c |   3181793 |     203    22241    99837 |        1   180610     20 |  0.000 % |
326.09/326.18	c |   3181978 |     203    22241    99837 |        1   180795     20 |  0.000 % |
326.09/326.18	c |   3188611 |     203    22241    99837 |        1   187428     20 |  0.000 % |
326.09/326.18	c |   3196269 |     203    22241    99837 |        1   195086     21 |  0.000 % |
326.09/326.18	c |   3220858 |     203    22241    99837 |        1   219675     21 |  0.000 % |
326.09/326.18	c |   3221930 |     203    22241    99837 |        1   220747     21 |  0.000 % |
326.09/326.18	c |   3440196 |     203    22241    99837 |        1   184016     21 |  0.000 % |
326.09/326.18	c |   3493920 |     203    22241    99837 |        1   237740     21 |  0.000 % |
326.09/326.18	c |   3531578 |     203    22241    99837 |        1   143993     19 |  0.000 % |
326.09/326.18	c |   3559406 |     203    22241    99837 |        1   171821     20 |  0.000 % |
326.09/326.18	c |   3559924 |     203    22241    99837 |        1   172339     20 |  0.000 % |
326.09/326.18	c |   3560026 |     203    22241    99837 |        1   172441     20 |  0.000 % |
326.09/326.18	c |   3569104 |     203    22241    99837 |        1   181519     20 |  0.000 % |
326.09/326.18	c |   3569204 |     203    22241    99837 |        1   181619     20 |  0.000 % |
326.09/326.18	c |   3575998 |     203    22241    99837 |        1   188413     20 |  0.000 % |
326.09/326.18	c |   3576305 |     203    22241    99837 |        1   188720     21 |  0.000 % |
326.09/326.18	c |   3580339 |     203    22241    99837 |        1   192754     21 |  0.000 % |
326.09/326.18	c |   3615260 |     203    22241    99837 |        1   227675     21 |  0.000 % |
326.09/326.18	c |   3615576 |     203    22241    99837 |        1   227991     21 |  0.000 % |
326.09/326.18	c |   3625716 |     203    22241    99837 |        1   238131     21 |  0.000 % |
326.09/326.18	c |   3645380 |     203    22241    99837 |        1   257795     22 |  0.000 % |
326.09/326.18	c |   3645480 |     203    22241    99837 |        1   257895     22 |  0.000 % |
326.09/326.18	c |   3659247 |     203    22241    99837 |        1   137661     19 |  0.000 % |
326.09/326.18	c |   3682949 |     203    22241    99837 |        1   161363     20 |  0.000 % |
326.09/326.18	c |   3730422 |     203    22241    99837 |        1   208836     21 |  0.000 % |
326.09/326.18	c |   3840184 |     203    22241    99837 |        1   181995     20 |  0.000 % |
326.09/326.18	c |   3848429 |     203    22241    99837 |        1   190240     21 |  0.000 % |
326.09/326.18	c |   3848777 |     203    22241    99837 |        1   190588     21 |  0.000 % |
326.09/326.18	c |   3858770 |     203    22241    99837 |        1   200581     21 |  0.000 % |
326.09/326.18	c |   3859966 |     203    22241    99837 |        1   201777     21 |  0.000 % |
326.09/326.18	c |   3860067 |     203    22241    99837 |        1   201878     21 |  0.000 % |
326.09/326.18	c |   3870617 |     203    22241    99837 |        1   212428     21 |  0.000 % |
412.00/412.00	c |   3892596 |     203    22241    99837 |        1   234407     21 |  0.000 % |
412.00/412.00	c |   3946236 |     203    22241    99837 |        1   148859     19 |  0.000 % |
412.00/412.00	c |   3962434 |     203    22241    99837 |        1   165057     20 |  0.000 % |
412.00/412.00	c |   3972756 |     203    22241    99837 |        1   175379     20 |  0.000 % |
412.00/412.00	c |   3973917 |     203    22241    99837 |        1   176540     20 |  0.000 % |
412.00/412.00	c |   3986084 |     203    22241    99837 |        1   188707     20 |  0.000 % |
412.00/412.00	c |   3986184 |     203    22241    99837 |        1   188807     20 |  0.000 % |
412.00/412.00	c |   4026610 |     203    22241    99837 |        1   229233     21 |  0.000 % |
412.00/412.00	c |   4104830 |     203    22241    99837 |        1   165650     19 |  0.000 % |
412.00/412.00	c |   4211303 |     203    22241    99837 |        1   272123     21 |  0.000 % |
412.00/412.00	c |   4251329 |     203    22241    99837 |        1   167748     19 |  0.000 % |
412.00/412.00	c |   4260165 |     203    22241    99837 |        1   176584     19 |  0.000 % |
412.00/412.00	c |   4291083 |     203    22241    99837 |        1   207502     20 |  0.000 % |
412.00/412.00	c |   4291924 |     203    22241    99837 |        1   208343     20 |  0.000 % |
412.00/412.00	c |   4298574 |     203    22241    99837 |        1   214993     20 |  0.000 % |
412.00/412.00	c |   4299357 |     203    22241    99837 |        1   215776     20 |  0.000 % |
412.00/412.00	c |   4303625 |     203    22241    99837 |        1   220044     20 |  0.000 % |
412.00/412.00	c |   4304966 |     203    22241    99837 |        1   221385     20 |  0.000 % |
412.00/412.00	c |   4316564 |     203    22241    99837 |        1   232983     20 |  0.000 % |
412.00/412.00	c |   4319765 |     203    22241    99837 |        1   236184     20 |  0.000 % |
412.00/412.00	c |   4320262 |     203    22241    99837 |        1   236681     20 |  0.000 % |
412.00/412.00	c |   4320365 |     203    22241    99837 |        1   236784     20 |  0.000 % |
412.00/412.00	c |   4328000 |     203    22241    99837 |        1   244419     21 |  0.000 % |
412.00/412.00	c |   4362585 |     203    22241    99837 |        1   279004     21 |  0.000 % |
412.00/412.00	c |   4461472 |     203    22241    99837 |        1   230894     20 |  0.000 % |
412.00/412.00	c |   4461573 |     203    22241    99837 |        1   230995     20 |  0.000 % |
412.00/412.00	c |   4472283 |     203    22241    99837 |        1   241705     21 |  0.000 % |
412.00/412.00	c |   4483104 |     203    22241    99837 |        1   252526     21 |  0.000 % |
412.00/412.00	c |   4490820 |     203    22241    99837 |        1   260242     21 |  0.000 % |
412.00/412.00	c |   4490923 |     203    22241    99837 |        1   260345     21 |  0.000 % |
412.00/412.00	c |   4492888 |     203    22241    99837 |        1   262310     21 |  0.000 % |
412.00/412.00	c |   4509424 |     203    22241    99837 |        1   278846     21 |  0.000 % |
412.00/412.00	c |   4510116 |     203    22241    99837 |        1   279538     21 |  0.000 % |
412.00/412.00	c |   4511686 |     203    22241    99837 |        1   281108     21 |  0.000 % |
412.00/412.00	c |   4521078 |     203    22241    99837 |        1   290500     21 |  0.000 % |
412.00/412.00	c |   4590328 |     203    22241    99837 |        1   210146     20 |  0.000 % |
412.00/412.00	c |   4590942 |     203    22241    99837 |        1   210760     20 |  0.000 % |
412.00/412.00	c |   4591246 |     203    22241    99837 |        1   211064     20 |  0.000 % |
412.00/412.00	c |   4592144 |     203    22241    99837 |        1   211962     20 |  0.000 % |
412.00/412.00	c |   4592360 |     203    22241    99837 |        1   212178     20 |  0.000 % |
412.00/412.00	c |   4592709 |     203    22241    99837 |        1   212527     20 |  0.000 % |
412.00/412.00	c |   4593042 |     203    22241    99837 |        1   212860     20 |  0.000 % |
412.00/412.00	c |   4599255 |     203    22241    99837 |        1   219073     20 |  0.000 % |
412.00/412.00	c |   4599539 |     203    22241    99837 |        1   219357     20 |  0.000 % |
412.00/412.00	c |   4601683 |     203    22241    99837 |        1   221501     20 |  0.000 % |
412.00/412.00	c |   4602953 |     203    22241    99837 |        1   222771     20 |  0.000 % |
412.00/412.00	c |   4609859 |     203    22241    99837 |        1   229677     20 |  0.000 % |
412.00/412.00	c |   4638633 |     203    22241    99837 |        1   258451     21 |  0.000 % |
412.00/412.00	c |   4641744 |     203    22241    99837 |        1   261562     21 |  0.000 % |
493.20/493.29	c |   4645249 |     203    22241    99837 |        1   265067     21 |  0.000 % |
493.20/493.29	c |   4645349 |     203    22241    99837 |        1   265167     21 |  0.000 % |
493.20/493.29	c |   4645450 |     203    22241    99837 |        1   265268     21 |  0.000 % |
493.20/493.29	c |   4653807 |     203    22241    99837 |        1   273625     21 |  0.000 % |
493.20/493.29	c |   4655964 |     203    22241    99837 |        1   275782     21 |  0.000 % |
493.20/493.29	c |   4656388 |     203    22241    99837 |        1   276206     21 |  0.000 % |
493.20/493.29	c |   4659012 |     203    22241    99837 |        1   278830     21 |  0.000 % |
493.20/493.29	c |   4659114 |     203    22241    99837 |        1   278932     21 |  0.000 % |
493.20/493.29	c |   4659215 |     203    22241    99837 |        1   279033     21 |  0.000 % |
493.20/493.29	c |   4701704 |     203    22241    99837 |        1   169323     19 |  0.000 % |
493.20/493.29	c |   4706035 |     203    22241    99837 |        1   173654     19 |  0.000 % |
493.20/493.29	c |   4706204 |     203    22241    99837 |        1   173823     19 |  0.000 % |
493.20/493.29	c |   4706305 |     203    22241    99837 |        1   173924     19 |  0.000 % |
493.20/493.29	c |   4709072 |     203    22241    99837 |        1   176691     19 |  0.000 % |
493.20/493.29	c |   4709173 |     203    22241    99837 |        1   176792     19 |  0.000 % |
493.20/493.29	c |   4716190 |     203    22241    99837 |        1   183809     20 |  0.000 % |
493.20/493.29	c |   4718235 |     203    22241    99837 |        1   185854     20 |  0.000 % |
493.20/493.29	c |   4730991 |     203    22241    99837 |        1   198610     20 |  0.000 % |
493.20/493.29	c |   4753596 |     203    22241    99837 |        1   221215     20 |  0.000 % |
493.20/493.29	c |   4773839 |     203    22241    99837 |        1   241458     21 |  0.000 % |
493.20/493.29	c |   4926466 |     203    22241    99837 |        1   239281     20 |  0.000 % |
493.20/493.29	c |   4926626 |     203    22241    99837 |        1   239441     20 |  0.000 % |
493.20/493.29	c |   4977702 |     203    22241    99837 |        1   290517     21 |  0.000 % |
493.20/493.29	c |   4987845 |     203    22241    99837 |        1   300660     21 |  0.000 % |
493.20/493.29	c |   4994618 |     203    22241    99837 |        1   307433     21 |  0.000 % |
493.20/493.29	c |   4997473 |     203    22241    99837 |        1   310288     21 |  0.000 % |
493.20/493.29	c |   5005553 |     203    22241    99837 |        1   160970     19 |  0.000 % |
493.20/493.29	c |   5009352 |     203    22241    99837 |        1   164769     19 |  0.000 % |
493.20/493.29	c |   5011697 |     203    22241    99837 |        1   167114     19 |  0.000 % |
493.20/493.29	c |   5024915 |     203    22241    99837 |        1   180332     19 |  0.000 % |
493.20/493.29	c |   5048287 |     203    22241    99837 |        1   203704     20 |  0.000 % |
493.20/493.29	c |   5048388 |     203    22241    99837 |        1   203805     20 |  0.000 % |
493.20/493.29	c |   5048492 |     203    22241    99837 |        1   203909     20 |  0.000 % |
493.20/493.29	c |   5070053 |     203    22241    99837 |        1   225470     20 |  0.000 % |
493.20/493.29	c |   5091042 |     203    22241    99837 |        1   246459     20 |  0.000 % |
493.20/493.29	c |   5124034 |     203    22241    99837 |        1   279451     21 |  0.000 % |
493.20/493.29	c |   5124134 |     203    22241    99837 |        1   279551     21 |  0.000 % |
493.20/493.29	c |   5124234 |     203    22241    99837 |        1   279651     21 |  0.000 % |
493.20/493.29	c |   5124334 |     203    22241    99837 |        1   279751     21 |  0.000 % |
493.20/493.29	c |   5145871 |     203    22241    99837 |        1   301288     21 |  0.000 % |
493.20/493.29	c |   5157910 |     203    22241    99837 |        1   313327     21 |  0.000 % |
493.20/493.29	c |   5168925 |     203    22241    99837 |        1   164341     19 |  0.000 % |
493.20/493.29	c |   5169241 |     203    22241    99837 |        1   164657     19 |  0.000 % |
493.20/493.29	c |   5169592 |     203    22241    99837 |        1   165008     19 |  0.000 % |
493.20/493.29	c |   5176904 |     203    22241    99837 |        1   172320     19 |  0.000 % |
493.20/493.29	c |   5177204 |     203    22241    99837 |        1   172620     19 |  0.000 % |
493.20/493.29	c |   5298807 |     203    22241    99837 |        1   294223     20 |  0.000 % |
493.20/493.29	c |   5316922 |     203    22241    99837 |        1   312338     20 |  0.000 % |
493.20/493.29	c |   5341755 |     203    22241    99837 |        1   174573     19 |  0.000 % |
493.20/493.29	c |   5341857 |     203    22241    99837 |        1   174675     19 |  0.000 % |
589.10/589.16	c |   5343672 |     203    22241    99837 |        1   176490     19 |  0.000 % |
589.10/589.16	c |   5344066 |     203    22241    99837 |        1   176884     19 |  0.000 % |
589.10/589.16	c |   5344166 |     203    22241    99837 |        1   176984     19 |  0.000 % |
589.10/589.16	c |   5344266 |     203    22241    99837 |        1   177084     19 |  0.000 % |
589.10/589.16	c |   5361704 |     203    22241    99837 |        1   194522     19 |  0.000 % |
589.10/589.16	c |   5371129 |     203    22241    99837 |        1   203947     20 |  0.000 % |
589.10/589.16	c |   5374432 |     203    22241    99837 |        1   207250     20 |  0.000 % |
589.10/589.16	c |   5396216 |     203    22241    99837 |        1   229034     20 |  0.000 % |
589.10/589.16	c |   5400893 |     203    22241    99837 |        1   233711     20 |  0.000 % |
589.10/589.16	c |   5401107 |     203    22241    99837 |        1   233925     20 |  0.000 % |
589.10/589.16	c |   5402629 |     203    22241    99837 |        1   235447     20 |  0.000 % |
589.10/589.16	c |   5403187 |     203    22241    99837 |        1   236005     20 |  0.000 % |
589.10/589.16	c |   5422717 |     203    22241    99837 |        1   255535     20 |  0.000 % |
589.10/589.17	c |   5423851 |     203    22241    99837 |        1   256669     20 |  0.000 % |
589.10/589.17	c |   5423952 |     203    22241    99837 |        1   256770     20 |  0.000 % |
589.10/589.17	c |   5424517 |     203    22241    99837 |        1   257335     20 |  0.000 % |
589.10/589.17	c |   5606569 |     203    22241    99837 |        1   274186     19 |  0.000 % |
589.10/589.17	c |   5632303 |     203    22241    99837 |        1   299920     20 |  0.000 % |
589.10/589.17	c |   5680040 |     203    22241    99837 |        1   179857     18 |  0.000 % |
589.10/589.17	c |   5680312 |     203    22241    99837 |        1   180129     18 |  0.000 % |
589.10/589.17	c |   5682961 |     203    22241    99837 |        1   182778     18 |  0.000 % |
589.10/589.17	c |   5697198 |     203    22241    99837 |        1   197015     19 |  0.000 % |
589.10/589.17	c |   5700387 |     203    22241    99837 |        1   200204     19 |  0.000 % |
589.10/589.17	c |   5708040 |     203    22241    99837 |        1   207857     19 |  0.000 % |
589.10/589.17	c |   5708906 |     203    22241    99837 |        1   208723     19 |  0.000 % |
589.10/589.17	c |   5709007 |     203    22241    99837 |        1   208824     19 |  0.000 % |
589.10/589.17	c |   5715970 |     203    22241    99837 |        1   215787     19 |  0.000 % |
589.10/589.17	c |   5760690 |     203    22241    99837 |        1   260507     20 |  0.000 % |
589.10/589.17	c |   5761112 |     203    22241    99837 |        1   260929     20 |  0.000 % |
589.10/589.17	c |   5761761 |     203    22241    99837 |        1   261578     20 |  0.000 % |
589.10/589.17	c |   5772095 |     203    22241    99837 |        1   271912     20 |  0.000 % |
589.10/589.17	c |   5780833 |     203    22241    99837 |        1   280650     20 |  0.000 % |
589.10/589.17	c |   5783963 |     203    22241    99837 |        1   283780     20 |  0.000 % |
589.10/589.17	c |   5784450 |     203    22241    99837 |        1   284267     20 |  0.000 % |
589.10/589.17	c |   5784551 |     203    22241    99837 |        1   284368     20 |  0.000 % |
589.10/589.17	c |   5784897 |     203    22241    99837 |        1   284714     20 |  0.000 % |
589.10/589.17	c |   5797913 |     203    22241    99837 |        1   297730     20 |  0.000 % |
589.10/589.17	c |   5816796 |     203    22241    99837 |        1   316613     20 |  0.000 % |
589.10/589.17	c |   5822690 |     203    22241    99837 |        1   322507     21 |  0.000 % |
589.10/589.17	c |   5876149 |     203    22241    99837 |        1   205561     19 |  0.000 % |
589.10/589.17	c |   5933878 |     203    22241    99837 |        1   263290     20 |  0.000 % |
589.10/589.17	c |   5936144 |     203    22241    99837 |        1   265556     20 |  0.000 % |
589.10/589.17	c |   5961599 |     203    22241    99837 |        1   291011     20 |  0.000 % |
589.10/589.17	c |   5970597 |     203    22241    99837 |        1   300009     20 |  0.000 % |
589.10/589.17	c |   5992870 |     203    22241    99837 |        1   322282     21 |  0.000 % |
589.10/589.17	c |   6115912 |     203    22241    99837 |        1   272326     20 |  0.000 % |
589.10/589.17	c |   6121632 |     203    22241    99837 |        1   278046     20 |  0.000 % |
589.10/589.17	c |   6126287 |     203    22241    99837 |        1   282701     20 |  0.000 % |
589.10/589.17	c |   6126439 |     203    22241    99837 |        1   282853     20 |  0.000 % |
589.10/589.17	c |   6157750 |     203    22241    99837 |        1   314164     20 |  0.000 % |
662.70/662.75	c |   6159074 |     203    22241    99837 |        1   315488     20 |  0.000 % |
662.70/662.75	c |   6160346 |     203    22241    99837 |        1   316760     20 |  0.000 % |
662.70/662.75	c |   6160523 |     203    22241    99837 |        1   316937     20 |  0.000 % |
662.70/662.75	c |   6161813 |     203    22241    99837 |        1   318227     20 |  0.000 % |
662.70/662.75	c |   6161914 |     203    22241    99837 |        1   318328     20 |  0.000 % |
662.70/662.75	c |   6169980 |     203    22241    99837 |        1   326394     20 |  0.000 % |
662.70/662.75	c |   6170085 |     203    22241    99837 |        1   326499     20 |  0.000 % |
662.70/662.75	c |   6170187 |     203    22241    99837 |        1   326601     20 |  0.000 % |
662.70/662.75	c |   6170288 |     203    22241    99837 |        1   326702     20 |  0.000 % |
662.70/662.75	c |   6178986 |     203    22241    99837 |        1   335400     20 |  0.000 % |
662.70/662.75	c |   6180514 |     203    22241    99837 |        1   336928     20 |  0.000 % |
662.70/662.75	c |   6212997 |     203    22241    99837 |        1   193811     19 |  0.000 % |
662.70/662.75	c |   6213097 |     203    22241    99837 |        1   193911     19 |  0.000 % |
662.70/662.75	c |   6213770 |     203    22241    99837 |        1   194584     19 |  0.000 % |
662.70/662.75	c |   6214425 |     203    22241    99837 |        1   195239     19 |  0.000 % |
662.70/662.75	c |   6214525 |     203    22241    99837 |        1   195339     19 |  0.000 % |
662.70/662.75	c |   6326895 |     203    22241    99837 |        1   307709     20 |  0.000 % |
662.70/662.75	c |   6334806 |     203    22241    99837 |        1   315620     20 |  0.000 % |
662.70/662.75	c |   6335168 |     203    22241    99837 |        1   315982     20 |  0.000 % |
662.70/662.75	c |   6335270 |     203    22241    99837 |        1   316084     20 |  0.000 % |
662.70/662.75	c |   6336170 |     203    22241    99837 |        1   316984     20 |  0.000 % |
662.70/662.75	c |   6336271 |     203    22241    99837 |        1   317085     20 |  0.000 % |
662.70/662.75	c |   6336373 |     203    22241    99837 |        1   317187     20 |  0.000 % |
662.70/662.75	c |   6338028 |     203    22241    99837 |        1   318842     20 |  0.000 % |
662.70/662.75	c |   6338724 |     203    22241    99837 |        1   319538     20 |  0.000 % |
662.70/662.75	c |   6345408 |     203    22241    99837 |        1   326222     20 |  0.000 % |
662.70/662.75	c |   6351517 |     203    22241    99837 |        1   332331     20 |  0.000 % |
662.70/662.75	c |   6357100 |     203    22241    99837 |        1   337914     20 |  0.000 % |
662.70/662.75	c |   6357200 |     203    22241    99837 |        1   338014     20 |  0.000 % |
662.70/662.75	c |   6361661 |     203    22241    99837 |        1   342475     20 |  0.000 % |
662.70/662.75	c |   6382976 |     203    22241    99837 |        1   185595     18 |  0.000 % |
662.70/662.75	c |   6552285 |     203    22241    99837 |        1   354904     20 |  0.000 % |
662.70/662.75	c |   6552385 |     203    22241    99837 |        1   355004     20 |  0.000 % |
662.70/662.75	c |   6575338 |     203    22241    99837 |        1   197155     18 |  0.000 % |
662.70/662.75	c |   6575438 |     203    22241    99837 |        1   197255     18 |  0.000 % |
662.70/662.75	c |   6575563 |     203    22241    99837 |        1   197380     18 |  0.000 % |
662.70/662.75	c |   6576025 |     203    22241    99837 |        1   197842     18 |  0.000 % |
662.70/662.75	c |   6581564 |     203    22241    99837 |        1   203381     18 |  0.000 % |
662.70/662.75	c |   6583331 |     203    22241    99837 |        1   205148     18 |  0.000 % |
662.70/662.75	c |   6585945 |     203    22241    99837 |        1   207762     19 |  0.000 % |
662.70/662.75	c |   6587673 |     203    22241    99837 |        1   209490     19 |  0.000 % |
662.70/662.75	c |   6596434 |     203    22241    99837 |        1   218251     19 |  0.000 % |
662.70/662.75	c |   6617695 |     203    22241    99837 |        1   239512     19 |  0.000 % |
662.70/662.75	c |   6632281 |     203    22241    99837 |        1   254098     19 |  0.000 % |
662.70/662.75	c |   6632595 |     203    22241    99837 |        1   254412     19 |  0.000 % |
662.70/662.75	c |   6633017 |     203    22241    99837 |        1   254834     19 |  0.000 % |
662.70/662.75	c |   6639922 |     203    22241    99837 |        1   261739     19 |  0.000 % |
662.70/662.75	c |   6726135 |     203    22241    99837 |        1   347952     20 |  0.000 % |
662.70/662.75	c |   6755415 |     203    22241    99837 |        1   193830     18 |  0.000 % |
662.70/662.75	c |   6757131 |     203    22241    99837 |        1   195546     18 |  0.000 % |
727.61/727.62	c |   6776081 |     203    22241    99837 |        1   214496     19 |  0.000 % |
727.61/727.62	c |   6777369 |     203    22241    99837 |        1   215784     19 |  0.000 % |
727.61/727.62	c |   6787090 |     203    22241    99837 |        1   225505     19 |  0.000 % |
727.61/727.62	c |   6822129 |     203    22241    99837 |        1   260544     20 |  0.000 % |
727.61/727.62	c |   6825323 |     203    22241    99837 |        1   263738     20 |  0.000 % |
727.61/727.62	c |   6825543 |     203    22241    99837 |        1   263958     20 |  0.000 % |
727.61/727.62	c |   6827140 |     203    22241    99837 |        1   265555     20 |  0.000 % |
727.61/727.62	c |   6838685 |     203    22241    99837 |        1   277100     20 |  0.000 % |
727.61/727.62	c |   6869189 |     203    22241    99837 |        1   307604     20 |  0.000 % |
727.61/727.62	c |   6871344 |     203    22241    99837 |        1   309759     20 |  0.000 % |
727.61/727.62	c |   6871445 |     203    22241    99837 |        1   309860     20 |  0.000 % |
727.61/727.62	c |   6873790 |     203    22241    99837 |        1   312205     20 |  0.000 % |
727.61/727.62	c |   6873890 |     203    22241    99837 |        1   312305     20 |  0.000 % |
727.61/727.62	c |   6874873 |     203    22241    99837 |        1   313288     20 |  0.000 % |
727.61/727.62	c |   6888820 |     203    22241    99837 |        1   327235     20 |  0.000 % |
727.61/727.62	c |   6890133 |     203    22241    99837 |        1   328548     20 |  0.000 % |
727.61/727.62	c |   6890582 |     203    22241    99837 |        1   328997     20 |  0.000 % |
727.61/727.62	c |   6894733 |     203    22241    99837 |        1   333148     20 |  0.000 % |
727.61/727.62	c |   6905252 |     203    22241    99837 |        1   343667     20 |  0.000 % |
727.61/727.62	c |   6920590 |     203    22241    99837 |        1   359005     21 |  0.000 % |
727.61/727.62	c |   6952161 |     203    22241    99837 |        1   204578     19 |  0.000 % |
727.61/727.62	c |   6952262 |     203    22241    99837 |        1   204679     19 |  0.000 % |
727.61/727.62	c |   6953849 |     203    22241    99837 |        1   206266     19 |  0.000 % |
727.61/727.62	c |   6953957 |     203    22241    99837 |        1   206374     19 |  0.000 % |
727.61/727.62	c |   6956477 |     203    22241    99837 |        1   208894     19 |  0.000 % |
727.61/727.62	c |   6957195 |     203    22241    99837 |        1   209612     19 |  0.000 % |
727.61/727.62	c |   6959903 |     203    22241    99837 |        1   212320     19 |  0.000 % |
727.61/727.62	c |   7000933 |     203    22241    99837 |        1   253350     19 |  0.000 % |
727.61/727.62	c |   7012956 |     203    22241    99837 |        1   265373     19 |  0.000 % |
727.61/727.62	c |   7015941 |     203    22241    99837 |        1   268358     19 |  0.000 % |
727.61/727.62	c |   7034888 |     203    22241    99837 |        1   287305     20 |  0.000 % |
727.61/727.62	c |   7034988 |     203    22241    99837 |        1   287405     20 |  0.000 % |
727.61/727.62	c |   7063453 |     203    22241    99837 |        1   315870     20 |  0.000 % |
727.61/727.62	c |   7073892 |     203    22241    99837 |        1   326309     20 |  0.000 % |
727.61/727.62	c |   7081147 |     203    22241    99837 |        1   333564     20 |  0.000 % |
727.61/727.62	c |   7084007 |     203    22241    99837 |        1   336424     20 |  0.000 % |
727.61/727.62	c |   7087213 |     203    22241    99837 |        1   339630     20 |  0.000 % |
727.61/727.62	c |   7181265 |     203    22241    99837 |        1   245078     19 |  0.000 % |
727.61/727.62	c |   7208574 |     203    22241    99837 |        1   272387     19 |  0.000 % |
727.61/727.62	c |   7210573 |     203    22241    99837 |        1   274386     19 |  0.000 % |
727.61/727.62	c |   7215949 |     203    22241    99837 |        1   279762     19 |  0.000 % |
727.61/727.62	c |   7217252 |     203    22241    99837 |        1   281065     19 |  0.000 % |
727.61/727.62	c |   7224752 |     203    22241    99837 |        1   288565     19 |  0.000 % |
727.61/727.62	c |   7225063 |     203    22241    99837 |        1   288876     19 |  0.000 % |
727.61/727.62	c |   7230187 |     203    22241    99837 |        1   294000     20 |  0.000 % |
727.61/727.62	c |   7243485 |     203    22241    99837 |        1   307298     20 |  0.000 % |
727.61/727.62	c |   7244057 |     203    22241    99837 |        1   307870     20 |  0.000 % |
727.61/727.62	c |   7244157 |     203    22241    99837 |        1   307970     20 |  0.000 % |
727.61/727.62	c |   7246151 |     203    22241    99837 |        1   309964     20 |  0.000 % |
727.61/727.62	c |   7247623 |     203    22241    99837 |        1   311436     20 |  0.000 % |
807.43/807.45	c |   7280510 |     203    22241    99837 |        1   344323     20 |  0.000 % |
807.43/807.45	c |   7280760 |     203    22241    99837 |        1   344573     20 |  0.000 % |
807.43/807.45	c |   7282686 |     203    22241    99837 |        1   346499     20 |  0.000 % |
807.43/807.45	c |   7312896 |     203    22241    99837 |        1   376709     20 |  0.000 % |
807.43/807.45	c |   7326459 |     203    22241    99837 |        1   199071     18 |  0.000 % |
807.43/807.45	c |   7332358 |     203    22241    99837 |        1   204970     18 |  0.000 % |
807.43/807.45	c |   7333946 |     203    22241    99837 |        1   206558     18 |  0.000 % |
807.43/807.45	c |   7340242 |     203    22241    99837 |        1   212854     19 |  0.000 % |
807.43/807.45	c |   7341201 |     203    22241    99837 |        1   213813     19 |  0.000 % |
807.43/807.45	c |   7344453 |     203    22241    99837 |        1   217065     19 |  0.000 % |
807.43/807.45	c |   7353533 |     203    22241    99837 |        1   226145     19 |  0.000 % |
807.43/807.45	c |   7353634 |     203    22241    99837 |        1   226246     19 |  0.000 % |
807.43/807.45	c |   7376091 |     203    22241    99837 |        1   248703     19 |  0.000 % |
807.43/807.45	c |   7420989 |     203    22241    99837 |        1   293601     20 |  0.000 % |
807.43/807.45	c |   7428610 |     203    22241    99837 |        1   301222     20 |  0.000 % |
807.43/807.45	c |   7428711 |     203    22241    99837 |        1   301323     20 |  0.000 % |
807.43/807.45	c |   7433048 |     203    22241    99837 |        1   305660     20 |  0.000 % |
807.43/807.45	c |   7433148 |     203    22241    99837 |        1   305760     20 |  0.000 % |
807.43/807.45	c |   7434183 |     203    22241    99837 |        1   306795     20 |  0.000 % |
807.43/807.45	c |   7434775 |     203    22241    99837 |        1   307387     20 |  0.000 % |
807.43/807.45	c |   7442670 |     203    22241    99837 |        1   315282     20 |  0.000 % |
807.43/807.45	c |   7448272 |     203    22241    99837 |        1   320884     20 |  0.000 % |
807.43/807.45	c |   7450373 |     203    22241    99837 |        1   322985     20 |  0.000 % |
807.43/807.45	c |   7451171 |     203    22241    99837 |        1   323783     20 |  0.000 % |
807.43/807.45	c |   7458543 |     203    22241    99837 |        1   331155     20 |  0.000 % |
807.43/807.45	c |   7458643 |     203    22241    99837 |        1   331255     20 |  0.000 % |
807.43/807.45	c |   7458816 |     203    22241    99837 |        1   331428     20 |  0.000 % |
807.43/807.45	c |   7464907 |     203    22241    99837 |        1   337519     20 |  0.000 % |
807.43/807.45	c |   7465651 |     203    22241    99837 |        1   338263     20 |  0.000 % |
807.43/807.45	c |   7469092 |     203    22241    99837 |        1   341704     20 |  0.000 % |
807.43/807.45	c |   7492203 |     203    22241    99837 |        1   364815     20 |  0.000 % |
807.43/807.45	c |   7503563 |     203    22241    99837 |        1   376175     20 |  0.000 % |
807.43/807.45	c |   7516164 |     203    22241    99837 |        1   194974     18 |  0.000 % |
807.43/807.45	c |   7516264 |     203    22241    99837 |        1   195074     18 |  0.000 % |
807.43/807.45	c |   7554217 |     203    22241    99837 |        1   233027     19 |  0.000 % |
807.43/807.45	c |   7559178 |     203    22241    99837 |        1   237988     19 |  0.000 % |
807.43/807.45	c |   7564731 |     203    22241    99837 |        1   243541     19 |  0.000 % |
807.43/807.45	c |   7566884 |     203    22241    99837 |        1   245694     19 |  0.000 % |
807.43/807.45	c |   7596406 |     203    22241    99837 |        1   275216     19 |  0.000 % |
807.43/807.45	c |   7610126 |     203    22241    99837 |        1   288936     19 |  0.000 % |
807.43/807.45	c |   7614552 |     203    22241    99837 |        1   293362     20 |  0.000 % |
807.43/807.45	c |   7614848 |     203    22241    99837 |        1   293658     20 |  0.000 % |
807.43/807.45	c |   7685910 |     203    22241    99837 |        1   364720     20 |  0.000 % |
807.43/807.45	c |   7729685 |     203    22241    99837 |        1   212107     18 |  0.000 % |
807.43/807.45	c |   7739499 |     203    22241    99837 |        1   221921     18 |  0.000 % |
807.43/807.45	c |   7739603 |     203    22241    99837 |        1   222025     18 |  0.000 % |
807.43/807.45	c |   7813888 |     203    22241    99837 |        1   296310     20 |  0.000 % |
807.43/807.45	c |   7814686 |     203    22241    99837 |        1   297108     20 |  0.000 % |
807.43/807.45	c |   7816497 |     203    22241    99837 |        1   298919     20 |  0.000 % |
807.43/807.45	c |   7834178 |     203    22241    99837 |        1   316600     20 |  0.000 % |
890.61/890.60	c |   7834278 |     203    22241    99837 |        1   316700     20 |  0.000 % |
890.61/890.60	c |   7834430 |     203    22241    99837 |        1   316852     20 |  0.000 % |
890.61/890.60	c |   7866804 |     203    22241    99837 |        1   349226     20 |  0.000 % |
890.61/890.60	c |   7873354 |     203    22241    99837 |        1   355776     20 |  0.000 % |
890.61/890.60	c |   7873595 |     203    22241    99837 |        1   356017     20 |  0.000 % |
890.61/890.60	c |   7878249 |     203    22241    99837 |        1   360671     20 |  0.000 % |
890.61/890.60	c |   7880785 |     203    22241    99837 |        1   363207     20 |  0.000 % |
890.61/890.60	c |   7885741 |     203    22241    99837 |        1   368163     20 |  0.000 % |
890.61/890.60	c |   7886064 |     203    22241    99837 |        1   368486     20 |  0.000 % |
890.61/890.60	c |   7886753 |     203    22241    99837 |        1   369175     20 |  0.000 % |
890.61/890.60	c |   7886876 |     203    22241    99837 |        1   369298     20 |  0.000 % |
890.61/890.60	c |   7886977 |     203    22241    99837 |        1   369399     20 |  0.000 % |
890.61/890.60	c |   7900018 |     203    22241    99837 |        1   382440     20 |  0.000 % |
890.61/890.60	c |   7914817 |     203    22241    99837 |        1   397239     20 |  0.000 % |
890.61/890.60	c |   7937187 |     203    22241    99837 |        1   220606     18 |  0.000 % |
890.61/890.60	c |   8015643 |     203    22241    99837 |        1   299062     19 |  0.000 % |
890.61/890.60	c |   8022121 |     203    22241    99837 |        1   305540     19 |  0.000 % |
890.61/890.60	c |   8037797 |     203    22241    99837 |        1   321216     19 |  0.000 % |
890.61/890.60	c |   8042978 |     203    22241    99837 |        1   326397     19 |  0.000 % |
890.61/890.60	c |   8043079 |     203    22241    99837 |        1   326498     19 |  0.000 % |
890.61/890.60	c |   8054541 |     203    22241    99837 |        1   337960     20 |  0.000 % |
890.61/890.60	c |   8058834 |     203    22241    99837 |        1   342253     20 |  0.000 % |
890.61/890.60	c |   8060768 |     203    22241    99837 |        1   344187     20 |  0.000 % |
890.61/890.60	c |   8065785 |     203    22241    99837 |        1   349204     20 |  0.000 % |
890.61/890.60	c |   8067209 |     203    22241    99837 |        1   350628     20 |  0.000 % |
890.61/890.60	c |   8101337 |     203    22241    99837 |        1   384756     20 |  0.000 % |
890.61/890.60	c |   8115435 |     203    22241    99837 |        1   398854     20 |  0.000 % |
890.61/890.60	c |   8125412 |     203    22241    99837 |        1   207232     18 |  0.000 % |
890.61/890.60	c |   8147364 |     203    22241    99837 |        1   229184     18 |  0.000 % |
890.61/890.60	c |   8147679 |     203    22241    99837 |        1   229499     18 |  0.000 % |
890.61/890.60	c |   8150492 |     203    22241    99837 |        1   232312     18 |  0.000 % |
890.61/890.60	c |   8150838 |     203    22241    99837 |        1   232658     18 |  0.000 % |
890.61/890.60	c |   8213861 |     203    22241    99837 |        1   295681     19 |  0.000 % |
890.61/890.60	c |   8237818 |     203    22241    99837 |        1   319638     19 |  0.000 % |
890.61/890.60	c |   8238420 |     203    22241    99837 |        1   320240     19 |  0.000 % |
890.61/890.60	c |   8238522 |     203    22241    99837 |        1   320342     19 |  0.000 % |
890.61/890.60	c |   8241929 |     203    22241    99837 |        1   323749     19 |  0.000 % |
890.61/890.60	c |   8246023 |     203    22241    99837 |        1   327843     20 |  0.000 % |
890.61/890.60	c |   8246126 |     203    22241    99837 |        1   327946     20 |  0.000 % |
890.61/890.60	c |   8253829 |     203    22241    99837 |        1   335649     20 |  0.000 % |
890.61/890.60	c |   8297928 |     203    22241    99837 |        1   379748     20 |  0.000 % |
890.61/890.60	c |   8325898 |     203    22241    99837 |        1   407718     20 |  0.000 % |
890.61/890.60	c |   8328911 |     203    22241    99837 |        1   206527     18 |  0.000 % |
890.61/890.60	c |   8362010 |     203    22241    99837 |        1   239626     18 |  0.000 % |
890.61/890.60	c |   8364658 |     203    22241    99837 |        1   242274     18 |  0.000 % |
890.61/890.60	c |   8365737 |     203    22241    99837 |        1   243353     18 |  0.000 % |
890.61/890.60	c |   8367458 |     203    22241    99837 |        1   245074     18 |  0.000 % |
890.61/890.60	c |   8381984 |     203    22241    99837 |        1   259600     18 |  0.000 % |
890.61/890.60	c |   8388234 |     203    22241    99837 |        1   265850     19 |  0.000 % |
890.61/890.60	c |   8400952 |     203    22241    99837 |        1   278568     19 |  0.000 % |
999.42/999.44	c |   8443777 |     203    22241    99837 |        1   321393     19 |  0.000 % |
999.42/999.44	c |   8445534 |     203    22241    99837 |        1   323150     19 |  0.000 % |
999.42/999.44	c |   8453563 |     203    22241    99837 |        1   331179     19 |  0.000 % |
999.42/999.44	c |   8458873 |     203    22241    99837 |        1   336489     19 |  0.000 % |
999.42/999.44	c |   8461508 |     203    22241    99837 |        1   339124     19 |  0.000 % |
999.42/999.44	c |   8480958 |     203    22241    99837 |        1   358574     19 |  0.000 % |
999.42/999.44	c |   8481168 |     203    22241    99837 |        1   358784     19 |  0.000 % |
999.42/999.44	c |   8489679 |     203    22241    99837 |        1   367295     19 |  0.000 % |
999.42/999.44	c |   8510252 |     203    22241    99837 |        1   387868     19 |  0.000 % |
999.42/999.44	c |   8565175 |     203    22241    99837 |        1   235994     18 |  0.000 % |
999.42/999.44	c |   8604723 |     203    22241    99837 |        1   275542     19 |  0.000 % |
999.42/999.44	c |   8604823 |     203    22241    99837 |        1   275642     19 |  0.000 % |
999.42/999.44	c |   8614924 |     203    22241    99837 |        1   285743     19 |  0.000 % |
999.42/999.44	c |   8620441 |     203    22241    99837 |        1   291260     19 |  0.000 % |
999.42/999.44	c |   8620544 |     203    22241    99837 |        1   291363     19 |  0.000 % |
999.42/999.44	c |   8636168 |     203    22241    99837 |        1   306987     19 |  0.000 % |
999.42/999.44	c |   8648183 |     203    22241    99837 |        1   319002     19 |  0.000 % |
999.42/999.44	c |   8648283 |     203    22241    99837 |        1   319102     19 |  0.000 % |
999.42/999.44	c |   8648384 |     203    22241    99837 |        1   319203     19 |  0.000 % |
999.42/999.44	c |   8674477 |     203    22241    99837 |        1   345296     19 |  0.000 % |
999.42/999.44	c |   8680632 |     203    22241    99837 |        1   351451     19 |  0.000 % |
999.42/999.44	c |   8692478 |     203    22241    99837 |        1   363297     20 |  0.000 % |
999.42/999.44	c |   8721824 |     203    22241    99837 |        1   392643     20 |  0.000 % |
999.42/999.44	c |   8722874 |     203    22241    99837 |        1   393693     20 |  0.000 % |
999.42/999.44	c |   8774340 |     203    22241    99837 |        1   235757     18 |  0.000 % |
999.42/999.44	c |   8799533 |     203    22241    99837 |        1   260950     18 |  0.000 % |
999.42/999.44	c |   8923657 |     202    21893    98793 |        1   284621     19 |  0.493 % |
999.42/999.44	c |   8930722 |     202    21893    98793 |        1   291686     19 |  0.493 % |
999.42/999.44	c |   8952142 |     202    21893    98793 |        1   313106     20 |  0.493 % |
999.42/999.44	c |   8976782 |     202    21893    98793 |        1   175965     17 |  0.493 % |
999.42/999.44	c |   9000717 |     202    21893    98793 |        1   199900     18 |  0.493 % |
999.42/999.44	c |   9010963 |     202    21893    98793 |        1   210146     18 |  0.493 % |
999.42/999.44	c |   9018497 |     202    21893    98793 |        1   217680     18 |  0.493 % |
999.42/999.44	c |   9023825 |     202    21893    98793 |        1   223008     18 |  0.493 % |
999.42/999.44	c |   9024125 |     202    21893    98793 |        1   223308     18 |  0.493 % |
999.42/999.44	c |   9027565 |     202    21893    98793 |        1   226748     18 |  0.493 % |
999.42/999.44	c |   9036609 |     202    21893    98793 |        1   235792     18 |  0.493 % |
999.42/999.44	c |   9051106 |     202    21893    98793 |        1   250289     19 |  0.493 % |
999.42/999.44	c |   9051387 |     202    21893    98793 |        1   250570     19 |  0.493 % |
999.42/999.44	c |   9077239 |     202    21893    98793 |        1   276422     19 |  0.493 % |
999.42/999.44	c |   9085478 |     202    21893    98793 |        1   284661     19 |  0.493 % |
999.42/999.44	c |   9090099 |     202    21893    98793 |        1   289282     19 |  0.493 % |
999.42/999.44	c |   9092906 |     202    21893    98793 |        1   292089     19 |  0.493 % |
999.42/999.44	c |   9094314 |     202    21893    98793 |        1   293497     19 |  0.493 % |
999.42/999.44	c |   9110327 |     202    21893    98793 |        1   309510     19 |  0.493 % |
999.42/999.44	c |   9110600 |     202    21893    98793 |        1   309783     19 |  0.493 % |
999.42/999.44	c |   9111016 |     202    21893    98793 |        1   310199     19 |  0.493 % |
999.42/999.44	c |   9111545 |     202    21893    98793 |        1   310728     19 |  0.493 % |
999.42/999.44	c |   9111749 |     202    21893    98793 |        1   310932     19 |  0.493 % |
999.42/999.44	c |   9124355 |     202    21893    98793 |        1   323538     20 |  0.493 % |
1129.32/1129.35	c |   9125021 |     202    21893    98793 |        1   324204     20 |  0.493 % |
1129.32/1129.35	c |   9168192 |     202    21893    98793 |        1   367375     20 |  0.493 % |
1129.32/1129.35	c |   9180605 |     202    21893    98793 |        1   190309     17 |  0.493 % |
1129.32/1129.35	c |   9180720 |     202    21893    98793 |        1   190424     17 |  0.493 % |
1129.32/1129.35	c |   9180987 |     202    21893    98793 |        1   190691     17 |  0.493 % |
1129.32/1129.35	c |   9210714 |     201    21536    97722 |        1   190037     18 |  0.985 % |
1129.32/1129.35	c |   9256141 |     201    21536    97722 |        1   235464     18 |  0.985 % |
1129.32/1129.35	c |   9282658 |     201    21536    97722 |        1   261981     19 |  0.985 % |
1129.32/1129.35	c |   9295978 |     201    21536    97722 |        1   275301     19 |  0.985 % |
1129.32/1129.35	c |   9325218 |     201    21536    97722 |        1   304541     19 |  0.985 % |
1129.32/1129.35	c |   9409068 |     201    21536    97722 |        1   198933     17 |  0.985 % |
1129.32/1129.35	c |   9415327 |     201    21536    97722 |        1   205192     17 |  0.985 % |
1129.32/1129.35	c |   9430938 |     201    21536    97722 |        1   220803     18 |  0.985 % |
1129.32/1129.35	c |   9431038 |     201    21536    97722 |        1   220903     18 |  0.985 % |
1129.32/1129.35	c |   9451512 |     201    21536    97722 |        1   241377     18 |  0.985 % |
1129.32/1129.35	c |   9561320 |     199    21153    96573 |        1   309399     19 |  1.970 % |
1129.32/1129.35	c |   9584766 |     199    21153    96573 |        1   332845     19 |  1.970 % |
1129.32/1129.35	c |   9588766 |     199    21153    96573 |        1   336845     19 |  1.970 % |
1129.32/1129.35	c |   9596791 |     199    21153    96573 |        1   344870     19 |  1.970 % |
1129.32/1129.35	c |   9648716 |     199    21153    96573 |        1   211759     18 |  1.970 % |
1129.32/1129.35	c |   9668283 |     199    20782    95460 |        1   212186     18 |  1.970 % |
1129.32/1129.35	c |   9698226 |     199    20782    95460 |        1   242129     18 |  1.970 % |
1129.32/1129.35	c |   9706808 |     199    20782    95460 |        1   250711     18 |  1.970 % |
1129.32/1129.35	c |   9729796 |     199    20782    95460 |        1   273699     19 |  1.970 % |
1129.32/1129.35	c |   9738878 |     199    20782    95460 |        1   282781     19 |  1.970 % |
1129.32/1129.35	c |   9752470 |     199    20782    95460 |        1   296373     19 |  1.970 % |
1129.32/1129.35	c |   9768913 |     199    20782    95460 |        1   312816     19 |  1.970 % |
1129.32/1129.35	c |   9818616 |     197    20450    94464 |        1   341785     19 |  2.956 % |
1129.32/1129.35	c |   9857117 |     196    20450    94464 |        1   195209     17 |  3.448 % |
1129.32/1129.35	c |   9860396 |     196    20450    94464 |        1   198488     17 |  3.448 % |
1129.32/1129.35	c |   9899272 |     196    20450    94464 |        1   237364     18 |  3.448 % |
1129.32/1129.35	c |   9925318 |      90    20450    94464 |        1   263401     18 | 55.665 % |
1129.32/1129.35	c ===============================================================================
1129.32/1129.35	c restarts              : 720
1129.32/1129.35	c nb ReduceDB           : 86
1129.32/1129.35	c nb removed Clauses    : 9449413
1129.32/1129.35	c nb learnts DL2        : 255
1129.32/1129.35	c nb learnts size 2     : 140
1129.32/1129.35	c nb learnts size 1     : 15
1129.32/1129.35	c conflicts             : 9925318        (8792 /sec)
1129.32/1129.35	c decisions             : 11622343       (0.00 % random) (10295 /sec)
1129.32/1129.35	c propagations          : 275738087      (244239 /sec)
1129.32/1129.35	c conflict literals     : 231027846      (47.84 % deleted)
1129.32/1129.35	c nb reduced Clauses    : 7659
1129.32/1129.35	c CPU time              : 1128.97 s
1129.32/1129.35	
1129.32/1129.36	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3303492-1306932656/watcher-3303492-1306932656 -o /tmp/evaluation-result-3303492-1306932656/solver-3303492-1306932656 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303492-1306932656.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.08 2.02 3/518 23871
/proc/meminfo: memFree=21862792/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 804862329 8912896 253 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23871/statm: 2176 253 211 178 0 69 0

[startup+0.0832459 s]
/proc/loadavg: 2.17 2.08 2.02 3/518 23871
/proc/meminfo: memFree=21862792/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.101246 s]
/proc/loadavg: 2.17 2.08 2.02 3/518 23871
/proc/meminfo: memFree=21862792/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300206 s]
/proc/loadavg: 2.17 2.08 2.02 3/518 23871
/proc/meminfo: memFree=21862792/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.701124 s]
/proc/loadavg: 2.17 2.08 2.02 3/518 23871
/proc/meminfo: memFree=21862792/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50096 s]
/proc/loadavg: 2.17 2.08 2.02 3/520 23874
/proc/meminfo: memFree=21853608/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=23856 CPUtime=1.46 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 3519 0 0 0 146 0 0 0 25 0 1 0 804862332 24428544 2669 33554432000 4194304 4260849 140736029060832 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 5964 2669 249 17 0 2605 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32560

[startup+3.10065 s]
/proc/loadavg: 2.17 2.08 2.02 3/520 23874
/proc/meminfo: memFree=21849516/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=24888 CPUtime=3.06 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 3785 0 0 0 306 0 0 0 25 0 1 0 804862332 25485312 2927 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 6222 2927 249 17 0 2863 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33592

[startup+6.30101 s]
/proc/loadavg: 2.16 2.08 2.02 3/520 23874
/proc/meminfo: memFree=21848028/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=34280 CPUtime=6.27 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 6705 0 0 0 626 1 0 0 25 0 1 0 804862332 35102720 4601 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 8570 4601 249 17 0 5211 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42984

[startup+12.7007 s]
/proc/loadavg: 2.15 2.08 2.02 3/520 23874
/proc/meminfo: memFree=21839828/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=38700 CPUtime=12.67 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 8513 0 0 0 1266 1 0 0 25 0 1 0 804862332 39628800 6331 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 9675 6331 249 17 0 6316 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47404

[startup+25.5012 s]
/proc/loadavg: 2.11 2.07 2.02 3/520 23875
/proc/meminfo: memFree=21832252/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=42264 CPUtime=25.47 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 9475 0 0 0 2546 1 0 0 25 0 1 0 804862332 43278336 7260 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 10566 7260 249 17 0 7207 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50968

[startup+51.1011 s]
/proc/loadavg: 2.14 2.08 2.02 3/520 23875
/proc/meminfo: memFree=21822772/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=66548 CPUtime=51.07 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 17082 0 0 0 5105 2 0 0 25 0 1 0 804862332 68145152 9026 33554432000 4194304 4260849 140736029060832 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 16637 9026 249 17 0 13278 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75252

[startup+102.32 s]
/proc/loadavg: 2.06 2.07 2.01 3/520 23877
/proc/meminfo: memFree=21780104/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=85224 CPUtime=102.29 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 22607 0 0 0 10227 2 0 0 25 0 1 0 804862332 87269376 14335 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224995 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 21306 14335 249 17 0 17947 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 93928

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/520 23878
/proc/meminfo: memFree=21771632/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=87692 CPUtime=162.27 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 45708 0 0 0 16221 6 0 0 25 0 1 0 804862332 89796608 15942 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 21923 15942 250 17 0 18564 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 96396

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/520 23880
/proc/meminfo: memFree=21767388/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=87692 CPUtime=222.27 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 46558 0 0 0 22221 6 0 0 25 0 1 0 804862332 89796608 16753 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 21923 16753 250 17 0 18564 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 96396

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23882
/proc/meminfo: memFree=21746900/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=106368 CPUtime=282.28 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 51875 0 0 0 28220 8 0 0 25 0 1 0 804862332 108920832 21825 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 26592 21825 250 17 0 23233 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 115072

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23883
/proc/meminfo: memFree=21740924/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=106368 CPUtime=342.28 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 52772 0 0 0 34220 8 0 0 25 0 1 0 804862332 108920832 22689 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 26592 22689 250 17 0 23233 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 115072

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23885
/proc/meminfo: memFree=21738656/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6

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


[startup+642.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 23900
/proc/meminfo: memFree=21711676/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=118232 CPUtime=642.32 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 128285 0 0 0 64214 18 0 0 25 0 1 0 804862332 121069568 26267 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 29558 26267 250 17 0 26199 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 126936

[startup+702.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/520 23902
/proc/meminfo: memFree=21710404/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=118232 CPUtime=702.3 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 145584 0 0 0 70210 20 0 0 25 0 1 0 804862332 121069568 26267 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 29558 26267 250 17 0 26199 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 126936

[startup+762.319 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23934
/proc/meminfo: memFree=21732076/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=167552 CPUtime=762.32 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 171930 0 0 0 76208 24 0 0 25 0 1 0 804862332 171573248 34877 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 41888 34877 250 17 0 38529 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 176256

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23938
/proc/meminfo: memFree=21726592/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=167552 CPUtime=822.31 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 190686 0 0 0 82204 27 0 0 25 0 1 0 804862332 171573248 35446 33554432000 4194304 4260849 140736029060832 18446744073709551615 4247427 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 41888 35446 250 17 0 38529 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 176256

[startup+882.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/520 23941
/proc/meminfo: memFree=21752856/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=118232 CPUtime=882.3 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 209427 0 0 0 88200 30 0 0 25 0 1 0 804862332 121069568 26267 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 29558 26267 250 17 0 26199 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 126936

[startup+942.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/520 23942
/proc/meminfo: memFree=21715644/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=167552 CPUtime=942.31 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 228025 0 0 0 94198 33 0 0 25 0 1 0 804862332 171573248 35431 33554432000 4194304 4260849 140736029060832 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 41888 35431 250 17 0 38529 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 176256

[startup+1002.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/520 23944
/proc/meminfo: memFree=21700476/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=186320 CPUtime=1002.31 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 249226 0 0 0 100195 36 0 0 25 0 1 0 804862332 190791680 38680 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224361 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 46580 38680 250 17 0 43221 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 195024

[startup+1062.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/520 23945
/proc/meminfo: memFree=21709260/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=186320 CPUtime=1062.32 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 267176 0 0 0 106193 39 0 0 25 0 1 0 804862332 190791680 38600 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 46580 38600 250 17 0 43221 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 195024

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21707732/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1122.31 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112190 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 145704

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

[startup+1126.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708228/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1126.33 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112592 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (KiB) 145704

[startup+1127.9 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708104/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1127.91 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112750 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1127.92
Current children cumulated vsize (KiB) 145704

[startup+1128.7 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708224/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1128.71 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112830 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1128.72
Current children cumulated vsize (KiB) 145704

[startup+1129.1 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708224/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1129.11 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112870 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4225132 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1129.12
Current children cumulated vsize (KiB) 145704

[startup+1129.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23947
/proc/meminfo: memFree=21708224/32950928 swapFree=34979748/67111528
[pid=23871] ppid=23869 vsize=8704 CPUtime=0.01 cores=0,2,4,6
/proc/23871/stat : 23871 (glucose.sh) S 23869 23871 22442 0 -1 4202496 360 519 0 0 0 0 1 0 25 0 1 0 804862329 8912896 255 33554432000 4194304 4922060 140733501423328 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23871/statm: 2176 255 211 178 0 69 0
[pid=23874] ppid=23871 vsize=137000 CPUtime=1129.31 cores=0,2,4,6
/proc/23874/stat : 23874 (glucose_static) R 23871 23871 22442 0 -1 4202496 277824 0 0 0 112890 41 0 0 25 0 1 0 804862332 140288000 30959 33554432000 4194304 4260849 140736029060832 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23874/statm: 34250 30959 250 17 0 30891 0
Current children cumulated CPU time (s) 1129.32
Current children cumulated vsize (KiB) 145704

Child status: 20
Real time (s): 1129.37
CPU time (s): 1129.41
CPU user time (s): 1128.99
CPU system time (s): 0.426935
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 195024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1128.99
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278919
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= 43
involuntary context switches= 1464

runsolver used 6.04508 second user time and 13.458 second system time

The end

Launcher Data

Begin job on node149 at 2011-06-01 14:50:56
IDJOB=3303492
IDBENCH=83298
IDSOLVER=1687
FILE ID=node149/3303492-1306932656
RUNJOBID= node149-1306927227-23495
PBS_JOBID= 13488481
Free space on /tmp= 73616 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_406.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303492-1306932656/watcher-3303492-1306932656 -o /tmp/evaluation-result-3303492-1306932656/solver-3303492-1306932656 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303492-1306932656.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 906590ef62b3db2841b2d529fd1636f7
RANDOM SEED=1323817950

node149.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.806
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.61
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.806
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	: 5332.83
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.806
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.83
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.806
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.73
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.806
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.806
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.806
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.806
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:     32950928 kB
MemFree:      21863072 kB
Buffers:        294924 kB
Cached:        2246352 kB
SwapCached:      84504 kB
Active:        2010572 kB
Inactive:      8748472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21863072 kB
SwapTotal:    67111528 kB
SwapFree:     34979748 kB
Dirty:            1576 kB
Writeback:           0 kB
AnonPages:     8157500 kB
Mapped:          18104 kB
Slab:           139684 kB
PageTables:     117816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173197840 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= 73616 MiB
End job on node149 at 2011-06-01 15:09:46