Trace number 3303494

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2SAT 731.741 731.785

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
MD5SUM8e7b614904543aa28491ea45c761cbd5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark39.02
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34014
Sum of the clauses size150994
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2336
Number of clauses of size 331196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52482

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 |   34014   150994 |   10204       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 253   #clauses: 34014   #literals: 150994
0.00/0.01	c CPU time:   0.014997 s
0.00/0.01	c ==============================================================================
0.00/0.04	c
0.00/0.04	c Starting glucose
0.00/0.04	c
51.62/51.78	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
51.62/51.78	c WARNING: for repeatability, setting FPU to use double precision
51.62/51.78	c ============================[ Problem Statistics ]=============================
51.62/51.78	c |                                                                             |
51.62/51.78	c |  Number of variables:           253                                         |
51.62/51.78	c |  Number of clauses:           34014                                         |
51.62/51.78	c |  Parse time:                   0.01 s                                       |
51.62/51.78	c |                                                                             |
51.62/51.78	c ============================[ Search Statistics ]==============================
51.62/51.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.62/51.78	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
51.62/51.78	c ===============================================================================
51.62/51.78	c |      2169 |     253    34014   150994 |        1     2169     25 |  0.000 % |
51.62/51.78	c |      2510 |     253    34014   150994 |        1     2510     26 |  0.000 % |
51.62/51.78	c |      2613 |     253    34014   150994 |        1     2613     26 |  0.000 % |
51.62/51.78	c |      2715 |     253    34014   150994 |        1     2715     26 |  0.000 % |
51.62/51.78	c |      6883 |     253    34014   150994 |        1     4885     27 |  0.000 % |
51.62/51.78	c |      7994 |     253    34014   150994 |        1     5996     28 |  0.000 % |
51.62/51.78	c |     27512 |     253    34014   150994 |        1    14465     26 |  0.000 % |
51.62/51.78	c |     39227 |     253    34014   150994 |        1    16905     26 |  0.000 % |
51.62/51.78	c |     80044 |     253    34014   150994 |        1    31469     25 |  0.000 % |
51.62/51.78	c |    143388 |     253    34014   150994 |        1    35997     23 |  0.000 % |
51.62/51.78	c |    143489 |     253    34014   150994 |        1    36098     23 |  0.000 % |
51.62/51.78	c |    143772 |     253    34014   150994 |        1    36381     23 |  0.000 % |
51.62/51.78	c |    143875 |     253    34014   150994 |        1    36484     23 |  0.000 % |
51.62/51.78	c |    143975 |     253    34014   150994 |        1    36584     23 |  0.000 % |
51.62/51.78	c |    144075 |     253    34014   150994 |        1    36684     23 |  0.000 % |
51.62/51.78	c |    155310 |     253    34014   150994 |        1    47919     24 |  0.000 % |
51.62/51.78	c |    174696 |     253    34014   150994 |        1    42508     24 |  0.000 % |
51.62/51.78	c |    177494 |     253    34014   150994 |        1    45306     24 |  0.000 % |
51.62/51.78	c |    190476 |     253    34014   150994 |        1    30893     22 |  0.000 % |
51.62/51.78	c |    206426 |     253    34014   150994 |        1    46843     24 |  0.000 % |
51.62/51.78	c |    206527 |     253    34014   150994 |        1    46944     24 |  0.000 % |
51.62/51.78	c |    218109 |     253    34014   150994 |        1    58526     24 |  0.000 % |
51.62/51.78	c |    300624 |     253    34014   150994 |        1    43235     22 |  0.000 % |
51.62/51.78	c |    300724 |     253    34014   150994 |        1    43335     22 |  0.000 % |
51.62/51.78	c |    301247 |     253    34014   150994 |        1    43858     22 |  0.000 % |
51.62/51.78	c |    324451 |     253    34014   150994 |        1    67062     23 |  0.000 % |
51.62/51.78	c |    324551 |     253    34014   150994 |        1    67162     23 |  0.000 % |
51.62/51.78	c |    366501 |     253    34014   150994 |        1    71313     24 |  0.000 % |
51.62/51.78	c |    708552 |     253    34014   150994 |        1    75966     20 |  0.000 % |
51.62/51.78	c |    714779 |     253    34014   150994 |        1    82193     21 |  0.000 % |
51.62/51.78	c |    726102 |     253    34014   150994 |        1    93516     22 |  0.000 % |
51.62/51.78	c |    729849 |     253    34014   150994 |        1    97263     22 |  0.000 % |
51.62/51.78	c |    731124 |     253    34014   150994 |        1    98538     22 |  0.000 % |
51.62/51.78	c |    732324 |     253    34014   150994 |        1    99738     22 |  0.000 % |
51.62/51.78	c |    732904 |     253    34014   150994 |        1   100318     22 |  0.000 % |
51.62/51.78	c |    756903 |     253    34014   150994 |        1    65712     20 |  0.000 % |
51.62/51.78	c |    757004 |     253    34014   150994 |        1    65813     20 |  0.000 % |
51.62/51.78	c |    758877 |     253    34014   150994 |        1    67686     20 |  0.000 % |
51.62/51.78	c |    758978 |     253    34014   150994 |        1    67787     20 |  0.000 % |
74.83/74.98	c |    759079 |     253    34014   150994 |        1    67888     20 |  0.000 % |
74.83/74.98	c |    759180 |     253    34014   150994 |        1    67989     21 |  0.000 % |
74.83/74.98	c |    759280 |     253    34014   150994 |        1    68089     21 |  0.000 % |
74.83/74.98	c |    759380 |     253    34014   150994 |        1    68189     21 |  0.000 % |
74.83/74.98	c |    762085 |     253    34014   150994 |        1    70894     21 |  0.000 % |
74.83/74.98	c |    762781 |     253    34014   150994 |        1    71590     21 |  0.000 % |
74.83/74.98	c |    767632 |     253    34014   150994 |        1    76441     21 |  0.000 % |
74.83/74.98	c |    767736 |     253    34014   150994 |        1    76545     21 |  0.000 % |
74.83/74.98	c |    767837 |     253    34014   150994 |        1    76646     21 |  0.000 % |
74.83/74.98	c |    773852 |     253    34014   150994 |        1    82661     22 |  0.000 % |
74.83/74.98	c |    774188 |     253    34014   150994 |        1    82997     22 |  0.000 % |
74.83/74.98	c |    787119 |     253    34014   150994 |        1    95928     22 |  0.000 % |
74.83/74.98	c |    800747 |     253    34014   150994 |        1   109556     23 |  0.000 % |
74.83/74.98	c |    800847 |     253    34014   150994 |        1   109656     23 |  0.000 % |
74.83/74.98	c |    811335 |     253    34014   150994 |        1   120144     23 |  0.000 % |
74.83/74.98	c |    829956 |     253    34014   150994 |        1    77569     21 |  0.000 % |
74.83/74.98	c |    832014 |     253    34014   150994 |        1    79627     21 |  0.000 % |
74.83/74.98	c |    832114 |     253    34014   150994 |        1    79727     21 |  0.000 % |
74.83/74.98	c |    833376 |     253    34014   150994 |        1    80989     21 |  0.000 % |
74.83/74.98	c |    837177 |     253    34014   150994 |        1    84790     21 |  0.000 % |
74.83/74.98	c |    837277 |     253    34014   150994 |        1    84890     21 |  0.000 % |
74.83/74.98	c |    849850 |     253    34014   150994 |        1    97463     22 |  0.000 % |
74.83/74.98	c |    852747 |     253    34014   150994 |        1   100360     22 |  0.000 % |
74.83/74.98	c |    854802 |     253    34014   150994 |        1   102415     22 |  0.000 % |
74.83/74.98	c |    854903 |     253    34014   150994 |        1   102516     22 |  0.000 % |
74.83/74.98	c |    859459 |     253    34014   150994 |        1   107072     22 |  0.000 % |
74.83/74.98	c |    862749 |     253    34014   150994 |        1   110362     22 |  0.000 % |
74.83/74.98	c |    863032 |     253    34014   150994 |        1   110645     22 |  0.000 % |
74.83/74.98	c |    863978 |     253    34014   150994 |        1   111591     22 |  0.000 % |
74.83/74.98	c |    864078 |     253    34014   150994 |        1   111691     22 |  0.000 % |
74.83/74.98	c |    864178 |     253    34014   150994 |        1   111791     22 |  0.000 % |
74.83/74.98	c |    864326 |     253    34014   150994 |        1   111939     22 |  0.000 % |
74.83/74.98	c |    864426 |     253    34014   150994 |        1   112039     22 |  0.000 % |
74.83/74.98	c |    864527 |     253    34014   150994 |        1   112140     22 |  0.000 % |
74.83/74.98	c |    864629 |     253    34014   150994 |        1   112242     22 |  0.000 % |
74.83/74.98	c |    865350 |     253    34014   150994 |        1   112963     22 |  0.000 % |
74.83/74.98	c |    865450 |     253    34014   150994 |        1   113063     22 |  0.000 % |
74.83/74.98	c |    872180 |     253    34014   150994 |        1   119793     23 |  0.000 % |
74.83/74.98	c |    937864 |     253    34014   150994 |        1   121681     22 |  0.000 % |
74.83/74.98	c |    964639 |     253    34014   150994 |        1    82058     20 |  0.000 % |
74.83/74.98	c |    964739 |     253    34014   150994 |        1    82158     20 |  0.000 % |
74.83/74.98	c |    964839 |     253    34014   150994 |        1    82258     20 |  0.000 % |
74.83/74.98	c |    969460 |     253    34014   150994 |        1    86879     21 |  0.000 % |
74.83/74.98	c |   1033235 |     253    34014   150994 |        1    81652     20 |  0.000 % |
74.83/74.98	c |   1037686 |     253    34014   150994 |        1    86103     20 |  0.000 % |
74.83/74.98	c |   1038056 |     253    34014   150994 |        1    86473     20 |  0.000 % |
74.83/74.98	c |   1044871 |     253    34014   150994 |        1    93288     21 |  0.000 % |
74.83/74.98	c |   1044973 |     253    34014   150994 |        1    93390     21 |  0.000 % |
74.83/74.98	c |   1048898 |     253    34014   150994 |        1    97315     21 |  0.000 % |
74.83/74.98	c |   1049177 |     253    34014   150994 |        1    97594     21 |  0.000 % |
116.91/117.06	c |   1078410 |     253    34014   150994 |        1   126827     22 |  0.000 % |
116.91/117.06	c |   1078511 |     253    34014   150994 |        1   126928     22 |  0.000 % |
116.91/117.06	c |   1080803 |     253    34014   150994 |        1   129220     22 |  0.000 % |
116.91/117.06	c |   1081501 |     253    34014   150994 |        1   129918     22 |  0.000 % |
116.91/117.06	c |   1086236 |     253    34014   150994 |        1   134653     22 |  0.000 % |
116.91/117.06	c |   1094435 |     253    34014   150994 |        1   142852     22 |  0.000 % |
116.91/117.06	c |   1094954 |     253    34014   150994 |        1    71764     19 |  0.000 % |
116.91/117.06	c |   1095251 |     253    34014   150994 |        1    72061     19 |  0.000 % |
116.91/117.06	c |   1111236 |     253    34014   150994 |        1    88046     20 |  0.000 % |
116.91/117.06	c |   1152027 |     253    34014   150994 |        1   128837     21 |  0.000 % |
116.91/117.06	c |   1152464 |     253    34014   150994 |        1   129274     21 |  0.000 % |
116.91/117.06	c |   1168754 |     253    34014   150994 |        1   145564     21 |  0.000 % |
116.91/117.06	c |   1170063 |     253    34014   150994 |        1   146873     21 |  0.000 % |
116.91/117.06	c |   1223340 |     253    34014   150994 |        1   125951     21 |  0.000 % |
116.91/117.06	c |   1419552 |     253    34014   150994 |        1    83971     19 |  0.000 % |
116.91/117.06	c |   1428442 |     253    34014   150994 |        1    92861     19 |  0.000 % |
116.91/117.06	c |   1431868 |     253    34014   150994 |        1    96287     20 |  0.000 % |
116.91/117.06	c |   1431968 |     253    34014   150994 |        1    96387     20 |  0.000 % |
116.91/117.06	c |   1432081 |     253    34014   150994 |        1    96500     20 |  0.000 % |
116.91/117.06	c |   1433189 |     253    34014   150994 |        1    97608     20 |  0.000 % |
116.91/117.06	c |   1437495 |     253    34014   150994 |        1   101914     20 |  0.000 % |
116.91/117.06	c |   1437595 |     253    34014   150994 |        1   102014     20 |  0.000 % |
116.91/117.06	c |   1437695 |     253    34014   150994 |        1   102114     20 |  0.000 % |
116.91/117.06	c |   1439681 |     253    34014   150994 |        1   104100     20 |  0.000 % |
116.91/117.06	c |   1439782 |     253    34014   150994 |        1   104201     20 |  0.000 % |
116.91/117.06	c |   1439884 |     253    34014   150994 |        1   104303     20 |  0.000 % |
116.91/117.06	c |   1441635 |     253    34014   150994 |        1   106054     20 |  0.000 % |
116.91/117.06	c |   1441736 |     253    34014   150994 |        1   106155     20 |  0.000 % |
116.91/117.06	c |   1442030 |     253    34014   150994 |        1   106449     20 |  0.000 % |
116.91/117.06	c |   1442874 |     253    34014   150994 |        1   107293     21 |  0.000 % |
116.91/117.06	c |   1442974 |     253    34014   150994 |        1   107393     21 |  0.000 % |
116.91/117.06	c |   1443076 |     253    34014   150994 |        1   107495     21 |  0.000 % |
116.91/117.06	c |   1445088 |     253    34014   150994 |        1   109507     21 |  0.000 % |
116.91/117.06	c |   1445408 |     253    34014   150994 |        1   109827     21 |  0.000 % |
116.91/117.06	c |   1447753 |     253    34014   150994 |        1   112172     21 |  0.000 % |
116.91/117.06	c |   1448476 |     253    34014   150994 |        1   112895     21 |  0.000 % |
116.91/117.06	c |   1448578 |     253    34014   150994 |        1   112997     21 |  0.000 % |
116.91/117.06	c |   1449613 |     253    34014   150994 |        1   114032     21 |  0.000 % |
116.91/117.06	c |   1449725 |     253    34014   150994 |        1   114144     21 |  0.000 % |
116.91/117.06	c |   1449845 |     253    34014   150994 |        1   114264     21 |  0.000 % |
116.91/117.06	c |   1513951 |     253    34014   150994 |        1    93769     20 |  0.000 % |
116.91/117.06	c |   1516429 |     253    34014   150994 |        1    96247     20 |  0.000 % |
116.91/117.06	c |   1516594 |     253    34014   150994 |        1    96412     20 |  0.000 % |
116.91/117.06	c |   1516696 |     253    34014   150994 |        1    96514     20 |  0.000 % |
116.91/117.06	c |   1516799 |     253    34014   150994 |        1    96617     20 |  0.000 % |
116.91/117.06	c |   1516901 |     253    34014   150994 |        1    96719     20 |  0.000 % |
116.91/117.06	c |   1518022 |     253    34014   150994 |        1    97840     20 |  0.000 % |
116.91/117.06	c |   1532615 |     253    34014   150994 |        1   112433     20 |  0.000 % |
116.91/117.06	c |   1532715 |     253    34014   150994 |        1   112533     20 |  0.000 % |
116.91/117.06	c |   1532937 |     253    34014   150994 |        1   112755     20 |  0.000 % |
128.63/128.75	c |   1533211 |     253    34014   150994 |        1   113029     21 |  0.000 % |
128.63/128.75	c |   1543176 |     253    34014   150994 |        1   122994     21 |  0.000 % |
128.63/128.75	c |   1547575 |     253    34014   150994 |        1   127393     21 |  0.000 % |
128.63/128.75	c |   1572080 |     253    34014   150994 |        1   151898     22 |  0.000 % |
128.63/128.75	c |   1582963 |     253    34014   150994 |        1   162781     22 |  0.000 % |
128.63/128.75	c |   1588853 |     253    34014   150994 |        1   168671     22 |  0.000 % |
128.63/128.75	c |   1589281 |     253    34014   150994 |        1   169099     22 |  0.000 % |
128.63/128.75	c |   1589381 |     253    34014   150994 |        1   169199     22 |  0.000 % |
128.63/128.75	c |   1589481 |     253    34014   150994 |        1   169299     22 |  0.000 % |
128.63/128.75	c |   1593306 |     253    34014   150994 |        1   173124     22 |  0.000 % |
128.63/128.75	c |   1593406 |     253    34014   150994 |        1   173224     22 |  0.000 % |
128.63/128.75	c |   1593507 |     253    34014   150994 |        1   173325     22 |  0.000 % |
128.63/128.76	c |   1593608 |     253    34014   150994 |        1   173426     22 |  0.000 % |
128.63/128.76	c |   1594872 |     253    34014   150994 |        1    87488     19 |  0.000 % |
128.63/128.76	c |   1601340 |     253    34014   150994 |        1    93956     19 |  0.000 % |
128.63/128.76	c |   1601968 |     253    34014   150994 |        1    94584     19 |  0.000 % |
128.63/128.76	c |   1602069 |     253    34014   150994 |        1    94685     19 |  0.000 % |
128.63/128.76	c |   1602173 |     253    34014   150994 |        1    94789     19 |  0.000 % |
128.63/128.76	c |   1602273 |     253    34014   150994 |        1    94889     19 |  0.000 % |
128.63/128.76	c |   1602373 |     253    34014   150994 |        1    94989     19 |  0.000 % |
128.63/128.76	c |   1602473 |     253    34014   150994 |        1    95089     19 |  0.000 % |
128.63/128.76	c |   1602707 |     253    34014   150994 |        1    95323     19 |  0.000 % |
128.63/128.76	c |   1603421 |     253    34014   150994 |        1    96037     19 |  0.000 % |
128.63/128.76	c |   1604028 |     253    34014   150994 |        1    96644     20 |  0.000 % |
128.63/128.76	c |   1610774 |     253    34014   150994 |        1   103390     20 |  0.000 % |
128.63/128.76	c |   1610875 |     253    34014   150994 |        1   103491     20 |  0.000 % |
128.63/128.76	c |   1610975 |     253    34014   150994 |        1   103591     20 |  0.000 % |
128.63/128.76	c |   1612353 |     253    34014   150994 |        1   104969     20 |  0.000 % |
128.63/128.76	c |   1612828 |     253    34014   150994 |        1   105444     20 |  0.000 % |
128.63/128.76	c |   1614834 |     253    34014   150994 |        1   107450     20 |  0.000 % |
128.63/128.76	c |   1620090 |     253    34014   150994 |        1   112706     21 |  0.000 % |
128.63/128.76	c |   1620237 |     253    34014   150994 |        1   112853     21 |  0.000 % |
128.63/128.76	c |   1622211 |     253    34014   150994 |        1   114827     21 |  0.000 % |
128.63/128.76	c |   1631764 |     253    34014   150994 |        1   124380     21 |  0.000 % |
128.63/128.76	c |   1632042 |     253    34014   150994 |        1   124658     21 |  0.000 % |
128.63/128.76	c |   1664848 |     253    34014   150994 |        1   157464     22 |  0.000 % |
128.63/128.76	c |   1666237 |     253    34014   150994 |        1   158853     22 |  0.000 % |
128.63/128.76	c |   1666404 |     253    34014   150994 |        1   159020     22 |  0.000 % |
128.63/128.76	c |   1666557 |     253    34014   150994 |        1   159173     22 |  0.000 % |
128.63/128.76	c |   1666781 |     253    34014   150994 |        1   159397     22 |  0.000 % |
128.63/128.76	c |   1667065 |     253    34014   150994 |        1   159681     22 |  0.000 % |
128.63/128.76	c |   1667165 |     253    34014   150994 |        1   159781     22 |  0.000 % |
128.63/128.76	c |   1667437 |     253    34014   150994 |        1   160053     22 |  0.000 % |
128.63/128.76	c |   1668652 |     253    34014   150994 |        1   161268     22 |  0.000 % |
128.63/128.76	c |   1668754 |     253    34014   150994 |        1   161370     22 |  0.000 % |
128.63/128.76	c |   1669301 |     253    34014   150994 |        1   161917     22 |  0.000 % |
128.63/128.76	c |   1669402 |     253    34014   150994 |        1   162018     22 |  0.000 % |
128.63/128.76	c |   1669502 |     253    34014   150994 |        1   162118     22 |  0.000 % |
128.63/128.76	c |   1670161 |     253    34014   150994 |        1   162777     22 |  0.000 % |
128.63/128.76	c |   1670264 |     253    34014   150994 |        1   162880     22 |  0.000 % |
186.22/186.30	c |   1670593 |     253    34014   150994 |        1   163209     22 |  0.000 % |
186.22/186.30	c |   1675674 |     253    34014   150994 |        1   168290     22 |  0.000 % |
186.22/186.30	c |   1678458 |     253    34014   150994 |        1   171074     22 |  0.000 % |
186.22/186.30	c |   1704295 |     253    34014   150994 |        1   107112     20 |  0.000 % |
186.22/186.30	c |   1704399 |     253    34014   150994 |        1   107216     20 |  0.000 % |
186.22/186.30	c |   1721479 |     253    34014   150994 |        1   124296     21 |  0.000 % |
186.22/186.30	c |   1721581 |     253    34014   150994 |        1   124398     21 |  0.000 % |
186.22/186.30	c |   1738757 |     253    34014   150994 |        1   141574     21 |  0.000 % |
186.22/186.30	c |   1759012 |     253    34014   150994 |        1   161829     22 |  0.000 % |
186.22/186.30	c |   1762478 |     253    34014   150994 |        1   165295     22 |  0.000 % |
186.22/186.30	c |   1781816 |     253    34014   150994 |        1   184633     22 |  0.000 % |
186.22/186.30	c |   1782554 |     253    34014   150994 |        1    92969     19 |  0.000 % |
186.22/186.30	c |   1782654 |     253    34014   150994 |        1    93069     19 |  0.000 % |
186.22/186.30	c |   1782754 |     253    34014   150994 |        1    93169     19 |  0.000 % |
186.22/186.30	c |   1782854 |     253    34014   150994 |        1    93269     19 |  0.000 % |
186.22/186.30	c |   1785195 |     253    34014   150994 |        1    95610     19 |  0.000 % |
186.22/186.30	c |   1785296 |     253    34014   150994 |        1    95711     19 |  0.000 % |
186.22/186.30	c |   1785396 |     253    34014   150994 |        1    95811     19 |  0.000 % |
186.22/186.30	c |   1785636 |     253    34014   150994 |        1    96051     19 |  0.000 % |
186.22/186.30	c |   1786700 |     253    34014   150994 |        1    97115     19 |  0.000 % |
186.22/186.30	c |   1798789 |     253    34014   150994 |        1   109204     20 |  0.000 % |
186.22/186.30	c |   1799318 |     253    34014   150994 |        1   109733     20 |  0.000 % |
186.22/186.30	c |   1809738 |     253    34014   150994 |        1   120153     21 |  0.000 % |
186.22/186.30	c |   1810029 |     253    34014   150994 |        1   120444     21 |  0.000 % |
186.22/186.30	c |   1885854 |     253    34014   150994 |        1   101264     19 |  0.000 % |
186.22/186.30	c |   1891560 |     253    34014   150994 |        1   106970     19 |  0.000 % |
186.22/186.30	c |   1899664 |     253    34014   150994 |        1   115074     20 |  0.000 % |
186.22/186.30	c |   1901903 |     253    34014   150994 |        1   117313     20 |  0.000 % |
186.22/186.30	c |   1902052 |     253    34014   150994 |        1   117462     20 |  0.000 % |
186.22/186.30	c |   1903472 |     253    34014   150994 |        1   118882     20 |  0.000 % |
186.22/186.30	c |   1903770 |     253    34014   150994 |        1   119180     20 |  0.000 % |
186.22/186.30	c |   1905720 |     253    34014   150994 |        1   121130     20 |  0.000 % |
186.22/186.30	c |   1905820 |     253    34014   150994 |        1   121230     20 |  0.000 % |
186.22/186.30	c |   1960929 |     253    34014   150994 |        1   176339     22 |  0.000 % |
186.22/186.30	c |   1968092 |     253    34014   150994 |        1   183502     22 |  0.000 % |
186.22/186.30	c |   1968818 |     253    34014   150994 |        1   184228     22 |  0.000 % |
186.22/186.30	c |   1973226 |     253    34014   150994 |        1   188636     22 |  0.000 % |
186.22/186.30	c |   1989193 |     253    34014   150994 |        1   107008     19 |  0.000 % |
186.22/186.30	c |   2198977 |     253    34014   150994 |        1   113793     19 |  0.000 % |
186.22/186.30	c |   2209864 |     253    34014   150994 |        1   124680     20 |  0.000 % |
186.22/186.30	c |   2209982 |     253    34014   150994 |        1   124798     20 |  0.000 % |
186.22/186.30	c |   2210112 |     253    34014   150994 |        1   124928     20 |  0.000 % |
186.22/186.30	c |   2254776 |     253    34014   150994 |        1   169592     21 |  0.000 % |
186.22/186.30	c |   2257058 |     253    34014   150994 |        1   171874     21 |  0.000 % |
186.22/186.30	c |   2257972 |     253    34014   150994 |        1   172788     21 |  0.000 % |
186.22/186.30	c |   2258073 |     253    34014   150994 |        1   172889     21 |  0.000 % |
186.22/186.30	c |   2262734 |     253    34014   150994 |        1   177550     21 |  0.000 % |
186.22/186.30	c |   2262834 |     253    34014   150994 |        1   177650     21 |  0.000 % |
186.22/186.30	c |   2263077 |     253    34014   150994 |        1   177893     21 |  0.000 % |
186.22/186.30	c |   2307874 |     253    34014   150994 |        1   117296     19 |  0.000 % |
246.43/246.59	c |   2351982 |     253    34014   150994 |        1   161404     20 |  0.000 % |
246.43/246.59	c |   2352178 |     253    34014   150994 |        1   161600     20 |  0.000 % |
246.43/246.59	c |   2371066 |     253    34014   150994 |        1   180488     21 |  0.000 % |
246.43/246.59	c |   2389043 |     253    34014   150994 |        1   198465     21 |  0.000 % |
246.43/246.59	c |   2389145 |     253    34014   150994 |        1   198567     21 |  0.000 % |
246.43/246.59	c |   2389557 |     253    34014   150994 |        1   198979     21 |  0.000 % |
246.43/246.59	c |   2426796 |     253    34014   150994 |        1   128217     19 |  0.000 % |
246.43/246.59	c |   2426901 |     253    34014   150994 |        1   128322     19 |  0.000 % |
246.43/246.59	c |   2448666 |     253    34014   150994 |        1   150087     20 |  0.000 % |
246.43/246.59	c |   2448767 |     253    34014   150994 |        1   150188     20 |  0.000 % |
246.43/246.59	c |   2470592 |     253    34014   150994 |        1   172013     21 |  0.000 % |
246.43/246.59	c |   2472744 |     253    34014   150994 |        1   174165     21 |  0.000 % |
246.43/246.59	c |   2472844 |     253    34014   150994 |        1   174265     21 |  0.000 % |
246.43/246.59	c |   2472953 |     253    34014   150994 |        1   174374     21 |  0.000 % |
246.43/246.59	c |   2473061 |     253    34014   150994 |        1   174482     21 |  0.000 % |
246.43/246.59	c |   2479310 |     253    34014   150994 |        1   180731     21 |  0.000 % |
246.43/246.59	c |   2479410 |     253    34014   150994 |        1   180831     21 |  0.000 % |
246.43/246.59	c |   2483155 |     253    34014   150994 |        1   184576     21 |  0.000 % |
246.43/246.59	c |   2483491 |     253    34014   150994 |        1   184912     21 |  0.000 % |
246.43/246.59	c |   2501312 |     253    34014   150994 |        1   202733     22 |  0.000 % |
246.43/246.59	c |   2538218 |     253    34014   150994 |        1   129032     19 |  0.000 % |
246.43/246.59	c |   2538319 |     253    34014   150994 |        1   129133     19 |  0.000 % |
246.43/246.59	c |   2539757 |     253    34014   150994 |        1   130571     19 |  0.000 % |
246.43/246.59	c |   2557577 |     253    34014   150994 |        1   148391     20 |  0.000 % |
246.43/246.59	c |   2557677 |     253    34014   150994 |        1   148491     20 |  0.000 % |
246.43/246.60	c |   2557778 |     253    34014   150994 |        1   148592     20 |  0.000 % |
246.43/246.60	c |   2557878 |     253    34014   150994 |        1   148692     20 |  0.000 % |
246.43/246.60	c |   2570999 |     253    34014   150994 |        1   161813     21 |  0.000 % |
246.43/246.60	c |   2571283 |     253    34014   150994 |        1   162097     21 |  0.000 % |
246.43/246.60	c |   2573072 |     253    34014   150994 |        1   163886     21 |  0.000 % |
246.43/246.60	c |   2573222 |     253    34014   150994 |        1   164036     21 |  0.000 % |
246.43/246.60	c |   2573360 |     253    34014   150994 |        1   164174     21 |  0.000 % |
246.43/246.60	c |   2577180 |     253    34014   150994 |        1   167994     21 |  0.000 % |
246.43/246.60	c |   2582624 |     253    34014   150994 |        1   173438     21 |  0.000 % |
246.43/246.60	c |   2585546 |     253    34014   150994 |        1   176360     21 |  0.000 % |
246.43/246.60	c |   2586498 |     253    34014   150994 |        1   177312     21 |  0.000 % |
246.43/246.60	c |   2728417 |     253    34014   150994 |        1   206028     21 |  0.000 % |
246.43/246.60	c |   2746772 |     253    34014   150994 |        1   224383     21 |  0.000 % |
246.43/246.60	c |   2747129 |     253    34014   150994 |        1   224740     21 |  0.000 % |
246.43/246.60	c |   2812737 |     253    34014   150994 |        1   174549     20 |  0.000 % |
246.43/246.60	c |   2819191 |     253    34014   150994 |        1   181003     20 |  0.000 % |
246.43/246.60	c |   2819899 |     253    34014   150994 |        1   181711     20 |  0.000 % |
246.43/246.60	c |   2826584 |     253    34014   150994 |        1   188396     20 |  0.000 % |
246.43/246.60	c |   2827527 |     253    34014   150994 |        1   189339     20 |  0.000 % |
246.43/246.60	c |   2833842 |     253    34014   150994 |        1   195654     21 |  0.000 % |
246.43/246.60	c |   2920466 |     253    34014   150994 |        1   163873     19 |  0.000 % |
246.43/246.60	c |   2923736 |     253    34014   150994 |        1   167143     19 |  0.000 % |
246.43/246.60	c |   2924300 |     253    34014   150994 |        1   167707     19 |  0.000 % |
246.43/246.60	c |   2926224 |     253    34014   150994 |        1   169631     20 |  0.000 % |
246.43/246.60	c |   2927310 |     253    34014   150994 |        1   170717     20 |  0.000 % |
290.92/291.07	c |   2945613 |     253    34014   150994 |        1   189020     20 |  0.000 % |
290.92/291.07	c |   3016204 |     253    34014   150994 |        1   138612     19 |  0.000 % |
290.92/291.07	c |   3016392 |     253    34014   150994 |        1   138800     19 |  0.000 % |
290.92/291.07	c |   3053938 |     253    34014   150994 |        1   176346     20 |  0.000 % |
290.92/291.07	c |   3066987 |     253    34014   150994 |        1   189395     20 |  0.000 % |
290.92/291.07	c |   3068347 |     253    34014   150994 |        1   190755     21 |  0.000 % |
290.92/291.07	c |   3070515 |     253    34014   150994 |        1   192923     21 |  0.000 % |
290.92/291.07	c |   3071390 |     253    34014   150994 |        1   193798     21 |  0.000 % |
290.92/291.07	c |   3074936 |     253    34014   150994 |        1   197344     21 |  0.000 % |
290.92/291.07	c |   3075037 |     253    34014   150994 |        1   197445     21 |  0.000 % |
290.92/291.07	c |   3087507 |     253    34014   150994 |        1   209915     21 |  0.000 % |
290.92/291.07	c |   3088987 |     253    34014   150994 |        1   211395     21 |  0.000 % |
290.92/291.07	c |   3090527 |     253    34014   150994 |        1   212935     21 |  0.000 % |
290.92/291.07	c |   3091461 |     253    34014   150994 |        1   213869     21 |  0.000 % |
290.92/291.07	c |   3092412 |     253    34014   150994 |        1   214820     21 |  0.000 % |
290.92/291.07	c |   3111132 |     253    34014   150994 |        1   233540     22 |  0.000 % |
290.92/291.07	c |   3114213 |     253    34014   150994 |        1   236621     22 |  0.000 % |
290.92/291.07	c |   3115011 |     253    34014   150994 |        1   237419     22 |  0.000 % |
290.92/291.07	c |   3115149 |     253    34014   150994 |        1   237557     22 |  0.000 % |
290.92/291.07	c |   3115251 |     253    34014   150994 |        1   237659     22 |  0.000 % |
290.92/291.07	c |   3154522 |     253    34014   150994 |        1   153336     20 |  0.000 % |
290.92/291.07	c |   3159229 |     253    34014   150994 |        1   158043     20 |  0.000 % |
290.92/291.07	c |   3159329 |     253    34014   150994 |        1   158143     20 |  0.000 % |
290.92/291.07	c |   3202267 |     253    34014   150994 |        1   201081     21 |  0.000 % |
290.92/291.07	c |   3206663 |     253    34014   150994 |        1   205477     21 |  0.000 % |
290.92/291.07	c |   3206830 |     253    34014   150994 |        1   205644     21 |  0.000 % |
290.92/291.07	c |   3207599 |     253    34014   150994 |        1   206413     21 |  0.000 % |
290.92/291.07	c |   3218243 |     253    34014   150994 |        1   217057     21 |  0.000 % |
290.92/291.07	c |   3236488 |     253    34014   150994 |        1   235302     22 |  0.000 % |
290.92/291.07	c |   3244959 |     253    34014   150994 |        1   243773     22 |  0.000 % |
290.92/291.07	c |   3252319 |     253    34014   150994 |        1   251133     22 |  0.000 % |
290.92/291.07	c |   3253981 |     253    34014   150994 |        1   126592     18 |  0.000 % |
290.92/291.07	c |   3258001 |     253    34014   150994 |        1   130612     19 |  0.000 % |
290.92/291.07	c |   3260871 |     253    34014   150994 |        1   133482     19 |  0.000 % |
290.92/291.07	c |   3260985 |     253    34014   150994 |        1   133596     19 |  0.000 % |
290.92/291.07	c |   3333321 |     253    34014   150994 |        1   205932     21 |  0.000 % |
290.92/291.07	c |   3335080 |     253    34014   150994 |        1   207691     21 |  0.000 % |
290.92/291.07	c |   3360534 |     253    34014   150994 |        1   233145     21 |  0.000 % |
290.92/291.07	c |   3361733 |     253    34014   150994 |        1   234344     21 |  0.000 % |
290.92/291.07	c |   3364783 |     253    34014   150994 |        1   237394     21 |  0.000 % |
290.92/291.07	c |   3364883 |     253    34014   150994 |        1   237494     21 |  0.000 % |
290.92/291.07	c |   3365727 |     253    34014   150994 |        1   238338     21 |  0.000 % |
290.92/291.07	c |   3365827 |     253    34014   150994 |        1   238438     21 |  0.000 % |
290.92/291.07	c |   3366743 |     253    34014   150994 |        1   239354     21 |  0.000 % |
290.92/291.07	c |   3368571 |     253    34014   150994 |        1   241182     21 |  0.000 % |
290.92/291.07	c |   3368671 |     253    34014   150994 |        1   241282     21 |  0.000 % |
290.92/291.07	c |   3371035 |     253    34014   150994 |        1   243646     22 |  0.000 % |
290.92/291.07	c |   3371846 |     253    34014   150994 |        1   244457     22 |  0.000 % |
290.92/291.07	c |   3372031 |     253    34014   150994 |        1   244642     22 |  0.000 % |
344.92/345.08	c |   3378040 |     253    34014   150994 |        1   250651     22 |  0.000 % |
344.92/345.08	c |   3437509 |     253    34014   150994 |        1   181326     20 |  0.000 % |
344.92/345.08	c |   3456381 |     253    34014   150994 |        1   200198     20 |  0.000 % |
344.92/345.08	c |   3461920 |     253    34014   150994 |        1   205737     21 |  0.000 % |
344.92/345.08	c |   3462020 |     253    34014   150994 |        1   205837     21 |  0.000 % |
344.92/345.08	c |   3467539 |     253    34014   150994 |        1   211356     21 |  0.000 % |
344.92/345.08	c |   3471338 |     253    34014   150994 |        1   215155     21 |  0.000 % |
344.92/345.08	c |   3475506 |     253    34014   150994 |        1   219323     21 |  0.000 % |
344.92/345.08	c |   3476319 |     253    34014   150994 |        1   220136     21 |  0.000 % |
344.92/345.08	c |   3495589 |     253    34014   150994 |        1   239406     21 |  0.000 % |
344.92/345.08	c |   3498472 |     253    34014   150994 |        1   242289     21 |  0.000 % |
344.92/345.08	c |   3526778 |     253    34014   150994 |        1   139193     19 |  0.000 % |
344.92/345.08	c |   3526923 |     253    34014   150994 |        1   139338     19 |  0.000 % |
344.92/345.08	c |   3527023 |     253    34014   150994 |        1   139438     19 |  0.000 % |
344.92/345.08	c |   3527325 |     253    34014   150994 |        1   139740     19 |  0.000 % |
344.92/345.08	c |   3531767 |     253    34014   150994 |        1   144182     19 |  0.000 % |
344.92/345.08	c |   3532089 |     253    34014   150994 |        1   144504     19 |  0.000 % |
344.92/345.08	c |   3565161 |     253    34014   150994 |        1   177576     20 |  0.000 % |
344.92/345.08	c |   3597766 |     253    34014   150994 |        1   210181     20 |  0.000 % |
344.92/345.08	c |   3613750 |     253    34014   150994 |        1   226165     20 |  0.000 % |
344.92/345.08	c |   3620095 |     253    34014   150994 |        1   232510     20 |  0.000 % |
344.92/345.08	c |   3621094 |     253    34014   150994 |        1   233509     20 |  0.000 % |
344.92/345.08	c |   3633497 |     253    34014   150994 |        1   245912     21 |  0.000 % |
344.92/345.08	c |   3635194 |     253    34014   150994 |        1   247609     21 |  0.000 % |
344.92/345.08	c |   3676098 |     253    34014   150994 |        1   154520     19 |  0.000 % |
344.92/345.08	c |   3676198 |     253    34014   150994 |        1   154620     19 |  0.000 % |
344.92/345.08	c |   3676299 |     253    34014   150994 |        1   154721     19 |  0.000 % |
344.92/345.08	c |   3677729 |     253    34014   150994 |        1   156151     19 |  0.000 % |
344.92/345.08	c |   3679580 |     253    34014   150994 |        1   158002     19 |  0.000 % |
344.92/345.08	c |   3679765 |     253    34014   150994 |        1   158187     19 |  0.000 % |
344.92/345.08	c |   3696063 |     253    34014   150994 |        1   174485     20 |  0.000 % |
344.92/345.08	c |   3696253 |     253    34014   150994 |        1   174675     20 |  0.000 % |
344.92/345.08	c |   3740679 |     253    34014   150994 |        1   219101     21 |  0.000 % |
344.92/345.08	c |   3741751 |     253    34014   150994 |        1   220173     21 |  0.000 % |
344.92/345.08	c |   3747691 |     253    34014   150994 |        1   226113     21 |  0.000 % |
344.92/345.08	c |   3755460 |     253    34014   150994 |        1   233882     21 |  0.000 % |
344.92/345.08	c |   3757520 |     253    34014   150994 |        1   235942     21 |  0.000 % |
344.92/345.08	c |   3758889 |     253    34014   150994 |        1   237311     21 |  0.000 % |
344.92/345.08	c |   3760041 |     253    34014   150994 |        1   238463     21 |  0.000 % |
344.92/345.08	c |   3849350 |     253    34014   150994 |        1   191171     20 |  0.000 % |
344.92/345.08	c |   3849450 |     253    34014   150994 |        1   191271     20 |  0.000 % |
344.92/345.08	c |   3864448 |     253    34014   150994 |        1   206269     21 |  0.000 % |
344.92/345.08	c |   3864744 |     253    34014   150994 |        1   206565     21 |  0.000 % |
344.92/345.08	c |   3877883 |     253    34014   150994 |        1   219704     21 |  0.000 % |
344.92/345.08	c |   3885990 |     253    34014   150994 |        1   227811     21 |  0.000 % |
344.92/345.08	c |   3886090 |     253    34014   150994 |        1   227911     21 |  0.000 % |
344.92/345.08	c |   3886362 |     253    34014   150994 |        1   228183     21 |  0.000 % |
344.92/345.08	c |   3891212 |     253    34014   150994 |        1   233033     21 |  0.000 % |
344.92/345.08	c |   3891312 |     253    34014   150994 |        1   233133     21 |  0.000 % |
344.92/345.08	c |   3893922 |     253    34014   150994 |        1   235743     21 |  0.000 % |
376.92/377.08	c |   3899918 |     253    34014   150994 |        1   241739     21 |  0.000 % |
376.92/377.08	c |   3900176 |     253    34014   150994 |        1   241997     21 |  0.000 % |
376.92/377.08	c |   3903812 |     253    34014   150994 |        1   245633     21 |  0.000 % |
376.92/377.08	c |   3903912 |     253    34014   150994 |        1   245733     21 |  0.000 % |
376.92/377.08	c |   3904179 |     253    34014   150994 |        1   246000     21 |  0.000 % |
376.92/377.08	c |   3906150 |     253    34014   150994 |        1   247971     21 |  0.000 % |
376.92/377.08	c |   3906250 |     253    34014   150994 |        1   248071     21 |  0.000 % |
376.92/377.08	c |   3906351 |     253    34014   150994 |        1   248172     21 |  0.000 % |
376.92/377.08	c |   3906726 |     253    34014   150994 |        1   248547     21 |  0.000 % |
376.92/377.08	c |   3908587 |     253    34014   150994 |        1   250408     21 |  0.000 % |
376.92/377.08	c |   3914232 |     253    34014   150994 |        1   256053     22 |  0.000 % |
376.92/377.08	c |   3919393 |     253    34014   150994 |        1   261214     22 |  0.000 % |
376.92/377.08	c |   3919735 |     253    34014   150994 |        1   261556     22 |  0.000 % |
376.92/377.08	c |   3919835 |     253    34014   150994 |        1   261656     22 |  0.000 % |
376.92/377.08	c |   3925999 |     253    34014   150994 |        1   267820     22 |  0.000 % |
376.92/377.08	c |   3926529 |     253    34014   150994 |        1   268350     22 |  0.000 % |
376.92/377.08	c |   3926631 |     253    34014   150994 |        1   268452     22 |  0.000 % |
376.92/377.08	c |   3944503 |     253    34014   150994 |        1   147122     19 |  0.000 % |
376.92/377.08	c |   3944603 |     253    34014   150994 |        1   147222     19 |  0.000 % |
376.92/377.08	c |   3945116 |     253    34014   150994 |        1   147735     19 |  0.000 % |
376.92/377.08	c |   3952601 |     253    34014   150994 |        1   155220     19 |  0.000 % |
376.92/377.08	c |   3952763 |     253    34014   150994 |        1   155382     19 |  0.000 % |
376.92/377.08	c |   3953152 |     253    34014   150994 |        1   155771     19 |  0.000 % |
376.92/377.08	c |   3960824 |     253    34014   150994 |        1   163443     19 |  0.000 % |
376.92/377.08	c |   3961053 |     253    34014   150994 |        1   163672     19 |  0.000 % |
376.92/377.08	c |   3984524 |     253    34014   150994 |        1   187143     20 |  0.000 % |
376.92/377.08	c |   3995449 |     253    34014   150994 |        1   198068     20 |  0.000 % |
376.92/377.08	c |   3998681 |     253    34014   150994 |        1   201300     20 |  0.000 % |
376.92/377.08	c |   3999644 |     253    34014   150994 |        1   202263     20 |  0.000 % |
376.92/377.08	c |   4004683 |     253    34014   150994 |        1   207302     21 |  0.000 % |
376.92/377.08	c |   4005753 |     253    34014   150994 |        1   208372     21 |  0.000 % |
376.92/377.08	c |   4019548 |     253    34014   150994 |        1   222167     21 |  0.000 % |
376.92/377.08	c |   4019931 |     253    34014   150994 |        1   222550     21 |  0.000 % |
376.92/377.08	c |   4067520 |     253    34014   150994 |        1   270139     22 |  0.000 % |
376.92/377.08	c |   4080342 |     253    34014   150994 |        1   282961     22 |  0.000 % |
376.92/377.08	c |   4093982 |     253    34014   150994 |        1   154798     18 |  0.000 % |
376.92/377.08	c |   4100963 |     253    34014   150994 |        1   161779     19 |  0.000 % |
376.92/377.08	c |   4111990 |     253    34014   150994 |        1   172806     19 |  0.000 % |
376.92/377.08	c |   4134310 |     253    34014   150994 |        1   195126     20 |  0.000 % |
376.92/377.08	c |   4141685 |     253    34014   150994 |        1   202501     20 |  0.000 % |
376.92/377.08	c |   4141872 |     253    34014   150994 |        1   202688     20 |  0.000 % |
376.92/377.08	c |   4148863 |     253    34014   150994 |        1   209679     20 |  0.000 % |
376.92/377.08	c |   4152166 |     253    34014   150994 |        1   212982     20 |  0.000 % |
376.92/377.08	c |   4152633 |     253    34014   150994 |        1   213449     20 |  0.000 % |
376.92/377.08	c |   4152733 |     253    34014   150994 |        1   213549     20 |  0.000 % |
376.92/377.08	c |   4152835 |     253    34014   150994 |        1   213651     20 |  0.000 % |
376.92/377.08	c |   4167492 |     253    34014   150994 |        1   228308     21 |  0.000 % |
376.92/377.08	c |   4183990 |     253    34014   150994 |        1   244806     21 |  0.000 % |
376.92/377.08	c |   4184090 |     253    34014   150994 |        1   244906     21 |  0.000 % |
376.92/377.08	c |   4185446 |     253    34014   150994 |        1   246262     21 |  0.000 % |
435.12/435.26	c |   4185934 |     253    34014   150994 |        1   246750     21 |  0.000 % |
435.12/435.26	c |   4186036 |     253    34014   150994 |        1   246852     21 |  0.000 % |
435.12/435.26	c |   4190574 |     253    34014   150994 |        1   251390     21 |  0.000 % |
435.12/435.26	c |   4207539 |     253    34014   150994 |        1   268355     21 |  0.000 % |
435.12/435.26	c |   4208062 |     253    34014   150994 |        1   268878     21 |  0.000 % |
435.12/435.26	c |   4221203 |     253    34014   150994 |        1   282019     21 |  0.000 % |
435.12/435.26	c |   4221305 |     253    34014   150994 |        1   282121     21 |  0.000 % |
435.12/435.26	c |   4221405 |     253    34014   150994 |        1   282221     21 |  0.000 % |
435.12/435.26	c |   4243090 |     253    34014   150994 |        1   159500     19 |  0.000 % |
435.12/435.26	c |   4266683 |     253    34014   150994 |        1   183093     19 |  0.000 % |
435.12/435.26	c |   4266784 |     253    34014   150994 |        1   183194     19 |  0.000 % |
435.12/435.26	c |   4269816 |     253    34014   150994 |        1   186226     20 |  0.000 % |
435.12/435.26	c |   4293191 |     253    34014   150994 |        1   209601     20 |  0.000 % |
435.12/435.26	c |   4304684 |     253    34014   150994 |        1   221094     20 |  0.000 % |
435.12/435.26	c |   4306642 |     253    34014   150994 |        1   223052     20 |  0.000 % |
435.12/435.26	c |   4331169 |     253    34014   150994 |        1   247579     21 |  0.000 % |
435.12/435.26	c |   4332456 |     253    34014   150994 |        1   248866     21 |  0.000 % |
435.12/435.26	c |   4369231 |     253    34014   150994 |        1   285641     21 |  0.000 % |
435.12/435.26	c |   4369332 |     253    34014   150994 |        1   285742     21 |  0.000 % |
435.12/435.26	c |   4370972 |     253    34014   150994 |        1   287382     21 |  0.000 % |
435.12/435.26	c |   4374545 |     253    34014   150994 |        1   290955     21 |  0.000 % |
435.12/435.26	c |   4394994 |     253    34014   150994 |        1   164410     18 |  0.000 % |
435.12/435.26	c |   4395094 |     253    34014   150994 |        1   164510     19 |  0.000 % |
435.12/435.26	c |   4396185 |     253    34014   150994 |        1   165601     19 |  0.000 % |
435.12/435.26	c |   4453335 |     253    34014   150994 |        1   222751     20 |  0.000 % |
435.12/435.26	c |   4453662 |     253    34014   150994 |        1   223078     20 |  0.000 % |
435.12/435.26	c |   4460872 |     253    34014   150994 |        1   230288     20 |  0.000 % |
435.12/435.26	c |   4467956 |     253    34014   150994 |        1   237372     20 |  0.000 % |
435.12/435.26	c |   4470365 |     253    34014   150994 |        1   239781     20 |  0.000 % |
435.12/435.26	c |   4470465 |     253    34014   150994 |        1   239881     20 |  0.000 % |
435.12/435.26	c |   4474191 |     253    34014   150994 |        1   243607     21 |  0.000 % |
435.12/435.26	c |   4475861 |     253    34014   150994 |        1   245277     21 |  0.000 % |
435.12/435.26	c |   4477234 |     253    34014   150994 |        1   246650     21 |  0.000 % |
435.12/435.26	c |   4558051 |     253    34014   150994 |        1   177873     19 |  0.000 % |
435.12/435.26	c |   4568947 |     253    34014   150994 |        1   188769     19 |  0.000 % |
435.12/435.26	c |   4585009 |     253    34014   150994 |        1   204831     20 |  0.000 % |
435.12/435.26	c |   4629238 |     253    34014   150994 |        1   249060     21 |  0.000 % |
435.12/435.26	c |   4632655 |     253    34014   150994 |        1   252477     21 |  0.000 % |
435.12/435.26	c |   4634920 |     253    34014   150994 |        1   254742     21 |  0.000 % |
435.12/435.26	c |   4660236 |     253    34014   150994 |        1   280058     21 |  0.000 % |
435.12/435.26	c |   4660336 |     253    34014   150994 |        1   280158     21 |  0.000 % |
435.12/435.26	c |   4662939 |     253    34014   150994 |        1   282761     21 |  0.000 % |
435.12/435.26	c |   4663747 |     253    34014   150994 |        1   283569     21 |  0.000 % |
435.12/435.26	c |   4663847 |     253    34014   150994 |        1   283669     21 |  0.000 % |
435.12/435.26	c |   4663947 |     253    34014   150994 |        1   283769     21 |  0.000 % |
435.12/435.26	c |   4665288 |     253    34014   150994 |        1   285110     21 |  0.000 % |
435.12/435.26	c |   4665388 |     253    34014   150994 |        1   285210     21 |  0.000 % |
435.12/435.26	c |   4709525 |     253    34014   150994 |        1   177152     19 |  0.000 % |
435.12/435.26	c |   4709626 |     253    34014   150994 |        1   177253     19 |  0.000 % |
435.12/435.26	c |   4709726 |     253    34014   150994 |        1   177353     19 |  0.000 % |
478.63/478.73	c |   4709826 |     253    34014   150994 |        1   177453     19 |  0.000 % |
478.63/478.73	c |   4717536 |     253    34014   150994 |        1   185163     19 |  0.000 % |
478.63/478.73	c |   4728641 |     253    34014   150994 |        1   196268     19 |  0.000 % |
478.63/478.73	c |   4731901 |     253    34014   150994 |        1   199528     20 |  0.000 % |
478.63/478.73	c |   4732001 |     253    34014   150994 |        1   199628     20 |  0.000 % |
478.63/478.73	c |   4765566 |     253    34014   150994 |        1   233193     20 |  0.000 % |
478.63/478.73	c |   4783614 |     253    34014   150994 |        1   251241     20 |  0.000 % |
478.63/478.73	c |   4786881 |     253    34014   150994 |        1   254508     20 |  0.000 % |
478.63/478.73	c |   4791826 |     253    34014   150994 |        1   259453     21 |  0.000 % |
478.63/478.73	c |   4792638 |     253    34014   150994 |        1   260265     21 |  0.000 % |
478.63/478.73	c |   4803546 |     253    34014   150994 |        1   271173     21 |  0.000 % |
478.63/478.73	c |   4806037 |     253    34014   150994 |        1   273664     21 |  0.000 % |
478.63/478.73	c |   4826309 |     253    34014   150994 |        1   293936     21 |  0.000 % |
478.63/478.73	c |   4827982 |     253    34014   150994 |        1   295609     21 |  0.000 % |
478.63/478.73	c |   4828204 |     253    34014   150994 |        1   295831     21 |  0.000 % |
478.63/478.73	c |   4849743 |     253    34014   150994 |        1   162567     18 |  0.000 % |
478.63/478.73	c |   4849846 |     253    34014   150994 |        1   162670     18 |  0.000 % |
478.63/478.73	c |   4851618 |     253    34014   150994 |        1   164442     18 |  0.000 % |
478.63/478.73	c |   4856371 |     253    34014   150994 |        1   169195     18 |  0.000 % |
478.63/478.73	c |   4865976 |     253    34014   150994 |        1   178800     19 |  0.000 % |
478.63/478.73	c |   4883057 |     253    34014   150994 |        1   195881     19 |  0.000 % |
478.63/478.73	c |   4891804 |     253    34014   150994 |        1   204628     19 |  0.000 % |
478.63/478.73	c |   4893290 |     253    34014   150994 |        1   206114     20 |  0.000 % |
478.63/478.73	c |   4893815 |     253    34014   150994 |        1   206639     20 |  0.000 % |
478.63/478.73	c |   4901579 |     253    34014   150994 |        1   214403     20 |  0.000 % |
478.63/478.73	c |   4917914 |     253    34014   150994 |        1   230738     20 |  0.000 % |
478.63/478.73	c |   4918707 |     253    34014   150994 |        1   231531     20 |  0.000 % |
478.63/478.73	c |   4919669 |     253    34014   150994 |        1   232493     20 |  0.000 % |
478.63/478.73	c |   4924530 |     253    34014   150994 |        1   237354     20 |  0.000 % |
478.63/478.73	c |   4925492 |     253    34014   150994 |        1   238316     20 |  0.000 % |
478.63/478.73	c |   4935652 |     253    34014   150994 |        1   248476     20 |  0.000 % |
478.63/478.73	c |   4989476 |     253    34014   150994 |        1   302300     21 |  0.000 % |
478.63/478.73	c |   5014907 |     253    34014   150994 |        1   170324     18 |  0.000 % |
478.63/478.73	c |   5022488 |     253    34014   150994 |        1   177905     19 |  0.000 % |
478.63/478.73	c |   5022591 |     253    34014   150994 |        1   178008     19 |  0.000 % |
478.63/478.73	c |   5044811 |     253    34014   150994 |        1   200228     19 |  0.000 % |
478.63/478.73	c |   5045359 |     253    34014   150994 |        1   200776     19 |  0.000 % |
478.63/478.73	c |   5045459 |     253    34014   150994 |        1   200876     19 |  0.000 % |
478.63/478.73	c |   5046516 |     253    34014   150994 |        1   201933     20 |  0.000 % |
478.63/478.73	c |   5048011 |     253    34014   150994 |        1   203428     20 |  0.000 % |
478.63/478.73	c |   5049143 |     253    34014   150994 |        1   204560     20 |  0.000 % |
478.63/478.73	c |   5049243 |     253    34014   150994 |        1   204660     20 |  0.000 % |
478.63/478.73	c |   5059667 |     253    34014   150994 |        1   215084     20 |  0.000 % |
478.63/478.73	c |   5060884 |     253    34014   150994 |        1   216301     20 |  0.000 % |
478.63/478.73	c |   5074181 |     253    34014   150994 |        1   229598     20 |  0.000 % |
478.63/478.73	c |   5112531 |     253    34014   150994 |        1   267948     21 |  0.000 % |
478.63/478.73	c |   5112631 |     253    34014   150994 |        1   268048     21 |  0.000 % |
478.63/478.73	c |   5112879 |     253    34014   150994 |        1   268296     21 |  0.000 % |
478.63/478.73	c |   5112994 |     253    34014   150994 |        1   268411     21 |  0.000 % |
478.63/478.73	c |   5115643 |     253    34014   150994 |        1   271060     21 |  0.000 % |
584.24/584.31	c |   5158555 |     253    34014   150994 |        1   313972     21 |  0.000 % |
584.24/584.31	c |   5314055 |     253    34014   150994 |        1   309475     20 |  0.000 % |
584.24/584.31	c |   5321413 |     253    34014   150994 |        1   316833     20 |  0.000 % |
584.24/584.31	c |   5326287 |     253    34014   150994 |        1   321707     20 |  0.000 % |
584.24/584.31	c |   5331533 |     253    34014   150994 |        1   164348     17 |  0.000 % |
584.24/584.31	c |   5331910 |     253    34014   150994 |        1   164725     17 |  0.000 % |
584.24/584.31	c |   5332012 |     253    34014   150994 |        1   164827     17 |  0.000 % |
584.24/584.31	c |   5332173 |     253    34014   150994 |        1   164988     18 |  0.000 % |
584.24/584.31	c |   5334963 |     253    34014   150994 |        1   167778     18 |  0.000 % |
584.24/584.31	c |   5346427 |     253    34014   150994 |        1   179242     18 |  0.000 % |
584.24/584.31	c |   5397420 |     253    34014   150994 |        1   230235     19 |  0.000 % |
584.24/584.31	c |   5411878 |     253    34014   150994 |        1   244693     19 |  0.000 % |
584.24/584.31	c |   5418778 |     253    34014   150994 |        1   251593     19 |  0.000 % |
584.24/584.31	c |   5426385 |     253    34014   150994 |        1   259200     20 |  0.000 % |
584.24/584.31	c |   5449050 |     253    34014   150994 |        1   281865     20 |  0.000 % |
584.24/584.31	c |   5576864 |     253    34014   150994 |        1   244484     19 |  0.000 % |
584.24/584.31	c |   5581116 |     253    34014   150994 |        1   248736     19 |  0.000 % |
584.24/584.31	c |   5583103 |     253    34014   150994 |        1   250723     19 |  0.000 % |
584.24/584.31	c |   5608915 |     253    34014   150994 |        1   276535     20 |  0.000 % |
584.24/584.31	c |   5610476 |     253    34014   150994 |        1   278096     20 |  0.000 % |
584.24/584.31	c |   5668768 |     253    34014   150994 |        1   168579     18 |  0.000 % |
584.24/584.31	c |   5672409 |     253    34014   150994 |        1   172220     18 |  0.000 % |
584.24/584.31	c |   5732172 |     253    34014   150994 |        1   231983     19 |  0.000 % |
584.24/584.31	c |   5813498 |     253    34014   150994 |        1   313309     20 |  0.000 % |
584.24/584.31	c |   5813977 |     253    34014   150994 |        1   313788     20 |  0.000 % |
584.24/584.32	c |   5824600 |     253    34014   150994 |        1   324411     20 |  0.000 % |
584.24/584.32	c |   5824701 |     253    34014   150994 |        1   324512     20 |  0.000 % |
584.24/584.32	c |   5844372 |     253    34014   150994 |        1   173785     18 |  0.000 % |
584.24/584.32	c |   5844472 |     253    34014   150994 |        1   173885     18 |  0.000 % |
584.24/584.32	c |   5849294 |     253    34014   150994 |        1   178707     18 |  0.000 % |
584.24/584.32	c |   5871316 |     253    34014   150994 |        1   200729     19 |  0.000 % |
584.24/584.32	c |   5879813 |     253    34014   150994 |        1   209226     19 |  0.000 % |
584.24/584.32	c |   5880282 |     253    34014   150994 |        1   209695     19 |  0.000 % |
584.24/584.32	c |   5897697 |     253    34014   150994 |        1   227110     20 |  0.000 % |
584.24/584.32	c |   5897803 |     253    34014   150994 |        1   227216     20 |  0.000 % |
584.24/584.32	c |   5900288 |     253    34014   150994 |        1   229701     20 |  0.000 % |
584.24/584.32	c |   5900390 |     253    34014   150994 |        1   229803     20 |  0.000 % |
584.24/584.32	c |   5918404 |     253    34014   150994 |        1   247817     20 |  0.000 % |
584.24/584.32	c |   5919104 |     253    34014   150994 |        1   248517     20 |  0.000 % |
584.24/584.32	c |   5941842 |     253    34014   150994 |        1   271255     20 |  0.000 % |
584.24/584.32	c |   5953381 |     253    34014   150994 |        1   282794     21 |  0.000 % |
584.24/584.32	c |   5953482 |     253    34014   150994 |        1   282895     21 |  0.000 % |
584.24/584.32	c |   5955279 |     253    34014   150994 |        1   284692     21 |  0.000 % |
584.24/584.32	c |   5955379 |     253    34014   150994 |        1   284792     21 |  0.000 % |
584.24/584.32	c |   5958531 |     253    34014   150994 |        1   287944     21 |  0.000 % |
584.24/584.32	c |   5959505 |     253    34014   150994 |        1   288918     21 |  0.000 % |
584.24/584.32	c |   5959607 |     253    34014   150994 |        1   289020     21 |  0.000 % |
584.24/584.32	c |   5975548 |     253    34014   150994 |        1   304961     21 |  0.000 % |
584.24/584.32	c |   5975772 |     253    34014   150994 |        1   305185     21 |  0.000 % |
584.24/584.32	c |   5987181 |     253    34014   150994 |        1   316594     21 |  0.000 % |
613.93/614.04	c |   5987446 |     253    34014   150994 |        1   316859     21 |  0.000 % |
613.93/614.04	c |   5987549 |     253    34014   150994 |        1   316962     21 |  0.000 % |
613.93/614.04	c |   5991622 |     253    34014   150994 |        1   321035     21 |  0.000 % |
613.93/614.04	c |   5997263 |     253    34014   150994 |        1   326676     21 |  0.000 % |
613.93/614.04	c |   5999307 |     253    34014   150994 |        1   328720     21 |  0.000 % |
613.93/614.04	c |   5999793 |     253    34014   150994 |        1   329206     21 |  0.000 % |
613.93/614.04	c |   6010918 |     253    34014   150994 |        1   340331     22 |  0.000 % |
613.93/614.04	c |   6038037 |     253    34014   150994 |        1   194454     19 |  0.000 % |
613.93/614.04	c |   6053008 |     253    34014   150994 |        1   209425     19 |  0.000 % |
613.93/614.04	c |   6053108 |     253    34014   150994 |        1   209525     19 |  0.000 % |
613.93/614.04	c |   6084959 |     253    34014   150994 |        1   241376     20 |  0.000 % |
613.93/614.04	c |   6092016 |     253    34014   150994 |        1   248433     20 |  0.000 % |
613.93/614.04	c |   6092461 |     253    34014   150994 |        1   248878     20 |  0.000 % |
613.93/614.04	c |   6106015 |     253    34014   150994 |        1   262432     20 |  0.000 % |
613.93/614.04	c |   6109289 |     253    34014   150994 |        1   265706     20 |  0.000 % |
613.93/614.04	c |   6110183 |     253    34014   150994 |        1   266600     20 |  0.000 % |
613.93/614.04	c |   6110985 |     253    34014   150994 |        1   267402     20 |  0.000 % |
613.93/614.04	c |   6111085 |     253    34014   150994 |        1   267502     20 |  0.000 % |
613.93/614.04	c |   6113082 |     253    34014   150994 |        1   269499     20 |  0.000 % |
613.93/614.04	c |   6116065 |     253    34014   150994 |        1   272482     20 |  0.000 % |
613.93/614.04	c |   6120439 |     253    34014   150994 |        1   276856     21 |  0.000 % |
613.93/614.04	c |   6122769 |     253    34014   150994 |        1   279186     21 |  0.000 % |
613.93/614.04	c |   6128981 |     253    34014   150994 |        1   285398     21 |  0.000 % |
613.93/614.04	c |   6130201 |     253    34014   150994 |        1   286618     21 |  0.000 % |
613.93/614.04	c |   6136454 |     253    34014   150994 |        1   292871     21 |  0.000 % |
613.93/614.04	c |   6136555 |     253    34014   150994 |        1   292972     21 |  0.000 % |
613.93/614.04	c |   6147937 |     253    34014   150994 |        1   304354     21 |  0.000 % |
613.93/614.04	c |   6150071 |     253    34014   150994 |        1   306488     21 |  0.000 % |
613.93/614.04	c |   6150172 |     253    34014   150994 |        1   306589     21 |  0.000 % |
613.93/614.04	c |   6151546 |     253    34014   150994 |        1   307963     21 |  0.000 % |
613.93/614.04	c |   6159875 |     253    34014   150994 |        1   316292     21 |  0.000 % |
613.93/614.04	c |   6161543 |     253    34014   150994 |        1   317960     21 |  0.000 % |
613.93/614.04	c |   6161680 |     253    34014   150994 |        1   318097     21 |  0.000 % |
613.93/614.04	c |   6187645 |     253    34014   150994 |        1   344062     21 |  0.000 % |
613.93/614.04	c |   6197575 |     253    34014   150994 |        1   178392     18 |  0.000 % |
613.93/614.04	c |   6213283 |     253    34014   150994 |        1   194100     18 |  0.000 % |
613.93/614.04	c |   6214819 |     253    34014   150994 |        1   195636     18 |  0.000 % |
613.93/614.04	c |   6214940 |     253    34014   150994 |        1   195757     18 |  0.000 % |
613.93/614.04	c |   6215040 |     253    34014   150994 |        1   195857     18 |  0.000 % |
613.93/614.04	c |   6215144 |     253    34014   150994 |        1   195961     18 |  0.000 % |
613.93/614.04	c |   6215252 |     253    34014   150994 |        1   196069     18 |  0.000 % |
613.93/614.04	c |   6215353 |     253    34014   150994 |        1   196170     18 |  0.000 % |
613.93/614.04	c |   6225051 |     253    34014   150994 |        1   205868     19 |  0.000 % |
613.93/614.04	c |   6226225 |     253    34014   150994 |        1   207042     19 |  0.000 % |
613.93/614.04	c |   6226325 |     253    34014   150994 |        1   207142     19 |  0.000 % |
613.93/614.04	c |   6229415 |     253    34014   150994 |        1   210232     19 |  0.000 % |
613.93/614.04	c |   6229516 |     253    34014   150994 |        1   210333     19 |  0.000 % |
613.93/614.04	c |   6230260 |     253    34014   150994 |        1   211077     19 |  0.000 % |
613.93/614.04	c |   6233523 |     253    34014   150994 |        1   214340     19 |  0.000 % |
613.93/614.04	c |   6246562 |     253    34014   150994 |        1   227379     19 |  0.000 % |
695.44/695.59	c |   6275427 |     253    34014   150994 |        1   256244     20 |  0.000 % |
695.44/695.59	c |   6275527 |     253    34014   150994 |        1   256344     20 |  0.000 % |
695.44/695.59	c |   6276803 |     253    34014   150994 |        1   257620     20 |  0.000 % |
695.44/695.59	c |   6278144 |     253    34014   150994 |        1   258961     20 |  0.000 % |
695.44/695.59	c |   6288912 |     253    34014   150994 |        1   269729     20 |  0.000 % |
695.44/695.59	c |   6300148 |     253    34014   150994 |        1   280965     20 |  0.000 % |
695.44/695.59	c |   6306982 |     253    34014   150994 |        1   287799     21 |  0.000 % |
695.44/695.59	c |   6472896 |     253    34014   150994 |        1   275511     19 |  0.000 % |
695.44/695.59	c |   6481445 |     253    34014   150994 |        1   284060     20 |  0.000 % |
695.44/695.59	c |   6491473 |     253    34014   150994 |        1   294088     20 |  0.000 % |
695.44/695.59	c |   6494576 |     253    34014   150994 |        1   297191     20 |  0.000 % |
695.44/695.59	c |   6499569 |     253    34014   150994 |        1   302184     20 |  0.000 % |
695.44/695.59	c |   6528520 |     253    34014   150994 |        1   331135     20 |  0.000 % |
695.44/695.59	c |   6529249 |     253    34014   150994 |        1   331864     20 |  0.000 % |
695.44/695.59	c |   6529417 |     253    34014   150994 |        1   332032     20 |  0.000 % |
695.44/695.59	c |   6532833 |     253    34014   150994 |        1   335448     20 |  0.000 % |
695.44/695.59	c |   6538461 |     253    34014   150994 |        1   341076     21 |  0.000 % |
695.44/695.59	c |   6539741 |     253    34014   150994 |        1   342356     21 |  0.000 % |
695.44/695.59	c |   6539891 |     253    34014   150994 |        1   342506     21 |  0.000 % |
695.44/695.59	c |   6540235 |     253    34014   150994 |        1   342850     21 |  0.000 % |
695.44/695.59	c |   6543848 |     253    34014   150994 |        1   346463     21 |  0.000 % |
695.44/695.59	c |   6545654 |     253    34014   150994 |        1   348269     21 |  0.000 % |
695.44/695.59	c |   6545754 |     253    34014   150994 |        1   348369     21 |  0.000 % |
695.44/695.59	c |   6553610 |     253    34014   150994 |        1   356225     21 |  0.000 % |
695.44/695.59	c |   6557151 |     253    34014   150994 |        1   359766     21 |  0.000 % |
695.44/695.59	c |   6557251 |     253    34014   150994 |        1   359866     21 |  0.000 % |
695.44/695.59	c |   6587883 |     253    34014   150994 |        1   209694     18 |  0.000 % |
695.44/695.59	c |   6588637 |     253    34014   150994 |        1   210448     18 |  0.000 % |
695.44/695.59	c |   6601125 |     253    34014   150994 |        1   222936     19 |  0.000 % |
695.44/695.59	c |   6604267 |     253    34014   150994 |        1   226078     19 |  0.000 % |
695.44/695.59	c |   6604883 |     253    34014   150994 |        1   226694     19 |  0.000 % |
695.44/695.59	c |   6604983 |     253    34014   150994 |        1   226794     19 |  0.000 % |
695.44/695.59	c |   6639691 |     253    34014   150994 |        1   261502     19 |  0.000 % |
695.44/695.59	c |   6646633 |     253    34014   150994 |        1   268444     20 |  0.000 % |
695.44/695.59	c |   6649959 |     253    34014   150994 |        1   271770     20 |  0.000 % |
695.44/695.59	c |   6655706 |     253    34014   150994 |        1   277517     20 |  0.000 % |
695.44/695.59	c |   6799711 |     253    34014   150994 |        1   238119     19 |  0.000 % |
695.44/695.59	c |   6844761 |     253    34014   150994 |        1   283169     19 |  0.000 % |
695.44/695.60	c |   6845315 |     253    34014   150994 |        1   283723     19 |  0.000 % |
695.44/695.60	c |   6859710 |     253    34014   150994 |        1   298118     20 |  0.000 % |
695.44/695.60	c |   6864869 |     253    34014   150994 |        1   303277     20 |  0.000 % |
695.44/695.60	c |   6879066 |     253    34014   150994 |        1   317474     20 |  0.000 % |
695.44/695.60	c |   6880405 |     253    34014   150994 |        1   318813     20 |  0.000 % |
695.44/695.60	c |   6880509 |     253    34014   150994 |        1   318917     20 |  0.000 % |
695.44/695.60	c |   6881125 |     253    34014   150994 |        1   319533     20 |  0.000 % |
695.44/695.60	c |   6881753 |     253    34014   150994 |        1   320161     20 |  0.000 % |
695.44/695.60	c |   6881855 |     253    34014   150994 |        1   320263     20 |  0.000 % |
695.44/695.60	c |   6908735 |     253    34014   150994 |        1   347143     20 |  0.000 % |
695.44/695.60	c |   6908837 |     253    34014   150994 |        1   347245     20 |  0.000 % |
695.44/695.60	c |   6918493 |     253    34014   150994 |        1   356901     20 |  0.000 % |
731.64/731.77	c |   6918769 |     253    34014   150994 |        1   357177     20 |  0.000 % |
731.64/731.77	c |   6918910 |     253    34014   150994 |        1   357318     20 |  0.000 % |
731.64/731.77	c |   6919127 |     253    34014   150994 |        1   357535     21 |  0.000 % |
731.64/731.77	c |   6919255 |     253    34014   150994 |        1   357663     21 |  0.000 % |
731.64/731.77	c |   6927535 |     253    34014   150994 |        1   365943     21 |  0.000 % |
731.64/731.77	c |   6942534 |     253    34014   150994 |        1   194943     18 |  0.000 % |
731.64/731.77	c |   6942712 |     253    34014   150994 |        1   195121     18 |  0.000 % |
731.64/731.77	c |   6942812 |     253    34014   150994 |        1   195221     18 |  0.000 % |
731.64/731.77	c |   6943723 |     253    34014   150994 |        1   196132     18 |  0.000 % |
731.64/731.77	c |   6944093 |     253    34014   150994 |        1   196502     18 |  0.000 % |
731.64/731.77	c |   6952184 |     253    34014   150994 |        1   204593     18 |  0.000 % |
731.64/731.77	c |   6952284 |     253    34014   150994 |        1   204693     18 |  0.000 % |
731.64/731.77	c |   6954984 |     253    34014   150994 |        1   207393     18 |  0.000 % |
731.64/731.77	c |   7037011 |     253    34014   150994 |        1   289420     20 |  0.000 % |
731.64/731.77	c |   7041594 |     253    34014   150994 |        1   294003     20 |  0.000 % |
731.64/731.77	c |   7044998 |     253    34014   150994 |        1   297407     20 |  0.000 % |
731.64/731.77	c |   7055840 |     253    34014   150994 |        1   308249     20 |  0.000 % |
731.64/731.77	c |   7057339 |     253    34014   150994 |        1   309748     20 |  0.000 % |
731.64/731.77	c |   7057439 |     253    34014   150994 |        1   309848     20 |  0.000 % |
731.64/731.77	c |   7064537 |     253    34014   150994 |        1   316946     20 |  0.000 % |
731.64/731.77	c |   7079783 |     253    34014   150994 |        1   332192     21 |  0.000 % |
731.64/731.77	c |   7080163 |     253    34014   150994 |        1   332572     21 |  0.000 % |
731.64/731.77	c |   7080263 |     253    34014   150994 |        1   332672     21 |  0.000 % |
731.64/731.77	c |   7080570 |     253    34014   150994 |        1   332979     21 |  0.000 % |
731.64/731.77	c |   7131789 |     253    34014   150994 |        1   195602     18 |  0.000 % |
731.64/731.77	c |   7182528 |     253    34014   150994 |        1   246341     19 |  0.000 % |
731.64/731.77	c |   7184677 |     253    34014   150994 |        1   248490     20 |  0.000 % |
731.64/731.77	c |   7184779 |     253    34014   150994 |        1   248592     20 |  0.000 % |
731.64/731.77	c |   7184881 |     253    34014   150994 |        1   248694     20 |  0.000 % |
731.64/731.77	c |   7187875 |     253    34014   150994 |        1   251688     20 |  0.000 % |
731.64/731.77	c |   7193098 |     253    34014   150994 |        1   256911     20 |  0.000 % |
731.64/731.77	c |   7202825 |     253    34014   150994 |        1   266638     20 |  0.000 % |
731.64/731.77	c |   7205721 |     253    34014   150994 |        1   269534     20 |  0.000 % |
731.64/731.77	c |   7206985 |     253    34014   150994 |        1   270798     20 |  0.000 % |
731.64/731.77	c |   7216639 |     253    34014   150994 |        1   280452     20 |  0.000 % |
731.64/731.77	c |   7217368 |     253    34014   150994 |        1   281181     20 |  0.000 % |
731.64/731.77	c |   7218118 |     253    34014   150994 |        1   281931     20 |  0.000 % |
731.64/731.77	c |   7223690 |     253    34014   150994 |        1   287503     20 |  0.005 % |
731.64/731.77	c ===============================================================================
731.64/731.77	c restarts              : 726
731.64/731.77	c nb ReduceDB           : 73
731.64/731.77	c nb removed Clauses    : 6936187
731.64/731.77	c nb learnts DL2        : 15
731.64/731.77	c nb learnts size 2     : 5
731.64/731.77	c nb learnts size 1     : 0
731.64/731.77	c conflicts             : 7223690        (9876 /sec)
731.64/731.77	c decisions             : 8664331        (0.00 % random) (11845 /sec)
731.64/731.77	c propagations          : 243214064      (332508 /sec)
731.64/731.77	c conflict literals     : 177102840      (49.42 % deleted)
731.64/731.77	c nb reduced Clauses    : 10053
731.64/731.77	c CPU time              : 731.454 s
731.64/731.77	
731.64/731.78	s SATISFIABLE
731.64/731.78	v 1 2 3 4 5 6 7 8 9 10 11 -12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 -35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 -56 -57 58 59 60 61 62 63 64 65 66 -67 68 69 70 71 -72 73 74 75 76 77 78 79 80 -81 -82 83 84 85 86 87 88 -89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 -112 -113 114 115 116 -117 -118 119 120 121 122 123 124 -125 126 127 128 129 130 131 132 133 134 135 -136 137 138 139 140 141 142 143 144 145 146 147 -148 149 150 -151 152 153 154 155 156 157 158 159 160 161 162 -163 164 165 166 167 168 169 170 171 172 173 -174 175 176 177 178 179 180 -181 -182 183 184 185 -186 -187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 -210 211 212 213 214 215 216 -217 218 219 220 221 222 223 224 225 226 -227 228 229 230 231 -232 233 234 235 236 237 238 239 240 241 242 -243 244 245 246 247 248 249 250 251 252 253 0

Verifier Data

OK

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-3303494-1306933786/watcher-3303494-1306933786 -o /tmp/evaluation-result-3303494-1306933786/solver-3303494-1306933786 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303494-1306933786.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.04 2.05 2.00 2/518 23974
/proc/meminfo: memFree=21833832/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 804975280 8912896 252 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23974/statm: 2176 252 211 178 0 69 0

[startup+0.142614 s]
/proc/loadavg: 2.04 2.05 2.00 2/518 23974
/proc/meminfo: memFree=21833832/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.200603 s]
/proc/loadavg: 2.04 2.05 2.00 2/518 23974
/proc/meminfo: memFree=21833832/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.300586 s]
/proc/loadavg: 2.04 2.05 2.00 2/518 23974
/proc/meminfo: memFree=21833832/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+0.700503 s]
/proc/loadavg: 2.04 2.05 2.00 2/518 23974
/proc/meminfo: memFree=21833832/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8704

[startup+1.50035 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23977
/proc/meminfo: memFree=21825016/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=25464 CPUtime=1.43 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 3986 0 0 0 143 0 0 0 25 0 1 0 804975284 26075136 2590 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23977/statm: 6366 2590 249 17 0 3007 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34168

[startup+3.10103 s]
/proc/loadavg: 2.04 2.05 2.00 3/520 23977
/proc/meminfo: memFree=21819808/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=25464 CPUtime=3.02 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 4449 0 0 0 301 1 0 0 25 0 1 0 804975284 26075136 3040 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23977/statm: 6366 3040 249 17 0 3007 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 34168

[startup+6.30044 s]
/proc/loadavg: 2.03 2.05 2.00 3/520 23977
/proc/meminfo: memFree=21815552/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=28184 CPUtime=6.18 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 6502 0 0 0 617 1 0 0 25 0 1 0 804975284 28860416 3813 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 7046 3813 249 17 0 3687 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 36888

[startup+12.7012 s]
/proc/loadavg: 2.03 2.04 2.00 3/520 23977
/proc/meminfo: memFree=21808872/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=39116 CPUtime=12.58 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 9368 0 0 0 1256 2 0 0 25 0 1 0 804975284 40054784 6530 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 9779 6530 249 17 0 6420 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 47820

[startup+25.5006 s]
/proc/loadavg: 2.02 2.04 2.00 3/520 23978
/proc/meminfo: memFree=21811572/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=35512 CPUtime=25.38 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 12292 0 0 0 2536 2 0 0 25 0 1 0 804975284 36364288 4886 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 8878 4886 249 17 0 5519 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 44216

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.00 3/520 23979
/proc/meminfo: memFree=21796120/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=55504 CPUtime=50.98 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 18822 0 0 0 5095 3 0 0 25 0 1 0 804975284 56836096 8773 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 13876 8773 249 17 0 10517 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 64208

[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23980
/proc/meminfo: memFree=21776020/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=67108 CPUtime=102.2 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 22872 0 0 0 10216 4 0 0 25 0 1 0 804975284 68718592 12657 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 16777 12657 249 17 0 13418 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 75812

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23981
/proc/meminfo: memFree=21733960/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=85960 CPUtime=162.18 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 38325 0 0 0 16212 6 0 0 25 0 1 0 804975284 88023040 15456 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 21490 15456 249 17 0 18131 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 94664

[startup+222.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23983
/proc/meminfo: memFree=21759724/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=87732 CPUtime=222.2 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 46776 0 0 0 22212 8 0 0 25 0 1 0 804975284 89837568 16755 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 21933 16755 249 17 0 18574 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96436

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/520 23985
/proc/meminfo: memFree=21756840/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=87732 CPUtime=282.19 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 47490 0 0 0 28211 8 0 0 25 0 1 0 804975284 89837568 17443 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 21933 17443 249 17 0 18574 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 96436

[startup+342.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/520 23986
/proc/meminfo: memFree=21724940/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=342.19 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 52802 0 0 0 34210 9 0 0 25 0 1 0 804975284 108961792 22524 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 22524 249 17 0 23243 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 115112

[startup+402.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/520 23988
/proc/meminfo: memFree=21689448/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=402.19 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 53239 0 0 0 40210 9 0 0 25 0 1 0 804975284 108961792 22954 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 22954 249 17 0 23243 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 115112

[startup+462.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/520 23989
/proc/meminfo: memFree=21720904/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=462.19 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 53572 0 0 0 46210 9 0 0 25 0 1 0 804975284 108961792 23274 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23274 249 17 0 23243 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 115112

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/520 23991
/proc/meminfo: memFree=21720000/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=522.2 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 76748 0 0 0 52208 12 0 0 25 0 1 0 804975284 108961792 23343 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23343 249 17 0 23243 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 115112

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 23993
/proc/meminfo: memFree=21719608/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=582.2 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 100641 0 0 0 58205 15 0 0 25 0 1 0 804975284 108961792 23344 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23344 249 17 0 23243 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 115112

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 23994
/proc/meminfo: memFree=21683872/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=642.21 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 126376 0 0 0 64202 19 0 0 25 0 1 0 804975284 108961792 23344 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23344 249 17 0 23243 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 115112

[startup+702.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/520 23996
/proc/meminfo: memFree=21688424/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=702.21 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 152640 0 0 0 70199 22 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 115112

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

[startup+716.801 s]
/proc/loadavg: 2.10 2.04 2.01 3/520 23996
/proc/meminfo: memFree=21649480/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=155728 CPUtime=716.71 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161009 0 0 0 71648 23 0 0 25 0 1 0 804975284 159465472 31693 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 38932 31693 249 17 0 35573 0
Current children cumulated CPU time (s) 716.74
Current children cumulated vsize (KiB) 164432

[startup+723.201 s]
/proc/loadavg: 2.09 2.04 2.01 3/520 23996
/proc/meminfo: memFree=21718424/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=723.11 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 72288 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 723.14
Current children cumulated vsize (KiB) 115112

[startup+726.401 s]
/proc/loadavg: 2.08 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718796/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=726.31 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 72608 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 726.34
Current children cumulated vsize (KiB) 115112

[startup+729.601 s]
/proc/loadavg: 2.08 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718796/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=729.51 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 72928 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 729.54
Current children cumulated vsize (KiB) 115112

[startup+730.401 s]
/proc/loadavg: 2.07 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718916/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=730.33 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 73010 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 730.36
Current children cumulated vsize (KiB) 115112

[startup+731.201 s]
/proc/loadavg: 2.07 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718916/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=731.11 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 73088 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 731.14
Current children cumulated vsize (KiB) 115112

[startup+731.62 s]
/proc/loadavg: 2.07 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718420/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=731.53 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 73130 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 731.56
Current children cumulated vsize (KiB) 115112

[startup+731.701 s]
/proc/loadavg: 2.07 2.04 2.01 3/520 23997
/proc/meminfo: memFree=21718420/32950928 swapFree=34979748/67111528
[pid=23974] ppid=23972 vsize=8704 CPUtime=0.03 cores=0,2,4,6
/proc/23974/stat : 23974 (glucose.sh) S 23972 23974 22442 0 -1 4202496 360 729 0 0 0 0 3 0 25 0 1 0 804975280 8912896 254 33554432000 4194304 4922060 140735869443792 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23974/statm: 2176 254 211 178 0 69 0
[pid=23977] ppid=23974 vsize=106408 CPUtime=731.61 cores=0,2,4,6
/proc/23977/stat : 23977 (glucose_static) R 23974 23974 22442 0 -1 4202496 161755 0 0 0 73138 23 0 0 25 0 1 0 804975284 108961792 23345 33554432000 4194304 4260849 140736257414336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23977/statm: 26602 23345 249 17 0 23243 0
Current children cumulated CPU time (s) 731.64
Current children cumulated vsize (KiB) 115112

Child status: 10
Real time (s): 731.785
CPU time (s): 731.741
CPU user time (s): 731.494
CPU system time (s): 0.246962
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 164432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 731.494
system time used= 0.246962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 1133

runsolver used 4.02639 second user time and 8.39672 second system time

The end

Launcher Data

Begin job on node149 at 2011-06-01 15:09:46
IDJOB=3303494
IDBENCH=83313
IDSOLVER=1687
FILE ID=node149/3303494-1306933786
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-23_505.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303494-1306933786/watcher-3303494-1306933786 -o /tmp/evaluation-result-3303494-1306933786/solver-3303494-1306933786 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303494-1306933786.cnf 

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

MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5
RANDOM SEED=708690594

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:      21834112 kB
Buffers:        295280 kB
Cached:        2246724 kB
SwapCached:      84504 kB
Active:        2039264 kB
Inactive:      8748516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21834112 kB
SwapTotal:    67111528 kB
SwapFree:     34979748 kB
Dirty:            1984 kB
Writeback:           0 kB
AnonPages:     8185416 kB
Mapped:          18104 kB
Slab:           139764 kB
PageTables:     117996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173199416 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:21:58