Trace number 4409329

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
cosoco 2.0 parallelSAT 15.6525 2.43221

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM3130b580259b5cb9fe6f555a4358f6cc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables777
Number of constraints2559
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":777}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity1
Maximum constraint arity777
Distribution of constraint arities[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints2558
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

8.44/1.36	c root propagations     : 723236      
8.44/1.36	c restarts enabled, print stats at every restarts
8.44/1.36	c
8.44/1.36	c
8.44/1.36	c
8.44/1.36	c This is cosoco 2.00 --  
8.44/1.36	c
8.44/1.36	c command line: cosoco -model -nbcores=8 HOME/instance-4409329-1569827781.xml 
8.44/1.36	c ========================================[ Problem Statistics ]===========================================
8.44/1.36	c |                                                                                                       
8.44/1.36	c |  Parse time        :         0.15 s 
8.44/1.36	c |
8.44/1.36	c |               Variables: 777
8.44/1.36	c |            Domain Sizes: 1296..1296
8.44/1.36	c |
8.44/1.36	c |             Constraints: 2559
8.44/1.36	c |                   Arity: 1..777  -- Unary: 578  -- Binary: 1980
8.44/1.36	c | 
8.44/1.36	c |                   Types: 
8.44/1.36	c |                          All Different: 1
8.44/1.36	c |                          Extension: 1980  (nb tuples: 7718..7718) -- (shared: 20400)
8.44/1.36	c |                          Unary: 578
8.44/1.36	c |                          
8.44/1.36	c =========================================================================================================
8.44/1.36	c Parallel mode: Portfolio
8.44/1.36	c [pFactory][Group N°0] created (threads:8).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
8.44/1.36	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
8.44/1.36	c [pFactory][Group N°0] concurrent mode: enabled.
8.44/1.36	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
8.44/1.36	c [pFactory][Group N°0] task 7 launched on thread 6.
8.44/1.36	c [pFactory][Group N°0] task 6 launched on thread 0.
8.44/1.36	c [pFactory][Group N°0] task 5 launched on thread 1.
8.44/1.36	c [pFactory][Group N°0] task 4 launched on thread 2.
8.44/1.36	c [pFactory][Group N°0] task 3 launched on thread 7.
8.44/1.36	c [pFactory][Group N°0] task 2 launched on thread 3.
8.44/1.36	c [pFactory][Group N°0] task 1 launched on thread 5.
8.44/1.36	c [pFactory][Group N°0] task 0 launched on thread 4.
8.44/1.36	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.44/1.38	c root propagations     : 723236      
8.44/1.38	c restarts enabled, print stats at every restarts
8.44/1.38	c
8.44/1.38	c
8.44/1.38	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.17/1.41	c root propagations     : 723236      
9.17/1.41	c restarts enabled, print stats at every restarts
9.17/1.41	c
9.17/1.41	c
9.17/1.41	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.17/1.47	c root propagations     : 723236      
9.17/1.47	c restarts enabled, print stats at every restarts
9.17/1.47	c
9.17/1.47	c
9.17/1.47	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.73/1.51	c root propagations     : 723236      
9.73/1.51	c restarts enabled, print stats at every restarts
9.73/1.51	c
9.73/1.51	c
9.73/1.51	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.73/1.53	c root propagations     : 723236      
9.73/1.53	c restarts enabled, print stats at every restarts
9.73/1.53	c
9.73/1.53	c
9.73/1.53	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.73/1.57	c 0              1              7980           723237         777            0              0   0   0      
9.73/1.57	c 0              2              7980           723238         777            0              0   0   0      
9.73/1.58	c root propagations     : 723236      
9.73/1.58	c restarts enabled, print stats at every restarts
9.73/1.58	c
9.73/1.58	c
9.73/1.58	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
10.31/1.60	c 0              1              7980           723237         777            0              0   0   0      
10.31/1.65	c 0              2              7980           723238         777            0              0   0   0      
10.31/1.65	c 0              1              7980           723237         777            0              0   0   0      
10.31/1.65	c 0              2              7980           723238         777            0              0   0   0      
10.31/1.70	c 0              4              11353          857917         777            0              0   0   0      
10.31/1.70	c 0              1              7980           723237         777            0              0   0   0      
10.84/1.71	c 0              2              7988           723239         777            0              0   0   0      
10.84/1.71	c root propagations     : 723236      
10.84/1.71	c restarts enabled, print stats at every restarts
10.84/1.71	c
10.84/1.71	c
10.84/1.71	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
10.84/1.73	c 0              5              11361          857919         777            0              0   0   0      
10.84/1.74	c 0              4              11518          803099         777            0              0   0   0      
10.84/1.75	c 0              5              11561          803179         777            0              0   0   0      
10.84/1.75	c 0              1              7980           723237         777            0              0   0   0      
11.57/1.81	c 0              7              14777          992599         777            0              0   0   0      
11.57/1.83	c 0              1              7980           723237         777            0              0   0   0      
11.57/1.83	c 0              1              8023           723316         777            0              0   0   0      
11.57/1.83	c 0              7              15099          882966         777            0              0   0   0      
11.57/1.83	c 0              2              8026           723320         777            0              0   0   0      
11.57/1.84	c 0              2              8039           723323         777            0              0   0   0      
11.57/1.84	c 0              8              15115          882973         777            0              0   0   0      
11.57/1.85	c 0              3              8047           723325         777            0              0   0   0      
11.57/1.85	c 0              9              15126          882976         777            0              0   0   0      
11.57/1.86	c 0              3              8042           723324         777            0              0   0   0      
11.57/1.86	c 0              4              8053           723327         777            0              0   0   0      
11.57/1.86	c 0              1              8023           723316         777            0              0   0   0      
11.57/1.86	c 0              2              8075           723388         777            0              0   0   0      
11.57/1.86	c 0              3              8086           723391         777            0              0   0   0      
11.57/1.86	c 0              4              8090           723393         777            0              0   0   0      
11.57/1.86	c 0              5              8104           723401         777            0              0   0   0      
11.57/1.87	c 0              4              11590          840720         777            0              0   0   0      
12.28/1.91	c 0              9              18167          1127206        777            0              0   0   0      
12.28/1.92	c 0              11             18665          962762         777            0              0   0   0      
12.28/1.96	c 0              5              14751          894411         777            0              0   0   0      
12.28/1.97	c 0              6              14759          894413         777            0              0   0   0      
12.28/1.97	c 0              7              14767          894415         777            0              0   0   0      
12.28/1.98	c 0              8              14767          894416         777            0              0   0   0      
12.28/1.98	c 0              9              14767          894417         777            0              0   0   0      
12.28/1.98	c 0              10             14767          894418         777            0              0   0   0      
12.28/1.98	c 0              11             14767          894419         777            0              0   0   0      
12.28/1.98	c 0              12             14767          894420         777            0              0   0   0      
12.28/1.98	c 0              13             14767          894421         777            0              0   0   0      
12.28/1.98	c 0              14             14767          894422         777            0              0   0   0      
12.28/1.98	c 0              15             14767          894423         777            0              0   0   0      
12.28/1.98	c 0              16             14767          894424         777            0              0   0   0      
12.28/1.98	c 0              17             14767          894425         777            0              0   0   0      
12.28/1.98	c 0              18             14767          894426         777            0              0   0   0      
12.28/1.98	c 0              19             14767          894427         777            0              0   0   0      
12.28/1.98	c 0              20             14767          894428         777            0              0   0   0      
12.28/1.98	c 0              21             14767          894429         777            0              0   0   0      
12.28/1.98	c 0              22             14767          894430         777            0              0   0   0      
12.28/1.98	c 0              23             14767          894431         777            0              0   0   0      
12.28/1.98	c 0              24             14767          894432         777            0              0   0   0      
12.28/1.98	c 0              25             14767          894433         777            0              0   0   0      
12.28/1.98	c 0              26             14767          894434         777            0              0   0   0      
12.28/1.98	c 0              27             14767          894435         777            0              0   0   0      
12.28/1.98	c 0              28             14767          894436         777            0              0   0   0      
12.28/1.98	c 0              29             14767          894437         777            0              0   0   0      
12.28/1.98	c 0              30             14767          894438         777            0              0   0   0      
12.28/1.98	c 0              31             14767          894439         777            0              0   0   0      
12.28/1.98	c 0              32             14767          894440         777            0              0   0   0      
12.28/1.98	c 0              33             14767          894441         777            0              0   0   0      
12.28/1.98	c 0              34             14767          894442         777            0              0   0   0      
12.28/1.98	c 0              35             14767          894443         777            0              0   0   0      
12.28/1.98	c 0              36             14767          894444         777            0              0   0   0      
12.28/1.98	c 0              37             14767          894445         777            0              0   0   0      
12.28/1.98	c 0              38             14767          894446         777            0              0   0   0      
12.28/1.98	c 0              39             14767          894447         777            0              0   0   0      
12.28/1.98	c 0              40             14767          894448         777            0              0   0   0      
12.28/1.98	c 0              12             21454          1016445        777            0              0   0   0      
12.28/1.99	c 0              10             21033          1180891        777            0              0   0   0      
12.28/1.99	c 0              13             21469          1016448        777            0              0   0   0      
12.28/1.99	c 0              14             21516          1016530        777            0              0   0   0      
12.28/1.99	c 0              15             21516          1016531        777            0              0   0   0      
12.28/1.99	c 0              16             21516          1016532        777            0              0   0   0      
12.28/1.99	c 0              17             21516          1016533        777            0              0   0   0      
12.28/1.99	c 0              18             21516          1016534        777            0              0   0   0      
12.28/1.99	c 0              19             21516          1016535        777            0              0   0   0      
12.28/1.99	c 0              20             21516          1016536        777            0              0   0   0      
12.28/1.99	c 0              21             21516          1016537        777            0              0   0   0      
12.28/1.99	c 0              11             21086          1180963        777            0              0   0   0      
12.28/2.01	c 0              12             21124          1180989        777            0              0   0   0      
12.28/2.01	c 0              13             21160          1181005        777            0              0   0   0      
13.09/2.03	c 0              23             24936          1043171        777            0              0   0   0      
13.09/2.04	c 0              42             18409          995951         777            0              0   0   0      
13.09/2.07	c 0              15             24621          1291791        777            0              0   0   0      
14.55/2.22	c 0              24             28186          1272254        777            0              0   0   0      
14.55/2.25	c 0              16             27493          1520846        777            0              0   0   0      
14.55/2.26	c 0              25             28186          1272255        777            0              0   0   0      
14.55/2.26	c 0              43             21625          1225115        777            0              0   0   0      
14.55/2.26	c 0              26             28186          1272256        777            0              0   0   0      
14.55/2.26	c 0              27             28186          1272257        777            0              0   0   0      
14.55/2.26	c 0              28             28186          1272258        777            0              0   0   0      
14.55/2.26	c 0              29             28186          1272259        777            0              0   0   0      
14.55/2.26	c 0              30             28186          1272260        777            0              0   0   0      
14.55/2.26	c 0              31             28186          1272261        777            0              0   0   0      
14.55/2.26	c 0              32             28186          1272262        777            0              0   0   0      
14.55/2.26	c 0              33             28186          1272263        777            0              0   0   0      
14.55/2.26	c 0              34             28186          1272264        777            0              0   0   0      
14.55/2.26	c 0              35             28186          1272265        777            0              0   0   0      
14.55/2.26	c 0              36             28186          1272266        777            0              0   0   0      
14.55/2.26	c 0              37             28186          1272267        777            0              0   0   0      
14.55/2.26	c 0              38             28186          1272268        777            0              0   0   0      
14.55/2.26	c 0              39             28186          1272269        777            0              0   0   0      
14.55/2.26	c 0              40             28186          1272270        777            0              0   0   0      
14.55/2.26	c 0              41             28186          1272271        777            0              0   0   0      
14.55/2.26	c 0              42             28186          1272272        777            0              0   0   0      
14.55/2.26	c 0              43             28186          1272273        777            0              0   0   0      
14.55/2.26	c 0              44             28186          1272274        777            0              0   0   0      
14.55/2.26	c 0              45             28186          1272275        777            0              0   0   0      
14.55/2.26	c 0              46             28186          1272276        777            0              0   0   0      
14.55/2.26	c 0              47             28186          1272277        777            0              0   0   0      
14.55/2.26	c 0              48             28186          1272278        777            0              0   0   0      
14.55/2.26	c 0              49             28186          1272279        777            0              0   0   0      
14.55/2.27	c 0              50             28186          1272280        777            0              0   0   0      
14.55/2.27	c 0              51             28186          1272281        777            0              0   0   0      
14.55/2.27	c 0              52             28186          1272282        777            0              0   0   0      
14.55/2.27	c 0              53             28186          1272283        777            0              0   0   0      
14.55/2.27	c 0              54             28186          1272284        777            0              0   0   0      
14.55/2.27	c 0              55             28186          1272285        777            0              0   0   0      
14.55/2.27	c 0              56             28186          1272286        777            0              0   0   0      
14.55/2.27	c 0              57             28186          1272287        777            0              0   0   0      
14.55/2.27	c 0              58             28186          1272288        777            0              0   0   0      
14.55/2.27	c 0              59             28186          1272289        777            0              0   0   0      
14.55/2.27	c 0              60             28186          1272290        777            0              0   0   0      
14.55/2.27	c 0              61             28186          1272291        777            0              0   0   0      
14.55/2.27	c 0              62             28186          1272292        777            0              0   0   0      
14.55/2.27	c 0              63             28186          1272293        777            0              0   0   0      
14.55/2.27	c 0              64             28186          1272294        777            0              0   0   0      
14.55/2.27	c 0              65             28186          1272295        777            0              0   0   0      
14.55/2.27	c 0              66             28186          1272296        777            0              0   0   0      
14.55/2.27	c 0              67             28186          1272297        777            0              0   0   0      
14.55/2.27	c 0              68             28186          1272298        777            0              0   0   0      
14.55/2.27	c 0              69             28186          1272299        777            0              0   0   0      
14.55/2.27	c 0              70             28186          1272300        777            0              0   0   0      
14.55/2.27	c 0              71             28186          1272301        777            0              0   0   0      
14.55/2.27	c 0              72             28186          1272302        777            0              0   0   0      
14.55/2.27	c 0              73             28186          1272303        777            0              0   0   0      
14.55/2.27	c 0              74             28186          1272304        777            0              0   0   0      
14.55/2.27	c 0              75             28186          1272305        777            0              0   0   0      
14.55/2.27	c 0              76             28186          1272306        777            0              0   0   0      
14.55/2.27	c 0              77             28186          1272307        777            0              0   0   0      
14.55/2.27	c 0              78             28186          1272308        777            0              0   0   0      
14.55/2.27	c 0              79             28186          1272309        777            0              0   0   0      
14.55/2.27	c 0              80             28186          1272310        777            0              0   0   0      
14.55/2.27	c 0              81             28186          1272311        777            0              0   0   0      
14.55/2.27	c 0              83             28196          1272317        777            0              0   0   0      
14.55/2.27	c 0              84             28196          1272318        777            0              0   0   0      
14.55/2.27	c 0              85             28196          1272319        777            0              0   0   0      
14.55/2.27	c 0              86             28196          1272320        777            0              0   0   0      
14.55/2.27	c 0              87             28196          1272321        777            0              0   0   0      
14.55/2.27	c 0              89             28206          1272327        777            0              0   0   0      
14.55/2.27	c 0              90             28206          1272328        777            0              0   0   0      
14.55/2.27	c 0              91             28206          1272329        777            0              0   0   0      
14.55/2.27	c 0              92             28206          1272330        777            0              0   0   0      
14.55/2.27	c 0              93             28206          1272331        777            0              0   0   0      
14.55/2.27	c 0              94             28206          1272332        777            0              0   0   0      
14.55/2.27	c 0              95             28206          1272333        777            0              0   0   0      
14.55/2.27	c 0              96             28206          1272334        777            0              0   0   0      
14.55/2.27	c 0              97             28206          1272335        777            0              0   0   0      
14.55/2.27	c 0              98             28206          1272336        777            0              0   0   0      
14.55/2.27	c 0              99             28206          1272337        777            0              0   0   0      
14.55/2.27	c 0              101            28216          1272343        777            0              0   0   0      
14.55/2.27	c 0              103            28226          1272349        777            0              0   0   0      
14.55/2.27	c 0              104            28226          1272350        777            0              0   0   0      
14.55/2.27	c 0              105            28226          1272351        777            0              0   0   0      
14.55/2.27	c 0              107            28236          1272357        777            0              0   0   0      
14.55/2.27	c 0              108            28236          1272358        777            0              0   0   0      
14.55/2.27	c 0              109            28236          1272359        777            0              0   0   0      
14.55/2.27	c 0              110            28236          1272360        777            0              0   0   0      
14.55/2.27	c 0              111            28236          1272361        777            0              0   0   0      
14.55/2.27	c 0              112            28236          1272362        777            0              0   0   0      
14.55/2.27	c 0              113            28236          1272363        777            0              0   0   0      
14.55/2.27	c 0              114            28236          1272364        777            0              0   0   0      
14.55/2.27	c 0              115            28236          1272365        777            0              0   0   0      
14.55/2.27	c 0              116            28236          1272366        777            0              0   0   0      
14.55/2.27	c 0              117            28236          1272367        777            0              0   0   0      
14.55/2.27	c 0              118            28236          1272368        777            0              0   0   0      
14.55/2.27	c 0              119            28236          1272369        777            0              0   0   0      
14.55/2.27	c 0              120            28236          1272370        777            0              0   0   0      
14.55/2.27	c 0              121            28236          1272371        777            0              0   0   0      
14.55/2.27	c 0              122            28236          1272372        777            0              0   0   0      
14.55/2.27	c 0              123            28236          1272373        777            0              0   0   0      
14.55/2.27	c 0              124            28236          1272374        777            0              0   0   0      
14.55/2.27	c 0              125            28236          1272375        777            0              0   0   0      
14.55/2.27	c 0              126            28236          1272376        777            0              0   0   0      
14.55/2.27	c 0              127            28236          1272377        777            0              0   0   0      
14.55/2.27	c 0              128            28236          1272378        777            0              0   0   0      
14.55/2.27	c 0              129            28236          1272379        777            0              0   0   0      
14.55/2.27	c 0              130            28236          1272380        777            0              0   0   0      
14.55/2.27	c 0              131            28236          1272381        777            0              0   0   0      
14.55/2.27	c 0              132            28236          1272382        777            0              0   0   0      
14.55/2.27	c 0              133            28236          1272383        777            0              0   0   0      
14.55/2.27	c 0              134            28236          1272384        777            0              0   0   0      
14.55/2.27	c 0              135            28236          1272385        777            0              0   0   0      
14.55/2.27	c 0              136            28236          1272386        777            0              0   0   0      
14.55/2.27	c 0              137            28236          1272387        777            0              0   0   0      
14.55/2.27	c 0              138            28236          1272388        777            0              0   0   0      
14.55/2.27	c 0              139            28236          1272389        777            0              0   0   0      
14.55/2.27	c 0              140            28236          1272390        777            0              0   0   0      
14.55/2.27	c 0              141            28236          1272391        777            0              0   0   0      
14.55/2.27	c 0              142            28236          1272392        777            0              0   0   0      
14.55/2.27	c 0              143            28236          1272393        777            0              0   0   0      
14.55/2.27	c 0              144            28236          1272394        777            0              0   0   0      
14.55/2.27	c 0              145            28236          1272395        777            0              0   0   0      
14.55/2.27	c 0              146            28236          1272396        777            0              0   0   0      
14.55/2.27	c 0              147            28236          1272397        777            0              0   0   0      
14.55/2.27	c 0              148            28236          1272398        777            0              0   0   0      
14.55/2.27	c 0              149            28236          1272399        777            0              0   0   0      
14.55/2.27	c 0              150            28236          1272400        777            0              0   0   0      
14.55/2.27	c 0              151            28236          1272401        777            0              0   0   0      
14.55/2.27	c 0              152            28236          1272402        777            0              0   0   0      
14.55/2.27	c 0              153            28236          1272403        777            0              0   0   0      
14.55/2.27	c 0              154            28236          1272404        777            0              0   0   0      
14.55/2.27	c 0              155            28236          1272405        777            0              0   0   0      
14.55/2.27	c 0              156            28236          1272406        777            0              0   0   0      
14.55/2.27	c 0              157            28236          1272407        777            0              0   0   0      
14.55/2.27	c 0              158            28236          1272408        777            0              0   0   0      
14.55/2.27	c 0              159            28236          1272409        777            0              0   0   0      
14.55/2.27	c 0              160            28236          1272410        777            0              0   0   0      
14.55/2.27	c 0              161            28236          1272411        777            0              0   0   0      
14.55/2.27	c 0              162            28236          1272412        777            0              0   0   0      
14.55/2.27	c 0              163            28236          1272413        777            0              0   0   0      
14.55/2.27	c 0              164            28236          1272414        777            0              0   0   0      
14.55/2.27	c 0              165            28236          1272415        777            0              0   0   0      
14.55/2.27	c 0              166            28236          1272416        777            0              0   0   0      
14.55/2.27	c 0              167            28236          1272417        777            0              0   0   0      
14.55/2.27	c 0              168            28236          1272418        777            0              0   0   0      
14.55/2.27	c 0              169            28236          1272419        777            0              0   0   0      
14.55/2.27	c 0              170            28236          1272420        777            0              0   0   0      
14.55/2.27	c 0              171            28236          1272421        777            0              0   0   0      
14.55/2.27	c 0              172            28236          1272422        777            0              0   0   0      
14.55/2.27	c 0              173            28236          1272423        777            0              0   0   0      
14.55/2.27	c 0              174            28236          1272424        777            0              0   0   0      
14.55/2.27	c 0              175            28236          1272425        777            0              0   0   0      
14.55/2.27	c 0              176            28236          1272426        777            0              0   0   0      
14.55/2.27	c 0              177            28236          1272427        777            0              0   0   0      
14.55/2.27	c 0              178            28236          1272428        777            0              0   0   0      
14.55/2.27	c 0              179            28236          1272429        777            0              0   0   0      
14.55/2.27	c 0              180            28236          1272430        777            0              0   0   0      
14.55/2.27	c 0              181            28236          1272431        777            0              0   0   0      
14.55/2.27	c 0              182            28236          1272432        777            0              0   0   0      
14.55/2.27	c 0              183            28236          1272433        777            0              0   0   0      
14.55/2.27	c 0              184            28236          1272434        777            0              0   0   0      
14.55/2.27	c 0              185            28236          1272435        777            0              0   0   0      
14.55/2.27	c 0              186            28236          1272436        777            0              0   0   0      
14.55/2.27	c 0              187            28236          1272437        777            0              0   0   0      
14.55/2.27	c 0              188            28236          1272438        777            0              0   0   0      
14.55/2.27	c 0              189            28236          1272439        777            0              0   0   0      
14.55/2.27	c 0              190            28236          1272440        777            0              0   0   0      
14.55/2.27	c 0              191            28236          1272441        777            0              0   0   0      
14.55/2.27	c 0              192            28236          1272442        777            0              0   0   0      
14.55/2.27	c 0              193            28236          1272443        777            0              0   0   0      
14.55/2.27	c 0              194            28236          1272444        777            0              0   0   0      
14.55/2.27	c 0              195            28236          1272445        777            0              0   0   0      
14.55/2.27	c 0              196            28236          1272446        777            0              0   0   0      
14.55/2.27	c 0              197            28236          1272447        777            0              0   0   0      
14.55/2.27	c 0              198            28236          1272448        777            0              0   0   0      
14.55/2.27	c 0              199            28236          1272449        777            0              0   0   0      
14.55/2.27	c 0              200            28236          1272450        777            0              0   0   0      
14.55/2.27	c 0              201            28236          1272451        777            0              0   0   0      
14.55/2.27	c 0              202            28236          1272452        777            0              0   0   0      
14.55/2.27	c 0              203            28236          1272453        777            0              0   0   0      
14.55/2.27	c 0              204            28236          1272454        777            0              0   0   0      
14.55/2.27	c 0              205            28236          1272455        777            0              0   0   0      
14.55/2.27	c 0              206            28236          1272456        777            0              0   0   0      
14.55/2.27	c 0              207            28236          1272457        777            0              0   0   0      
14.55/2.27	c 0              208            28236          1272458        777            0              0   0   0      
14.55/2.27	c 0              209            28236          1272459        777            0              0   0   0      
14.55/2.27	c 0              210            28236          1272460        777            0              0   0   0      
14.55/2.27	c 0              211            28236          1272461        777            0              0   0   0      
14.55/2.27	c 0              212            28236          1272462        777            0              0   0   0      
14.55/2.27	c 0              213            28236          1272463        777            0              0   0   0      
14.55/2.27	c 0              214            28236          1272464        777            0              0   0   0      
14.55/2.27	c 0              215            28236          1272465        777            0              0   0   0      
14.55/2.27	c 0              216            28236          1272466        777            0              0   0   0      
14.55/2.27	c 0              217            28236          1272467        777            0              0   0   0      
14.55/2.27	c 0              218            28236          1272468        777            0              0   0   0      
14.55/2.27	c 0              219            28236          1272469        777            0              0   0   0      
14.55/2.27	c 0              220            28236          1272470        777            0              0   0   0      
14.55/2.27	c 0              221            28236          1272471        777            0              0   0   0      
14.55/2.27	c 0              222            28236          1272472        777            0              0   0   0      
14.55/2.27	c 0              223            28236          1272473        777            0              0   0   0      
14.55/2.27	c 0              224            28236          1272474        777            0              0   0   0      
14.55/2.27	c 0              225            28236          1272475        777            0              0   0   0      
14.55/2.27	c 0              226            28236          1272476        777            0              0   0   0      
14.55/2.27	c 0              227            28236          1272477        777            0              0   0   0      
14.55/2.27	c 0              228            28236          1272478        777            0              0   0   0      
14.55/2.27	c 0              229            28236          1272479        777            0              0   0   0      
14.55/2.27	c 0              230            28236          1272480        777            0              0   0   0      
14.55/2.27	c 0              231            28236          1272481        777            0              0   0   0      
14.55/2.27	c 0              232            28236          1272482        777            0              0   0   0      
14.55/2.27	c 0              233            28236          1272483        777            0              0   0   0      
14.55/2.27	c 0              234            28236          1272484        777            0              0   0   0      
14.55/2.27	c 0              235            28236          1272485        777            0              0   0   0      
14.55/2.27	c 0              236            28236          1272486        777            0              0   0   0      
14.55/2.27	c 0              237            28236          1272487        777            0              0   0   0      
14.55/2.27	c 0              238            28236          1272488        777            0              0   0   0      
14.55/2.27	c 0              239            28236          1272489        777            0              0   0   0      
14.55/2.27	c 0              240            28236          1272490        777            0              0   0   0      
14.55/2.27	c 0              241            28236          1272491        777            0              0   0   0      
14.55/2.27	c 0              242            28236          1272492        777            0              0   0   0      
14.55/2.27	c 0              243            28236          1272493        777            0              0   0   0      
14.55/2.27	c 0              244            28236          1272494        777            0              0   0   0      
14.55/2.27	c 0              245            28236          1272495        777            0              0   0   0      
14.55/2.27	c 0              246            28236          1272496        777            0              0   0   0      
14.55/2.27	c 0              247            28236          1272497        777            0              0   0   0      
14.55/2.27	c 0              248            28236          1272498        777            0              0   0   0      
14.55/2.27	c 0              249            28236          1272499        777            0              0   0   0      
14.55/2.27	c 0              250            28236          1272500        777            0              0   0   0      
14.55/2.27	c 0              251            28236          1272501        777            0              0   0   0      
14.55/2.27	c 0              252            28236          1272502        777            0              0   0   0      
14.55/2.27	c 0              253            28236          1272503        777            0              0   0   0      
14.55/2.27	c 0              254            28236          1272504        777            0              0   0   0      
14.55/2.27	c 0              255            28236          1272505        777            0              0   0   0      
14.55/2.27	c 0              257            28246          1272511        777            0              0   0   0      
14.55/2.27	c 0              258            28246          1272512        777            0              0   0   0      
14.55/2.27	c 0              259            28246          1272513        777            0              0   0   0      
14.55/2.27	c 0              260            28246          1272514        777            0              0   0   0      
14.55/2.27	c 0              261            28246          1272515        777            0              0   0   0      
14.55/2.27	c 0              262            28246          1272516        777            0              0   0   0      
14.55/2.27	c 0              263            28246          1272517        777            0              0   0   0      
14.55/2.27	c 0              264            28246          1272518        777            0              0   0   0      
14.55/2.27	c 0              265            28246          1272519        777            0              0   0   0      
14.55/2.27	c 0              266            28246          1272520        777            0              0   0   0      
14.55/2.27	c 0              267            28246          1272521        777            0              0   0   0      
14.55/2.27	c 0              268            28246          1272522        777            0              0   0   0      
14.55/2.27	c 0              269            28246          1272523        777            0              0   0   0      
14.55/2.27	c 0              270            28246          1272524        777            0              0   0   0      
14.55/2.27	c 0              271            28246          1272525        777            0              0   0   0      
14.55/2.27	c 0              272            28246          1272526        777            0              0   0   0      
14.55/2.27	c 0              273            28246          1272527        777            0              0   0   0      
14.55/2.27	c 0              274            28246          1272528        777            0              0   0   0      
14.55/2.27	c 0              275            28246          1272529        777            0              0   0   0      
14.55/2.27	c 0              276            28246          1272530        777            0              0   0   0      
14.55/2.27	c 0              277            28246          1272531        777            0              0   0   0      
14.55/2.27	c 0              278            28246          1272532        777            0              0   0   0      
14.55/2.27	c 0              279            28246          1272533        777            0              0   0   0      
14.55/2.27	c 0              280            28246          1272534        777            0              0   0   0      
14.55/2.27	c 0              281            28246          1272535        777            0              0   0   0      
14.55/2.27	c 0              282            28246          1272536        777            0              0   0   0      
14.55/2.27	c 0              283            28246          1272537        777            0              0   0   0      
14.55/2.27	c 0              284            28246          1272538        777            0              0   0   0      
14.55/2.27	c 0              285            28246          1272539        777            0              0   0   0      
14.55/2.27	c 0              286            28246          1272540        777            0              0   0   0      
14.55/2.27	c 0              287            28246          1272541        777            0              0   0   0      
14.55/2.27	c 0              288            28246          1272542        777            0              0   0   0      
14.55/2.27	c 0              289            28246          1272543        777            0              0   0   0      
14.55/2.27	c 0              290            28246          1272544        777            0              0   0   0      
14.55/2.27	c 0              291            28246          1272545        777            0              0   0   0      
14.55/2.27	c 0              292            28246          1272546        777            0              0   0   0      
14.55/2.27	c 0              293            28246          1272547        777            0              0   0   0      
14.55/2.27	c 0              294            28246          1272548        777            0              0   0   0      
14.55/2.27	c 0              295            28246          1272549        777            0              0   0   0      
14.55/2.27	c 0              296            28246          1272550        777            0              0   0   0      
14.55/2.27	c 0              297            28246          1272551        777            0              0   0   0      
14.55/2.27	c 0              298            28246          1272552        777            0              0   0   0      
14.55/2.27	c 0              299            28246          1272553        777            0              0   0   0      
14.55/2.27	c 0              300            28246          1272554        777            0              0   0   0      
14.55/2.27	c 0              301            28246          1272555        777            0              0   0   0      
14.55/2.27	c 0              302            28246          1272556        777            0              0   0   0      
14.55/2.27	c 0              303            28246          1272557        777            0              0   0   0      
14.55/2.27	c 0              304            28246          1272558        777            0              0   0   0      
14.55/2.27	c 0              305            28246          1272559        777            0              0   0   0      
14.55/2.27	c 0              306            28246          1272560        777            0              0   0   0      
14.55/2.27	c 0              307            28246          1272561        777            0              0   0   0      
14.55/2.27	c 0              308            28246          1272562        777            0              0   0   0      
14.55/2.27	c 0              309            28246          1272563        777            0              0   0   0      
14.55/2.27	c 0              310            28246          1272564        777            0              0   0   0      
14.55/2.27	c 0              311            28246          1272565        777            0              0   0   0      
14.55/2.27	c 0              312            28246          1272566        777            0              0   0   0      
14.55/2.27	c 0              313            28246          1272567        777            0              0   0   0      
14.55/2.27	c 0              314            28246          1272568        777            0              0   0   0      
14.55/2.27	c 0              315            28246          1272569        777            0              0   0   0      
14.55/2.27	c 0              316            28246          1272570        777            0              0   0   0      
14.55/2.27	c 0              317            28246          1272571        777            0              0   0   0      
14.55/2.27	c 0              318            28246          1272572        777            0              0   0   0      
14.55/2.27	c 0              319            28246          1272573        777            0              0   0   0      
14.55/2.27	c 0              320            28246          1272574        777            0              0   0   0      
14.55/2.27	c 0              17             27493          1520847        777            0              0   0   0      
14.55/2.27	c 0              322            28256          1272580        777            0              0   0   0      
14.55/2.27	c 0              323            28256          1272581        777            0              0   0   0      
14.55/2.27	c 0              324            28256          1272582        777            0              0   0   0      
14.55/2.27	c 0              325            28256          1272583        777            0              0   0   0      
14.55/2.27	c 0              326            28256          1272584        777            0              0   0   0      
14.55/2.27	c 0              327            28256          1272585        777            0              0   0   0      
14.55/2.27	c 0              328            28256          1272586        777            0              0   0   0      
14.55/2.27	c 0              329            28256          1272587        777            0              0   0   0      
14.55/2.27	c 0              330            28256          1272588        777            0              0   0   0      
14.55/2.27	c 0              331            28256          1272589        777            0              0   0   0      
14.55/2.27	c 0              332            28256          1272590        777            0              0   0   0      
14.55/2.27	c 0              333            28256          1272591        777            0              0   0   0      
14.55/2.27	c 0              334            28256          1272592        777            0              0   0   0      
14.55/2.27	c 0              335            28256          1272593        777            0              0   0   0      
14.55/2.27	c 0              336            28256          1272594        777            0              0   0   0      
14.55/2.27	c 0              337            28256          1272595        777            0              0   0   0      
14.55/2.27	c 0              338            28256          1272596        777            0              0   0   0      
14.55/2.27	c 0              339            28256          1272597        777            0              0   0   0      
14.55/2.27	c 0              340            28256          1272598        777            0              0   0   0      
14.55/2.27	c 0              341            28256          1272599        777            0              0   0   0      
14.55/2.27	c 0              342            28256          1272600        777            0              0   0   0      
14.55/2.27	c 0              343            28256          1272601        777            0              0   0   0      
14.55/2.27	c 0              344            28256          1272602        777            0              0   0   0      
14.55/2.27	c 0              345            28256          1272603        777            0              0   0   0      
14.55/2.27	c 0              346            28256          1272604        777            0              0   0   0      
14.55/2.27	c 0              347            28256          1272605        777            0              0   0   0      
14.55/2.27	c 0              348            28256          1272606        777            0              0   0   0      
14.55/2.28	c 0              349            28256          1272607        777            0              0   0   0      
14.55/2.28	c 0              350            28256          1272608        777            0              0   0   0      
14.55/2.28	c 0              351            28256          1272609        777            0              0   0   0      
14.55/2.28	c 0              352            28256          1272610        777            0              0   0   0      
14.55/2.28	c 0              353            28256          1272611        777            0              0   0   0      
14.55/2.28	c 0              354            28256          1272612        777            0              0   0   0      
14.55/2.28	c 0              355            28256          1272613        777            0              0   0   0      
14.55/2.28	c 0              357            28266          1272619        777            0              0   0   0      
14.55/2.28	c 0              358            28266          1272620        777            0              0   0   0      
14.55/2.28	c 0              359            28266          1272621        777            0              0   0   0      
14.55/2.28	c 0              360            28266          1272622        777            0              0   0   0      
14.55/2.28	c 0              361            28266          1272623        777            0              0   0   0      
14.55/2.28	c 0              362            28266          1272624        777            0              0   0   0      
14.55/2.28	c 0              363            28266          1272625        777            0              0   0   0      
14.55/2.28	c 0              364            28266          1272626        777            0              0   0   0      
14.55/2.28	c 0              365            28266          1272627        777            0              0   0   0      
14.55/2.28	c 0              366            28266          1272628        777            0              0   0   0      
14.55/2.28	c 0              367            28266          1272629        777            0              0   0   0      
14.55/2.28	c 0              368            28266          1272630        777            0              0   0   0      
14.55/2.28	c 0              369            28266          1272631        777            0              0   0   0      
14.55/2.28	c 0              370            28266          1272632        777            0              0   0   0      
14.55/2.28	c 0              371            28266          1272633        777            0              0   0   0      
14.55/2.28	c 0              372            28266          1272634        777            0              0   0   0      
14.55/2.28	c 0              373            28266          1272635        777            0              0   0   0      
14.55/2.28	c 0              374            28266          1272636        777            0              0   0   0      
14.55/2.28	c 0              375            28266          1272637        777            0              0   0   0      
14.55/2.28	c 0              376            28266          1272638        777            0              0   0   0      
14.55/2.28	c 0              377            28266          1272639        777            0              0   0   0      
14.55/2.28	c 0              378            28266          1272640        777            0              0   0   0      
14.55/2.28	c 0              379            28266          1272641        777            0              0   0   0      
14.55/2.28	c 0              380            28266          1272642        777            0              0   0   0      
14.55/2.28	c 0              381            28266          1272643        777            0              0   0   0      
14.55/2.28	c 0              382            28266          1272644        777            0              0   0   0      
14.55/2.28	c 0              383            28266          1272645        777            0              0   0   0      
14.55/2.28	c 0              384            28266          1272646        777            0              0   0   0      
14.55/2.28	c 0              385            28266          1272647        777            0              0   0   0      
14.55/2.28	c 0              386            28266          1272648        777            0              0   0   0      
14.55/2.28	c 0              388            28276          1272654        777            0              0   0   0      
14.55/2.28	c 0              389            28276          1272655        777            0              0   0   0      
14.55/2.28	c 0              390            28276          1272656        777            0              0   0   0      
14.55/2.28	c 0              391            28276          1272657        777            0              0   0   0      
14.55/2.28	c 0              392            28276          1272658        777            0              0   0   0      
14.55/2.28	c 0              393            28276          1272659        777            0              0   0   0      
14.55/2.28	c 0              394            28276          1272660        777            0              0   0   0      
14.55/2.28	c 0              395            28276          1272661        777            0              0   0   0      
14.55/2.28	c 0              396            28276          1272662        777            0              0   0   0      
14.55/2.28	c 0              397            28276          1272663        777            0              0   0   0      
14.55/2.28	c 0              398            28276          1272664        777            0              0   0   0      
14.55/2.28	c 0              399            28276          1272665        777            0              0   0   0      
14.55/2.28	c 0              400            28276          1272666        777            0              0   0   0      
14.55/2.28	c 0              401            28276          1272667        777            0              0   0   0      
14.55/2.28	c 0              402            28276          1272668        777            0              0   0   0      
14.55/2.28	c 0              403            28276          1272669        777            0              0   0   0      
14.55/2.28	c 0              404            28276          1272670        777            0              0   0   0      
14.55/2.28	c 0              405            28276          1272671        777            0              0   0   0      
14.55/2.28	c 0              406            28276          1272672        777            0              0   0   0      
14.55/2.28	c 0              407            28276          1272673        777            0              0   0   0      
14.55/2.28	c 0              408            28276          1272674        777            0              0   0   0      
14.55/2.28	c 0              409            28276          1272675        777            0              0   0   0      
14.55/2.28	c 0              410            28276          1272676        777            0              0   0   0      
14.55/2.28	c 0              411            28276          1272677        777            0              0   0   0      
14.55/2.28	c 0              412            28276          1272678        777            0              0   0   0      
14.55/2.28	c 0              413            28276          1272679        777            0              0   0   0      
14.55/2.28	c 0              414            28276          1272680        777            0              0   0   0      
14.55/2.28	c 0              415            28276          1272681        777            0              0   0   0      
14.55/2.28	c 0              416            28276          1272682        777            0              0   0   0      
14.55/2.28	c 0              417            28276          1272683        777            0              0   0   0      
14.55/2.28	c 0              418            28276          1272684        777            0              0   0   0      
14.55/2.28	c 0              419            28276          1272685        777            0              0   0   0      
14.55/2.28	c 0              420            28276          1272686        777            0              0   0   0      
14.55/2.28	c 0              421            28276          1272687        777            0              0   0   0      
14.55/2.28	c 0              422            28276          1272688        777            0              0   0   0      
14.55/2.28	c 0              423            28276          1272689        777            0              0   0   0      
14.55/2.28	c 0              424            28276          1272690        777            0              0   0   0      
14.55/2.28	c 0              425            28276          1272691        777            0              0   0   0      
14.55/2.28	c 0              426            28276          1272692        777            0              0   0   0      
14.55/2.28	c 0              427            28276          1272693        777            0              0   0   0      
14.55/2.28	c 0              18             27493          1520848        777            0              0   0   0      
14.55/2.28	c 0              428            28276          1272694        777            0              0   0   0      
14.55/2.28	c 0              429            28276          1272695        777            0              0   0   0      
14.55/2.28	c 0              430            28276          1272696        777            0              0   0   0      
14.55/2.28	c 0              431            28276          1272697        777            0              0   0   0      
14.55/2.28	c 0              432            28276          1272698        777            0              0   0   0      
14.55/2.28	c 0              433            28276          1272699        777            0              0   0   0      
14.55/2.28	c 0              434            28276          1272700        777            0              0   0   0      
14.55/2.28	c 0              435            28276          1272701        777            0              0   0   0      
14.55/2.28	c 0              436            28276          1272702        777            0              0   0   0      
14.55/2.28	c 0              437            28276          1272703        777            0              0   0   0      
14.55/2.28	c 0              438            28276          1272704        777            0              0   0   0      
14.55/2.28	c 0              439            28276          1272705        777            0              0   0   0      
14.55/2.28	c 0              440            28276          1272706        777            0              0   0   0      
14.55/2.28	c 0              19             27493          1520849        777            0              0   0   0      
14.55/2.28	c 0              20             27493          1520850        777            0              0   0   0      
14.55/2.28	c 0              21             27493          1520851        777            0              0   0   0      
14.55/2.28	c 0              23             27501          1520853        777            0              0   0   0      
14.55/2.28	c 0              24             27501          1520854        777            0              0   0   0      
14.55/2.28	c 0              25             27501          1520855        777            0              0   0   0      
14.55/2.28	c 0              442            28286          1272712        777            0              0   0   0      
14.55/2.28	c 0              27             27511          1520857        777            0              0   0   0      
14.55/2.28	c 0              443            28286          1272713        777            0              0   0   0      
14.55/2.28	c 0              444            28286          1272714        777            0              0   0   0      
14.55/2.28	c c 0              0              28             27511          1520858        445            77728286          01272715        777            0              0   0   0 0   0   0      
14.55/2.28	c 0              446            28286          1272716        777            0              0   0   0      
14.55/2.28	c 0              447            28286          1272717        777            0              0   0   0      
14.55/2.28	c 0              448            28286          1272718        777            0              0   0   0      
14.55/2.28	c 0              449            28286          1272719        777            0              0   0   0      
14.55/2.28	c 0              450            28286          1272720        777            0              0   0   0      
14.55/2.28	c 0              451            28286          1272721        777            0              0   0   0      
14.55/2.28	c 0              452            28286          1272722        777            0              0   0   0      
14.55/2.28	c 0              453            28286          1272723        777            0              0   0   0      
14.55/2.28	c 0              454            28286          1272724        777            0              0   0   0      
14.55/2.28	c 0              455            28286          1272725        777            0              0   0   0      
14.55/2.28	c 0              456            28286          1272726        777            0              0   0   0      
14.55/2.28	c 0              457            28286          1272727        777            0              0   0   0      
14.55/2.28	c 0              458            28286          1272728        777            0              0   0   0      
14.55/2.28	c 0              459            28286          1272729        777            0              0   0   0      
14.55/2.28	c 0              460            28286          1272730        777            0              0   0   0      
14.55/2.28	c 0              461            28286          1272731        777            0              0   0   0      
14.55/2.28	c 0              462            28286          1272732        777            0              0   0   0      
14.55/2.28	c 0              463            28286          1272733        777            0              0   0   0      
14.55/2.28	c 0              464            28286          1272734        777            0              0   0   0      
14.55/2.28	c 0              465            28286          1272735        777            0              0   0   0      
14.55/2.28	c 0              466            28286          1272736        777            0              0   0   0      
14.55/2.28	     
14.55/2.28	c 0              29             27511          1520859        777            0              0   0   0      
14.55/2.28	c 0              30             27511          1520860        777            0              0   0   0      
14.55/2.28	c 0              31             27511          1520861        777            0              0   0   0      
14.55/2.28	c 0              32             27511          1520862        777            0              0   0   0      
14.55/2.28	c 0              33             27511          1520863        777            0              0   0   0      
14.55/2.28	c 0              34             27511          1520864        777            0              0   0   0      
14.55/2.28	c 0              35             27511          1520865        777            0              0   0   0      
14.55/2.28	c 0              36             27511          1520866        777            0              0   0   0      
14.55/2.28	c 0              37             27511          1520867        777            0              0   0   0      
14.55/2.28	c 0              38             27511          1520868        777            0              0   0   0      
14.55/2.28	c 0              39             27511          1520869        777            0              0   0   0      
14.55/2.28	c 0              40             27511          1520870        777            0              0   0   0      
14.55/2.28	c 0              41             27511          1520871        777            0              0   0   0      
14.55/2.28	c 0              468            28296          1272742        777            0              0   0   0      
14.55/2.28	c 0              469            28296          1272743        777            0              0   0   0      
14.55/2.28	c 0              470            28296          1272744        777            0              0   0   0      
14.55/2.28	c 0              471            28296          1272745        777            0              0   0   0      
14.55/2.28	c 0              472            28296          1272746        777            0              0   0   0      
14.55/2.28	c 0              473            28296          1272747        777            0              0   0   0      
14.55/2.28	c 0              474            28296          1272748        777            0              0   0   0      
14.55/2.28	c 0              475            28296          1272749        777            0              0   0   0      
14.55/2.28	c 0              476            28296          1272750        777            0              0   0   0      
14.55/2.28	c 0              477            28296          1272751        777            0              0   0   0      
14.55/2.28	c 0              478            28296          1272752        777            0              0   0   0      
14.55/2.28	c 0              479            28296          1272753        777            0              0   0   0      
14.55/2.28	c 0              480            28296          1272754        777            0              0   0   0      
14.55/2.28	c 0              481            28296          1272755        777            0              0   0   0      
14.55/2.28	c 0              482            28296          1272756        777            0              0   0   0      
14.55/2.28	c 0              483            28296          1272757        777            0              0   0   0      
14.55/2.28	c 0              484            28296          1272758        777            0              0   0   0      
14.55/2.28	c 0              485            28296          1272759        777            0              0   0   0      
14.55/2.28	c 0              42             27511          1520872        777            0              c 0   0   00               486             28296              1272760
14.55/2.28	777            0              0   0   0      
14.55/2.28	c 0              487            28296          1272761        777            0              0   0   0      
14.55/2.28	c 0              43             27511          1520873        777            0              c 0              488            28296          1272762        0   0   0777             0                   
14.55/2.28	0   0   0      
14.55/2.28	c 0              489            28296          1272763        777            0              0   0   0      
14.55/2.28	c 0              490            28296          1272764        777            0              0   0   0      
14.55/2.28	c 0              44             27511          1520874        777            0              0   0   0      
14.55/2.28	c 0              45             27511          1520875        777            0              0   0   0      
14.55/2.28	c 0              46             27511          1520876        777            0              0   0   0      
14.55/2.28	c 0              47             27511          1520877        777            0              0   0   0      
14.55/2.28	c 0              48             27511          1520878        777            0              0   0   0      
14.55/2.28	c 0              49             27511          1520879        777            0              0   0   0      
14.55/2.28	c 0              50             27511          1520880        777            0              0   0   0      
14.55/2.28	c 0              51             27511          1520881        777            0              0   0   0      
14.55/2.28	c 0              52             27511          1520882        777            0              0   0   0      
14.55/2.28	c 0              53             27511          1520883        777            0              0   0   0      
14.55/2.28	c 0              54             27511          1520884        777            0              0   0   0      
14.55/2.28	c 0              55             27511          1520885        777            0              0   0   0      
14.55/2.28	c 0              56             27511          1520886        777            0              0   0   0      
14.55/2.28	c 0              492            28306          1272770        777            0              c 0              57             27511          1520887        777            0              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c 0              58             27511          1520888        777            0              0   0   0      
14.55/2.28	c 0              493            28306          1272771        777            0              0   0   0      
14.55/2.28	c 0              494            28306          1272772        777            0              0   0   0      
14.55/2.28	c 0              59             27511          1520889        777            0              0   0   0      
14.55/2.28	c 0              60             27511          1520890        777            0              0   0   0      
14.55/2.28	c 0              61             27511          1520891        777            0              0   0   0      
14.55/2.28	c 0              62             27511          1520892        777            0              0   0   0      
14.55/2.28	c 0              495            28306          1272773        777            0              0   0   0      
14.55/2.28	c 0              c 63             0              496            28306          275111272774        1520893777            777            0              0              0   0   0      
14.55/2.28	c 0              497            28306          1272775        777            0              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c 0              498            28306          1272776        777            0              0   0   0      
14.55/2.28	c 0              499            28306          1272777        777            0              0   0   0      
14.55/2.28	c 0              500            28306          1272778        777            0              0   0   0      
14.55/2.28	c 0              501            28306          1272779        777            0              0   0   0      
14.55/2.28	c 0              502            28306          1272780        777            0              0   0   0      
14.55/2.28	c 0              503            28306          1272781        777            0              0   0   0      
14.55/2.28	c 0              64             27511          1520894        777            0              0   0   0      
14.55/2.28	c 0              65             27511          1520895        777            0              0   0   0      
14.55/2.28	c 0              66             27511          1520896        777            0              0   0   0      
14.55/2.28	c 0              67             27511          1520897        777            0              0   0   0      
14.55/2.28	c 0              68             27511          1520898        777            0              0   0   0      
14.55/2.28	c 0              69             27511          1520899        777            0              0   0   0      
14.55/2.28	c 0              70             27511          1520900        777            0              0   0   0      
14.55/2.28	c 0              71             27511          1520901        777            0              0   0   0      
14.55/2.28	c 0              72             27511          1520902        777            0              0   0   0      
14.55/2.28	c 0              73             27511          1520903        777            0              0   0   0      
14.55/2.28	c 0              74             27511          1520904        777            0              0   0   0      
14.55/2.28	c 0              75             27511          1520905        777            0              0   0   0      
14.55/2.28	c 0              76             27511          1520906        777            0              0   0   0      
14.55/2.28	c 0              77             27511          1520907        777            0              0   0   0      
14.55/2.28	c 0              78             27511          1520908        777            0              0   0   0      
14.55/2.28	c 0              79             27511          1520909        777            0              0   0   0      
14.55/2.28	c 0              505            28316          1272787        777            0              0   0   0      
14.55/2.28	c 0              506            28316          1272788        777            0              0   0   0      
14.55/2.28	c 0              80             27511          1520910        777            0              0   0   0      
14.55/2.28	c 0              81             27511          1520911        777            0              0   0   0      
14.55/2.28	c 0              82             27511          1520912        777            0              0   0   0      
14.55/2.28	c 0              84             27521          1520914        777            0              0   0   0      
14.55/2.28	c 0              86             27529          1520916        777            0              0   0   0      
14.55/2.28	c 0              87             27529          1520917        777            0              0   0   0      
14.55/2.28	c 0              508            28326          1272794        777            0              0   0   0      
14.55/2.28	c 0              509            28326          1272795        777            0              0   0   0      
14.55/2.28	c 0              88             27529          1520918        777            0              0   0   0      
14.55/2.28	c 0              89             27529          1520919        777            0              0   0   0      
14.55/2.28	c 0              90             27529          1520920        777            0              0   0   0      
14.55/2.28	c 0              91             27529          1520921        777            0              0   0   0      
14.55/2.28	c 0              92             27529          1520922        777            0              0   0   0      
14.55/2.28	c 0              93             27529          1520923        777            0              0   0   0      
14.55/2.28	c 0              94             27529          1520924        777            0              0   0   0      
14.55/2.28	c 0              95             27529          1520925        777            0              0   0   0      
14.55/2.28	c 0              96             27529          1520926        777            0              0   0   0      
14.55/2.28	c 0              97             27529          1520927        777            0              0   0   0      
14.55/2.28	c 0              98             27529          1520928        777            0              0   0   0      
14.55/2.28	c c 0              511            28336          1272801        7770              0              99             27529          1520929        777            0   0   00
14.55/2.28	0   0   0      
14.55/2.28	c 0              512            c 28336          1272802        0              777            100            27529          0              1520930777            0              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c 0              513            28336          1272803        777            0              0   0   0      
14.55/2.28	c 0              101            27529          1520931        777            0              0   0   0      
14.55/2.28	c 0              102            27529          1520932        777            0              0   0   0      
14.55/2.28	c 0              514            28336          1272804        777            0              0   0   0      
14.55/2.28	c 0              515            28336          1272805        777            0              0   0   0      
14.55/2.28	c 0              516            28336          1272806        777            0              c 0              0   0   0 103             27529              
14.55/2.28	c 0              517            28336          1272807        777            0              0   0   0      
14.55/2.28	1520933        777            0              0   0   0      
14.55/2.28	c 0              104            27529          1520934        777            0              0   0   0      
14.55/2.28	c 0              105            27529          1520935        777            0              0   0   0      
14.55/2.28	c 0              106            27529          1520936        777            0              0   0   0      
14.55/2.28	c 0              107            27529          1520937        777            0              0   0   0      
14.55/2.28	c 0              108            27529          1520938        777            0              0   0   0      
14.55/2.28	c 0              109            27529          1520939        777            0              0   0   0      
14.55/2.28	c 0              110            27529          1520940        777            0              0   0   0      
14.55/2.28	c 0              111            27529          1520941        777            0              0   0   0      
14.55/2.28	c 0              112            27529          1520942        777            0              0   0   0      
14.55/2.28	c 0              113            27529          1520943        777            0              0   0   0      
14.55/2.28	c 0              114            27529          1520944        777            0              0   0   0      
14.55/2.28	c 0              115            27529          1520945        777            0              0   0   0      
14.55/2.28	c 0              519            28346          1272813        777            0              0   0   0      
14.55/2.28	c 0              117            27537          1520947        777            0              0   0   0      
14.55/2.28	c 0              119            27547          1520949        777            0              0   0   0      
14.55/2.28	c 0              120            27547          1520950        777            0              0   0   0      
14.55/2.28	c 0              121            27547          1520951        777            0              0   0   0      
14.55/2.28	c 0              122            27547          1520952        777            0              0   0   0      
14.55/2.28	c 0              123            27547          1520953        777            0              0   0   0      
14.55/2.28	c 0              124            27547          1520954        777            0              0   0   0      
14.55/2.28	c 0              125            27547          1520955        777            0              0   0   0      
14.55/2.28	c 0              521            28356          1272819        777            0              0   0   0      
14.55/2.28	c 0              126            27547          1520956        777            0              0   0   0      
14.55/2.28	c 0              522            28356          1272820        777            0              0   0   0      
14.55/2.28	c c 0              0              127            523            27547          28356          1520957        1272821        777            777            0              00   0   0    0   0   0   
14.55/2.28	c 0              524            28356          1272822        777            0              0   0   0      
14.55/2.28	c 0              525            28356          1272823        777            0              0   0   0      
14.55/2.28	     
14.55/2.28	c 0              128            27547          1520958        777            0              0   0   0      
14.55/2.28	c 0              129            27547          1520959        777            0              0   0   0      
14.55/2.28	c 0              130            27547          1520960        777            0              0   0   0      
14.55/2.28	c 0              131            27547          1520961        777            0              0   0   0      
14.55/2.28	c 0              132            27547          1520962        777            0              0   0   0      
14.55/2.28	c 0              133            27547          1520963        777            0              0   0   0      
14.55/2.28	c 0              134            27547          1520964        777            0              0   0   0      
14.55/2.28	c 0              135            27547          1520965        777            0              0   0   0      
14.55/2.28	c 0              136            27547          1520966        777            0              0   0   0      
14.55/2.28	c 0              137            27547          1520967        777            0              0   0   0      
14.55/2.28	c 0              138            27547          1520968        777            0              0   0   0      
14.55/2.28	c 0              139            27547          1520969        777            0              0   0   0      
14.55/2.28	c 0              527            28366          1272829        777            0              0   0   0      
14.55/2.28	c 0              528            28366          1272830        777            0              0   0   0      
14.55/2.28	c 0              140            27547          1520970        777            0              0   0   0      
14.55/2.28	c 0              141            27547          1520971        777            0              0   0   0      
14.55/2.28	c 0              142            27547          1520972        777            0              0   0   0      
14.55/2.28	c 0              143            27547          1520973        777            0              0   0   0      
14.55/2.28	c 0              144            27547          1520974        777            0              0   0   0      
14.55/2.28	c 0              145            27547          1520975        777            0              0   0   0      
14.55/2.28	c 0              146            27547          1520976        777            0              0   0   0      
14.55/2.28	c 0              147            27547          1520977        777            0              0   0   0      
14.55/2.28	c 0              148            27547          1520978        777            0              0   0   0      
14.55/2.28	c 0              149            27547          1520979        777            0              0   0   0      
14.55/2.28	c 0              150            27547          1520980        777            0              0   0   0      
14.55/2.28	c 0              151            27547          1520981        777            0              0   0   0      
14.55/2.28	c 0              152            27547          1520982        777            0              0   0   0      
14.55/2.28	c 0              153            27547          1520983        777            0              0   0   0      
14.55/2.28	c 0              154            27547          1520984        777            0              0   0   0      
14.55/2.28	c 0              155            27547          1520985        777            0              0   0   0      
14.55/2.28	c 0              530            28376          1272836        777            0              0   0   0      
14.55/2.28	c 0              156            27547          1520986        777            0              0   0   0      
14.55/2.28	c 0              531            28376          1272837        777            0              0   0   0      
14.55/2.28	c c 0              532            28376          1272838        0              777            157            27547          1520987        0              7770              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c 0              158            27547          1520988        777            0              0   0   0      
14.55/2.28	c 0              159            27547          1520989        777            0              0   0   0      
14.55/2.28	c 0              160            27547          1520990        777            0              0   0   0      
14.55/2.28	c 0              533            28376          1272839        777            0              c 0   0   00              161               27547           1520991         777             0              
14.55/2.28	0   0   0      
14.55/2.28	c 0              534            28376          1272840        777            0              0   0   0      
14.55/2.28	c 0              162            27547          1520992        777            0              0   0   0      
14.55/2.28	c 0              163            27547          1520993        777            0              0   0   0      
14.55/2.28	c 0              164            27547          1520994        777            0              0   0   0      
14.55/2.28	c 0              165            27547          1520995        777            0              0   0   0      
14.55/2.28	c 0              166            27547          1520996        777            0              0   0   0      
14.55/2.28	c 0              168            27557          1520998        777            0              0   0   0      
14.55/2.28	c 0              170            27565          1521000        777            0              0   0   0      
14.55/2.28	c 0              171            27565          1521001        777            0              0   0   0      
14.55/2.28	c 0              536            28386          1272846        777            0              0   0   0      
14.55/2.28	c 0              172            27565          1521002        777            0              0   0   0      
14.55/2.28	c 0              537            28386          1272847        777            0              0   0   0      
14.55/2.28	c 0              538            28386          1272848        777            0              0   0   0      
14.55/2.28	c 0              539            28386          1272849        777            0              0   0   0      
14.55/2.28	c 0              540            28386          1272850        777            0              c 0              0   0   0173            27565          1521003        777
14.55/2.28	0              0   0   0      
14.55/2.28	c 0              174            27565          1521004        777            0              0   0   0      
14.55/2.28	c 0              175            27565          1521005        777            0              0   0   0      
14.55/2.28	c c 0              0              541176            27565          28386          15210061272851        7770              7770              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c c 0              542            0              28386          1272852        777            177            0              275651521007        777            0              0   0   0      0   0   0  
14.55/2.28	    
14.55/2.28	c 0              543            28386          1272853        777            0              0   0   0      
14.55/2.28	c 0              544            28386          1272854        777            0              0   0   0      
14.55/2.28	c 0              545            28386          1272855        777            0              0   0   0      
14.55/2.28	c 0              178            27565          1521008        777            0              0   0   0      
14.55/2.28	c 0              179            27565          1521009        777            0              0   0   0      
14.55/2.28	c 0              546            28386          1272856        777            0              0   0   0      
14.55/2.28	c 0              180            27565          1521010        777            0              0   0   0      
14.55/2.28	c 0              547            28386          1272857        777            0              0   0   0      
14.55/2.28	c 0              548            28386          1272858        777            0              0   0   0      
14.55/2.28	c 0              549            28386          1272859        777            0              0   0   0      
14.55/2.28	c 0              550            28386          1272860        777            0              0   0   0c     0               181             27565          
14.55/2.28	1521011        777            0              c 0   0   00               551             28386          1272861         777             0                
14.55/2.28	c 0              182            27565          1521012        777            0              0   0   0      
14.55/2.28	0   0   0      
14.55/2.28	c 0              552            28386          1272862        777            0              0   0   0      
14.55/2.28	c 0              553            28386          1272863        777            0              0   0   0     c  
14.55/2.28	c 0              554            28386          1272864        777            0              0   0   0      
14.55/2.28	c 0              555            28386          1272865        777            0              0   0   0      
14.55/2.28	c 0              556            28386          1272866        777            0              0   0   0      
14.55/2.28	c 0              557            28386          1272867        777            0              0   0   0      
14.55/2.28	c 0              558            28386          1272868        777            0              0   0   0      
14.55/2.28	c 0              559            28386          1272869        777            0              0   0   0      
14.55/2.28	c 0              560            28386          1272870        777            0              0   0   0      
14.55/2.28	c 0              561            28386          1272871        777            0              0   0   0      
14.55/2.28	c 0              562            28386          1272872        777            0              0   0   0      
14.55/2.28	c 0              563            28386          1272873        777            0              0   0   0      
14.55/2.28	c 0              564            28386          1272874        777            0              0   0   0      
14.55/2.28	c 0              565            28386          1272875        777            0              0   0   0      
14.55/2.28	c 0              566            28386          1272876        777            0              0   0   0      
14.55/2.28	c 0              567            28386          1272877        777            0              0   0   0      
14.55/2.28	c 0              568            28386          1272878        777            0              0   0   0      
14.55/2.28	c 0              569            28386          1272879        777            0              0   0   0      
14.55/2.28	c 0              570            28386          1272880        777            0              0   0   0      
14.55/2.28	c 0              571            28386          1272881        777            0              0   0   0      
14.55/2.28	c 0              572            28386          1272882        777            0              0   0   0      
14.55/2.28	c 0              573            28386          1272883        777            0              0   0   0      
14.55/2.28	c 0              574            28386          1272884        777            0              0   0   0      
14.55/2.28	0              183            27565          1521013        777            0              0   0   0      
14.55/2.28	c 0              184            27565          1521014        777            0              0   0   0      
14.55/2.28	c 0              185            27565          1521015        777            0              0   0   0      
14.55/2.28	c 0              186            27565          1521016        777            0              0   0   0      
14.55/2.28	c 0              187            27565          1521017        777            0              0   0   0      
14.55/2.28	c 0              188            27565          1521018        777            0              0   0   0      
14.55/2.28	c 0              189            27565          1521019        777            0              0   0   0      
14.55/2.28	c 0              190            27565          1521020        777            0              0   0   0      
14.55/2.28	c 0              191            27565          1521021        777            0              0   0   0      
14.55/2.28	c 0              192            27565          1521022        777            0              0   0   0      
14.55/2.28	c 0              193            27565          1521023        777            0              0   0   0      
14.55/2.28	c 0              194            27565          1521024        777            0              0   0   0      
14.55/2.28	c 0              576            28396          1272890        777            0              0   0   0      
14.55/2.28	c 0              577            28396          1272891        777            0              0   0   0      
14.55/2.28	c 0              578            28396          1272892        777            0              0   0   0      
14.55/2.28	c 0              196            27573          1521026        777            0              0   0   0      
14.55/2.28	c 0              197            27573          1521027        777            0              0   0   0      
14.55/2.28	c 0              198            27573          1521028        777            0              0   0   0      
14.55/2.28	c 0              199            27573          1521029        777            0              0   0   0      
14.55/2.28	c 0              200            27573          1521030        777            0              0   0   0      
14.55/2.28	c 0              201            27573          1521031        777            0              0   0   0      
14.55/2.28	c 0              202            27573          1521032        777            0              0   0   0      
14.55/2.28	c 0              203            27573          1521033        777            0              0   0   0      
14.55/2.28	c 0              204            27573          1521034        777            0              0   0   0      
14.55/2.28	c 0              205            27573          1521035        777            0              0   0   0      
14.55/2.28	c 0              580            28406          1272898        777            0              0   0   0      
14.55/2.28	c 0              206            27573          1521036        777            0              0   0   0      
14.55/2.28	c 0              581            28406          1272899        777            0              0   0   0      
14.55/2.28	c 0              207            27573          1521037        777            0              0   0   0      
14.55/2.28	c 0              208            27573          1521038        777            0              0   0   0      
14.55/2.28	c 0              582            28406          1272900        777            0              0   0   0      
14.55/2.28	c 0              210            27583          1521040        777            0              0   0   0      
14.55/2.29	c 0              211            27583          1521041        777            0              0   0   0      
14.55/2.29	c 0              212            27583          1521042        777            0              0   0   0      
14.55/2.29	c 0              213            27583          1521043        777            0              0   0   0      
14.55/2.29	c 0              214            27583          1521044        777            0              0   0   0      
14.55/2.29	c 0              215            27583          1521045        777            0              0   0   0      
14.55/2.29	c 0              216            27583          1521046        777            0              0   0   0      
14.55/2.29	c 0              584            28416          1272906        777            0              0   0   0      
14.55/2.29	c 0              218            27591          1521048        777            0              0   0   0      
14.55/2.29	c 0              219            27591          1521049        777            0              0   0   0      
14.55/2.29	c 0              220            27591          1521050        777            0              0   0   0      
14.55/2.29	c 0              221            27591          1521051        777            0              0   0   0      
14.55/2.29	c 0              222            27591          1521052        777            0              0   0   0      
14.55/2.29	c 0              223            27591          1521053        777            0              0   0   0      
14.55/2.29	c 0              224            27591          1521054        777            0              0   0   0      
14.55/2.29	c 0              226            27599          1521056        777            0              0   0   0      
14.55/2.29	c 0              227            27599          1521057        777            0              0   0   0      
14.55/2.29	c 0              586            28426          1272912        777            0              0   0   0      
14.55/2.29	c 0              229            27607          1521059        777            0              0   0   0      
14.55/2.29	c 0              231            27615          1521061        777            0              0   0   0      
14.55/2.29	c 0              233            27625          1521063        777            0              0   0   0      
14.55/2.29	c 0              234            27625          1521064        777            0              0   0   0      
14.55/2.29	c 0              235            27625          1521065        777            0              0   0   0      
14.55/2.29	c 0              588            28436          1272918        777            0              0   0   0      
14.55/2.29	c 0              236            27625          1521066        777            0              0   0   0      
14.55/2.29	c 0              589            28436          1272919        777            0              0   0   0      
14.55/2.29	c 0              590            28436          1272920        777            0              0   0   0      
14.55/2.29	c 0              237            27625          1521067        777            0              0   0   0      
14.55/2.29	c 0              238            27625          1521068        777            0              0   0   0      
14.55/2.29	c 0              239            27625          1521069        777            0              0   0   0      
14.55/2.29	c 0              240            27625          1521070        777            0              0   0   0      
14.55/2.29	c 0              241            27625          1521071        777            0              0   0   0      
14.55/2.29	c 0              242            27625          1521072        777            0              0   0   0      
14.55/2.29	c 0              243            27625          1521073        777            0              0   0   0      
14.55/2.29	c 0              245            27633          1521075        777            0              0   0   0      
14.55/2.29	c 0              246            27633          1521076        777            0              0   0   0      
14.55/2.29	c 0              592            28446          1272926        777            0              0   0   0      
14.55/2.29	c 0              593            28446          1272927        777            0              0   0   0      
14.55/2.29	c 0              248            27641          1521078        777            0              0   0   0      
14.55/2.29	c 0              249            27641          1521079        777            0              0   0   0      
14.55/2.29	c 0              250            27641          1521080        777            0              0   0   0      
14.55/2.29	c 0              251            27641          1521081        777            0              0   0   0      
14.55/2.29	c 0              252            27641          1521082        777            0              0   0   0      
14.55/2.29	c 0              253            27641          1521083        777            0              0   0   0      
14.55/2.29	c 0              254            27641          1521084        777            0              0   0   0      
14.55/2.29	c 0              255            27641          1521085        777            0              0   0   0      
14.55/2.29	c 0              256            27641          1521086        777            0              0   0   0      
14.55/2.29	c 0              257            27641          1521087        777            0              0   0   0      
14.55/2.29	c 0              258            27641          1521088        777            0              0   0   0      
14.55/2.29	c 0              259            27641          1521089        777            0              0   0   0      
14.55/2.29	c 0              595            28456          1272933        777            0              0   0   0      
14.55/2.29	c 0              596            28456          1272934        777            0              0   0   0      
14.55/2.29	c 0              260            27641          1521090        777            0              0   0   0      
14.55/2.29	c 0              261            27641          1521091        777            0              0   0   0      
14.55/2.29	c 0              262            27641          1521092        777            0              0   0   0      
14.55/2.29	c 0              264            27651          1521094        777            0              0   0   0      
14.55/2.29	c 0              266            27659          1521096        777            0              0   0   0      
14.55/2.29	c 0              598            28466          1272940        777            0              0   0   0      
14.55/2.29	c 0              599            28466          1272941        777            0              0   0   0      
14.55/2.29	c 0              268            27667          1521098        777            0              0   0   0      
14.55/2.29	c 0              269            27667          1521099        777            0              0   0   0      
14.55/2.29	c 0              271            27675          1521101        777            0              0   0   0      
14.55/2.29	c 0              273            27683          1521103        777            0              0   0   0      
14.55/2.29	c 0              601            28476          1272947        777            0              0   0   0      
14.55/2.29	c 0              275            27693          1521105        777            0              0   0   0      
14.55/2.29	c 0              276            27693          1521106        777            0              0   0   0      
14.55/2.29	c 0              277            27693          1521107        777            0              0   0   0      
14.55/2.29	c 0              278            27693          1521108        777            0              0   0   0      
14.55/2.29	c 0              279            27693          1521109        777            0              0   0   0      
14.55/2.29	c 0              280            27693          1521110        777            0              0   0   0      
14.55/2.29	c 0              281            27693          1521111        777            0              0   0   0      
14.55/2.29	c 0              282            27693          1521112        777            0              0   0   0      
14.55/2.29	c 0              603            28486          1272953        777            0              0   0   0      
14.55/2.29	c 0              283            27693          1521113        777            0              0   0   0      
14.55/2.29	c 0              604            28486          1272954        777            0              0   0   0      
14.55/2.29	c 0              284            27693          1521114        777            0              0   0   0      
14.55/2.29	c 0              285            27693          1521115        777            0              0   0   0      
14.55/2.29	c 0              286            27693          1521116        777            0              0   0   0      
14.55/2.29	c 0              287            27693          1521117        777            0              0   0   0      
14.55/2.29	c 0              288            27693          1521118        777            0              0   0   0      
14.55/2.29	c 0              289            27693          1521119        777            0              0   0   0      
14.55/2.29	c 0              290            27693          1521120        777            0              0   0   0      
14.55/2.29	c 0              291            27693          1521121        777            0              0   0   0      
14.55/2.29	c 0              292            27693          1521122        777            0              0   0   0      
14.55/2.29	c 0              293            27693          1521123        777            0              0   0   0      
14.55/2.29	c 0              294            27693          1521124        777            0              0   0   0      
14.55/2.29	c 0              606            28496          1272960        777            0              0   0   0      
14.55/2.29	c 0              295            27693          1521125        777            0              0   0   0      
14.55/2.29	c 0              607            28496          1272961        777            0              0   0   0      
14.55/2.29	c 0              297            27701          1521127        777            0              0   0   0      
14.55/2.29	c 0              298            27701          1521128        777            0              0   0   0      
14.55/2.29	c 0              299            27701          1521129        777            0              0   0   0      
14.55/2.29	c 0              300            27701          1521130        777            0              0   0   0      
14.55/2.29	c 0              301            27701          1521131        777            0              0   0   0      
14.55/2.29	c 0              302            27701          1521132        777            0              0   0   0      
14.55/2.29	c 0              609            28506          1272967        777            0              0   0   0      
14.55/2.29	c 0              303            27701          1521133        777            0              0   0   0      
14.55/2.29	c 0              44             21625          1225116        777            0              c 0              610            28506          1272968        0   0   0777                  0              
14.55/2.29	0   0   0      
14.55/2.29	c 0              309            27737          1521139        777            0              0   0   0   c    0              
14.55/2.29	611            28506          1272969        777            0              0   0   0      
14.55/2.29	c 0              612            28506          1272970        777            0              0   0   0      
14.55/2.29	c 0              613            28506          1272971        777            0              0   0   0      
14.55/2.29	c 0              614            28506          1272972        777            0              0   0   0      
14.55/2.29	c 0              615            28506          1272973        777            0              0   0   0      
14.55/2.29	c 0              310            27737          1521140        777            0              0   0   0      
14.55/2.29	c 0              311            27737          1521141        777            0              0   0   0      
14.55/2.29	c 0              312            27737          1521142        777            0              0   0   0      
14.55/2.29	c 0              313            27737          1521143        777            0              0   0   0      
14.55/2.29	c 0              314            27737          1521144        777            0              0   0   0      
14.55/2.29	c 0              315            27737          1521145        777            0              0   0   0      
14.55/2.29	c 0              316            27737          1521146        777            0              0   0   0      
14.55/2.29	c 0              317            27737          1521147        777            0              0   0   0      
14.55/2.29	c 0              318            27737          1521148        777            0              0   0   0      
14.55/2.29	c 0              319            27737          1521149        777            0              0   0   0      
14.55/2.29	c 0              320            27737          1521150        777            0              0   0   0      
14.55/2.29	c 0              321            27737          1521151        777            0              0   0   0      
14.55/2.29	c 0              617            28516          1272979        777            0              c 0   0   0      
14.55/2.29	0              323            27744          1521153        777            0              0   0   0      
14.55/2.29	c 0              325            27752          1521155        777            0              0   0   0      
14.55/2.29	c 0              327            27760          1521157        777            0              0   0   0      
14.55/2.29	c 0              328            27760          1521158        777            0              0   0   0      
14.55/2.29	c 0              619            28526          1272985        777            0              0   0   0      
14.55/2.29	c 0              330            27768          1521160        777            0              0   0   0      
14.55/2.29	c 0              332            27776          1521162        777            0              0   0   0      
14.55/2.29	c 0              333            27776          1521163        777            0              0   0   0      
14.55/2.29	c 0              334            27776          1521164        777            0              0   0   0      
14.55/2.29	c 0              335            27776          1521165        777            0              0   0   0      
14.55/2.29	c 0              336            27776          1521166        777            0              0   0   0      
14.55/2.29	c 0              337            27776          1521167        777            0              0   0   0      
14.55/2.29	c 0              338            27776          1521168        777            0              0   0   0      
14.55/2.29	c 0              339            27776          1521169        777            0              0   0   0      
14.55/2.29	c 0              340            27776          1521170        777            0              0   0   0      
14.55/2.29	c 0              341            27776          1521171        777            0              0   0   0      
14.55/2.29	c 0              342            27776          1521172        777            0              0   0   0      
14.55/2.29	c 0              343            27776          1521173        777            0              0   0   0      
14.55/2.29	c 0              621            28536          1272991        777            0              0   0   0      
14.55/2.29	c 0              345            27784          1521175        777            0              0   0   0      
14.55/2.29	c 0              347            27792          1521177        777            0              0   0   0      
14.55/2.29	c 0              348            27792          1521178        777            0              0   0   0      
14.55/2.29	c 0              349            27792          1521179        777            0              0   0   0      
14.55/2.29	c 0              350            27792          1521180        777            0              0   0   0      
14.55/2.29	c 0              351            27792          1521181        777            0              0   0   0      
14.55/2.29	c 0              352            27792          1521182        777            0              0   0   0      
14.55/2.29	c 0              353            27792          1521183        777            0              0   0   0      
14.55/2.29	c 0              354            27792          1521184        777            0              0   0   0      
14.55/2.29	c 0              355            27792          1521185        777            0              0   0   0      
14.55/2.29	c 0              623            28546          1272997        777            0              0   0   0      
14.55/2.29	c 0              356            27792          1521186        777            0              0   0   0      
14.55/2.29	c 0              624            28546          1272998        777            0              0   0   0      
14.55/2.29	c 0              625            28546          1272999        777            0              0   0   0      
14.55/2.29	c 0              357            27792          1521187        777            0              0   0   0      
14.55/2.29	c 0              358            27792          1521188        777            0              0   0   0      
14.55/2.29	c 0              359            27792          1521189        777            0              0   0   0      
14.55/2.29	c 0              360            27792          1521190        777            0              0   0   0      
14.55/2.29	c 0              361            27792          1521191        777            0              0   0   0      
14.55/2.29	c 0              363            27799          1521193        777            0              0   0   0      
14.55/2.29	c 0              365            27807          1521195        777            0              0   0   0      
14.55/2.29	c 0              627            28556          1273005        777            0              0   0   0      
14.55/2.29	c 0              367            27815          1521197        777            0              0   0   0      
14.55/2.29	c 0              368            27815          1521198        777            0              0   0   0      
14.55/2.29	c 0              45             21625          1225117        777            0              0   0   0      
14.55/2.29	c 0              371            27830          1521201        777            0              0   0   0      
14.55/2.29	c 0              46             21625          1225118        777            0              0   0   0      
14.55/2.29	c 0              372            27830          1521202        777            0              0   0   0      
14.55/2.29	c 0              47             21625          1225119        777            0              0   0   0      
14.55/2.29	c 0              373            27830          1521203        777            0              0   0   0      
14.55/2.29	c 0              629            28566          1273011        777            0              0   0   0      
14.55/2.29	c 0              48             21625          1225120        777            0              c 0              0   0   0      
14.55/2.29	374            27830          1521204        777            0              c 0   0   0      
14.55/2.29	0              630            28566          1273012        777            0              0   0   0      
14.55/2.29	c 0              631            28566          1273013        777            0              0   0   0      
14.55/2.29	c 0              632            28566          1273014        777            0              0   0   0      
14.55/2.29	c 0              375            27830          1521205        777            0              0   0   0      
14.55/2.29	c 0              633            28566          1273015        777            0              0   0   0      
14.55/2.29	c 0              634            28566          1273016        777            0              0   0   0      
14.55/2.29	c 0              635            28566          1273017        777            0              0   0   0      
14.55/2.29	c 0              636            28566          1273018        777            0              0   0   0      
14.55/2.29	c 0              376            27830          1521206        777            0              0   0   0      
14.55/2.29	c 0              377            27830          1521207        777            0              0   0   0      
14.55/2.29	c 0              378            27830          1521208        777            0              0   0   0      
14.55/2.29	c 0              380            27838          1521210        777            0              0   0   0      
14.55/2.29	c 0              49             21625          1225121        777            0              0   0   0      
14.55/2.29	c 0              382            27845          1521212        777            0              0   0   0      
14.55/2.29	c 0              50             21625          1225122        777            0              0   0   0      
14.55/2.29	c 0              383            27845          1521213        777            0              0   0   0      
14.55/2.29	c 0              638            28576          1273024        777            0              0   0   0      
14.55/2.29	c 0              385            27852          1521215        777            0              0   0   0      
14.55/2.29	c 0              52             21633          1225124        777            0              0   0   0      
14.55/2.29	c 0              387            27860          1521217        777            0              0   0   0      
14.55/2.29	c 0              388            27860          1521218        777            0              0   0   0      
14.55/2.29	c 0              389            27860          1521219        777            0              0   0   0      
14.55/2.29	c 0              54             21645          c 1225126        0              777            0              39027860          1521220        0   0   0777             0                   
14.55/2.29	0   0   0      
14.55/2.29	c 0              391            27860          1521221        777            0              0   0   0      
14.55/2.29	c 0              55             21645          1225127        777            0              0   0   0      
14.55/2.29	c 0              640            28586          1273030        777            0              0   0   0      
14.55/2.29	c 0              393            27870          1521223        777            0              0   0   0      
14.55/2.29	c 0              641            28586          1273031        777            0              0   0   0      
14.55/2.29	c 0              642            28586          1273032        777            0              0   0   0      
14.55/2.29	c 0              394            27870          1521224        777            0              0   0   0      
14.55/2.29	c 0              395            27870          1521225        777            0              0   0   0      
14.55/2.29	c 0              396            27870          1521226        777            0              0   0   0      
14.55/2.29	c 0              57             21657          1225129        777            0              0   0   0      
14.55/2.29	c 0              397            27870          1521227        777            0              0   0   0      
14.55/2.29	c 0              398            27870          1521228        777            0              0   0   0      
14.55/2.29	c 0              58             21657          1225130        777            0              0   0   0      
14.55/2.29	c 0              399            27870          1521229        777            0              0   0   0      
14.55/2.29	c 0              59             21657          1225131        777            0              0   0   0      
14.55/2.29	c 0              400            27870          1521230        777            0              0   0   0      
14.55/2.29	c 0              401            27870          1521231        777            0              0   0   0      
14.55/2.29	c 0              402            27870          1521232        777            0              0   0   0      
14.55/2.29	c c 0              0              60             403            21657          27870          1225132        1521233        777            777            0              0              0   0   00   0   0         
14.55/2.29	   
14.55/2.29	c 0              404            27870          1521234        777            0              0   0   0      
14.55/2.29	c 0              61             21657          1225133        777            0              0   0   0      
14.55/2.29	c 0              405            27870          1521235        777            0              0   0   0      
14.55/2.29	c 0              62             21657          1225134        777            0              0   0   0      
14.55/2.29	c 0              63             21657          1225135        777            0              0   0   0      
14.55/2.29	c 0              406            27870          1521236        777            0              0   0   0      
14.55/2.29	c 0              64             21657          1225136        777            0              0   0   0      
14.55/2.29	c 0              644            28596          1273038        777            0              0   0   0      
14.55/2.29	c 0              407            27870          1521237        777            0              0   0   0      
14.55/2.29	c 0              65             21657          1225137        777            0              c 0   0   00              645            28596          1273039        777            0              0   0   0      
14.55/2.29	c 0              646            28596          1273040        777            0              0   0   0     c  
14.55/2.29	      
14.55/2.29	c 0              66             21657          1225138        777            0              0   0   0      
14.55/2.29	0              408            27870          1521238        777            0              0   0   0      
14.55/2.29	c 0              67             21657          1225139        777            0              0   0   0      
14.55/2.29	c 0              409            27870          1521239        777            0              0   0   0      
14.55/2.29	c 0              68             21657          1225140        777            0              0   0   0      
14.55/2.29	c 0              69             21657          1225141        777            0              0   0   0      
14.55/2.29	c 0              410            27870          1521240        777            0              0   0   0      
14.55/2.29	c 0              411            27870          1521241        777            0              0   0   0      
14.55/2.29	c 0              412            27870          1521242        777            0              0   0   0      
14.55/2.29	c 0              413            27870          1521243        777            0              0   0   0      
14.55/2.29	c 0              414            27870          1521244        777            0              0   0   0      
14.55/2.29	c 0              71             21665          1225143        777            0              0   0   0      
14.55/2.29	c 0              415            27870          1521245        777            0              0   0   0      
14.55/2.29	c 0              72             21665          1225144        777            0              0   0   0      
14.55/2.29	c 0              416            27870          1521246        777            0              0   0   0      
14.55/2.29	c 0              73             21665          1225145        777            0              0   0   0      
14.55/2.29	c 0              417            27870          1521247        777            0              0   0   0      
14.55/2.29	c 0              74             21665          1225146        777            0              0   0   0      
14.55/2.29	c 0              418            27870          1521248        777            0              0   0   0      
14.55/2.29	c 0              75             21665          1225147        777            0              0   0   0      
14.55/2.29	c 0              419            27870          1521249        777            0              0   0   0      
14.55/2.29	c 0              76             21665          1225148        777            0              0   0   0      
14.55/2.29	c 0              420            27870          1521250        777            0              0   0   0      
14.55/2.29	c 0              648            28606          1273046        777            0              0   0   0      
14.55/2.29	c 0              77             21665          1225149        777            0              0   0   0      
14.55/2.29	c 0              649            28606          1273047        777            0              0   0   0      
14.55/2.29	c 0              78             21665          1225150        777            0              0   0   0      
14.55/2.29	c 0              79             21665          1225151        777            0              0   0   0 c      
14.55/2.29	0              421            27870          1521251        777            0              0   0   0      
14.55/2.29	c 0              422            27870          1521252        777            0              0   0   0      
14.55/2.30	c 0              80             21665          1225152        777            0              0   0   0      
14.55/2.30	c 0              423            27870          1521253        777            0              0   0   0      
14.55/2.30	c 0              81             21665          1225153        777            0              0   0   0      
14.55/2.30	c 0              424            27870          1521254        777            0              0   0   0      
14.55/2.30	c 0              82             21665          1225154        777            0              0   0   0      
14.55/2.30	c 0              425            27870          1521255        777            0              0   0   0      
14.55/2.30	c 0              83             21665          1225155        777            0              0   0   0      
14.55/2.30	c 0              426            27870          1521256        777            0              0   0   0      
14.55/2.30	c 0              84             21665          1225156        777            0              c 0   0   0
14.55/2.30	0              427            27870          1521257        777            0              0   0   0      
14.55/2.30	c 0              85             21665          1225157        777            0              0   0   0      
14.55/2.30	c 0              428            27870          1521258        777            0              0   0   0      
14.55/2.30	c 0              86             21665          1225158        777            0              0   0   0      
14.55/2.30	c 0              429            27870          1521259        777            0              0   0   0      
14.55/2.30	c 0              87             21665          1225159        777            0              0   0   0      
14.55/2.30	c 0              430            27870          1521260        777            0              0   0   0      
14.55/2.30	c 0              431            27870          1521261        777            0              0   0   0      
14.55/2.30	c 0              432            27870          1521262        777            0              0   0   0      
14.55/2.30	c 0              433            27870          1521263        777            0              0   0   0      
14.55/2.30	c 0              434            27870          1521264        777            0              0   0   0      
14.55/2.30	c 0              435            27870          1521265        777            0              0   0   0      
14.55/2.30	c 0              651            28616          1273053        777            0              0   0   0      
14.55/2.30	c 0              436            27870          1521266        777            0              0   0   0      
14.55/2.30	c 0              652            28616          1273054        777            0              0   0   0      
14.55/2.30	c 0              653            28616          1273055        777            0              0   0   0      
14.55/2.30	c 0              437            27870          1521267        777            0              0   0   0      
14.55/2.30	c 0              438            27870          1521268        777            0              0   0   0      
14.55/2.30	c 0              439            27870          1521269        777            0              0   0   0      
14.55/2.30	c 0              440            27870          1521270        777            0              0   0   0      
14.55/2.30	c 0              89             21669          1225161        777            0              0   0   0      
14.55/2.30	c 0              90             21669          1225162        777            0              0   0   0      
14.55/2.30	c 0              442            27880          1521272        777            0              0   0   0      
14.55/2.30	c 0              92             21673          1225164        777            0              0   0   0      
14.55/2.30	c 0              93             21673          1225165        777            0              0   0   0      
14.55/2.30	c 0              94             21673          1225166        777            0              0   0   0      
14.55/2.30	c 0              95             21673          1225167        777            0              0   0   0      
14.55/2.30	c 0              444            27888          1521274        777            0              0   0   0      
14.55/2.30	c 0              655            28626          1273061        777            0              0   0   0      
14.55/2.30	c 0              97             21677          1225169        777            0              0   0   0      
14.55/2.30	c 0              446            27895          1521276        777            0              0   0   0      
14.55/2.30	c 0              99             21689          1225171        777            0              0   0   0      
14.55/2.30	c 0              448            27905          1521278        777            0              0   0   0      
14.55/2.30	c 0              101            21697          1225173        777            0              0   0   0      
14.55/2.30	c 0              450            27913          1521280        777            0              0   0   0      
14.55/2.30	c 0              451            27913          1521281        777            0              0   0   0      
14.55/2.30	c 0              452            27913          1521282        777            0              0   0   0      
14.55/2.30	c 0              657            28636          1273067        777            0              0   0   0      
14.55/2.30	c 0              658            c 28636          0              453            1273068        27913          777            0              1521283        777            0              0   0   0      
14.55/2.30	0   0   0      
14.55/2.30	c 0              659            28636          1273069        777            0              0   0   0      
14.55/2.30	c 0              660            28636          1273070        777            0              0   0   0      
14.55/2.30	c 0              661            28636          1273071        777            0              0   0   0      
14.55/2.30	c 0              662            28636          1273072        777            0              0   0   0      
14.55/2.30	c 0              663            28636          1273073        777            0              0   0   0      
14.55/2.30	c 0              454            27913          1521284        777            0              0   0   0      
14.55/2.30	c 0              102            21697          1225174        777            0              0   0   0      
14.55/2.30	c 0              455            27913          1521285        777            0              0   0   0      
14.55/2.30	c 0              456            27913          1521286        777            0              0   0   0      
15.21/2.30	c 0              457            27913          1521287        777            0              0   0   0      
15.21/2.30	c 0              103            21697          1225175        777            0              0   0   0      
15.21/2.30	c 0              459            27921          1521289        777            0              0   0   0      
15.21/2.30	c 0              105            21701          1225177        777            0              0   0   0      
15.21/2.30	c 0              460            27921          1521290        777            0              0   0   0      
15.21/2.30	c 0              461            27921          1521291        777            0              0   0   0      
15.21/2.30	c 0              106            21701          1225178        777            0              0   0   0      
15.21/2.30	c 0              462            27921          1521292        777            0              0   0   0      
15.21/2.30	c 0              107            21701          1225179        777            0              0   0   0      
15.21/2.30	c 0              463            27921          1521293        777            0              0   0   0      
15.21/2.30	c 0              108            21701          1225180        777            0              0   0   0      
15.21/2.30	c 0              464            27921          1521294        777            0              0   0   0      
15.21/2.30	c 0              109            21701          1225181        777            0              0   0   0      
15.21/2.30	c 0              465            27921          1521295        777            0              0   0   0      
15.21/2.30	c 0              110            21701          1225182        777            0              0   0   0      
15.21/2.30	c 0              466            27921          1521296        777            0              0   0   0      
15.21/2.30	c 0              665            28646          1273079        777            0              0   0   0      
15.21/2.30	c 0              111            21701          1225183        777            0              0   0   0      
15.21/2.30	c 0              467            27921          1521297        777            0              0   0   0      
15.21/2.31	c 0              220            22216          1225292        777            0              0   0   0      
15.21/2.31	c 0              774            29167          1273192        777            0              0   0   0      
15.21/2.31	c 0              577            28442          1521407        777            0              0   0   0      
15.21/2.31	c 0              775            29167          1273193        777            0              0   0   0      
15.21/2.31	c 0              776            29167          1273194        777            0              0   0   0      
15.21/2.31	c 0              221            22216          1225293        777            0              0   0   0      
15.21/2.31	c 0              578            28442          1521408        777            0              0   0   0      
15.21/2.31	c 0              579            28442          1521409        777            0              0   0   0      
15.21/2.31	c 0              223            22228          1225295        777            0              0   0   0      
15.21/2.31	c 0              224            22228          1225296        777            0              0   0   0      
15.21/2.31	c 0              581            28448          1521411        777            0              0   0   0      
15.21/2.31	c 0              225            22228          1225297        777            0              0   0   0      
15.21/2.31	c 0              582            28448          1521412        777            0              0   0   0      
15.21/2.31	c 0              226            22228          1225298        777            0              0   0   0      
15.21/2.31	c 0              583            28448          1521413        777            0              0   0   0      
15.21/2.31	c 0              227            22228          1225299        777            0              0   0   0      
15.21/2.31	c 0              584            28448          1521414        777            0              0   0   0      
15.21/2.31	c 0              228            22228          1225300        777            0              0   0   0      
15.21/2.31	c 0              585            28448          1521415        777            0              0   0   0      
15.21/2.31	c 0              586            28448          1521416        777            0              c 0   0   0      
15.21/2.31	0229            22228          1225301        777            0              0   0   0      
15.21/2.31	c 0              587            28448          1521417        777            0              0   0   0      
15.21/2.31	c 0              230            22228          1225302        777            0              0   0   0      
15.21/2.31	c 0              588            28448          1521418        777            0              0   0   0      
15.21/2.31	c 0              231            22228          1225303        777            0              0   0   0      
15.21/2.31	c 0              589            28448          1521419        777            0              0   0   0      
15.21/2.31	c 0              778            29177          1273200        777            0              0   0   0      
15.21/2.31	c 0              232            22228          1225304        777            0              0   0   0      
15.21/2.31	c 0              779            29177          1273201        777            0              0   0   0      
15.21/2.31	c 0              780            29177          1273202        777            0              0   0   0      
15.21/2.31	c 0              233            22228          1225305        777            0              0   0   0      
15.21/2.31	c 0              234            22228          1225306        777            0              0   0   0      
15.21/2.31	c 0              235            22228          1225307        777            0              0   0   0      
15.21/2.31	c 0              236            22228          1225308        777            0              0   0   0      
15.21/2.31	c 0              591            28456          1521421        777            0              c 0              0   0   0237             22228              1225309         777            
15.21/2.31	0              0   0   0      
15.21/2.31	c 0              592            c 28456          0              1521422238            77722228          01225310777            0              0   0   0      0   0   0
15.21/2.31	      
15.21/2.31	c 0              593            28456          1521423        777            0              0   0   0      
15.21/2.31	c 0              239            22228          1225311        777            0              0   0   0      
15.21/2.31	c 0              594            28456          1521424        777            0              0   0   0      
15.21/2.31	c 0              240            22228          1225312        777            0              0   0   0      
15.21/2.31	c 0              595            28456          1521425        777            0              0   0   0      
15.21/2.31	c 0              241            22228          1225313        777            0              0   0   0      
15.21/2.31	c 0              596            28456          1521426        777            0              0   0   0      
15.21/2.31	c 0              242            22228          1225314        777            0              0   0   0      
15.21/2.31	c 0              597            28456          1521427        777            0              0   0   0      
15.21/2.31	c 0              243            22228          1225315        777            0              0   0   0      
15.21/2.31	c 0              598            28456          1521428        777            0              0   0   0      
15.21/2.31	c 0              244            22228          1225316        777            0              0   0   0      
15.21/2.31	c 0              599            28456          1521429        777            0              0   0   0      
15.21/2.31	c 0              245            22228          1225317        777            0              0   0   0      
15.21/2.31	c 0              600            28456          1521430        777            0              0   0   0      
15.21/2.31	c 0              246            22228          1225318        777            0              0   0   0      
15.21/2.31	c 0              601            28456          1521431        777            0              0   0   0      
15.21/2.31	c 0              247            22228          1225319        777            0              0   0   0      
15.21/2.31	c 0              602            28456          1521432        777            0              0   0   0      
15.21/2.31	c 0              249            22232          1225321        777            0              0   0   0      
15.21/2.31	c 0              604            28464          1521434        777            0              0   0   0      
15.21/2.31	c 0              250            22232          1225322        777            0              0   0   0      
15.21/2.31	c 0              605            28464          1521435        777            0              0   0   0      
15.21/2.31	c 0              251            22232          1225323        777            0              0   0   0      
15.21/2.31	c 0              606            28464          1521436        777            0              0   0   0      
15.21/2.31	c 0              252            22232          1225324        777            0              0   0   0      
15.21/2.31	c 0              607            28464          1521437        777            0              0   0   0      
15.21/2.31	c 0              253            22232          1225325        777            0              0   0   0      
15.21/2.31	c 0              608            28464          1521438        777            0              0   0   0      
15.21/2.31	c c 0              2540              22232          782            1225326        777            0              29187          1273208        c 0   0   00              777             0              609                0   0   0  28464            
15.21/2.31	   1521439
15.21/2.31	777            0              0   0   0      
15.21/2.31	c 0              255            22232          1225327        777            0              0   0   0      
15.21/2.31	c 0              783            29187          1273209        777            0              0   0   0      
15.21/2.31	c 0              610            28464          1521440        777            0              0   0   0      
15.21/2.31	c 0              256            22232          1225328        777            0              0   0   0      
15.21/2.31	c 0              612            28470          1521442        777            0              0   0   0 c      0              
15.21/2.31	258            c 0              613            28470          1521443        777            0              0   0   0      
15.21/2.31	c 0              614            28470          1521444        777            0              0   0   0      
15.21/2.31	22236          1225330        777            0              0   0   0      
15.21/2.31	c 0              259            22236          1225331        777            0              0   0   0      
15.21/2.31	c 0              260            22236          1225332        777            0              0   0   0      
15.21/2.31	c 0              261            22236          1225333        777            0              0   0   0      
15.21/2.31	c 0              616            28480          1521446        777            0              0   0   0      
15.21/2.31	c 0              262            22236          1225334        777            0              0   0   0      
15.21/2.31	c 0              617            28480          1521447        777            0              0   0   0      
15.21/2.31	c 0              785            29197          1273215        777            0              0   0   0      
15.21/2.31	c 0              786            29197          1273216        777            0              0   0   0      
15.21/2.31	c 0              264            22248          1225336        777            0              0   0   0      
15.21/2.31	c 0              619            28490          1521449        777            0              0   0   0      
15.21/2.31	c 0              265            22248          1225337        777            0              0   0   0      
15.21/2.31	c 0              621            28496          1521451        777            0              0   0   0      
15.21/2.31	c 0              267            22260          1225339        777            0              0   0   0      
15.21/2.31	c 0              623            28504          1521453        777            0              0   0   0      
15.21/2.31	c 0              269            22264          1225341        777            0              0   0   0      
15.21/2.31	c 0              788            29207          1273222        777            0              0   0   0      
15.21/2.31	c 0              625            28514          1521455        777            0              0   0   0      
15.21/2.31	c 0              271            22268          1225343        777            0              0   0   0      
15.21/2.31	c 0              627            28520          1521457        777            0              0   0   0      
15.21/2.31	c 0              273            22280          1225345        777            0              0   0   0      
15.21/2.31	c 0              629            28528          1521459        777            0              0   0   0      
15.21/2.31	c 0              275            22284          1225347        777            0              0   0   0      
15.21/2.31	c 0              790            29217          1273228        777            0              0   0   0      
15.21/2.31	c 0              791            29217          1273229        777            0              0   0   0      
15.21/2.31	c 0              792            29217          1273230        777            0              0   0   0      
15.21/2.31	c 0              793            29217          1273231        777            0              0   0   0      
15.21/2.31	c 0              631            28538          1521461        777            0              0   0   0      
15.21/2.31	c 0              277            22288          1225349        777            0              0   0   0      
15.21/2.31	c 0              633            28544          1521463        777            0              0   0   0      
15.21/2.31	c 0              634            28544          1521464        777            0              0   0   0      
15.21/2.31	c 0              279            22300          1225351        777            0              0   0   0      
15.21/2.31	c 0              636            28550          1521466        777            0              0   0   0      
15.21/2.31	c 0              280            22300          1225352        777            0              0   0   0      
15.21/2.31	c 0              795            29227          1273237        777            0              0   0   0      
15.21/2.33	c 0              748            29081          1521578        777            0              0   0   0      
15.21/2.33	c 0              392            22829          1225464        777            0              0   0   0      
15.21/2.33	c 0              749            29081          1521579        777            0              0   0   0      
15.21/2.33	c 0              750            29081          1521580        777            0              0   0   0      
15.21/2.33	c 0              905            29752          1273351        777            0              0   0   0      
15.21/2.33	c 0              751            29081          1521581        777            0              0   0   0      
15.21/2.33	c 0              393            22829          1225465        777            0              0   0   0      
15.21/2.33	c 0              752            29081          1521582        777            0              0   0   0      
15.21/2.33	c 0              394            22829          1225466        777            0              0   0   0      
15.21/2.33	c 0              753            29081          1521583        777            0              0   0   0      
15.21/2.33	c 0              395            22829          1225467        777            0              0   0   0      
15.21/2.33	c 0              906            29752          1273352        777            0              0   0   0      
15.21/2.33	c 0              c 907            0              396            29752          22829          1225468        1273353        777777            0              00   0   0 0   0   0      
15.21/2.33	     
15.21/2.33	c 0              908            29752          1273354        777            0              0   0   0      
15.21/2.33	c 0              754            29081          1521584        777            0              0   0   0      
15.21/2.33	c 0              397            22829          1225469        777            0              0   0   0      
15.21/2.33	c 0              909            29752          1273355        777            0              0   0   0      
15.21/2.33	c 0              756            29088          1521586        777            0              0   0   0      
15.21/2.33	c 0              399            22841          1225471        777            0              0   0   0      
15.21/2.33	c 0              757            29088          1521587        777            0              0   0   0      
15.21/2.33	c 0              400            22841          1225472        777            0              0   0   0      
15.21/2.33	c 0              758            29088          1521588        777            0              0   0   0      
15.21/2.33	c 0              401            22841          1225473        777            0              0   0   0      
15.21/2.33	c 0              759            29088          1521589        777            0              0   0   0      
15.21/2.33	c 0              402            22841          1225474        777            0              0   0   0      
15.21/2.33	c 0              760            29088          1521590        777            0              0   0   0      
15.21/2.33	c 0              403            22841          1225475        777            0              0   0   0      
15.21/2.33	c 0              761            29088          1521591        777            0              0   0   0      
15.21/2.33	c 0              404            22841          1225476        777            0              0   0   0      
15.21/2.33	c 0              762            29088          1521592        777            0              0   0   0      
15.21/2.33	c 0              405            22841          1225477        777            0              0   0   0      
15.21/2.33	c 0              763            29088          1521593        777            0              0   0   0      
15.21/2.33	c 0              406            22841          1225478        777            c 0              0              764            29088          0   0   0  1521594         777               0              
15.21/2.33	0   0   0      
15.21/2.33	c 0              407            22841          1225479        777            0              0   0   0      
15.21/2.33	c 0              765            29088          1521595        777            0              0   0   0      
15.21/2.33	c 0              408            22841          1225480        777            0              0   0   0      
15.21/2.33	c 0              766            29088          1521596        777            0              0   0   0      
15.21/2.33	c 0              409            22841          1225481        777            0              0   0   0      
15.21/2.33	c 0              767            29088          1521597        777            0              0   0   0      
15.21/2.33	c 0              911            29762          1273361        777            0              0   0   0      
15.21/2.33	c 0              410            22841          1225482        777            0              0   0   0      
15.21/2.33	c 0              768            29088          1521598        777            0              0   0   0      
15.21/2.33	c 0              912            29762          1273362        777            0              0   0   0      
15.21/2.33	c 0              913            29762          1273363        777            0              0   0   0      
15.21/2.33	c 0              411            22841          1225483        777            0              0   0   0      
15.21/2.33	c 0              769            29088          1521599        777            0              0   0   0      
15.21/2.33	c 0              770            29088          1521600        777            0              0   0   0      
15.21/2.33	c 0              771            29088          1521601        777            0              0   0   0      
15.21/2.33	c 0              772            29088          1521602        777            0              0   0   0      
15.21/2.33	c 0              413            22845          1225485        777            0              0   0   0      
15.21/2.33	c 0              414            22845          1225486        777            0              0   0   0      
15.21/2.33	c 0              415            22845          1225487        777            0              0   0   0      
15.21/2.33	c 0              774            29094          1521604        777            0              0   0   0      
15.21/2.33	c 0              416            22845          1225488        777            0              0   0   0      
15.21/2.33	c 0              775            29094          1521605        777            0              0   0   0      
15.21/2.33	c 0              417            22845          1225489        777            0              0   0   0      
15.21/2.33	c 0              776            29094          1521606        777            0              0   0   0      
15.21/2.33	c 0              418            22845          1225490        777            0              0   0   0      
15.21/2.33	c 0              777            29094          1521607        777            0              0   0   0      
15.21/2.33	c 0              419            22845          1225491        777            0              0   0   0      
15.21/2.33	c 0              915            29772          1273369        777            0              0   0   0      
15.21/2.33	c 0              779            29100          1521609        777            0              0   0   0      
15.21/2.33	c 0              421            22852          1225493        777            0              c 0              0   0   0     916             29772          1273370        777            0              
15.21/2.33	c 0              780            29100          1521610        777            0              0   0   0      
15.21/2.33	c 0              781            29100          1521611        777            0              0   0   0      
15.21/2.33	c 0              422            22852          1225494        777            0              0   0   0      
15.21/2.33	c 0              782            29100          1521612        777            0              0   0   0      
15.21/2.33	c 0              423            22852          1225495        777            0              0   0   0      
15.21/2.33	c 0              783            29100          1521613        777            0              0   0   0      
15.21/2.33	c 0              424            22852          1225496        777            0              0   0   0      
15.21/2.33	c 0              785            29107          1521615        777            0              0   0   0      
15.21/2.33	c 0              426            22859          1225498        777            0              0   0   0      
15.21/2.33	c 0              786            29107          1521616        777            0              0   0   00   0   0       
15.21/2.33	     
15.21/2.33	c 0              917            29772          1273371        777            0              0   0   0      
15.21/2.33	c 0              428            22863          1225500        777            0              0   0   0      
15.21/2.33	c 0              788            29114          1521618        777            0              0   0   0      
15.21/2.33	c 0              790            29120          c 1521620        0              430            777            22875          0              1225502777            0   0   0 0                   
15.21/2.33	0   0   0      
15.21/2.33	c 0              792            29130          1521622        777            0              0   0   0      
15.21/2.33	c 0              432            22882          1225504        777            0              0   0   0      
15.21/2.33	c 0              919            29782          1273377        777            0              0   0   0      
15.21/2.33	c 0              794            29137          1521624        777            0              0   0   0      
15.21/2.33	c 0              434            22886          1225506        777            0              0   0   0      
15.21/2.33	c 0              795            29137          1521625        777            0              0   0   0      
15.21/2.33	c 0              435            22886          1225507        777            0              0   0   0      
15.21/2.33	c 0              796            29137          1521626        777            0              0   0   0      
15.21/2.33	c 0              436            22886          1225508        777            0              0   0   0      
15.21/2.33	c 0              798            29143          1521628        777            0              0   0   0      
15.21/2.33	c 0              438            22898          1225510        777            0              0   0   0      
15.21/2.33	c 0              921            29792          1273383        777            0              0   0   0      
15.21/2.33	c 0              800            29153          1521630        777            0              0   0   0      
15.21/2.33	c 0              440            22905          1225512        777            0              0   0   0      
15.21/2.33	c 0              441            22905          1225513        777            0              0   0   0      
15.21/2.33	c 0              442            22905          1225514        777            0              0   0   0      
15.21/2.33	c 0              443            22905          1225515        777            0              0   0   0      
15.21/2.33	c 0              444            22905          1225516        777            0              0   0   0      
15.21/2.33	c 0              445            22905          1225517        777            0              0   0   0      
15.21/2.33	c 0              446            22905          1225518        777            0              0   0   0      
15.21/2.33	c 0              447            22905          1225519        777            0              0   0   0      
15.21/2.33	c 0              448            22905          1225520        777            0              0   0   0      
15.21/2.33	c 0              449            22905          1225521        777            0              0   0   0      
15.21/2.33	c 0              802            29160          1521632        777            0              0   0   0      
15.21/2.33	c 0              450            22905          1225522        777            0              0   0   0      
15.21/2.33	c 0              451            22905          1225523        777            0              c 0   0   00               803                 29160
15.21/2.33	1521633        777            0              0   0   0      
15.21/2.33	c 0              452            22905          1225524        777            0              0   0   0      
15.21/2.33	c 0              804            29160          1521634        777            0              0   0   0      
15.21/2.33	c 0              453            22905          1225525        777            0              0   0   0      
15.21/2.33	c 0              805            29160          1521635        777            0              0   0   0      
15.21/2.33	c 0              454            22905          1225526        777            0              0   0   0      
15.21/2.33	c 0              806            29160          1521636        777            0              0   0   0      
15.21/2.33	c 0              923            29802          1273389        777            0              0   0   0      
15.21/2.33	c 0              924            29802          1273390        777            0              0   0   0      
15.21/2.33	c 0              807            29160          1521637        777            0              0   0   0      
15.21/2.33	c 0              808            29160          1521638        777            0              0   0   0      
15.21/2.33	c c 0              0              809            455            29160          22905          1521639        1225527        777            7770              0              0   0   0   0   0   0     
15.21/2.33	    
15.21/2.33	c 0              810            29160          1521640        777            0              0   0   0      
15.21/2.33	c 0              456            22905          1225528        777            0              0   0   0      
15.21/2.33	c 0              811            29160          1521641        777            0              0   0   0      
15.21/2.33	c 0              812            29160          1521642        777            0              0   0   0      
15.21/2.33	c 0              457            22905          1225529        777            0              0   0   0      
15.21/2.33	c 0              813            29160          1521643        777            0              0   0   0      
15.21/2.33	c 0              458            22905          1225530        777            0              0   0   0      
15.21/2.33	c 0              459            22905          1225531        777            0              0   0   0      
15.21/2.33	c 0              460            22905          1225532        777            0              0   0   0      
15.21/2.33	c 0              814            29160          1521644        777            0              0   0   0      
15.21/2.33	c 0              461            22905          1225533        777            0              0   0   0      
15.21/2.33	c 0              815            29160          1521645        777            0              0   0   0      
15.21/2.33	c 0              462            22905          1225534        777            0              0   0   0      
15.21/2.33	c 0              816            29160          1521646        777            0              0   0   0      
15.21/2.33	c 0              926            29812          1273396        777            0              0   0   0      
15.21/2.33	c 0              464            22909          1225536        777            0              0   0   0      
15.21/2.33	c 0              818            29166          1521648        777            0              0   0   0      
15.21/2.33	c 0              820            29176          1521650        777            0              0   0   0      
15.21/2.33	c 0              466            22921          1225538        777            0              0   0   0      
15.21/2.33	c 0              821            29176          1521651        777            0              0   0   0      
15.21/2.33	c 0              822            29176          c 1521652        0              777            467            0229211225539        0   0   0777             0                   
15.21/2.33	0   0   0      
15.21/2.33	c 0              823            29176          1521653        777            0              0   0   0      
15.21/2.33	c 0              468            22921          1225540        777            0              0   0   0      
15.21/2.33	c 0              824            29176          1521654        777            0              0   0   0      
15.21/2.33	c 0              469            22921          1225541        777            0              c 0              0   0   0   825              29176           1521655        
15.21/2.33	c 0              470            22921          1225542        777            0              0   0   0      
15.21/2.33	c 0              471            22921          1225543        777            0              0   0   0      
15.21/2.33	777            0              0   0   0      
15.21/2.33	c 0              472            22921          1225544        777            0              0   0   0      
15.21/2.33	c 0              826            29176          1521656        777            0              0   0   0      
15.21/2.33	c 0              473            22921          1225545        777            0              0   0   0      
15.21/2.33	c 0              827            c 29176          0              1521657        474            22921          777            1225546        0              777            0              0   0   00   0   0          
15.21/2.33	  
15.21/2.33	c 0              928            29822          1273402        777            0              0   0   0      
15.21/2.33	c 0              829            29186          1521659        777            0              0   0   0      
15.21/2.33	c 0              476            22928          1225548        777            0              0   0   0      
15.21/2.33	c 0              831            29192          1521661        777            0              0   0   0      
15.21/2.33	c 0              478            22932          1225550        777            0              0   0   0      
15.21/2.33	c 0              833            29199          1521663        777            0              0   0   0      
15.21/2.33	c 0              480            22944          1225552        777            0              0   0   0 c  0               930               29832
15.21/2.33	1273408        777            0              0   0   0      
15.21/2.33	c 0              835            29209          1521665        777            0              0   0   0      
15.21/2.33	c 0              482            22951          1225554        777            0              0   0   0      
15.21/2.33	c 0              483            22951          1225555        777            0              0   0   0      
15.21/2.33	c 0              837            29215          1521667        777            0              0   0   0      
15.21/2.33	c 0              838            29215          1521668        777            0              0   0   0      
15.21/2.33	c 0              839            29215          1521669        777            0              0   0   0      
15.21/2.33	c 0              485            22958          1225557        777            0              0   0   0      
15.21/2.33	c 0              841            29222          1521671        777            0              0   0   0      
15.21/2.33	c 0              932            29842          1273414        777            0              0   0   0      
15.21/2.33	c 0              487            22970          1225559        777            0              0   0   0      
15.21/2.33	c 0              488            22970          1225560        777            0              0   0   0      
15.21/2.33	c 0              843            29232          1521673        777            0              0   0   0      
15.21/2.33	c 0              844            29232          1521674        777            0              0   0   0      
15.21/2.33	c 0              490            22982          1225562        777            0              0   0   0      
15.21/2.33	c 0              846            29242          1521676        777            0              0   0   0      
15.21/2.33	c 0              847            29242          1521677        777            0              0   0   0      
15.21/2.33	c 0              492            22989          1225564        777            0              0   0   0      
15.21/2.33	c 0              848            29242          1521678        777            0              0   0   0      
15.21/2.33	c 0              493            22989          1225565        777            0              0   0   0      
15.21/2.33	c 0              494            22989          1225566        777            0              0   0   0      
15.21/2.33	c 0              495            22989          1225567        777            0              0   0   0      
15.21/2.33	c 0              934            29852          1273420        777            0              0   0   0      
15.21/2.33	c 0              496            22989          1225568        777            0              0   0   0      
15.21/2.33	c 0              935            29852          1273421        777            0              0   0   0      
15.21/2.33	c 0              936            29852          1273422        777            0              0   0   0      
15.21/2.33	c 0              497            22989          1225569        777            0              0   0   0      
15.21/2.33	c 0              849            29242          1521679        777            0              0   0   0      
15.21/2.33	c 0              499            22996          1225571        777            0              0   0   0      
15.21/2.33	c 0              851            29252          1521681        777            0              0   0   0      
15.21/2.33	c 0              852            29252          1521682        777            0              0   0   0      
15.21/2.33	c 0              501            23008          1225573        777            0              0   0   0      
15.21/2.33	c 0              502            23008          1225574        777            0              0   0   0      
15.21/2.33	c 0              503            23008          1225575        777            0              0   0   0      
15.21/2.33	c 0              854            29262          1521684        777            0              0   0   0      
15.21/2.33	c 0              938            29862          1273428        777            0              0   0   0      
15.21/2.33	c 0              939            29862          1273429        777            0              0   0   0      
15.21/2.33	c 0              505            23012          1225577        777            0              0   0   0      
15.21/2.33	c 0              856            29269          1521686        777            0              0   0   0      
15.21/2.33	c 0              857            29269          1521687        777            0              0   0   0      
15.21/2.33	c 0              507            23019          1225579        777            0              0   0   0      
15.21/2.33	c 0              859            29276          1521689        777            0              0   0   0      
15.21/2.33	c 0              509            23031          1225581        777            0              0   0   0      
15.21/2.33	c 0              861            29286          1521691        777            0              0   0   0      
15.21/2.33	c 0              941            29872          1273435        777            0              0   0   0      
15.21/2.33	c 0              511            23035          1225583        777            0              0   0   0      
15.21/2.33	c 0              863            29292          1521693        777            0              0   0   0      
15.21/2.33	c 0              864            29292          1521694        777            0              0   0   0      
15.21/2.33	c 0              865            29292          1521695        777            0              0   0   0      
15.21/2.33	c 0              866            29292          1521696        777            0              0   0   0      
15.21/2.33	c 0              513            23042          1225585        777            0              0   0   0      
15.21/2.33	c 0              868            29298          1521698        777            0              0   0   0      
15.21/2.33	c 0              869            29298          1521699        777            0              0   0   0      
15.21/2.33	c 0              515            23054          1225587        777            0              0   0   0      
15.21/2.33	c 0              516            23054          1225588        777            0              0   0   0      
15.21/2.33	c 0              943            29882          1273441        777            0              0   0   0      
15.21/2.33	c 0              517            23054          1225589        777            0              0   0   0      
15.21/2.33	c 0              944            29882          1273442        777            0              0   0   0      
15.21/2.33	c 0              945            29882          1273443        777            0              0   0   0      
15.21/2.33	c 0              946            29882          1273444        777            0              0   0   0      
15.21/2.33	c 0              947            29882          1273445        777            0              0   0   0      
15.21/2.33	c 0              948            29882          1273446        777            0              0   0   0      
15.21/2.33	c 0              518            23054          1225590        c 777            0              949            29882          0              1273447        777            0              0   0   0 0   0   0         
15.21/2.33	c 0              870            29298          1521700        777            0                
15.21/2.33	0   0   0      
15.21/2.33	c 0              950            29882          1273448        777            0              0   0   0      
15.21/2.33	c 0              951            29882          1273449        777            0              0   0   0      
15.21/2.33	c 0              519            23054          1225591        777            0              0   0   0      
15.21/2.33	c 0              871            29298          1521701        777            0              0   0   0      
15.21/2.33	c 0              520            23054          1225592        777            0              0   0   0      
15.21/2.33	c 0              872            29298          1521702        777            0              0   0   0      
15.21/2.33	c 0              521            23054          1225593        777            0              0   0   0      
15.21/2.33	c 0              873            29298          1521703        777            0              0   0   0      
15.21/2.33	c 0              522            23054          1225594        777            0              0   0   0      
15.21/2.33	c 0              874            29298          1521704        777            0              0   0   0      
15.21/2.33	c 0              523            23054          1225595        777            0              0   0   0      
15.21/2.33	c 0              876            29308          1521706        777            0              0   0   0      
15.21/2.33	c 0              525            23058          1225597        777            0              0   0   0      
15.21/2.33	c 0              878            29315          1521708        777            0              0   0   0      
15.21/2.33	c 0              527            23065          1225599        777            0              0   0   0      
15.21/2.33	c 0              953            29892          1273455        777            0              0   0   0      
15.21/2.33	c 0              954            29892          1273456        777            0              0   0   0      
15.21/2.33	c 0              955            29892          1273457        777            0              0   0   0      
15.21/2.33	c 0              880            29321          1521710        777            0              0   0   0      
15.21/2.33	c 0              529            23077          1225601        777            0              0   0   0      
15.21/2.33	c 0              530            23077          1225602        777            0              0   0   0      
15.21/2.33	c 0              531            23077          1225603        777            0              0   0   0      
15.21/2.33	c 0              532            23077          1225604        777            0              0   0   0      
15.21/2.33	c 0              882            29331          1521712        777            0              0   0   0      
15.21/2.33	c 0              533            23077          1225605        777            0              0   0   0      
15.21/2.33	c 0              883            29331          1521713        777            0              0   0   0      
15.21/2.33	c 0              534            23077          1225606        777            0              0   0   0      
15.21/2.33	c 0              884            29331          1521714        777            0              0   0   0      
15.21/2.33	c 0              535            23077          1225607        777            0              0   0   0      
15.21/2.33	c 0              885            29331          1521715        777            0              0   0   0      
15.21/2.33	c 0              536            23077          1225608        777            0              0   0   0      
15.21/2.33	c 0              886            29331          1521716        777            0              0   0   0      
15.21/2.33	c 0              537            23077          1225609        777            0              0   0   0      
15.21/2.33	c 0              887            29331          1521717        777            0              0   0   0      
15.21/2.33	c 0              888            29331          1521718        777            0              0   0   0      
15.21/2.33	c 0              538            23077          1225610        777            0              0   0   0      
15.21/2.33	c 0              889            29331          1521719        777            0              0   0   0      
15.21/2.33	c 0              957            29902          1273463        777            0              c 0              890            29331          1521720        0   0   0777             0                   
15.21/2.33	0   0   0      
15.21/2.33	c 0              539            23077          1225611        777            0              0   0   0      
15.21/2.33	c 0              958            29902          1273464        777            0              0   0   0      
15.21/2.33	c 0              891            29331          1521721        777            0              c 0   0   00               959             29902          1273465         777             0                
15.21/2.33	c 0              540            23077          1225612        777            0              0   0   0      
15.21/2.33	c 0              892            29331          1521722        777            0              0   0   0      
15.21/2.33	c 0              541            23077          1225613        777            0              0   0   0      
15.21/2.33	c 0              893            29331          1521723        777            0              0   0   0      
15.21/2.33	c 0              542            23077          1225614        777            0              0   0   0      
15.21/2.33	c 0              894            29331          1521724        777            0              0   0   0      
15.21/2.33	c 0              543            23077          1225615        777            0              0   0   0      
15.21/2.33	c 0              895            29331          1521725        777            0              0   0   0      
15.21/2.33	c 0              544            23077          1225616        777            0              0   0   0      
15.21/2.33	c 0              896            29331          1521726        777            0              0   0   0      
15.21/2.33	c 0              545            23077          1225617        777            0              0   0   0      
15.21/2.33	c 0              897            29331          1521727        777            0              0   0   0      
15.21/2.33	c 0              546            23077          1225618        777            0              0   0   0      
15.21/2.33	c 0              898            29331          1521728        777            0              0   0   0      
15.21/2.33	c 0              547            23077          1225619        777            0              0   0   0      
15.21/2.33	c 0              899            29331          1521729        777            0              0   0   0      
15.21/2.33	c 0              548            23077          1225620        777            0              0   0   0      
15.21/2.33	c 0              900            29331          1521730        777            0              0   0   0      
15.21/2.33	0   0   0      
15.21/2.33	c 0              960            29902          1273466        777            0              0   0   0      
15.21/2.33	c 0              549            23077          1225621        777            0              0   0   0      
15.21/2.33	c 0              901            29331          1521731        777            0              0   0   0      
15.21/2.33	c 0              550            23077          1225622        777            c 0              0              902            29331          0   0   01521732         777             0                  
15.21/2.33	0   0   0      
15.21/2.33	c 0              961            29902          1273467        777            0              0   0   0      
15.21/2.33	c 0              962            29902          1273468        777            0              0   0   0      
15.21/2.33	c 0              551            23077          1225623        777            0              0   0   0      
15.21/2.33	c 0              903            29331          1521733        777            0              0   0   0      
15.21/2.33	c 0              552            23077          1225624        777            0              0   0   0      
15.21/2.33	c 0              904            29331          1521734        777            0              0   0   0      
15.21/2.33	c 0              906            29338          1521736        777            0              0   0   0      
15.21/2.33	c 0              554            23089          1225626        777            0              0   0   0      
15.21/2.33	c 0              555            23089          1225627        777            0              0   0   0      
15.21/2.33	c 0              908            29344          1521738        777            0              0   0   0      
15.21/2.33	c 0              557            23101          1225629        777            0              0   0   0      
15.21/2.33	c 0              964            29912          1273474        777            0              0   0   0      
15.21/2.33	c 0              910            29354          1521740        777            0              0   0   0      
15.21/2.33	c 0              559            23105          1225631        777            0              0   0   0      
15.21/2.33	c 0              560            23105          1225632        777            0              0   0   0      
15.21/2.33	c 0              912            29361          1521742        777            0              0   0   0      
15.21/2.33	c 0              562            23109          1225634        777            0              0   0   0      
15.21/2.33	c 0              914            29367          1521744        777            0              0   0   0      
15.21/2.33	c 0              915            29367          1521745        777            0              0   0   0      
15.21/2.33	c 0              916            29367          1521746        777            0              0   0   0      
15.21/2.33	c 0              563            23109          1225635        777            0              0   0   0      
15.21/2.33	c 0              917            29367          1521747        777            0              0   0   0      
15.21/2.33	c 0              966            29922          1273480        777            0              0   0   0      
15.21/2.33	c 0              918            29367          1521748        777            0              0   0   0      
15.21/2.33	c 0              967            29922          1273481        777            0              0   0   0      
15.21/2.33	c 0              968            29922          1273482        777            0              0   0   0      
15.21/2.33	c 0              969            29922          1273483        777            0              0   0   0      
15.21/2.33	c 0              970            29922          1273484        777            0              0   0   0      
15.21/2.33	c 0              971            29922          1273485        777            0              c 0              0   0   0919            29367           1521749         777             0                 
15.21/2.33	0   0   0c 0                 972             29922          1273486          777            
15.21/2.33	0              0   0   0      
15.21/2.33	c 0              973            29922          1273487        777            0              0   0   0      
15.21/2.33	c 0              920            29367          1521750        777            0              0   0   0      
15.21/2.33	c 0              564            23109          1225636        777            0              0   0   0      
15.21/2.33	c 0              921            29367          1521751        777            0              0   0   0      
15.21/2.33	c 0              922            29367          1521752        777            0              0   0   0      
15.21/2.33	c 0              565            23109          1225637        777            0              0   0   0      
15.21/2.33	c 0              923            29367          1521753        777            0              0   0   0      
15.21/2.33	c 0              566            23109          1225638        777            0              0   0   0      
15.21/2.33	c 0              924            29367          1521754        777            0              0   0   0      
15.21/2.33	c 0              567            23109          1225639        777            0              0   0   0      
15.21/2.33	c 0              925            29367          1521755        777            0              0   0   0      
15.21/2.33	c 0              568            23109          1225640        777            0              0   0   0      
15.21/2.33	c 0              926            29367          1521756        777            0              0   0   0      
15.21/2.33	c 0              570            23121          1225642        777            0              c 0              0   0   0  928             29377          1521758           777            
15.21/2.34	0              0   0   0      
15.21/2.34	c 0              929            29377          1521759        777            0              0   0   0      
15.21/2.34	c 0              975            29932          1273493        777            0              0   0   0      
15.21/2.34	c 0              572            23128          1225644        777            0              0   0   0      
15.21/2.34	c 0              573            23128          1225645        777            0              0   0   0      
15.21/2.34	c 0              931            29387          1521761        777            0              0   0   0      
15.21/2.34	c 0              932            29387          1521762        777            0              0   0   0      
15.21/2.34	c 0              575            23135          1225647        777            0              0   0   0      
15.21/2.34	c 0              934            29397          1521764        777            0              0   0   0      
15.21/2.34	c 0              577            23147          1225649        777            0              0   0   0      
15.21/2.34	c 0              578            23147          1225650        777            0              0   0   0      
15.21/2.34	c 0              936            29404          1521766        777            0              0   0   0      
15.21/2.34	c 0              977            29942          1273499        777            0              0   0   0      
15.21/2.34	c c 0              937            0              29404          1521767        777            978            0              29942          1273500        0   0   0777            0                    
15.21/2.34	0   0   0      
15.21/2.34	c 0              979            29942          1273501        777            0              0   0   0      
15.21/2.34	c 0              938            29404          1521768        777            0              0   0   0      
15.21/2.34	c 0              580            23159          1225652        777            0              0   0   0      
15.21/2.34	c 0              940            29410          1521770        777            0              0   0   0      
15.21/2.34	c 0              582            23166          1225654        777            0              0   0   0      
15.21/2.34	c 0              583            23166          1225655        777            0              0   0   0      
15.21/2.34	c 0              942            29420          1521772        777            0              0   0   0      
15.21/2.34	c 0              943            29420          1521773        777            0              0   0   0      
15.21/2.34	c 0              585            23173          1225657        777            0              0   0   0      
15.21/2.34	c 0              981            29952          1273507        777            0              0   0   0      
15.21/2.34	c 0              945            29430          1521775        777            0              0   0   0      
15.21/2.34	c 0              587            23185          1225659        777            0              0   0   0      
15.21/2.34	c 0              947            29436          1521777        777            0              0   0   0      
15.21/2.34	c 0              948            29436          1521778        777            0              0   0   0      
15.21/2.34	c 0              589            23189          1225661        777            0              0   0   0      
15.21/2.34	c 0              950            29442          1521780        777            0              0   0   0      
15.21/2.34	c 0              591            23196          1225663        777            0              0   0   0      
15.21/2.34	c 0              983            29962          1273513        777            0              0   0   0      
15.21/2.34	c 0              952            29452          1521782        777            0              0   0   0      
15.21/2.34	c 0              593            23208          1225665        777            0              0   0   0      
15.21/2.34	c 0              594            23208          1225666        777            0              0   0   0      
15.21/2.34	c 0              954            29459          1521784        777            0              0   0   0      
15.21/2.34	c 0              596            23220          1225668        777            0              0   0   0      
15.21/2.34	c 0              956            29465          1521786        777            0              0   0   0      
15.21/2.34	c 0              598            23227          1225670        777            0              0   0   0      
15.21/2.34	c 0              599            23227          1225671        777            0              0   0   0      
15.21/2.34	c 0              985            29972          1273519        777            0              0   0   0      
15.21/2.34	c 0              958            29475          1521788        777            0              0   0   0      
15.21/2.34	c First solution is found
15.21/2.38	c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4.
15.21/2.38	c [pFactory][Group N°0] Thread N°0 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°1 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°2 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°3 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°4 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°5 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°6 is joined.
15.21/2.38	c [pFactory][Group N°0] Thread N°7 is joined.
15.21/2.38	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2)
15.21/2.38	s SATISFIABLE
15.21/2.38	c restarts              : 5           
15.21/2.38	c conflicts             : 2            (0 /sec)
15.21/2.38	c decisions             : 8            (1 /sec)
15.21/2.38	c propagations          : 1006916     (68550 /sec)
15.21/2.38	c root propagations     : 723236      
15.21/2.38	c filter calls          : 14951          (1018 /sec)
15.21/2.38	c useless filter calls  : 9445           (63 %)
15.21/2.38	c Memory used           : 884.93 MB
15.21/2.38	c CPU time              : 14.6886 s
15.21/2.38	c real time             : 2.37558 s
15.21/2.38	
15.21/2.38	c solution 1
15.21/2.38	
15.21/2.38	v <instantiation type='solution'>
15.21/2.38	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] </list>
15.21/2.38	v <values>0 437 498 586 621 1192 1273 73 411 680 1238 1242 1275 1 26 921 923 1043 149 795 907 1081 885 1214 346 363 399 774 1259 217 877 879 1139 184 285 780 1277 1280 788 831 1054 144 167 229 422 429 878 1039 1137 138 1286 1108 23 175 195 1030 1131 1104 1181 1209 86 1055 1119 127 954 171 12 203 624 673 1171 876 958 803 271 442 283 102 514 575 645 995 1271 227 779 111 123 128 450 1082 1096 1103 490 1050 1101 1151 689 838 1140 663 105 588 714 1060 1226 472 556 446 1070 508 532 860 952 1117 1217 1288 1294 20 773 919 1021 1211 109 1005 947 67 256 270 293 981 13 654 737 1110 258 476 599 745 84 169 761 72 134 826 110 370 765 821 18 440 1264 640 771 864 174 501 980 1179 339 926 962 51 151 387 417 615 693 855 1263 644 1283 78 1064 92 1018 1245 405 433 718 335 631 662 160 844 574 1025 859 1231 55 629 1088 918 207 284 769 1197 965 478 994 1193 698 1200 1160 872 321 814 224 495 676 1016 1125 1199 313 802 1213 1221 635 819 1112 1230 10 449 917 1266 9 76 710 839 1100 1136 46 517 148 1062 789 932 45 135 533 579 627 843 1035 291 1253 24 983 240 724 801 757 758 1182 255 316 915 849 1052 538 928 848 1163 6 225 251 484 630 794 1026 944 158 543 1269 136 269 1173 487 515 656 699 943 1047 1287 65 545 817 1206 326 345 414 115 793 1044 1295 146 1153 1168 1202 197 289 1235 1281 113 194 464 1205 1257 300 334 647 298 704 890 132 1007 1236 43 832 880 379 946 1154 130 201 447 439 703 116 1133 4 423 833 1159 63 852 1086 1122 679 1241 687 883 1097 827 964 351 497 955 220 11 58 297 402 506 743 380 68 1169 357 413 1185 1187 861 145 330 373 874 886 1118 835 1115 2 249 854 1073 1144 1282 36 54 587 611 898 91 266 963 1024 1191 993 1243 296 374 1170 762 1212 117 894 371 804 1048 1075 259 460 659 868 394 377 386 807 929 56 999 892 190 242 276 165 1071 1079 1022 1227 1254 253 1158 100 1069 1162 1218 38 15 104 519 925 41 1274 930 372 499 547 1063 1256 216 502 791 364 366 798 348 542 664 738 871 927 228 1284 1031 302 1102 1177 39 185 383 384 603 272 273 564 526 486 796 311 192 996 108 120 196 396 1056 107 177 613 1040 1165 329 340 461 521 548 48 28 622 787 1201 465 792 1143 905 660 42 1037 520 896 226 1041 8 252 661 945 1015 1109 161 578 937 1027 244 400 1252 453 646 1183 93 350 688 720 551 751 825 448 75 80 205 361 643 683 34 264 908 1265 90 309 511 85 1094 1267 395 157 33 1268 524 888 978 665 1250 557 857 352 418 614 1010 1057 1190 607 25 782 1178 740 653 97 369 404 455 1123 279 595 475 903 1114 152 424 967 560 428 589 1045 1006 432 166 869 1157 554 856 528 1019 281 684 867 1083 1164 583 286 441 1194 27 294 1184 858 204 210 507 193 222 715 31 112 1068 191 566 975 468 1126 1208 88 176 670 1020 1237 430 493 491 133 315 1196 657 739 959 50 356 616 682 960 1084 1246 1262 597 902 250 568 215 642 778 717 1072 875 1180 77 899 419 623 985 139 488 957 208 280 1261 953 822 458 1111 71 170 496 544 742 1276 459 610 977 1175 767 1061 407 425 1233 1002 847 314 625 620 834 936 1138 382 709 972 40 155 759 66 648 806 639 1174 427 889 254 694 1249 1232 444 1105 949 651 1053 569 900 914 1186 94 655 913 1087 137 156 594 669 887 199 1003 1046 287 367 549 846 940 1270 1290 262 1076 325 378 5 1176 69 70 391 431 550 895 1017 596 360 172 221 290 706 733 1279 140 288 881 481 1091 337 420 641 1036 1198 755 421 489 1121 658 1033 612 891 7 753 707 </values>
15.21/2.38	v </instantiation>
15.21/2.38

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15441 MiB free)
  memory of node 1: 16384 MiB (15677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409329-1569827781/watcher-4409329-1569827781 -o /tmp/evaluation-result-4409329-1569827781/solver-4409329-1569827781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409329-1569827781.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15465, runsolver pid=15462
Current StackSize limit: 8192 KiB


[startup+0.100163 s]*
/proc/loadavg: 1.02 3.14 5.58 2/189 15466
/proc/meminfo: memFree=31792572/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=112476 memory=88692 CPUtime=0.1 cores=0-7
/proc/15465/stat : 15465 (cosoco) R 15462 15465 14059 0 -1 4202496 22371 0 0 0 8 2 0 0 20 0 1 0 559050359 115175424 22173 33554432000 4194304 6211132 140735566192336 140735566188872 140260198767589 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 28119 22173 822 493 0 21424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 88692 KiB

[startup+0.209537 s]*
/proc/loadavg: 1.02 3.14 5.58 2/189 15466
/proc/meminfo: memFree=31618644/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=293004 memory=269252 CPUtime=0.21 cores=0-7
/proc/15465/stat : 15465 (cosoco) R 15462 15465 14059 0 -1 4202496 67562 0 0 0 14 7 0 0 20 0 1 0 559050359 300036096 67313 33554432000 4194304 6211132 140735566192336 140735566188872 140260198767589 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 73251 67313 825 493 0 66556 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 293004 KiB
Current children cumulated memory: 269252 KiB

[startup+0.309652 s]*
/proc/loadavg: 1.02 3.14 5.58 7/197 15474
/proc/meminfo: memFree=31538108/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=938948 memory=334692 CPUtime=0.76 cores=0-7
/proc/15465/stat : 15465 (cosoco) S 15462 15465 14059 0 -1 1077944320 84066 0 0 0 66 10 0 0 20 0 9 0 559050359 961482752 83673 33554432000 4194304 6211132 140735566192336 140735566190592 140260214808311 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 234737 83673 870 493 0 228042 0
[pid=15465/tid=15467] ppid=15462 vsize=938948 memory=288355116380323867 CPUtime=0.06 cores=0-7
/proc/15465/task/15467/stat : 15467 (cosoco) D 15462 15465 14059 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260191665112 140260199243351 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15468] ppid=15462 vsize=938948 memory=288230583199609178 CPUtime=0.06 cores=0-7
/proc/15465/task/15468/stat : 15468 (cosoco) R 15462 15465 14059 0 -1 4202560 338 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260183272312 140260198763326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15469] ppid=15462 vsize=938948 memory=140456894187529 CPUtime=0.06 cores=0-7
/proc/15465/task/15469/stat : 15469 (cosoco) R 15462 15465 14059 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260174879704 140260198763326 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15470] ppid=15462 vsize=938948 memory=-1 CPUtime=0.06 cores=0-7
/proc/15465/task/15470/stat : 15470 (cosoco) R 15462 15465 14059 0 -1 4202560 342 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260166486904 140260198763326 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15471] ppid=15462 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/15465/task/15471/stat : 15471 (cosoco) R 15462 15465 14059 0 -1 4202560 274 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260158094296 140260198767589 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15472] ppid=15462 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/15465/task/15472/stat : 15472 (cosoco) D 15462 15465 14059 0 -1 4202560 337 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260149701592 140260199243351 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15473] ppid=15462 vsize=938948 memory=-1 CPUtime=0.05 cores=0-7
/proc/15465/task/15473/stat : 15473 (cosoco) R 15462 15465 14059 0 -1 4202560 245 0 0 0 5 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260141308888 140260198763326 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15474] ppid=15462 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/15465/task/15474/stat : 15474 (cosoco) R 15462 15465 14059 0 -1 4202560 301 0 0 0 6 0 0 0 20 0 9 0 559050384 961482752 83673 33554432000 4194304 6211132 140735566192336 140260132916184 140260198763326 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 334692 KiB

[startup+0.701966 s]
/proc/loadavg: 1.02 3.14 5.58 9/197 15474
/proc/meminfo: memFree=31487888/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=938948 memory=437652 CPUtime=3.75 cores=0-7
/proc/15465/stat : 15465 (cosoco) S 15462 15465 14059 0 -1 1077944320 109870 0 0 0 356 19 0 0 20 0 9 0 559050359 961482752 109413 33554432000 4194304 6211132 140735566192336 140735566190592 140260214808311 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 234737 109413 870 493 0 228042 0
[pid=15465/tid=15467] ppid=15462 vsize=938948 memory=4294969568 CPUtime=0.44 cores=0-7
/proc/15465/task/15467/stat : 15467 (cosoco) R 15462 15465 14059 0 -1 4202560 3593 0 0 0 43 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260191665112 140260198763326 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15468] ppid=15462 vsize=938948 memory=2244 CPUtime=0.42 cores=0-7
/proc/15465/task/15468/stat : 15468 (cosoco) R 15462 15465 14059 0 -1 4202560 3129 0 0 0 42 0 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260183272408 140260199243351 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15469] ppid=15462 vsize=938948 memory=6655300316396806240 CPUtime=0.43 cores=0-7
/proc/15465/task/15469/stat : 15469 (cosoco) R 15462 15465 14059 0 -1 4202560 3581 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260174879608 140260198763326 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15470] ppid=15462 vsize=938948 memory=0 CPUtime=0.43 cores=0-7
/proc/15465/task/15470/stat : 15470 (cosoco) D 15462 15465 14059 0 -1 4202560 3647 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260166487000 140260198767589 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15471] ppid=15462 vsize=938948 memory=0 CPUtime=0.43 cores=0-7
/proc/15465/task/15471/stat : 15471 (cosoco) D 15462 15465 14059 0 -1 4202560 3217 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260158094296 140260198767589 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15472] ppid=15462 vsize=938948 memory=0 CPUtime=0.43 cores=0-7
/proc/15465/task/15472/stat : 15472 (cosoco) D 15462 15465 14059 0 -1 4202560 3922 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260149701592 140260198763326 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15473] ppid=15462 vsize=938948 memory=0 CPUtime=0.43 cores=0-7
/proc/15465/task/15473/stat : 15473 (cosoco) D 15462 15465 14059 0 -1 4202560 3579 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260141308888 140260198763326 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15474] ppid=15462 vsize=938948 memory=1348 CPUtime=0.43 cores=0-7
/proc/15465/task/15474/stat : 15474 (cosoco) D 15462 15465 14059 0 -1 4202560 3555 0 0 0 42 1 0 0 20 0 9 0 559050384 961482752 109413 33554432000 4194304 6211132 140735566192336 140260132916184 140260198763326 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 437652 KiB

[startup+1.50179 s]
/proc/loadavg: 1.02 3.14 5.58 7/197 15474
/proc/meminfo: memFree=31363888/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=1102800 memory=738720 CPUtime=9.73 cores=0-7
/proc/15465/stat : 15465 (cosoco) S 15462 15465 14059 0 -1 1077944320 176593 0 0 0 921 52 0 0 20 0 9 0 559050359 1129267200 184680 33554432000 4194304 6211132 140735566192336 140735566190592 140260214808311 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 275700 184680 873 493 0 269005 0
[pid=15465/tid=15467] ppid=15462 vsize=1102800 memory=0 CPUtime=1.14 cores=0-7
/proc/15465/task/15467/stat : 15467 (cosoco) R 15462 15465 14059 0 -1 4202560 9124 0 0 0 110 4 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260191665280 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15468] ppid=15462 vsize=1102800 memory=0 CPUtime=1.16 cores=0-7
/proc/15465/task/15468/stat : 15468 (cosoco) S 15462 15465 14059 0 -1 1077944384 10655 0 0 0 114 2 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260183272576 140260214829501 0 0 4096 8405026 18446744071579849748 0 0 -1 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15469] ppid=15462 vsize=1102800 memory=0 CPUtime=1.16 cores=0-7
/proc/15465/task/15469/stat : 15469 (cosoco) R 15462 15465 14059 0 -1 4202560 10848 0 0 0 109 7 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260174879704 5017664 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15470] ppid=15462 vsize=1102800 memory=0 CPUtime=1.2 cores=0-7
/proc/15465/task/15470/stat : 15470 (cosoco) R 15462 15465 14059 0 -1 4202560 13544 0 0 0 116 4 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260166487248 5302457 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15471] ppid=15462 vsize=1102800 memory=988 CPUtime=1.16 cores=0-7
/proc/15465/task/15471/stat : 15471 (cosoco) R 15462 15465 14059 0 -1 4202560 10553 0 0 0 110 6 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260158094296 5017274 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15472] ppid=15462 vsize=1102800 memory=2016 CPUtime=1.22 cores=0-7
/proc/15465/task/15472/stat : 15472 (cosoco) R 15462 15465 14059 0 -1 4202560 13780 0 0 0 117 5 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260149701840 5403714 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15473] ppid=15462 vsize=1102800 memory=1348 CPUtime=1.2 cores=0-7
/proc/15465/task/15473/stat : 15473 (cosoco) R 15462 15465 14059 0 -1 4202560 13714 0 0 0 115 5 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260141309208 5302358 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15474] ppid=15462 vsize=1102800 memory=10576 CPUtime=1.19 cores=0-7
/proc/15465/task/15474/stat : 15474 (cosoco) R 15462 15465 14059 0 -1 4202560 12768 0 0 0 112 7 0 0 20 0 9 0 559050384 1129267200 184746 33554432000 4194304 6211132 140735566192336 140260132916088 5302358 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 1102800 KiB
Current children cumulated memory: 738720 KiB

[startup+2.43214 s]
# the end of solver process 15465 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.6896 s, system=0.962914 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60084 s]
/proc/loadavg: 1.02 3.14 5.58 7/197 15474
/proc/meminfo: memFree=31363888/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=1266652 memory=924060 CPUtime=10.31 cores=0-7
/proc/15465/stat : 15465 (cosoco) S 15462 15465 14059 0 -1 1077944320 186769 0 0 0 975 56 0 0 20 0 9 0 559050359 1297051648 231015 33554432000 4194304 6211132 140735566192336 140735566190592 140260214808311 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 316663 231015 875 493 0 309968 0
[pid=15465/tid=15467] ppid=15462 vsize=1266652 memory=3948 CPUtime=1.23 cores=0-7
/proc/15465/task/15467/stat : 15467 (cosoco) R 15462 15465 14059 0 -1 4202560 11753 0 0 0 118 5 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260191664968 5302382 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15468] ppid=15462 vsize=1266652 memory=6935054825532540783 CPUtime=1.2 cores=0-7
/proc/15465/task/15468/stat : 15468 (cosoco) R 15462 15465 14059 0 -1 4202560 12080 0 0 0 118 2 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260183272312 5302358 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15469] ppid=15462 vsize=1266652 memory=140456772055825 CPUtime=1.24 cores=0-7
/proc/15465/task/15469/stat : 15469 (cosoco) R 15462 15465 14059 0 -1 4202560 13583 0 0 0 116 8 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260174879952 5302382 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15470] ppid=15462 vsize=1266652 memory=6655300316396806240 CPUtime=1.29 cores=0-7
/proc/15465/task/15470/stat : 15470 (cosoco) R 15462 15465 14059 0 -1 4202560 13689 0 0 0 125 4 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260166487320 5389855 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15471] ppid=15462 vsize=1266652 memory=6656426216303648864 CPUtime=1.21 cores=0-7
/proc/15465/task/15471/stat : 15471 (cosoco) S 15462 15465 14059 0 -1 1077944384 10932 0 0 0 115 6 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260158094464 140260214829501 0 0 4096 8405026 18446744071579849748 0 0 -1 2 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15472] ppid=15462 vsize=1266652 memory=6944656592455097440 CPUtime=1.25 cores=0-7
/proc/15465/task/15472/stat : 15472 (cosoco) S 15462 15465 14059 0 -1 1077944384 13790 0 0 0 120 5 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260149701840 140260214829501 0 0 4096 8405026 18446744071579849748 0 0 -1 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15473] ppid=15462 vsize=1266652 memory=6944656575208382560 CPUtime=1.29 cores=0-7
/proc/15465/task/15473/stat : 15473 (cosoco) R 15462 15465 14059 0 -1 4202560 15220 0 0 0 124 5 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260141309024 5397400 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15474] ppid=15462 vsize=1266652 memory=6944656592455097440 CPUtime=1.29 cores=0-7
/proc/15465/task/15474/stat : 15474 (cosoco) R 15462 15465 14059 0 -1 4202560 14104 0 0 0 121 8 0 0 20 0 9 0 559050384 1297051648 231081 33554432000 4194304 6211132 140735566192336 140260132916504 5302457 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 1266652 KiB
Current children cumulated memory: 924060 KiB

[startup+2.00685 s]*
/proc/loadavg: 1.02 3.14 5.58 7/197 15474
/proc/meminfo: memFree=30758196/32770624 swapFree=66904512/67108860
[pid=15465] ppid=15462 vsize=1463268 memory=1111828 CPUtime=13.09 cores=0-7
/proc/15465/stat : 15465 (cosoco) S 15462 15465 14059 0 -1 1077944320 249200 0 0 0 1226 83 0 0 20 0 9 0 559050359 1498386432 277957 33554432000 4194304 6211132 140735566192336 140735566190592 140260214808311 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
/proc/15465/statm: 365817 277957 876 493 0 359122 0
[pid=15465/tid=15467] ppid=15462 vsize=1463268 memory=280913543954672 CPUtime=1.59 cores=0-7
/proc/15465/task/15467/stat : 15467 (cosoco) R 15462 15465 14059 0 -1 4202560 18371 0 0 0 148 11 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260191665248 5079295 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15468] ppid=15462 vsize=1463268 memory=280913666216880 CPUtime=1.57 cores=0-7
/proc/15465/task/15468/stat : 15468 (cosoco) R 15462 15465 14059 0 -1 4202560 21431 0 0 0 153 4 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260183272656 5017472 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15469] ppid=15462 vsize=1463268 memory=7378735642784435695 CPUtime=1.63 cores=0-7
/proc/15465/task/15469/stat : 15469 (cosoco) R 15462 15465 14059 0 -1 4202560 24366 0 0 0 149 14 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260174879840 5403711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15470] ppid=15462 vsize=1463268 memory=6944656592455359580 CPUtime=1.6 cores=0-7
/proc/15465/task/15470/stat : 15470 (cosoco) R 15462 15465 14059 0 -1 4202560 20866 0 0 0 155 5 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260166487248 5403711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15471] ppid=15462 vsize=1463268 memory=6655300316396806240 CPUtime=1.52 cores=0-7
/proc/15465/task/15471/stat : 15471 (cosoco) R 15462 15465 14059 0 -1 1077944384 18865 0 0 0 140 12 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260158094560 140260214829501 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15472] ppid=15462 vsize=1463268 memory=6944656592455360604 CPUtime=1.59 cores=0-7
/proc/15465/task/15472/stat : 15472 (cosoco) R 15462 15465 14059 0 -1 4202560 21121 0 0 0 154 5 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260149701728 5017679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15473] ppid=15462 vsize=1463268 memory=3472328296227418159 CPUtime=1.6 cores=0-7
/proc/15465/task/15473/stat : 15473 (cosoco) R 15462 15465 14059 0 -1 4202560 22225 0 0 0 155 5 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260141309136 5078762 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
[pid=15465/tid=15474] ppid=15462 vsize=1463268 memory=6944656592455360604 CPUtime=1.67 cores=0-7
/proc/15465/task/15474/stat : 15474 (cosoco) R 15462 15465 14059 0 -1 4202560 20439 0 0 0 154 13 0 0 20 0 9 0 559050384 1498386432 277957 33554432000 4194304 6211132 140735566192336 140260132916320 5017617 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37732352 140735566193681 140735566193773 140735566193773 140735566196686 0
Current children cumulated CPU time: 13.09 s
Current children cumulated vsize: 1463268 KiB
Current children cumulated memory: 1111828 KiB

[startup+2.40057 s]*
/proc/loadavg: 1.02 3.14 5.58 2/189 15474
/proc/meminfo: memFree=31314956/32770624 swapFree=66904512/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2.43221
CPU time (s): 15.6525
CPU user time (s): 14.6896
CPU system time (s): 0.962914
CPU usage (%): 643.551
Max. virtual memory (cumulated for all children) (KiB): 1463268
Max. memory (cumulated for all children) (KiB): 1116500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6896
system time used= 0.962914
maximum resident set size= 1136220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268577
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= 18892
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 15465
#   total CPU time (s): 15.6525
#   total CPU user time (s): 14.6896
#   total CPU system time (s): 0.962914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032734 second user time and 0.075102 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-30 09:18:49
IDJOB=4409329
IDBENCH=130846
IDSOLVER=2877
FILE ID=node139/4409329-1569827781
RUNJOBID= node139-1569817401-14086
PBS_JOBID= 21705915
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr2-m1296-05.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409329-1569827781/watcher-4409329-1569827781 -o /tmp/evaluation-result-4409329-1569827781/solver-4409329-1569827781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409329-1569827781.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3130b580259b5cb9fe6f555a4358f6cc
RANDOM SEED=1357331531

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31866452 kB
MemAvailable:   31844412 kB
Buffers:           62360 kB
Cached:           222156 kB
SwapCached:        75780 kB
Active:            94460 kB
Inactive:         268120 kB
Active(anon):      12360 kB
Inactive(anon):   108208 kB
Active(file):      82100 kB
Inactive(file):   159912 kB
Unevictable:      109076 kB
Mlocked:          109076 kB
SwapTotal:      67108860 kB
SwapFree:       66904512 kB
Dirty:              2472 kB
Writeback:             0 kB
AnonPages:        112248 kB
Mapped:            24012 kB
Shmem:             33856 kB
Slab:             132976 kB
SReclaimable:     103568 kB
SUnreclaim:        29408 kB
KernelStack:        3376 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     529772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 62028 MiB
End job on node139 at 2019-09-30 09:18:51