Trace number 4409881

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 NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0 parallelSAT (TO)47 1997.21 252.265

General information on the benchmark

NameOpenStacks/
OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
MD5SUM00ff107c10292685d5feb35a59a49636
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark68.4885
Satisfiable
(Un)Satisfiability was proved
Number of variables7600
Number of constraints7551
Number of domains17
Minimum domain size2
Maximum domain size51
Distribution of domain sizes[{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}]
Minimum variable degree2
Maximum variable degree51
Distribution of variable degrees[{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}]
Number of extensional constraints2500
Number of intensional constraints2500
Distribution of constraint types[{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.53	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
0.51/0.54	c AllEqual constraint using 1 generic x=y constraints 
28.23/5.44	c
28.23/5.44	c This is cosoco 2.00 --  
28.23/5.44	c
28.23/5.44	c command line: cosoco -model -nbcores=8 HOME/instance-4409881-1569831856.xml 
28.23/5.44	c enable optimization
28.23/5.44	c ========================================[ Problem Statistics ]===========================================
28.23/5.44	c |                                                                                                       
28.23/5.44	c |  Parse time        :         1.32 s 
28.23/5.44	c |
28.23/5.44	c |               Variables: 7600
28.23/5.44	c |            Domain Sizes: 2..51
28.23/5.44	c |
28.23/5.44	c |             Constraints: 7552
28.23/5.44	c |                   Arity: 2..51  -- Binary: 2550  -- Ternary: 4950
28.23/5.44	c | 
28.23/5.44	c |                   Types: 
28.23/5.44	c |                          (X = Y): 50
28.23/5.44	c |                          All Different: 1
28.23/5.44	c |                          Extension: 5000  (nb tuples: 3..99) -- (shared: 19872)
28.23/5.44	c |                          Max constant: 1
28.23/5.44	c |                          Sum: 2500
28.23/5.44	c |                          
28.23/5.44	c |               Objective: Minimize Max constant
28.23/5.44	
28.23/5.44	c =========================================================================================================
28.23/5.44	c Parallel mode: Portfolio
28.23/5.44	c [pFactory][Group N°0] created (threads:8).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
28.23/5.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
28.23/5.44	c [pFactory][Group N°0] concurrent mode: enabled.
28.23/5.44	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
28.23/5.44	c [pFactory][Group N°0] task 7 launched on thread 0.
28.23/5.44	c [pFactory][Group N°0] task 6 launched on thread 2.
28.23/5.44	c [pFactory][Group N°0] task 5 launched on thread 1.
28.23/5.44	c [pFactory][Group N°0] task 4 launched on thread 5.
28.23/5.44	c [pFactory][Group N°0] task 3 launched on thread 6.
28.23/5.44	c [pFactory][Group N°0] task 2 launched on thread 4.
28.23/5.44	c [pFactory][Group N°0] task 1 launched on thread 7.
28.23/5.44	c [pFactory][Group N°0] task 0 launched on thread 3.
28.23/5.44	o 49
35.14/6.39	o 48
509.43/65.73	o 47
1996.85/252.02	
1996.85/252.02	c *** INTERRUPTED ***
1996.85/252.02	c call to solver        : 2
1996.85/252.02	c
1996.85/252.02	c restarts              : 534         
1996.85/252.02	c conflicts             : 5694         (3 /sec)
1996.85/252.02	c decisions             : 402836       (202 /sec)
1996.85/252.02	c propagations          : 42291550    (21233 /sec)
1996.85/252.02	c root propagations     : 307825      
1996.85/252.02	c filter calls          : 53745248       (26984 /sec)
1996.85/252.02	c useless filter calls  : 31627415       (58 %)
1996.85/252.02	c Memory used           : 3800.67 MB
1996.85/252.02	c Best bound time (wc)  : 65.7319 s
1996.85/252.02	c CPU time              : 1991.77 s
1996.85/252.02	c real time             : 252.016 s
1996.85/252.02	
1996.85/252.02	s SATISFIABLE
1996.85/252.02	c Best value found: 47
1996.85/252.02	
1996.85/252.02	
1996.85/252.02	v <instantiation type='solution' cost='47'>
1996.85/252.02	v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][2] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][3] np[0][40] np[0][41] np[0][42] np[0][43] np[0][44] np[0][45] np[0][46] np[0][47] np[0][48] np[0][49] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][2] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][3] np[10][40] np[10][41] np[10][42] np[10][43] np[10][44] np[10][45] np[10][46] np[10][47] np[10][48] np[10][49] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][2] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][3] np[11][40] np[11][41] np[11][42] np[11][43] np[11][44] np[11][45] np[11][46] np[11][47] np[11][48] np[11][49] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][2] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][3] np[12][40] np[12][41] np[12][42] np[12][43] np[12][44] np[12][45] np[12][46] np[12][47] np[12][48] np[12][49] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][2] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][3] np[13][40] np[13][41] np[13][42] np[13][43] np[13][44] np[13][45] np[13][46] np[13][47] np[13][48] np[13][49] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][2] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][3] np[14][40] np[14][41] np[14][42] np[14][43] np[14][44] np[14][45] np[14][46] np[14][47] np[14][48] np[14][49] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][2] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][3] np[15][40] np[15][41] np[15][42] np[15][43] np[15][44] np[15][45] np[15][46] np[15][47] np[15][48] np[15][49] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][2] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][3] np[16][40] np[16][41] np[16][42] np[16][43] np[16][44] np[16][45] np[16][46] np[16][47] np[16][48] np[16][49] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][2] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][3] np[17][40] np[17][41] np[17][42] np[17][43] np[17][44] np[17][45] np[17][46] np[17][47] np[17][48] np[17][49] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][2] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][3] np[18][40] np[18][41] np[18][42] np[18][43] np[18][44] np[18][45] np[18][46] np[18][47] np[18][48] np[18][49] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][2] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][3] np[19][40] np[19][41] np[19][42] np[19][43] np[19][44] np[19][45] np[19][46] np[19][47] np[19][48] np[19][49] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][2] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][3] np[1][40] np[1][41] np[1][42] np[1][43] np[1][44] np[1][45] np[1][46] np[1][47] np[1][48] np[1][49] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[20][0] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][1] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][2] np[20][30] np[20][31] np[20][32] np[20][33] np[20][34] np[20][35] np[20][36] np[20][37] np[20][38] np[20][39] np[20][3] np[20][40] np[20][41] np[20][42] np[20][43] np[20][44] np[20][45] np[20][46] np[20][47] np[20][48] np[20][49] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[21][0] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][1] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][2] np[21][30] np[21][31] np[21][32] np[21][33] np[21][34] np[21][35] np[21][36] np[21][37] np[21][38] np[21][39] np[21][3] np[21][40] np[21][41] np[21][42] np[21][43] np[21][44] np[21][45] np[21][46] np[21][47] np[21][48] np[21][49] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[22][0] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][1] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][2] np[22][30] np[22][31] np[22][32] np[22][33] np[22][34] np[22][35] np[22][36] np[22][37] np[22][38] np[22][39] np[22][3] np[22][40] np[22][41] np[22][42] np[22][43] np[22][44] np[22][45] np[22][46] np[22][47] np[22][48] np[22][49] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[23][0] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][1] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][2] np[23][30] np[23][31] np[23][32] np[23][33] np[23][34] np[23][35] np[23][36] np[23][37] np[23][38] np[23][39] np[23][3] np[23][40] np[23][41] np[23][42] np[23][43] np[23][44] np[23][45] np[23][46] np[23][47] np[23][48] np[23][49] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[24][0] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][1] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][2] np[24][30] np[24][31] np[24][32] np[24][33] np[24][34] np[24][35] np[24][36] np[24][37] np[24][38] np[24][39] np[24][3] np[24][40] np[24][41] np[24][42] np[24][43] np[24][44] np[24][45] np[24][46] np[24][47] np[24][48] np[24][49] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[25][0] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][1] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][2] np[25][30] np[25][31] np[25][32] np[25][33] np[25][34] np[25][35] np[25][36] np[25][37] np[25][38] np[25][39] np[25][3] np[25][40] np[25][41] np[25][42] np[25][43] np[25][44] np[25][45] np[25][46] np[25][47] np[25][48] np[25][49] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[26][0] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][1] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][2] np[26][30] np[26][31] np[26][32] np[26][33] np[26][34] np[26][35] np[26][36] np[26][37] np[26][38] np[26][39] np[26][3] np[26][40] np[26][41] np[26][42] np[26][43] np[26][44] np[26][45] np[26][46] np[26][47] np[26][48] np[26][49] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[27][0] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][1] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][2] np[27][30] np[27][31] np[27][32] np[27][33] np[27][34] np[27][35] np[27][36] np[27][37] np[27][38] np[27][39] np[27][3] np[27][40] np[27][41] np[27][42] np[27][43] np[27][44] np[27][45] np[27][46] np[27][47] np[27][48] np[27][49] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[28][0] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][1] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][2] np[28][30] np[28][31] np[28][32] np[28][33] np[28][34] np[28][35] np[28][36] np[28][37] np[28][38] np[28][39] np[28][3] np[28][40] np[28][41] np[28][42] np[28][43] np[28][44] np[28][45] np[28][46] np[28][47] np[28][48] np[28][49] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[29][0] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][1] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][2] np[29][30] np[29][31] np[29][32] np[29][33] np[29][34] np[29][35] np[29][36] np[29][37] np[29][38] np[29][39] np[29][3] np[29][40] np[29][41] np[29][42] np[29][43] np[29][44] np[29][45] np[29][46] np[29][47] np[29][48] np[29][49] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][2] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][3] np[2][40] np[2][41] np[2][42] np[2][43] np[2][44] np[2][45] np[2][46] np[2][47] np[2][48] np[2][49] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[30][0] np[30][10] np[30][11] np[30][12] np[30][13] np[30][14] np[30][15] np[30][16] np[30][17] np[30][18] np[30][19] np[30][1] np[30][20] np[30][21] np[30][22] np[30][23] np[30][24] np[30][25] np[30][26] np[30][27] np[30][28] np[30][29] np[30][2] np[30][30] np[30][31] np[30][32] np[30][33] np[30][34] np[30][35] np[30][36] np[30][37] np[30][38] np[30][39] np[30][3] np[30][40] np[30][41] np[30][42] np[30][43] np[30][44] np[30][45] np[30][46] np[30][47] np[30][48] np[30][49] np[30][4] np[30][5] np[30][6] np[30][7] np[30][8] np[30][9] np[31][0] np[31][10] np[31][11] np[31][12] np[31][13] np[31][14] np[31][15] np[31][16] np[31][17] np[31][18] np[31][19] np[31][1] np[31][20] np[31][21] np[31][22] np[31][23] np[31][24] np[31][25] np[31][26] np[31][27] np[31][28] np[31][29] np[31][2] np[31][30] np[31][31] np[31][32] np[31][33] np[31][34] np[31][35] np[31][36] np[31][37] np[31][38] np[31][39] np[31][3] np[31][40] np[31][41] np[31][42] np[31][43] np[31][44] np[31][45] np[31][46] np[31][47] np[31][48] np[31][49] np[31][4] np[31][5] np[31][6] np[31][7] np[31][8] np[31][9] np[32][0] np[32][10] np[32][11] np[32][12] np[32][13] np[32][14] np[32][15] np[32][16] np[32][17] np[32][18] np[32][19] np[32][1] np[32][20] np[32][21] np[32][22] np[32][23] np[32][24] np[32][25] np[32][26] np[32][27] np[32][28] np[32][29] np[32][2] np[32][30] np[32][31] np[32][32] np[32][33] np[32][34] np[32][35] np[32][36] np[32][37] np[32][38] np[32][39] np[32][3] np[32][40] np[32][41] np[32][42] np[32][43] np[32][44] np[32][45] np[32][46] np[32][47] np[32][48] np[32][49] np[32][4] np[32][5] np[32][6] np[32][7] np[32][8] np[32][9] np[33][0] np[33][10] np[33][11] np[33][12] np[33][13] np[33][14] np[33][15] np[33][16] np[33][17] np[33][18] np[33][19] np[33][1] np[33][20] np[33][21] np[33][22] np[33][23] np[33][24] np[33][25] np[33][26] np[33][27] np[33][28] np[33][29] np[33][2] np[33][30] np[33][31] np[33][32] np[33][33] np[33][34] np[33][35] np[33][36] np[33][37] np[33][38] np[33][39] np[33][3] np[33][40] np[33][41] np[33][42] np[33][43] np[33][44] np[33][45] np[33][46] np[33][47] np[33][48] np[33][49] np[33][4] np[33][5] np[33][6] np[33][7] np[33][8] np[33][9] np[34][0] np[34][10] np[34][11] np[34][12] np[34][13] np[34][14] np[34][15] np[34][16] np[34][17] np[34][18] np[34][19] np[34][1] np[34][20] np[34][21] np[34][22] np[34][23] np[34][24] np[34][25] np[34][26] np[34][27] np[34][28] np[34][29] np[34][2] np[34][30] np[34][31] np[34][32] np[34][33] np[34][34] np[34][35] np[34][36] np[34][37] np[34][38] np[34][39] np[34][3] np[34][40] np[34][41] np[34][42] np[34][43] np[34][44] np[34][45] np[34][46] np[34][47] np[34][48] np[34][49] np[34][4] np[34][5] np[34][6] np[34][7] np[34][8] np[34][9] np[35][0] np[35][10] np[35][11] np[35][12] np[35][13] np[35][14] np[35][15] np[35][16] np[35][17] np[35][18] np[35][19] np[35][1] np[35][20] np[35][21] np[35][22] np[35][23] np[35][24] np[35][25] np[35][26] np[35][27] np[35][28] np[35][29] np[35][2] np[35][30] np[35][31] np[35][32] np[35][33] np[35][34] np[35][35] np[35][36] np[35][37] np[35][38] np[35][39] np[35][3] np[35][40] np[35][41] np[35][42] np[35][43] np[35][44] np[35][45] np[35][46] np[35][47] np[35][48] np[35][49] np[35][4] np[35][5] np[35][6] np[35][7] np[35][8] np[35][9] np[36][0] np[36][10] np[36][11] np[36][12] np[36][13] np[36][14] np[36][15] np[36][16] np[36][17] np[36][18] np[36][19] np[36][1] np[36][20] np[36][21] np[36][22] np[36][23] np[36][24] np[36][25] np[36][26] np[36][27] np[36][28] np[36][29] np[36][2] np[36][30] np[36][31] np[36][32] np[36][33] np[36][34] np[36][35] np[36][36] np[36][37] np[36][38] np[36][39] np[36][3] np[36][40] np[36][41] np[36][42] np[36][43] np[36][44] np[36][45] np[36][46] np[36][47] np[36][48] np[36][49] np[36][4] np[36][5] np[36][6] np[36][7] np[36][8] np[36][9] np[37][0] np[37][10] np[37][11] np[37][12] np[37][13] np[37][14] np[37][15] np[37][16] np[37][17] np[37][18] np[37][19] np[37][1] np[37][20] np[37][21] np[37][22] np[37][23] np[37][24] np[37][25] np[37][26] np[37][27] np[37][28] np[37][29] np[37][2] np[37][30] np[37][31] np[37][32] np[37][33] np[37][34] np[37][35] np[37][36] np[37][37] np[37][38] np[37][39] np[37][3] np[37][40] np[37][41] np[37][42] np[37][43] np[37][44] np[37][45] np[37][46] np[37][47] np[37][48] np[37][49] np[37][4] np[37][5] np[37][6] np[37][7] np[37][8] np[37][9] np[38][0] np[38][10] np[38][11] np[38][12] np[38][13] np[38][14] np[38][15] np[38][16] np[38][17] np[38][18] np[38][19] np[38][1] np[38][20] np[38][21] np[38][22] np[38][23] np[38][24] np[38][25] np[38][26] np[38][27] np[38][28] np[38][29] np[38][2] np[38][30] np[38][31] np[38][32] np[38][33] np[38][34] np[38][35] np[38][36] np[38][37] np[38][38] np[38][39] np[38][3] np[38][40] np[38][41] np[38][42] np[38][43] np[38][44] np[38][45] np[38][46] np[38][47] np[38][48] np[38][49] np[38][4] np[38][5] np[38][6] np[38][7] np[38][8] np[38][9] np[39][0] np[39][10] np[39][11] np[39][12] np[39][13] np[39][14] np[39][15] np[39][16] np[39][17] np[39][18] np[39][19] np[39][1] np[39][20] np[39][21] np[39][22] np[39][23] np[39][24] np[39][25] np[39][26] np[39][27] np[39][28] np[39][29] np[39][2] np[39][30] np[39][31] np[39][32] np[39][33] np[39][34] np[39][35] np[39][36] np[39][37] np[39][38] np[39][39] np[39][3] np[39][40] np[39][41] np[39][42] np[39][43] np[39][44] np[39][45] np[39][46] np[39][47] np[39][48] np[39][49] np[39][4] np[39][5] np[39][6] np[39][7] np[39][8] np[39][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][2] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][3] np[3][40] np[3][41] np[3][42] np[3][43] np[3][44] np[3][45] np[3][46] np[3][47] np[3][48] np[3][49] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[40][0] np[40][10] np[40][11] np[40][12] np[40][13] np[40][14] np[40][15] np[40][16] np[40][17] np[40][18] np[40][19] np[40][1] np[40][20] np[40][21] np[40][22] np[40][23] np[40][24] np[40][25] np[40][26] np[40][27] np[40][28] np[40][29] np[40][2] np[40][30] np[40][31] np[40][32] np[40][33] np[40][34] np[40][35] np[40][36] np[40][37] np[40][38] np[40][39] np[40][3] np[40][40] np[40][41] np[40][42] np[40][43] np[40][44] np[40][45] np[40][46] np[40][47] np[40][48] np[40][49] np[40][4] np[40][5] np[40][6] np[40][7] np[40][8] np[40][9] np[41][0] np[41][10] np[41][11] np[41][12] np[41][13] np[41][14] np[41][15] np[41][16] np[41][17] np[41][18] np[41][19] np[41][1] np[41][20] np[41][21] np[41][22] np[41][23] np[41][24] np[41][25] np[41][26] np[41][27] np[41][28] np[41][29] np[41][2] np[41][30] np[41][31] np[41][32] np[41][33] np[41][34] np[41][35] np[41][36] np[41][37] np[41][38] np[41][39] np[41][3] np[41][40] np[41][41] np[41][42] np[41][43] np[41][44] np[41][45] np[41][46] np[41][47] np[41][48] np[41][49] np[41][4] np[41][5] np[41][6] np[41][7] np[41][8] np[41][9] np[42][0] np[42][10] np[42][11] np[42][12] np[42][13] np[42][14] np[42][15] np[42][16] np[42][17] np[42][18] np[42][19] np[42][1] np[42][20] np[42][21] np[42][22] np[42][23] np[42][24] np[42][25] np[42][26] np[42][27] np[42][28] np[42][29] np[42][2] np[42][30] np[42][31] np[42][32] np[42][33] np[42][34] np[42][35] np[42][36] np[42][37] np[42][38] np[42][39] np[42][3] np[42][40] np[42][41] np[42][42] np[42][43] np[42][44] np[42][45] np[42][46] np[42][47] np[42][48] np[42][49] np[42][4] np[42][5] np[42][6] np[42][7] np[42][8] np[42][9] np[43][0] np[43][10] np[43][11] np[43][12] np[43][13] np[43][14] np[43][15] np[43][16] np[43][17] np[43][18] np[43][19] np[43][1] np[43][20] np[43][21] np[43][22] np[43][23] np[43][24] np[43][25] np[43][26] np[43][27] np[43][28] np[43][29] np[43][2] np[43][30] np[43][31] np[43][32] np[43][33] np[43][34] np[43][35] np[43][36] np[43][37] np[43][38] np[43][39] np[43][3] np[43][40] np[43][41] np[43][42] np[43][43] np[43][44] np[43][45] np[43][46] np[43][47] np[43][48] np[43][49] np[43][4] np[43][5] np[43][6] np[43][7] np[43][8] np[43][9] np[44][0] np[44][10] np[44][11] np[44][12] np[44][13] np[44][14] np[44][15] np[44][16] np[44][17] np[44][18] np[44][19] np[44][1] np[44][20] np[44][21] np[44][22] np[44][23] np[44][24] np[44][25] np[44][26] np[44][27] np[44][28] np[44][29] np[44][2] np[44][30] np[44][31] np[44][32] np[44][33] np[44][34] np[44][35] np[44][36] np[44][37] np[44][38] np[44][39] np[44][3] np[44][40] np[44][41] np[44][42] np[44][43] np[44][44] np[44][45] np[44][46] np[44][47] np[44][48] np[44][49] np[44][4] np[44][5] np[44][6] np[44][7] np[44][8] np[44][9] np[45][0] np[45][10] np[45][11] np[45][12] np[45][13] np[45][14] np[45][15] np[45][16] np[45][17] np[45][18] np[45][19] np[45][1] np[45][20] np[45][21] np[45][22] np[45][23] np[45][24] np[45][25] np[45][26] np[45][27] np[45][28] np[45][29] np[45][2] np[45][30] np[45][31] np[45][32] np[45][33] np[45][34] np[45][35] np[45][36] np[45][37] np[45][38] np[45][39] np[45][3] np[45][40] np[45][41] np[45][42] np[45][43] np[45][44] np[45][45] np[45][46] np[45][47] np[45][48] np[45][49] np[45][4] np[45][5] np[45][6] np[45][7] np[45][8] np[45][9] np[46][0] np[46][10] np[46][11] np[46][12] np[46][13] np[46][14] np[46][15] np[46][16] np[46][17] np[46][18] np[46][19] np[46][1] np[46][20] np[46][21] np[46][22] np[46][23] np[46][24] np[46][25] np[46][26] np[46][27] np[46][28] np[46][29] np[46][2] np[46][30] np[46][31] np[46][32] np[46][33] np[46][34] np[46][35] np[46][36] np[46][37] np[46][38] np[46][39] np[46][3] np[46][40] np[46][41] np[46][42] np[46][43] np[46][44] np[46][45] np[46][46] np[46][47] np[46][48] np[46][49] np[46][4] np[46][5] np[46][6] np[46][7] np[46][8] np[46][9] np[47][0] np[47][10] np[47][11] np[47][12] np[47][13] np[47][14] np[47][15] np[47][16] np[47][17] np[47][18] np[47][19] np[47][1] np[47][20] np[47][21] np[47][22] np[47][23] np[47][24] np[47][25] np[47][26] np[47][27] np[47][28] np[47][29] np[47][2] np[47][30] np[47][31] np[47][32] np[47][33] np[47][34] np[47][35] np[47][36] np[47][37] np[47][38] np[47][39] np[47][3] np[47][40] np[47][41] np[47][42] np[47][43] np[47][44] np[47][45] np[47][46] np[47][47] np[47][48] np[47][49] np[47][4] np[47][5] np[47][6] np[47][7] np[47][8] np[47][9] np[48][0] np[48][10] np[48][11] np[48][12] np[48][13] np[48][14] np[48][15] np[48][16] np[48][17] np[48][18] np[48][19] np[48][1] np[48][20] np[48][21] np[48][22] np[48][23] np[48][24] np[48][25] np[48][26] np[48][27] np[48][28] np[48][29] np[48][2] np[48][30] np[48][31] np[48][32] np[48][33] np[48][34] np[48][35] np[48][36] np[48][37] np[48][38] np[48][39] np[48][3] np[48][40] np[48][41] np[48][42] np[48][43] np[48][44] np[48][45] np[48][46] np[48][47] np[48][48] np[48][49] np[48][4] np[48][5] np[48][6] np[48][7] np[48][8] np[48][9] np[49][0] np[49][10] np[49][11] np[49][12] np[49][13] np[49][14] np[49][15] np[49][16] np[49][17] np[49][18] np[49][19] np[49][1] np[49][20] np[49][21] np[49][22] np[49][23] np[49][24] np[49][25] np[49][26] np[49][27] np[49][28] np[49][29] np[49][2] np[49][30] np[49][31] np[49][32] np[49][33] np[49][34] np[49][35] np[49][36] np[49][37] np[49][38] np[49][39] np[49][3] np[49][40] np[49][41] np[49][42] np[49][43] np[49][44] np[49][45] np[49][46] np[49][47] np[49][48] np[49][49] np[49][4] np[49][5] np[49][6] np[49][7] np[49][8] np[49][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][2] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][3] np[4][40] np[4][41] np[4][42] np[4][43] np[4][44] np[4][45] np[4][46] np[4][47] np[4][48] np[4][49] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][2] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][3] np[5][40] np[5][41] np[5][42] np[5][43] np[5][44] np[5][45] np[5][46] np[5][47] np[5][48] np[5][49] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][2] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][3] np[6][40] np[6][41] np[6][42] np[6][43] np[6][44] np[6][45] np[6][46] np[6][47] np[6][48] np[6][49] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][2] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][3] np[7][40] np[7][41] np[7][42] np[7][43] np[7][44] np[7][45] np[7][46] np[7][47] np[7][48] np[7][49] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][2] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][3] np[8][40] np[8][41] np[8][42] np[8][43] np[8][44] np[8][45] np[8][46] np[8][47] np[8][48] np[8][49] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][2] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][3] np[9][40] np[9][41] np[9][42] np[9][43] np[9][44] np[9][45] np[9][46] np[9][47] np[9][48] np[9][49] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][2] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][3] o[0][40] o[0][41] o[0][42] o[0][43] o[0][44] o[0][45] o[0][46] o[0][47] o[0][48] o[0][49] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][2] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][3] o[10][40] o[10][41] o[10][42] o[10][43] o[10][44] o[10][45] o[10][46] o[10][47] o[10][48] o[10][49] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][2] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][3] o[11][40] o[11][41] o[11][42] o[11][43] o[11][44] o[11][45] o[11][46] o[11][47] o[11][48] o[11][49] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][2] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][3] o[12][40] o[12][41] o[12][42] o[12][43] o[12][44] o[12][45] o[12][46] o[12][47] o[12][48] o[12][49] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][2] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][3] o[13][40] o[13][41] o[13][42] o[13][43] o[13][44] o[13][45] o[13][46] o[13][47] o[13][48] o[13][49] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][2] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][3] o[14][40] o[14][41] o[14][42] o[14][43] o[14][44] o[14][45] o[14][46] o[14][47] o[14][48] o[14][49] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][2] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][3] o[15][40] o[15][41] o[15][42] o[15][43] o[15][44] o[15][45] o[15][46] o[15][47] o[15][48] o[15][49] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][2] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][3] o[16][40] o[16][41] o[16][42] o[16][43] o[16][44] o[16][45] o[16][46] o[16][47] o[16][48] o[16][49] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][2] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][3] o[17][40] o[17][41] o[17][42] o[17][43] o[17][44] o[17][45] o[17][46] o[17][47] o[17][48] o[17][49] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][2] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][3] o[18][40] o[18][41] o[18][42] o[18][43] o[18][44] o[18][45] o[18][46] o[18][47] o[18][48] o[18][49] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][2] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][3] o[19][40] o[19][41] o[19][42] o[19][43] o[19][44] o[19][45] o[19][46] o[19][47] o[19][48] o[19][49] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][2] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][3] o[1][40] o[1][41] o[1][42] o[1][43] o[1][44] o[1][45] o[1][46] o[1][47] o[1][48] o[1][49] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[20][0] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][1] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][2] o[20][30] o[20][31] o[20][32] o[20][33] o[20][34] o[20][35] o[20][36] o[20][37] o[20][38] o[20][39] o[20][3] o[20][40] o[20][41] o[20][42] o[20][43] o[20][44] o[20][45] o[20][46] o[20][47] o[20][48] o[20][49] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[21][0] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][1] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][2] o[21][30] o[21][31] o[21][32] o[21][33] o[21][34] o[21][35] o[21][36] o[21][37] o[21][38] o[21][39] o[21][3] o[21][40] o[21][41] o[21][42] o[21][43] o[21][44] o[21][45] o[21][46] o[21][47] o[21][48] o[21][49] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[22][0] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][1] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][2] o[22][30] o[22][31] o[22][32] o[22][33] o[22][34] o[22][35] o[22][36] o[22][37] o[22][38] o[22][39] o[22][3] o[22][40] o[22][41] o[22][42] o[22][43] o[22][44] o[22][45] o[22][46] o[22][47] o[22][48] o[22][49] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[23][0] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][1] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][2] o[23][30] o[23][31] o[23][32] o[23][33] o[23][34] o[23][35] o[23][36] o[23][37] o[23][38] o[23][39] o[23][3] o[23][40] o[23][41] o[23][42] o[23][43] o[23][44] o[23][45] o[23][46] o[23][47] o[23][48] o[23][49] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[24][0] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][1] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][2] o[24][30] o[24][31] o[24][32] o[24][33] o[24][34] o[24][35] o[24][36] o[24][37] o[24][38] o[24][39] o[24][3] o[24][40] o[24][41] o[24][42] o[24][43] o[24][44] o[24][45] o[24][46] o[24][47] o[24][48] o[24][49] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[25][0] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][1] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][2] o[25][30] o[25][31] o[25][32] o[25][33] o[25][34] o[25][35] o[25][36] o[25][37] o[25][38] o[25][39] o[25][3] o[25][40] o[25][41] o[25][42] o[25][43] o[25][44] o[25][45] o[25][46] o[25][47] o[25][48] o[25][49] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[26][0] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][1] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][2] o[26][30] o[26][31] o[26][32] o[26][33] o[26][34] o[26][35] o[26][36] o[26][37] o[26][38] o[26][39] o[26][3] o[26][40] o[26][41] o[26][42] o[26][43] o[26][44] o[26][45] o[26][46] o[26][47] o[26][48] o[26][49] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[27][0] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][1] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][2] o[27][30] o[27][31] o[27][32] o[27][33] o[27][34] o[27][35] o[27][36] o[27][37] o[27][38] o[27][39] o[27][3] o[27][40] o[27][41] o[27][42] o[27][43] o[27][44] o[27][45] o[27][46] o[27][47] o[27][48] o[27][49] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[28][0] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][1] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][2] o[28][30] o[28][31] o[28][32] o[28][33] o[28][34] o[28][35] o[28][36] o[28][37] o[28][38] o[28][39] o[28][3] o[28][40] o[28][41] o[28][42] o[28][43] o[28][44] o[28][45] o[28][46] o[28][47] o[28][48] o[28][49] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[29][0] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][1] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][2] o[29][30] o[29][31] o[29][32] o[29][33] o[29][34] o[29][35] o[29][36] o[29][37] o[29][38] o[29][39] o[29][3] o[29][40] o[29][41] o[29][42] o[29][43] o[29][44] o[29][45] o[29][46] o[29][47] o[29][48] o[29][49] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][2] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][3] o[2][40] o[2][41] o[2][42] o[2][43] o[2][44] o[2][45] o[2][46] o[2][47] o[2][48] o[2][49] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[30][0] o[30][10] o[30][11] o[30][12] o[30][13] o[30][14] o[30][15] o[30][16] o[30][17] o[30][18] o[30][19] o[30][1] o[30][20] o[30][21] o[30][22] o[30][23] o[30][24] o[30][25] o[30][26] o[30][27] o[30][28] o[30][29] o[30][2] o[30][30] o[30][31] o[30][32] o[30][33] o[30][34] o[30][35] o[30][36] o[30][37] o[30][38] o[30][39] o[30][3] o[30][40] o[30][41] o[30][42] o[30][43] o[30][44] o[30][45] o[30][46] o[30][47] o[30][48] o[30][49] o[30][4] o[30][5] o[30][6] o[30][7] o[30][8] o[30][9] o[31][0] o[31][10] o[31][11] o[31][12] o[31][13] o[31][14] o[31][15] o[31][16] o[31][17] o[31][18] o[31][19] o[31][1] o[31][20] o[31][21] o[31][22] o[31][23] o[31][24] o[31][25] o[31][26] o[31][27] o[31][28] o[31][29] o[31][2] o[31][30] o[31][31] o[31][32] o[31][33] o[31][34] o[31][35] o[31][36] o[31][37] o[31][38] o[31][39] o[31][3] o[31][40] o[31][41] o[31][42] o[31][43] o[31][44] o[31][45] o[31][46] o[31][47] o[31][48] o[31][49] o[31][4] o[31][5] o[31][6] o[31][7] o[31][8] o[31][9] o[32][0] o[32][10] o[32][11] o[32][12] o[32][13] o[32][14] o[32][15] o[32][16] o[32][17] o[32][18] o[32][19] o[32][1] o[32][20] o[32][21] o[32][22] o[32][23] o[32][24] o[32][25] o[32][26] o[32][27] o[32][28] o[32][29] o[32][2] o[32][30] o[32][31] o[32][32] o[32][33] o[32][34] o[32][35] o[32][36] o[32][37] o[32][38] o[32][39] o[32][3] o[32][40] o[32][41] o[32][42] o[32][43] o[32][44] o[32][45] o[32][46] o[32][47] o[32][48] o[32][49] o[32][4] o[32][5] o[32][6] o[32][7] o[32][8] o[32][9] o[33][0] o[33][10] o[33][11] o[33][12] o[33][13] o[33][14] o[33][15] o[33][16] o[33][17] o[33][18] o[33][19] o[33][1] o[33][20] o[33][21] o[33][22] o[33][23] o[33][24] o[33][25] o[33][26] o[33][27] o[33][28] o[33][29] o[33][2] o[33][30] o[33][31] o[33][32] o[33][33] o[33][34] o[33][35] o[33][36] o[33][37] o[33][38] o[33][39] o[33][3] o[33][40] o[33][41] o[33][42] o[33][43] o[33][44] o[33][45] o[33][46] o[33][47] o[33][48] o[33][49] o[33][4] o[33][5] o[33][6] o[33][7] o[33][8] o[33][9] o[34][0] o[34][10] o[34][11] o[34][12] o[34][13] o[34][14] o[34][15] o[34][16] o[34][17] o[34][18] o[34][19] o[34][1] o[34][20] o[34][21] o[34][22] o[34][23] o[34][24] o[34][25] o[34][26] o[34][27] o[34][28] o[34][29] o[34][2] o[34][30] o[34][31] o[34][32] o[34][33] o[34][34] o[34][35] o[34][36] o[34][37] o[34][38] o[34][39] o[34][3] o[34][40] o[34][41] o[34][42] o[34][43] o[34][44] o[34][45] o[34][46] o[34][47] o[34][48] o[34][49] o[34][4] o[34][5] o[34][6] o[34][7] o[34][8] o[34][9] o[35][0] o[35][10] o[35][11] o[35][12] o[35][13] o[35][14] o[35][15] o[35][16] o[35][17] o[35][18] o[35][19] o[35][1] o[35][20] o[35][21] o[35][22] o[35][23] o[35][24] o[35][25] o[35][26] o[35][27] o[35][28] o[35][29] o[35][2] o[35][30] o[35][31] o[35][32] o[35][33] o[35][34] o[35][35] o[35][36] o[35][37] o[35][38] o[35][39] o[35][3] o[35][40] o[35][41] o[35][42] o[35][43] o[35][44] o[35][45] o[35][46] o[35][47] o[35][48] o[35][49] o[35][4] o[35][5] o[35][6] o[35][7] o[35][8] o[35][9] o[36][0] o[36][10] o[36][11] o[36][12] o[36][13] o[36][14] o[36][15] o[36][16] o[36][17] o[36][18] o[36][19] o[36][1] o[36][20] o[36][21] o[36][22] o[36][23] o[36][24] o[36][25] o[36][26] o[36][27] o[36][28] o[36][29] o[36][2] o[36][30] o[36][31] o[36][32] o[36][33] o[36][34] o[36][35] o[36][36] o[36][37] o[36][38] o[36][39] o[36][3] o[36][40] o[36][41] o[36][42] o[36][43] o[36][44] o[36][45] o[36][46] o[36][47] o[36][48] o[36][49] o[36][4] o[36][5] o[36][6] o[36][7] o[36][8] o[36][9] o[37][0] o[37][10] o[37][11] o[37][12] o[37][13] o[37][14] o[37][15] o[37][16] o[37][17] o[37][18] o[37][19] o[37][1] o[37][20] o[37][21] o[37][22] o[37][23] o[37][24] o[37][25] o[37][26] o[37][27] o[37][28] o[37][29] o[37][2] o[37][30] o[37][31] o[37][32] o[37][33] o[37][34] o[37][35] o[37][36] o[37][37] o[37][38] o[37][39] o[37][3] o[37][40] o[37][41] o[37][42] o[37][43] o[37][44] o[37][45] o[37][46] o[37][47] o[37][48] o[37][49] o[37][4] o[37][5] o[37][6] o[37][7] o[37][8] o[37][9] o[38][0] o[38][10] o[38][11] o[38][12] o[38][13] o[38][14] o[38][15] o[38][16] o[38][17] o[38][18] o[38][19] o[38][1] o[38][20] o[38][21] o[38][22] o[38][23] o[38][24] o[38][25] o[38][26] o[38][27] o[38][28] o[38][29] o[38][2] o[38][30] o[38][31] o[38][32] o[38][33] o[38][34] o[38][35] o[38][36] o[38][37] o[38][38] o[38][39] o[38][3] o[38][40] o[38][41] o[38][42] o[38][43] o[38][44] o[38][45] o[38][46] o[38][47] o[38][48] o[38][49] o[38][4] o[38][5] o[38][6] o[38][7] o[38][8] o[38][9] o[39][0] o[39][10] o[39][11] o[39][12] o[39][13] o[39][14] o[39][15] o[39][16] o[39][17] o[39][18] o[39][19] o[39][1] o[39][20] o[39][21] o[39][22] o[39][23] o[39][24] o[39][25] o[39][26] o[39][27] o[39][28] o[39][29] o[39][2] o[39][30] o[39][31] o[39][32] o[39][33] o[39][34] o[39][35] o[39][36] o[39][37] o[39][38] o[39][39] o[39][3] o[39][40] o[39][41] o[39][42] o[39][43] o[39][44] o[39][45] o[39][46] o[39][47] o[39][48] o[39][49] o[39][4] o[39][5] o[39][6] o[39][7] o[39][8] o[39][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][2] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][3] o[3][40] o[3][41] o[3][42] o[3][43] o[3][44] o[3][45] o[3][46] o[3][47] o[3][48] o[3][49] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[40][0] o[40][10] o[40][11] o[40][12] o[40][13] o[40][14] o[40][15] o[40][16] o[40][17] o[40][18] o[40][19] o[40][1] o[40][20] o[40][21] o[40][22] o[40][23] o[40][24] o[40][25] o[40][26] o[40][27] o[40][28] o[40][29] o[40][2] o[40][30] o[40][31] o[40][32] o[40][33] o[40][34] o[40][35] o[40][36] o[40][37] o[40][38] o[40][39] o[40][3] o[40][40] o[40][41] o[40][42] o[40][43] o[40][44] o[40][45] o[40][46] o[40][47] o[40][48] o[40][49] o[40][4] o[40][5] o[40][6] o[40][7] o[40][8] o[40][9] o[41][0] o[41][10] o[41][11] o[41][12] o[41][13] o[41][14] o[41][15] o[41][16] o[41][17] o[41][18] o[41][19] o[41][1] o[41][20] o[41][21] o[41][22] o[41][23] o[41][24] o[41][25] o[41][26] o[41][27] o[41][28] o[41][29] o[41][2] o[41][30] o[41][31] o[41][32] o[41][33] o[41][34] o[41][35] o[41][36] o[41][37] o[41][38] o[41][39] o[41][3] o[41][40] o[41][41] o[41][42] o[41][43] o[41][44] o[41][45] o[41][46] o[41][47] o[41][48] o[41][49] o[41][4] o[41][5] o[41][6] o[41][7] o[41][8] o[41][9] o[42][0] o[42][10] o[42][11] o[42][12] o[42][13] o[42][14] o[42][15] o[42][16] o[42][17] o[42][18] o[42][19] o[42][1] o[42][20] o[42][21] o[42][22] o[42][23] o[42][24] o[42][25] o[42][26] o[42][27] o[42][28] o[42][29] o[42][2] o[42][30] o[42][31] o[42][32] o[42][33] o[42][34] o[42][35] o[42][36] o[42][37] o[42][38] o[42][39] o[42][3] o[42][40] o[42][41] o[42][42] o[42][43] o[42][44] o[42][45] o[42][46] o[42][47] o[42][48] o[42][49] o[42][4] o[42][5] o[42][6] o[42][7] o[42][8] o[42][9] o[43][0] o[43][10] o[43][11] o[43][12] o[43][13] o[43][14] o[43][15] o[43][16] o[43][17] o[43][18] o[43][19] o[43][1] o[43][20] o[43][21] o[43][22] o[43][23] o[43][24] o[43][25] o[43][26] o[43][27] o[43][28] o[43][29] o[43][2] o[43][30] o[43][31] o[43][32] o[43][33] o[43][34] o[43][35] o[43][36] o[43][37] o[43][38] o[43][39] o[43][3] o[43][40] o[43][41] o[43][42] o[43][43] o[43][44] o[43][45] o[43][46] o[43][47] o[43][48] o[43][49] o[43][4] o[43][5] o[43][6] o[43][7] o[43][8] o[43][9] o[44][0] o[44][10] o[44][11] o[44][12] o[44][13] o[44][14] o[44][15] o[44][16] o[44][17] o[44][18] o[44][19] o[44][1] o[44][20] o[44][21] o[44][22] o[44][23] o[44][24] o[44][25] o[44][26] o[44][27] o[44][28] o[44][29] o[44][2] o[44][30] o[44][31] o[44][32] o[44][33] o[44][34] o[44][35] o[44][36] o[44][37] o[44][38] o[44][39] o[44][3] o[44][40] o[44][41] o[44][42] o[44][43] o[44][44] o[44][45] o[44][46] o[44][47] o[44][48] o[44][49] o[44][4] o[44][5] o[44][6] o[44][7] o[44][8] o[44][9] o[45][0] o[45][10] o[45][11] o[45][12] o[45][13] o[45][14] o[45][15] o[45][16] o[45][17] o[45][18] o[45][19] o[45][1] o[45][20] o[45][21] o[45][22] o[45][23] o[45][24] o[45][25] o[45][26] o[45][27] o[45][28] o[45][29] o[45][2] o[45][30] o[45][31] o[45][32] o[45][33] o[45][34] o[45][35] o[45][36] o[45][37] o[45][38] o[45][39] o[45][3] o[45][40] o[45][41] o[45][42] o[45][43] o[45][44] o[45][45] o[45][46] o[45][47] o[45][48] o[45][49] o[45][4] o[45][5] o[45][6] o[45][7] o[45][8] o[45][9] o[46][0] o[46][10] o[46][11] o[46][12] o[46][13] o[46][14] o[46][15] o[46][16] o[46][17] o[46][18] o[46][19] o[46][1] o[46][20] o[46][21] o[46][22] o[46][23] o[46][24] o[46][25] o[46][26] o[46][27] o[46][28] o[46][29] o[46][2] o[46][30] o[46][31] o[46][32] o[46][33] o[46][34] o[46][35] o[46][36] o[46][37] o[46][38] o[46][39] o[46][3] o[46][40] o[46][41] o[46][42] o[46][43] o[46][44] o[46][45] o[46][46] o[46][47] o[46][48] o[46][49] o[46][4] o[46][5] o[46][6] o[46][7] o[46][8] o[46][9] o[47][0] o[47][10] o[47][11] o[47][12] o[47][13] o[47][14] o[47][15] o[47][16] o[47][17] o[47][18] o[47][19] o[47][1] o[47][20] o[47][21] o[47][22] o[47][23] o[47][24] o[47][25] o[47][26] o[47][27] o[47][28] o[47][29] o[47][2] o[47][30] o[47][31] o[47][32] o[47][33] o[47][34] o[47][35] o[47][36] o[47][37] o[47][38] o[47][39] o[47][3] o[47][40] o[47][41] o[47][42] o[47][43] o[47][44] o[47][45] o[47][46] o[47][47] o[47][48] o[47][49] o[47][4] o[47][5] o[47][6] o[47][7] o[47][8] o[47][9] o[48][0] o[48][10] o[48][11] o[48][12] o[48][13] o[48][14] o[48][15] o[48][16] o[48][17] o[48][18] o[48][19] o[48][1] o[48][20] o[48][21] o[48][22] o[48][23] o[48][24] o[48][25] o[48][26] o[48][27] o[48][28] o[48][29] o[48][2] o[48][30] o[48][31] o[48][32] o[48][33] o[48][34] o[48][35] o[48][36] o[48][37] o[48][38] o[48][39] o[48][3] o[48][40] o[48][41] o[48][42] o[48][43] o[48][44] o[48][45] o[48][46] o[48][47] o[48][48] o[48][49] o[48][4] o[48][5] o[48][6] o[48][7] o[48][8] o[48][9] o[49][0] o[49][10] o[49][11] o[49][12] o[49][13] o[49][14] o[49][15] o[49][16] o[49][17] o[49][18] o[49][19] o[49][1] o[49][20] o[49][21] o[49][22] o[49][23] o[49][24] o[49][25] o[49][26] o[49][27] o[49][28] o[49][29] o[49][2] o[49][30] o[49][31] o[49][32] o[49][33] o[49][34] o[49][35] o[49][36] o[49][37] o[49][38] o[49][39] o[49][3] o[49][40] o[49][41] o[49][42] o[49][43] o[49][44] o[49][45] o[49][46] o[49][47] o[49][48] o[49][49] o[49][4] o[49][5] o[49][6] o[49][7] o[49][8] o[49][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][2] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][3] o[4][40] o[4][41] o[4][42] o[4][43] o[4][44] o[4][45] o[4][46] o[4][47] o[4][48] o[4][49] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][2] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][3] o[5][40] o[5][41] o[5][42] o[5][43] o[5][44] o[5][45] o[5][46] o[5][47] o[5][48] o[5][49] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][2] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][3] o[6][40] o[6][41] o[6][42] o[6][43] o[6][44] o[6][45] o[6][46] o[6][47] o[6][48] o[6][49] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][2] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][3] o[7][40] o[7][41] o[7][42] o[7][43] o[7][44] o[7][45] o[7][46] o[7][47] o[7][48] o[7][49] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][2] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][3] o[8][40] o[8][41] o[8][42] o[8][43] o[8][44] o[8][45] o[8][46] o[8][47] o[8][48] o[8][49] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][2] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][3] o[9][40] o[9][41] o[9][42] o[9][43] o[9][44] o[9][45] o[9][46] o[9][47] o[9][48] o[9][49] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][2] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][3] r[0][40] r[0][41] r[0][42] r[0][43] r[0][44] r[0][45] r[0][46] r[0][47] r[0][48] r[0][49] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][2] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][3] r[10][40] r[10][41] r[10][42] r[10][43] r[10][44] r[10][45] r[10][46] r[10][47] r[10][48] r[10][49] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][2] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][3] r[11][40] r[11][41] r[11][42] r[11][43] r[11][44] r[11][45] r[11][46] r[11][47] r[11][48] r[11][49] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][2] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][3] r[12][40] r[12][41] r[12][42] r[12][43] r[12][44] r[12][45] r[12][46] r[12][47] r[12][48] r[12][49] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][2] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] r[13][3] r[13][40] r[13][41] r[13][42] r[13][43] r[13][44] r[13][45] r[13][46] r[13][47] r[13][48] r[13][49] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][2] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] r[14][3] r[14][40] r[14][41] r[14][42] r[14][43] r[14][44] r[14][45] r[14][46] r[14][47] r[14][48] r[14][49] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][2] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] r[15][3] r[15][40] r[15][41] r[15][42] r[15][43] r[15][44] r[15][45] r[15][46] r[15][47] r[15][48] r[15][49] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][2] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] r[16][3] r[16][40] r[16][41] r[16][42] r[16][43] r[16][44] r[16][45] r[16][46] r[16][47] r[16][48] r[16][49] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][2] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] r[17][3] r[17][40] r[17][41] r[17][42] r[17][43] r[17][44] r[17][45] r[17][46] r[17][47] r[17][48] r[17][49] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][2] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] r[18][3] r[18][40] r[18][41] r[18][42] r[18][43] r[18][44] r[18][45] r[18][46] r[18][47] r[18][48] r[18][49] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][2] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] r[19][3] r[19][40] r[19][41] r[19][42] r[19][43] r[19][44] r[19][45] r[19][46] r[19][47] r[19][48] r[19][49] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][2] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][3] r[1][40] r[1][41] r[1][42] r[1][43] r[1][44] r[1][45] r[1][46] r[1][47] r[1][48] r[1][49] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][2] r[20][30] r[20][31] r[20][32] r[20][33] r[20][34] r[20][35] r[20][36] r[20][37] r[20][38] r[20][39] r[20][3] r[20][40] r[20][41] r[20][42] r[20][43] r[20][44] r[20][45] r[20][46] r[20][47] r[20][48] r[20][49] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][2] r[21][30] r[21][31] r[21][32] r[21][33] r[21][34] r[21][35] r[21][36] r[21][37] r[21][38] r[21][39] r[21][3] r[21][40] r[21][41] r[21][42] r[21][43] r[21][44] r[21][45] r[21][46] r[21][47] r[21][48] r[21][49] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][2] r[22][30] r[22][31] r[22][32] r[22][33] r[22][34] r[22][35] r[22][36] r[22][37] r[22][38] r[22][39] r[22][3] r[22][40] r[22][41] r[22][42] r[22][43] r[22][44] r[22][45] r[22][46] r[22][47] r[22][48] r[22][49] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][2] r[23][30] r[23][31] r[23][32] r[23][33] r[23][34] r[23][35] r[23][36] r[23][37] r[23][38] r[23][39] r[23][3] r[23][40] r[23][41] r[23][42] r[23][43] r[23][44] r[23][45] r[23][46] r[23][47] r[23][48] r[23][49] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][2] r[24][30] r[24][31] r[24][32] r[24][33] r[24][34] r[24][35] r[24][36] r[24][37] r[24][38] r[24][39] r[24][3] r[24][40] r[24][41] r[24][42] r[24][43] r[24][44] r[24][45] r[24][46] r[24][47] r[24][48] r[24][49] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][2] r[25][30] r[25][31] r[25][32] r[25][33] r[25][34] r[25][35] r[25][36] r[25][37] r[25][38] r[25][39] r[25][3] r[25][40] r[25][41] r[25][42] r[25][43] r[25][44] r[25][45] r[25][46] r[25][47] r[25][48] r[25][49] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][2] r[26][30] r[26][31] r[26][32] r[26][33] r[26][34] r[26][35] r[26][36] r[26][37] r[26][38] r[26][39] r[26][3] r[26][40] r[26][41] r[26][42] r[26][43] r[26][44] r[26][45] r[26][46] r[26][47] r[26][48] r[26][49] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][2] r[27][30] r[27][31] r[27][32] r[27][33] r[27][34] r[27][35] r[27][36] r[27][37] r[27][38] r[27][39] r[27][3] r[27][40] r[27][41] r[27][42] r[27][43] r[27][44] r[27][45] r[27][46] r[27][47] r[27][48] r[27][49] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][2] r[28][30] r[28][31] r[28][32] r[28][33] r[28][34] r[28][35] r[28][36] r[28][37] r[28][38] r[28][39] r[28][3] r[28][40] r[28][41] r[28][42] r[28][43] r[28][44] r[28][45] r[28][46] r[28][47] r[28][48] r[28][49] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][2] r[29][30] r[29][31] r[29][32] r[29][33] r[29][34] r[29][35] r[29][36] r[29][37] r[29][38] r[29][39] r[29][3] r[29][40] r[29][41] r[29][42] r[29][43] r[29][44] r[29][45] r[29][46] r[29][47] r[29][48] r[29][49] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][2] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][3] r[2][40] r[2][41] r[2][42] r[2][43] r[2][44] r[2][45] r[2][46] r[2][47] r[2][48] r[2][49] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][1] r[30][20] r[30][21] r[30][22] r[30][23] r[30][24] r[30][25] r[30][26] r[30][27] r[30][28] r[30][29] r[30][2] r[30][30] r[30][31] r[30][32] r[30][33] r[30][34] r[30][35] r[30][36] r[30][37] r[30][38] r[30][39] r[30][3] r[30][40] r[30][41] r[30][42] r[30][43] r[30][44] r[30][45] r[30][46] r[30][47] r[30][48] r[30][49] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][1] r[31][20] r[31][21] r[31][22] r[31][23] r[31][24] r[31][25] r[31][26] r[31][27] r[31][28] r[31][29] r[31][2] r[31][30] r[31][31] r[31][32] r[31][33] r[31][34] r[31][35] r[31][36] r[31][37] r[31][38] r[31][39] r[31][3] r[31][40] r[31][41] r[31][42] r[31][43] r[31][44] r[31][45] r[31][46] r[31][47] r[31][48] r[31][49] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][1] r[32][20] r[32][21] r[32][22] r[32][23] r[32][24] r[32][25] r[32][26] r[32][27] r[32][28] r[32][29] r[32][2] r[32][30] r[32][31] r[32][32] r[32][33] r[32][34] r[32][35] r[32][36] r[32][37] r[32][38] r[32][39] r[32][3] r[32][40] r[32][41] r[32][42] r[32][43] r[32][44] r[32][45] r[32][46] r[32][47] r[32][48] r[32][49] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][1] r[33][20] r[33][21] r[33][22] r[33][23] r[33][24] r[33][25] r[33][26] r[33][27] r[33][28] r[33][29] r[33][2] r[33][30] r[33][31] r[33][32] r[33][33] r[33][34] r[33][35] r[33][36] r[33][37] r[33][38] r[33][39] r[33][3] r[33][40] r[33][41] r[33][42] r[33][43] r[33][44] r[33][45] r[33][46] r[33][47] r[33][48] r[33][49] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][1] r[34][20] r[34][21] r[34][22] r[34][23] r[34][24] r[34][25] r[34][26] r[34][27] r[34][28] r[34][29] r[34][2] r[34][30] r[34][31] r[34][32] r[34][33] r[34][34] r[34][35] r[34][36] r[34][37] r[34][38] r[34][39] r[34][3] r[34][40] r[34][41] r[34][42] r[34][43] r[34][44] r[34][45] r[34][46] r[34][47] r[34][48] r[34][49] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][1] r[35][20] r[35][21] r[35][22] r[35][23] r[35][24] r[35][25] r[35][26] r[35][27] r[35][28] r[35][29] r[35][2] r[35][30] r[35][31] r[35][32] r[35][33] r[35][34] r[35][35] r[35][36] r[35][37] r[35][38] r[35][39] r[35][3] r[35][40] r[35][41] r[35][42] r[35][43] r[35][44] r[35][45] r[35][46] r[35][47] r[35][48] r[35][49] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][1] r[36][20] r[36][21] r[36][22] r[36][23] r[36][24] r[36][25] r[36][26] r[36][27] r[36][28] r[36][29] r[36][2] r[36][30] r[36][31] r[36][32] r[36][33] r[36][34] r[36][35] r[36][36] r[36][37] r[36][38] r[36][39] r[36][3] r[36][40] r[36][41] r[36][42] r[36][43] r[36][44] r[36][45] r[36][46] r[36][47] r[36][48] r[36][49] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][1] r[37][20] r[37][21] r[37][22] r[37][23] r[37][24] r[37][25] r[37][26] r[37][27] r[37][28] r[37][29] r[37][2] r[37][30] r[37][31] r[37][32] r[37][33] r[37][34] r[37][35] r[37][36] r[37][37] r[37][38] r[37][39] r[37][3] r[37][40] r[37][41] r[37][42] r[37][43] r[37][44] r[37][45] r[37][46] r[37][47] r[37][48] r[37][49] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][1] r[38][20] r[38][21] r[38][22] r[38][23] r[38][24] r[38][25] r[38][26] r[38][27] r[38][28] r[38][29] r[38][2] r[38][30] r[38][31] r[38][32] r[38][33] r[38][34] r[38][35] r[38][36] r[38][37] r[38][38] r[38][39] r[38][3] r[38][40] r[38][41] r[38][42] r[38][43] r[38][44] r[38][45] r[38][46] r[38][47] r[38][48] r[38][49] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][1] r[39][20] r[39][21] r[39][22] r[39][23] r[39][24] r[39][25] r[39][26] r[39][27] r[39][28] r[39][29] r[39][2] r[39][30] r[39][31] r[39][32] r[39][33] r[39][34] r[39][35] r[39][36] r[39][37] r[39][38] r[39][39] r[39][3] r[39][40] r[39][41] r[39][42] r[39][43] r[39][44] r[39][45] r[39][46] r[39][47] r[39][48] r[39][49] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][2] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][3] r[3][40] r[3][41] r[3][42] r[3][43] r[3][44] r[3][45] r[3][46] r[3][47] r[3][48] r[3][49] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][1] r[40][20] r[40][21] r[40][22] r[40][23] r[40][24] r[40][25] r[40][26] r[40][27] r[40][28] r[40][29] r[40][2] r[40][30] r[40][31] r[40][32] r[40][33] r[40][34] r[40][35] r[40][36] r[40][37] r[40][38] r[40][39] r[40][3] r[40][40] r[40][41] r[40][42] r[40][43] r[40][44] r[40][45] r[40][46] r[40][47] r[40][48] r[40][49] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][1] r[41][20] r[41][21] r[41][22] r[41][23] r[41][24] r[41][25] r[41][26] r[41][27] r[41][28] r[41][29] r[41][2] r[41][30] r[41][31] r[41][32] r[41][33] r[41][34] r[41][35] r[41][36] r[41][37] r[41][38] r[41][39] r[41][3] r[41][40] r[41][41] r[41][42] r[41][43] r[41][44] r[41][45] r[41][46] r[41][47] r[41][48] r[41][49] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][1] r[42][20] r[42][21] r[42][22] r[42][23] r[42][24] r[42][25] r[42][26] r[42][27] r[42][28] r[42][29] r[42][2] r[42][30] r[42][31] r[42][32] r[42][33] r[42][34] r[42][35] r[42][36] r[42][37] r[42][38] r[42][39] r[42][3] r[42][40] r[42][41] r[42][42] r[42][43] r[42][44] r[42][45] r[42][46] r[42][47] r[42][48] r[42][49] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][1] r[43][20] r[43][21] r[43][22] r[43][23] r[43][24] r[43][25] r[43][26] r[43][27] r[43][28] r[43][29] r[43][2] r[43][30] r[43][31] r[43][32] r[43][33] r[43][34] r[43][35] r[43][36] r[43][37] r[43][38] r[43][39] r[43][3] r[43][40] r[43][41] r[43][42] r[43][43] r[43][44] r[43][45] r[43][46] r[43][47] r[43][48] r[43][49] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][1] r[44][20] r[44][21] r[44][22] r[44][23] r[44][24] r[44][25] r[44][26] r[44][27] r[44][28] r[44][29] r[44][2] r[44][30] r[44][31] r[44][32] r[44][33] r[44][34] r[44][35] r[44][36] r[44][37] r[44][38] r[44][39] r[44][3] r[44][40] r[44][41] r[44][42] r[44][43] r[44][44] r[44][45] r[44][46] r[44][47] r[44][48] r[44][49] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][1] r[45][20] r[45][21] r[45][22] r[45][23] r[45][24] r[45][25] r[45][26] r[45][27] r[45][28] r[45][29] r[45][2] r[45][30] r[45][31] r[45][32] r[45][33] r[45][34] r[45][35] r[45][36] r[45][37] r[45][38] r[45][39] r[45][3] r[45][40] r[45][41] r[45][42] r[45][43] r[45][44] r[45][45] r[45][46] r[45][47] r[45][48] r[45][49] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][1] r[46][20] r[46][21] r[46][22] r[46][23] r[46][24] r[46][25] r[46][26] r[46][27] r[46][28] r[46][29] r[46][2] r[46][30] r[46][31] r[46][32] r[46][33] r[46][34] r[46][35] r[46][36] r[46][37] r[46][38] r[46][39] r[46][3] r[46][40] r[46][41] r[46][42] r[46][43] r[46][44] r[46][45] r[46][46] r[46][47] r[46][48] r[46][49] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][1] r[47][20] r[47][21] r[47][22] r[47][23] r[47][24] r[47][25] r[47][26] r[47][27] r[47][28] r[47][29] r[47][2] r[47][30] r[47][31] r[47][32] r[47][33] r[47][34] r[47][35] r[47][36] r[47][37] r[47][38] r[47][39] r[47][3] r[47][40] r[47][41] r[47][42] r[47][43] r[47][44] r[47][45] r[47][46] r[47][47] r[47][48] r[47][49] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][1] r[48][20] r[48][21] r[48][22] r[48][23] r[48][24] r[48][25] r[48][26] r[48][27] r[48][28] r[48][29] r[48][2] r[48][30] r[48][31] r[48][32] r[48][33] r[48][34] r[48][35] r[48][36] r[48][37] r[48][38] r[48][39] r[48][3] r[48][40] r[48][41] r[48][42] r[48][43] r[48][44] r[48][45] r[48][46] r[48][47] r[48][48] r[48][49] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][1] r[49][20] r[49][21] r[49][22] r[49][23] r[49][24] r[49][25] r[49][26] r[49][27] r[49][28] r[49][29] r[49][2] r[49][30] r[49][31] r[49][32] r[49][33] r[49][34] r[49][35] r[49][36] r[49][37] r[49][38] r[49][39] r[49][3] r[49][40] r[49][41] r[49][42] r[49][43] r[49][44] r[49][45] r[49][46] r[49][47] r[49][48] r[49][49] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][2] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][3] r[4][40] r[4][41] r[4][42] r[4][43] r[4][44] r[4][45] r[4][46] r[4][47] r[4][48] r[4][49] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][2] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][3] r[5][40] r[5][41] r[5][42] r[5][43] r[5][44] r[5][45] r[5][46] r[5][47] r[5][48] r[5][49] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][2] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][3] r[6][40] r[6][41] r[6][42] r[6][43] r[6][44] r[6][45] r[6][46] r[6][47] r[6][48] r[6][49] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][2] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][3] r[7][40] r[7][41] r[7][42] r[7][43] r[7][44] r[7][45] r[7][46] r[7][47] r[7][48] r[7][49] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][2] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][3] r[8][40] r[8][41] r[8][42] r[8][43] r[8][44] r[8][45] r[8][46] r[8][47] r[8][48] r[8][49] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][2] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][3] r[9][40] r[9][41] r[9][42] r[9][43] r[9][44] r[9][45] r[9][46] r[9][47] r[9][48] r[9][49] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[3] so[40] so[41] so[42] so[43] so[44] so[45] so[46] so[47] so[48] so[49] so[4] so[5] so[6] so[7] so[8] so[9] </list>
1996.85/252.02	v <values>1 11 12 13 14 15 15 16 17 18 18 2 19 20 21 22 23 24 25 26 27 28 3 29 29 30 31 32 33 34 34 35 35 4 36 37 38 39 39 40 41 42 43 44 5 6 7 8 9 10 1 9 10 11 12 12 13 14 15 16 16 2 17 18 19 20 21 22 23 24 25 26 2 27 28 29 30 31 32 33 34 34 35 3 36 37 38 39 40 41 42 43 44 44 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 20 21 22 22 23 24 25 26 27 28 3 28 29 30 31 31 32 32 33 34 35 4 36 37 38 39 40 41 42 43 44 45 5 6 7 8 9 10 1 9 10 11 12 13 14 15 16 17 18 2 19 20 21 21 22 23 24 25 26 27 3 28 29 30 31 32 33 34 35 36 37 3 38 39 40 40 41 42 43 44 45 46 4 4 5 6 7 8 1 9 10 11 11 12 13 14 15 15 16 1 17 17 17 18 19 20 21 22 23 24 2 25 26 27 28 29 30 31 32 33 34 3 35 36 37 38 38 39 40 41 42 42 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 21 22 23 23 24 25 26 27 28 29 3 30 31 32 33 34 35 36 37 38 39 4 40 41 42 43 44 45 46 47 48 49 5 6 7 8 9 10 1 11 12 13 14 15 16 17 18 19 20 2 21 22 22 23 24 24 24 25 25 26 3 27 28 29 30 31 32 33 34 35 36 4 37 38 39 40 41 42 43 44 45 46 5 6 7 8 9 10 1 10 11 12 13 14 15 16 16 17 18 2 19 20 21 22 23 24 25 26 26 27 3 28 28 29 30 31 32 33 34 35 36 4 37 38 39 40 41 42 43 44 45 46 4 5 6 7 8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 3 4 5 0 6 7 8 9 10 10 10 10 11 12 0 12 13 13 14 15 16 17 18 18 19 0 0 0 0 0 0 1 9 10 11 12 13 14 15 16 17 18 2 19 20 21 22 23 24 25 26 27 28 3 29 30 31 32 33 34 34 35 35 36 4 37 38 38 38 39 40 41 42 43 44 5 6 6 7 8 8 0 4 5 5 5 5 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 5 1 5 5 5 5 5 5 5 5 5 5 1 2 2 3 3 4 1 11 12 13 14 15 16 16 17 18 19 2 20 21 22 23 23 24 25 26 27 28 3 29 30 31 32 33 34 35 36 37 38 4 39 40 41 42 43 44 45 46 47 48 5 6 7 8 9 10 1 8 9 10 11 11 12 13 14 15 15 2 16 17 17 17 18 19 20 21 22 23 3 24 24 25 26 26 27 28 29 30 31 4 32 33 34 35 36 36 36 37 38 39 5 6 6 6 7 8 1 11 12 13 14 15 16 17 18 19 20 2 20 21 22 22 22 23 24 25 25 25 3 26 27 28 29 30 31 32 33 34 35 4 35 36 37 38 39 40 41 42 43 44 5 6 7 8 9 10 1 10 11 12 13 14 15 16 17 18 19 2 20 20 21 22 23 23 24 25 26 27 3 28 29 30 30 31 32 32 33 34 35 4 36 37 38 39 40 41 41 42 43 44 5 6 7 8 9 10 1 9 10 11 12 13 14 15 16 16 17 1 18 19 20 21 22 23 24 25 26 27 2 28 29 30 31 32 33 34 35 36 37 3 38 39 40 40 41 42 43 44 45 45 4 4 5 6 7 8 0 6 6 7 8 8 9 10 11 12 13 0 14 15 16 17 18 19 20 21 22 23 1 24 25 26 26 27 28 28 29 30 31 2 32 33 34 35 36 37 38 39 40 41 3 3 3 4 5 5 1 9 9 10 11 12 13 14 14 15 16 2 17 18 19 20 21 22 23 24 25 26 3 27 28 29 30 31 32 33 34 35 36 4 37 38 39 39 40 41 41 42 43 44 5 6 6 6 7 8 1 10 11 12 13 14 15 16 17 18 19 2 20 21 22 23 24 24 25 26 27 28 2 29 30 31 32 33 34 35 36 37 38 3 39 39 40 40 41 42 43 44 44 45 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 21 22 23 24 24 25 26 27 28 29 3 30 30 31 32 33 34 35 35 36 37 4 37 38 39 40 41 42 43 44 45 46 5 6 7 8 9 10 1 9 10 11 12 13 14 15 16 17 17 2 18 19 20 21 22 23 24 25 26 27 3 28 29 30 31 32 33 34 35 36 37 3 38 39 40 41 41 42 43 44 45 46 4 5 5 6 7 8 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 9 10 11 12 13 14 15 16 16 17 1 18 19 20 21 22 23 24 25 26 27 2 28 29 30 31 32 33 34 35 36 37 3 38 38 39 40 41 42 43 44 45 46 4 5 6 7 7 8 1 10 11 12 13 14 15 16 17 18 19 2 20 21 22 23 23 24 25 26 26 27 3 28 29 30 31 32 33 34 35 36 37 4 37 38 39 40 41 42 43 43 44 45 4 5 6 7 8 9 1 9 10 11 12 12 13 13 14 15 16 2 17 18 19 20 21 22 23 24 25 26 3 27 28 29 30 31 32 33 34 35 36 4 37 38 39 40 41 42 43 44 44 45 5 5 6 7 7 8 1 11 12 13 13 14 14 14 15 16 16 2 17 17 18 19 20 21 22 23 24 25 3 26 27 28 28 29 30 31 32 32 32 4 33 33 34 35 35 36 37 38 39 40 5 6 7 8 9 10 1 10 11 12 13 13 14 15 16 17 18 2 19 20 21 22 23 24 25 25 25 26 3 27 27 28 29 30 31 32 33 33 33 4 34 35 36 37 38 39 40 41 42 43 5 6 7 8 9 10 1 8 9 10 11 12 13 14 15 16 17 2 18 19 20 20 21 22 23 24 25 26 3 27 28 29 30 30 31 31 32 33 34 3 35 36 37 37 38 39 40 41 42 43 4 4 4 5 6 7 1 6 6 7 8 9 10 10 10 10 11 2 11 11 11 12 13 13 13 13 13 13 3 13 13 13 13 13 14 15 16 16 16 3 17 17 18 18 18 18 18 18 18 18 4 4 4 4 5 5 1 10 11 12 13 14 14 15 16 17 18 2 19 20 21 22 23 24 25 26 27 28 2 29 30 31 32 33 34 35 36 37 38 3 39 40 41 42 43 44 45 46 47 48 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 19 2 20 20 21 22 23 24 25 25 26 27 3 28 29 30 31 32 33 33 34 35 36 4 37 38 39 40 41 42 43 44 45 46 5 6 7 8 9 10 1 10 11 12 13 14 15 16 16 17 18 2 19 20 21 22 23 24 25 26 27 28 3 29 30 31 32 33 34 34 35 36 37 4 38 39 40 41 42 43 44 45 46 47 4 5 6 7 8 9 1 10 10 11 12 13 14 15 16 17 17 2 18 18 18 19 20 21 21 22 22 23 3 24 25 26 27 28 29 30 31 32 33 4 34 35 36 37 38 39 40 41 42 43 5 6 7 7 8 9 1 9 10 11 12 13 14 15 16 17 18 2 19 20 21 22 23 24 25 26 27 28 3 29 30 31 32 33 34 35 36 37 38 4 39 39 40 40 41 42 43 44 45 46 4 5 6 7 8 9 1 10 11 12 13 14 15 15 16 17 18 2 19 20 21 21 22 22 23 24 25 26 3 27 28 28 29 30 31 32 33 33 34 4 35 36 37 38 39 40 41 42 43 44 5 6 7 7 8 9 0 6 7 8 9 10 10 11 12 13 14 1 15 16 17 18 19 20 21 22 23 24 2 25 26 27 28 28 29 30 31 32 33 2 34 35 36 37 38 39 40 41 42 43 3 3 4 5 5 5 0 0 0 0 0 0 0 0 1 1 1 0 2 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 4 4 0 0 0 0 0 0 1 10 11 12 12 13 14 15 15 16 17 2 18 19 20 21 22 23 24 25 26 27 2 28 29 30 30 31 32 33 34 35 36 3 37 38 39 40 41 42 43 44 44 45 4 5 6 7 8 9 1 9 10 11 12 13 14 15 16 17 18 2 19 20 21 22 23 24 25 26 27 28 3 29 30 31 31 32 33 33 34 35 36 4 37 38 39 40 41 42 43 44 45 46 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 21 22 23 24 25 26 27 28 29 30 3 31 32 33 34 35 35 36 37 38 39 4 40 41 42 43 44 45 46 47 48 48 5 6 7 8 9 10 1 9 10 11 12 13 14 15 16 17 18 2 19 19 20 21 22 23 24 25 26 27 3 28 29 30 31 32 32 32 33 34 35 4 36 37 38 39 40 41 42 43 44 44 5 5 6 7 7 8 1 11 11 11 12 13 14 15 16 17 18 2 19 20 20 21 22 23 23 24 24 25 3 26 27 28 29 30 31 32 32 33 34 4 35 36 37 38 39 39 40 41 42 43 5 6 7 8 9 10 1 10 11 12 13 14 15 16 17 18 19 2 20 21 22 23 24 24 25 26 27 28 3 29 30 31 31 32 33 34 35 36 37 4 38 39 40 41 42 43 44 44 45 45 5 6 7 8 8 9 1 10 11 12 13 14 15 16 17 18 19 2 20 21 22 23 24 25 26 27 28 29 3 30 31 32 33 34 35 36 37 38 38 3 39 40 41 42 43 44 45 46 46 47 4 5 6 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 21 22 23 24 25 26 27 28 29 30 3 31 31 32 33 34 35 36 37 38 39 4 39 40 41 42 43 44 45 46 47 48 5 6 7 8 9 10 1 9 10 11 12 13 14 15 16 17 18 2 19 19 20 21 22 23 24 25 26 27 3 28 29 30 30 31 32 32 33 34 35 4 36 37 38 39 40 41 42 43 44 45 5 6 7 8 9 9 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 10 11 12 13 14 15 16 17 18 19 2 19 20 20 21 22 23 24 25 26 26 3 27 28 29 30 31 32 33 34 35 36 4 37 38 39 40 41 42 43 44 45 46 5 6 7 8 9 10 1 10 11 12 13 14 14 15 16 17 18 2 19 20 21 22 23 24 25 26 27 28 3 29 30 31 31 32 33 34 35 36 37 4 37 37 38 39 39 40 41 42 43 44 5 6 7 7 8 9 1 11 12 13 14 15 16 17 18 19 20 2 20 21 22 23 24 24 25 25 26 27 3 27 28 29 30 31 32 33 34 35 36 4 37 38 39 40 41 41 42 43 44 44 5 6 7 8 9 10 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 33 43 4 24 30 48 34 20 37 21 17 32 28 44 27 45 12 40 13 42 23 36 35 49 0 11 15 46 9 1 6 29 22 8 10 16 3 2 25 47 26 5 7 18 39 31 38 19 41 14 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 43 46 46 45 45 45 45 45 46 47 46 44 46 47 47 47 47 47 47 47 47 47 45 47 47 47 47 47 47 47 47 47 47 46 47 47 47 46 46 46 46 46 46 38 46 46 46 46 46 46 </values>
1996.85/252.02	v </instantiation>
1996.85/252.02	

Verifier Data

OK	47

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 (14285 MiB free)
  memory of node 1: 16384 MiB (15853 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409881-1569831856/watcher-4409881-1569831856 -o /tmp/evaluation-result-4409881-1569831856/solver-4409881-1569831856 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409881-1569831856.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6866, runsolver pid=6863
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 1.33 1.69 4.33 2/193 6867
/proc/meminfo: memFree=30794700/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=101148 memory=77208 CPUtime=0.1 cores=0-7
/proc/6866/stat : 6866 (cosoco) R 6863 6866 3925 0 -1 4202496 19508 0 0 0 7 3 0 0 20 0 1 0 559435210 103575552 19302 33554432000 4194304 6211132 140725457982992 140725457979528 139728795105184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 25287 19302 823 493 0 18592 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101148 KiB
Current children cumulated memory: 77208 KiB

[startup+0.20905 s]*
/proc/loadavg: 1.33 1.69 4.33 2/193 6867
/proc/meminfo: memFree=30642608/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=256616 memory=232968 CPUtime=0.21 cores=0-7
/proc/6866/stat : 6866 (cosoco) R 6863 6866 3925 0 -1 4202496 58393 0 0 0 14 7 0 0 20 0 1 0 559435210 262774784 58176 33554432000 4194304 6211132 140725457982992 140725457979528 139728795105184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 64154 58176 824 493 0 57459 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 256616 KiB
Current children cumulated memory: 232968 KiB

[startup+0.308741 s]*
/proc/loadavg: 1.33 1.69 4.33 2/193 6867
/proc/meminfo: memFree=30491600/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=398764 memory=375000 CPUtime=0.3 cores=0-7
/proc/6866/stat : 6866 (cosoco) R 6863 6866 3925 0 -1 4202496 93914 0 0 0 20 10 0 0 20 0 1 0 559435210 408334336 93750 33554432000 4194304 6211132 140725457982992 140725457979528 139728795912162 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 99691 93750 824 493 0 92996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 398764 KiB
Current children cumulated memory: 375000 KiB

[startup+0.700334 s]
/proc/loadavg: 1.33 1.69 4.33 2/193 6867
/proc/meminfo: memFree=30208420/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=791784 memory=767832 CPUtime=0.69 cores=0-7
/proc/6866/stat : 6866 (cosoco) R 6863 6866 3925 0 -1 4202496 192177 0 0 0 46 23 0 0 20 0 1 0 559435210 810786816 191958 33554432000 4194304 6211132 140725457982992 140725457979528 139728795057125 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 197946 191958 836 493 0 191251 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 791784 KiB
Current children cumulated memory: 767832 KiB

[startup+1.50033 s]
/proc/loadavg: 1.33 1.69 4.33 2/193 6867
/proc/meminfo: memFree=29879936/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=1327260 memory=1303488 CPUtime=1.49 cores=0-7
/proc/6866/stat : 6866 (cosoco) R 6863 6866 3925 0 -1 4202496 326037 0 0 0 108 41 0 0 20 0 1 0 559435210 1359114240 325872 33554432000 4194304 6211132 140725457982992 140725457979528 139728811119744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 331815 325872 836 493 0 325120 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1327260 KiB
Current children cumulated memory: 1303488 KiB

[startup+3.1101 s]
/proc/loadavg: 1.54 1.72 4.33 5/201 6875
/proc/meminfo: memFree=28696476/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=2574728 memory=2162188 CPUtime=10.91 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 557983 0 0 0 1000 91 0 0 20 0 9 0 559435210 2636521472 540547 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 643682 540547 914 493 0 636987 0
[pid=6866/tid=6868] ppid=6863 vsize=2574728 memory=-7035114785800479027 CPUtime=1.1 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) D 6863 6866 3925 0 -1 4202560 6340 0 0 0 107 3 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728787954200 139728795052862 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=2574728 memory=-8412658770403813517 CPUtime=1.11 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) D 6863 6866 3925 0 -1 4202560 13185 0 0 0 106 5 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728779561736 139728795532887 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=2574728 memory=-6447287110554383552 CPUtime=1.11 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 4753 0 0 0 109 2 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728771168872 5185140 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=2574728 memory=55 CPUtime=1.1 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 13287 0 0 0 105 5 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728762776328 5185175 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=2574728 memory=-7082918048272521860 CPUtime=1.12 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 6891 0 0 0 108 4 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728754383544 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=2574728 memory=10 CPUtime=1.15 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 6114 0 0 0 112 3 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728745990680 5396432 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=2574728 memory=4104 CPUtime=1.14 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 4432 0 0 0 112 2 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728737598136 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=2574728 memory=5520 CPUtime=1.1 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) D 6863 6866 3925 0 -1 4202560 12458 0 0 0 105 5 0 0 20 0 9 0 559435401 2636521472 540547 33554432000 4194304 6211132 140725457982992 139728729205512 139728795532887 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 2574728 KiB
Current children cumulated memory: 2162188 KiB

[startup+6.30062 s]
/proc/loadavg: 1.54 1.72 4.33 5/200 6878
/proc/meminfo: memFree=28779620/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3695056 memory=3363676 CPUtime=35.14 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 1230298 0 0 0 3264 250 0 0 20 0 9 0 559435210 3783737344 840919 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 923764 840919 915 493 0 917069 0
[pid=6866/tid=6868] ppid=6863 vsize=3695056 memory=1496472 CPUtime=4.11 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 94857 0 0 0 384 27 0 0 20 0 9 0 559435401 3783737344 840919 33554432000 4194304 6211132 140725457982992 139728787954408 5035286 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3695056 memory=3051 CPUtime=4.16 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 84523 0 0 0 399 17 0 0 20 0 9 0 559435401 3783737344 840919 33554432000 4194304 6211132 140725457982992 139728779561944 5039022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3695056 memory=3226952 CPUtime=4.14 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 77251 0 0 0 389 25 0 0 20 0 9 0 559435401 3783737344 840919 33554432000 4194304 6211132 140725457982992 139728771168872 139728795049928 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3695056 memory=140015230006911 CPUtime=4.12 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 109876 0 0 0 389 23 0 0 20 0 9 0 559435401 3783737344 840919 33554432000 4194304 6211132 140725457982992 139728762776296 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3695056 memory=280021667579952 CPUtime=4.18 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 79219 0 0 0 393 25 0 0 20 0 9 0 559435401 3783737344 840919 33554432000 4194304 6211132 140725457982992 139728754384144 5396439 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3695056 memory=4206468019014099040 CPUtime=4.16 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 104013 0 0 0 398 18 0 0 20 0 9 0 559435401 3783737344 840966 33554432000 4194304 6211132 140725457982992 139728745990760 5185175 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3695056 memory=-8412654364556758899 CPUtime=4.19 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 84465 0 0 0 390 29 0 0 20 0 9 0 559435401 3783737344 840966 33554432000 4194304 6211132 140725457982992 139728737598184 5035286 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3695056 memory=0 CPUtime=4.11 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 105633 0 0 0 387 24 0 0 20 0 9 0 559435401 3783737344 840966 33554432000 4194304 6211132 140725457982992 139728729205352 139728795061685 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 35.14 s
Current children cumulated vsize: 3695056 KiB
Current children cumulated memory: 3363676 KiB

[startup+12.7006 s]
/proc/loadavg: 2.39 1.90 4.36 9/200 6878
/proc/meminfo: memFree=28369640/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3532960 CPUtime=86.22 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 1702992 0 0 0 8322 300 0 0 20 0 9 0 559435210 3985285120 883240 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 883240 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=3532960 CPUtime=10.43 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 140360 0 0 0 1012 31 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728787954280 5409497 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=164 CPUtime=10.55 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 173225 0 0 0 1029 26 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728779561704 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=3073 CPUtime=10.53 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 130758 0 0 0 1021 32 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728771168872 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=4104 CPUtime=10.51 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 174166 0 0 0 1021 30 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728762776168 5039650 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=3532892 CPUtime=10.58 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 134099 0 0 0 1024 34 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728754383464 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=1232 CPUtime=10.56 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 167760 0 0 0 1032 24 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728745990888 5009136 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=10376 CPUtime=10.58 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 123294 0 0 0 1026 32 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728737598184 5148683 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=2195772 CPUtime=10.51 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 168806 0 0 0 1022 29 0 0 20 0 9 0 559435401 3985285120 883240 33554432000 4194304 6211132 140725457982992 139728729206032 5035320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 86.22 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3532960 KiB

[startup+25.5006 s]
/proc/loadavg: 3.25 2.10 4.40 9/200 6881
/proc/meminfo: memFree=28367104/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3535172 CPUtime=188.41 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 1915271 0 0 0 18515 326 0 0 20 0 9 0 559435210 3985285120 883793 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 883793 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=3535168 CPUtime=23.04 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 157870 0 0 0 2271 33 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728787954280 5035286 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=3535172 CPUtime=23.33 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 206933 0 0 0 2304 29 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728779561704 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=3535164 CPUtime=23.32 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 159755 0 0 0 2295 37 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728771168872 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=7668336484291924306 CPUtime=23.31 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 203220 0 0 0 2297 34 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728762776168 5396439 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=3535084 CPUtime=23.37 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 158713 0 0 0 2300 37 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728754383464 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=280021667480896 CPUtime=23.36 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 198820 0 0 0 2309 27 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728745990888 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=6442450945222 CPUtime=23.38 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 142936 0 0 0 2303 35 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728737598184 5035312 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=164 CPUtime=23.3 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 196499 0 0 0 2298 32 0 0 20 0 9 0 559435401 3985285120 883793 33554432000 4194304 6211132 140725457982992 139728729206032 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 188.41 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3535172 KiB

[startup+51.1106 s]
/proc/loadavg: 4.95 2.59 4.50 9/200 6881
/proc/meminfo: memFree=28361564/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3542656 CPUtime=392.92 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 2296150 0 0 0 38923 369 0 0 20 0 9 0 559435210 3985285120 885664 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 885664 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=0 CPUtime=48.29 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 198279 0 0 0 4791 38 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728787954280 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=3542292 CPUtime=48.95 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 253400 0 0 0 4860 35 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728779561576 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=280021667479200 CPUtime=48.94 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 206103 0 0 0 4851 43 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728771168792 5035232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=164 CPUtime=48.92 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 259899 0 0 0 4852 40 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728762776168 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=-7035114785800479027 CPUtime=48.99 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 206607 0 0 0 4856 43 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728754383464 5035270 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=111632 CPUtime=48.96 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 239918 0 0 0 4866 30 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728745990888 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=4660 CPUtime=48.99 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 194404 0 0 0 4858 41 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728737598056 5035320 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=4840 CPUtime=48.91 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 247015 0 0 0 4854 37 0 0 20 0 9 0 559435401 3985285120 885664 33554432000 4194304 6211132 140725457982992 139728729206032 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 392.92 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3542656 KiB

[startup+102.303 s]
/proc/loadavg: 6.78 3.50 4.70 9/199 6885
/proc/meminfo: memFree=28329160/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3571652 CPUtime=801.58 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 2677776 0 0 0 79745 413 0 0 20 0 9 0 559435210 3985285120 892913 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 892913 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=3612 CPUtime=98.99 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 232083 0 0 0 9858 41 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728787954280 5035312 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=3571652 CPUtime=100.13 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 311179 0 0 0 9971 42 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728779561576 5250330 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=3571544 CPUtime=100.08 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 245347 0 0 0 9960 48 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728771168792 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=3571496 CPUtime=100.08 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 336366 0 0 0 9960 48 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728762776848 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=3571516 CPUtime=100.02 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 246149 0 0 0 9954 48 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728754383464 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=3571536 CPUtime=100.14 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 279618 0 0 0 9980 34 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728745990888 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=3612 CPUtime=100.07 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 240297 0 0 0 9960 47 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728737598056 5397318 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=10748 CPUtime=100.09 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 296212 0 0 0 9966 43 0 0 20 0 9 0 559435401 3985285120 892913 33554432000 4194304 6211132 140725457982992 139728729206032 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 801.58 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3571652 KiB

[startup+162.301 s]
/proc/loadavg: 7.61 4.33 4.91 9/199 6890
/proc/meminfo: memFree=28327480/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3574724 CPUtime=1280.61 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 2910375 0 0 0 127620 441 0 0 20 0 9 0 559435210 3985285120 893681 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 893681 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=10748 CPUtime=158.14 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 259210 0 0 0 15770 44 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728787954280 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=3574700 CPUtime=160.11 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 330555 0 0 0 15964 47 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728779561576 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=3574708 CPUtime=160.06 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 278976 0 0 0 15955 51 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728771168792 5186256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=3574724 CPUtime=160.06 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 360336 0 0 0 15956 50 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728762776848 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=1448 CPUtime=159.98 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 272066 0 0 0 15947 51 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728754383464 5035286 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=3574716 CPUtime=160.15 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 314680 0 0 0 15978 37 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728745990888 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=3574716 CPUtime=160.06 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 271173 0 0 0 15955 51 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728737598056 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=3574716 CPUtime=160.07 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 332855 0 0 0 15960 47 0 0 20 0 9 0 559435401 3985285120 893681 33554432000 4194304 6211132 140725457982992 139728729206032 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 1280.61 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3574724 KiB

[startup+222.301 s]
/proc/loadavg: 7.96 5.03 5.12 9/199 6893
/proc/meminfo: memFree=28330372/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3574784 CPUtime=1759.65 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 3127291 0 0 0 175478 487 0 0 20 0 9 0 559435210 3985285120 893696 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 893696 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=3574772 CPUtime=217.55 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 276941 0 0 0 21709 46 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728787954280 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=3574784 CPUtime=220.08 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 355089 0 0 0 21953 55 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728779561576 5035320 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=3574784 CPUtime=220.06 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 304060 0 0 0 21950 56 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728771168792 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=10748 CPUtime=220.05 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 385432 0 0 0 21953 52 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728762776848 5409493 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=6692 CPUtime=219.97 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 313476 0 0 0 21940 57 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728754383464 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=1556 CPUtime=220.15 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 349010 0 0 0 21974 41 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728745990888 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=3574784 CPUtime=219.76 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 293011 0 0 0 21917 59 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728737598056 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=3612 CPUtime=220.05 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 359747 0 0 0 21947 58 0 0 20 0 9 0 559435401 3985285120 893696 33554432000 4194304 6211132 140725457982992 139728729206032 5409463 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 1759.65 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3574784 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.03 5.33 5.21 9/199 6895
/proc/meminfo: memFree=28329876/32770624 swapFree=66990088/67108860
[pid=6866] ppid=6863 vsize=3891880 memory=3574856 CPUtime=1996.85 cores=0-7
/proc/6866/stat : 6866 (cosoco) S 6863 6866 3925 0 -1 1077944320 3241752 0 0 0 199167 518 0 0 20 0 9 0 559435210 3985285120 893714 33554432000 4194304 6211132 140725457982992 140725457981248 139728811097847 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
/proc/6866/statm: 972970 893714 915 493 0 966275 0
[pid=6866/tid=6868] ppid=6863 vsize=3891880 memory=796 CPUtime=247.26 cores=0-7
/proc/6866/task/6868/stat : 6868 (cosoco) R 6863 6866 3925 0 -1 4202560 292162 0 0 0 24679 47 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728787954280 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6869] ppid=6863 vsize=3891880 memory=1620 CPUtime=249.79 cores=0-7
/proc/6866/task/6869/stat : 6869 (cosoco) R 6863 6866 3925 0 -1 4202560 369518 0 0 0 24921 58 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728779561576 5409493 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6870] ppid=6863 vsize=3891880 memory=892 CPUtime=249.76 cores=0-7
/proc/6866/task/6870/stat : 6870 (cosoco) R 6863 6866 3925 0 -1 4202560 314234 0 0 0 24912 64 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728771168792 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6871] ppid=6863 vsize=3891880 memory=4872558044660077418 CPUtime=249.76 cores=0-7
/proc/6866/task/6871/stat : 6871 (cosoco) R 6863 6866 3925 0 -1 4202560 393413 0 0 0 24923 53 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728762776848 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6872] ppid=6863 vsize=3891880 memory=4104 CPUtime=249.67 cores=0-7
/proc/6866/task/6872/stat : 6872 (cosoco) R 6863 6866 3925 0 -1 4202560 333326 0 0 0 24907 60 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728754383464 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6873] ppid=6863 vsize=3891880 memory=1408 CPUtime=249.86 cores=0-7
/proc/6866/task/6873/stat : 6873 (cosoco) R 6863 6866 3925 0 -1 4202560 364773 0 0 0 24944 42 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728745990888 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6874] ppid=6863 vsize=3891880 memory=2720 CPUtime=249.18 cores=0-7
/proc/6866/task/6874/stat : 6874 (cosoco) R 6863 6866 3925 0 -1 4202560 300376 0 0 0 24858 60 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728737598056 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
[pid=6866/tid=6875] ppid=6863 vsize=3891880 memory=3574856 CPUtime=249.57 cores=0-7
/proc/6866/task/6875/stat : 6875 (cosoco) R 6863 6866 3925 0 -1 4202560 383425 0 0 0 24886 71 0 0 20 0 9 0 559435401 3985285120 893714 33554432000 4194304 6211132 140725457982992 139728729206032 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24956928 140725457990678 140725457990770 140725457990770 140725457993678 0
Current children cumulated CPU time: 1996.85 s
Current children cumulated vsize: 3891880 KiB
Current children cumulated memory: 3574856 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.265 s]
# the end of solver process 6866 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1991.79 s, system=5.42361 s

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

[startup+252.209 s]
/proc/loadavg: 8.03 5.33 5.21 2/192 6895
/proc/meminfo: memFree=30056592/32770624 swapFree=66990088/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 252.265
CPU time (s): 1997.21
CPU user time (s): 1991.79
CPU system time (s): 5.42361
CPU usage (%): 791.713
Max. virtual memory (cumulated for all children) (KiB): 3891880
Max. memory (cumulated for all children) (KiB): 3574856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1991.79
system time used= 5.42361
maximum resident set size= 3575068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3242401
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= 98759
involuntary context switches= 18059


# summary of solver processes directly reported to runsolver:
#   pid: 6866
#   total CPU time (s): 1997.21
#   total CPU user time (s): 1991.79
#   total CPU system time (s): 5.42361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22091 second user time and 2.36454 second system time

The end

Launcher Data

Begin job on node136 at 2019-09-30 10:23:41
IDJOB=4409881
IDBENCH=140457
IDSOLVER=2878
FILE ID=node136/4409881-1569831856
RUNJOBID= node136-1569818076-3952
PBS_JOBID= 21705924
Free space on /tmp= 61532 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409881-1569831856/watcher-4409881-1569831856 -o /tmp/evaluation-result-4409881-1569831856/solver-4409881-1569831856 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409881-1569831856.xml

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

MD5SUM BENCH= 00ff107c10292685d5feb35a59a49636
RANDOM SEED=996278394

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30862248 kB
MemAvailable:   31829112 kB
Buffers:            8960 kB
Cached:          1270720 kB
SwapCached:        15180 kB
Active:            51116 kB
Inactive:        1246092 kB
Active(anon):       3676 kB
Inactive(anon):    94992 kB
Active(file):      47440 kB
Inactive(file):  1151100 kB
Unevictable:      109868 kB
Mlocked:          109868 kB
SwapTotal:      67108860 kB
SwapFree:       66990088 kB
Dirty:            269268 kB
Writeback:         66632 kB
AnonPages:        114368 kB
Mapped:            27460 kB
Shmem:             72276 kB
Slab:             203080 kB
SReclaimable:     168316 kB
SUnreclaim:        34764 kB
KernelStack:        3392 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     542144 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62028 MiB
End job on node136 at 2019-09-30 10:27:54