Trace number 4398436

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.O parallelOPT161 524.819 65.9366

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t09-7.xml
MD5SUM2318da7117aad88e4beeaec86ff9c63e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark161
Best CPU time to get the best result obtained on this benchmark9.75422
Satisfiable
(Un)Satisfiability was proved
Number of variables4074
Number of constraints216
Number of domains11
Minimum domain size2
Maximum domain size20
Distribution of domain sizes[{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":4074}]
Minimum constraint arity21
Maximum constraint arity3880
Distribution of constraint arities[{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c
0.00/0.10	c This is cosoco 2.00 --  
0.00/0.10	c
0.00/0.10	c command line: cosoco -model -nbcores=8 HOME/instance-4398436-1568601797.xml 
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.10	0
0.00/0.11	0
0.00/0.11	0
0.00/0.11	0
0.00/0.11	0
0.00/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
0.09/0.11	0
87.39/11.18	c enable optimization
87.39/11.18	c ========================================[ Problem Statistics ]===========================================
87.39/11.18	c |                                                                                                       
87.39/11.18	c |  Parse time        :         0.13 s 
87.39/11.18	c |
87.39/11.18	c |               Variables: 4074
87.39/11.18	c |            Domain Sizes: 2..20
87.39/11.18	c |
87.39/11.18	c |             Constraints: 601
87.39/11.18	c |                   Arity: 2..194  -- Binary: 193
87.39/11.18	c | 
87.39/11.18	c |                   Types: 
87.39/11.18	c |                          (X -Y <= k): 193
87.39/11.18	c |                          Lex: 193
87.39/11.18	c |                          Sum: 215
87.39/11.18	c |                          
87.39/11.18	c |               Objective: Minimize Sum
87.39/11.18	
87.39/11.18	c =========================================================================================================
87.39/11.18	c Parallel mode: Portfolio
87.39/11.18	c [pFactory][Group N°0] created (threads:8).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
87.39/11.18	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
87.39/11.18	c [pFactory][Group N°0] concurrent mode: enabled.
87.39/11.18	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
87.39/11.18	c [pFactory][Group N°0] task 7 launched on thread 0.
87.39/11.18	c [pFactory][Group N°0] task 6 launched on thread 1.
87.39/11.18	c [pFactory][Group N°0] task 5 launched on thread 5.
87.39/11.18	c [pFactory][Group N°0] task 4 launched on thread 2.
87.39/11.18	c [pFactory][Group N°0] task 3 launched on thread 6.
87.39/11.18	c [pFactory][Group N°0] task 2 launched on thread 7.
87.39/11.18	c [pFactory][Group N°0] task 1 launched on thread 4.
87.39/11.18	c [pFactory][Group N°0] task 0 launched on thread 3.
87.39/11.18	o 182
89.71/11.46	o 181
93.71/11.93	o 180
97.69/12.40	o 179
100.89/12.86	o 178
103.36/13.13	o 177
105.68/13.41	o 176
107.28/13.69	o 175
111.35/14.15	o 174
115.26/14.62	o 173
117.66/14.90	o 172
120.84/15.36	o 171
124.84/15.83	o 170
126.50/16.10	o 169
130.42/16.56	o 168
134.48/17.01	o 167
136.01/17.29	o 166
140.01/17.75	o 165
144.00/18.21	o 164
145.60/18.49	o 163
149.59/18.95	o 162
151.98/19.22	o 161
524.05/65.89	c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7.
524.05/65.89	c [pFactory][Group N°0] Thread N°0 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°1 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°2 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°3 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°4 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°5 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°6 is joined.
524.05/65.89	c [pFactory][Group N°0] Thread N°7 is joined.
524.05/65.89	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0)
524.05/65.89	s OPTIMUM FOUND
524.05/65.89	c call to solver        : 4
524.05/65.89	c
524.05/65.89	c restarts              : 3343        
524.05/65.89	c conflicts             : 22559        (43 /sec)
524.05/65.89	c decisions             : 824408       (1573 /sec)
524.05/65.89	c propagations          : 7976246     (15221 /sec)
524.05/65.89	c root propagations     : 33174       
524.05/65.89	c filter calls          : 9614495        (18348 /sec)
524.05/65.89	c useless filter calls  : 8746346        (90 %)
524.05/65.89	c Memory used           : 732.57 MB
524.05/65.89	c Best bound time (wc)  : 19.2225 s
524.05/65.89	c CPU time              : 524.016 s
524.05/65.89	c real time             : 65.8852 s
524.05/65.89	
524.05/65.89	
524.05/65.89	v <instantiation type='solution' cost='161'>
524.05/65.89	v <list>p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] 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[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] 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][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[100][0] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][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][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[110][0] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][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][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[120][0] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][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][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[130][0] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][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][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[140][0] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][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][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[150][0] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][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][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[160][0] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][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][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[170][0] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[178][0] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[179][0] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][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][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[180][0] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[181][0] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[182][0] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[183][0] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[184][0] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[185][0] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[186][0] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[187][0] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[188][0] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[189][0] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][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][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[190][0] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[191][0] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[192][0] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[193][0] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][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][2] r[19][3] 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][2] r[1][3] 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][2] r[20][3] 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][2] r[21][3] 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][2] r[22][3] 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][2] r[23][3] 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][2] r[24][3] 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][2] r[25][3] 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][2] r[26][3] 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][2] r[27][3] 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][2] r[28][3] 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][2] r[29][3] 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][2] r[2][3] 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][2] r[30][3] 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][2] r[31][3] 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][2] r[32][3] 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][2] r[33][3] 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][2] r[34][3] 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][2] r[35][3] 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][2] r[36][3] 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][2] r[37][3] 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][2] r[38][3] 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][2] r[39][3] 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][2] r[3][3] 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][2] r[40][3] 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][2] r[41][3] 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][2] r[42][3] 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][2] r[43][3] 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][2] r[44][3] 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][2] r[45][3] 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][2] r[46][3] 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][2] r[47][3] 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][2] r[48][3] 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][2] r[49][3] 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][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][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][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][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][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[70][0] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][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][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[80][0] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][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][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[90][0] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][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][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list>
524.05/65.89	v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 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 1 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 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 1 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 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 1 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 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 1 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 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 1 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 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 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 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 1 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 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 1 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 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 1 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 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 1 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 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 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 1 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 0 0 0 0 0 0 0 0 1 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 1 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 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 1 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 1 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 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 1 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 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 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 1 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 0 0 0 0 0 0 0 0 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 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 1 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 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 1 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 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 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 1 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 1 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 </values>
524.05/65.89	v </instantiation>
524.05/65.89

Verifier Data 

OK	161

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398436-1568601797/watcher-4398436-1568601797 -o /tmp/evaluation-result-4398436-1568601797/solver-4398436-1568601797 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568596419-18108 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398436-1568601797.xml 

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

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

solver pid=18857, runsolver pid=18854

[startup+0.100159 s]*
/proc/loadavg: 6.72 8.43 8.74 2/192 18858
/proc/meminfo: memFree=30391512/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=80660 memory=57148 CPUtime=0.09 cores=0-7
/proc/18857/stat : 18857 (cosoco) R 18854 18857 18080 0 -1 4202496 14446 0 0 0 8 1 0 0 20 0 1 0 436427003 82595840 14221 33554432000 4194304 6211092 140722240310832 140722240307368 140505288707168 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 20165 14287 845 493 0 13470 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80660 KiB
Current children cumulated memory: 57148 KiB

[startup+0.215642 s]*
/proc/loadavg: 6.72 8.43 8.74 9/200 18866
/proc/meminfo: memFree=30324040/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=717396 memory=114664 CPUtime=0.61 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 29078 0 0 0 57 4 0 0 20 0 9 0 436427003 734613504 28666 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 179349 28666 896 493 0 172654 0
[pid=18857/tid=18859] ppid=18854 vsize=717396 memory=8316850467074736180 CPUtime=0.05 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 360 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505281165960 5397226 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=717396 memory=13460 CPUtime=0.05 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 361 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505272773320 5397223 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=717396 memory=140718644260909 CPUtime=0.05 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505264380616 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=717396 memory=-1 CPUtime=0.05 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505255987848 5397235 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=717396 memory=0 CPUtime=0.04 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 4 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505247595208 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=717396 memory=0 CPUtime=0.05 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505239202504 5397226 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=717396 memory=-1 CPUtime=0.05 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505230809800 5397226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=717396 memory=0 CPUtime=0.05 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 9 0 436427019 734613504 28666 33554432000 4194304 6211092 140722240310832 140505222417096 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 114664 KiB

[startup+0.310646 s]*
/proc/loadavg: 6.72 8.43 8.74 9/200 18866
/proc/meminfo: memFree=30296332/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=733812 memory=144248 CPUtime=1.32 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 37197 0 0 0 126 6 0 0 20 0 9 0 436427003 751423488 36062 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 183453 36062 898 493 0 176758 0
[pid=18857/tid=18859] ppid=18854 vsize=733812 memory=6935054825532540783 CPUtime=0.14 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 1326 0 0 0 14 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505281166352 5149217 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=733812 memory=4872558044660077418 CPUtime=0.14 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 1327 0 0 0 14 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505272773648 5397278 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=733812 memory=0 CPUtime=0.13 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 1323 0 0 0 13 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505264380824 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=733812 memory=0 CPUtime=0.14 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 1324 0 0 0 14 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505255988120 5158000 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=733812 memory=0 CPUtime=0.12 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 1323 0 0 0 12 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505247595536 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=733812 memory=0 CPUtime=0.14 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 1323 0 0 0 14 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505239202824 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=733812 memory=0 CPUtime=0.15 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 1576 0 0 0 15 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505230809512 140505288264510 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=733812 memory=0 CPUtime=0.14 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 1462 0 0 0 14 0 0 0 20 0 9 0 436427019 751423488 36062 33554432000 4194304 6211092 140722240310832 140505222416808 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 733812 KiB
Current children cumulated memory: 144248 KiB

[startup+0.700643 s]
/proc/loadavg: 6.72 8.43 8.74 9/200 18866
/proc/meminfo: memFree=30188420/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=733812 memory=278360 CPUtime=4.32 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 70827 0 0 0 416 16 0 0 20 0 9 0 436427003 751423488 69590 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 183453 69590 899 493 0 176758 0
[pid=18857/tid=18859] ppid=18854 vsize=733812 memory=24680 CPUtime=0.52 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 7294 0 0 0 50 2 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505281165928 140505288337963 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=733812 memory=14068 CPUtime=0.51 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 7283 0 0 0 49 2 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505272773032 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=733812 memory=528 CPUtime=0.51 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 4951 0 0 0 50 1 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505264380344 5155337 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=733812 memory=1560 CPUtime=0.52 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 3581 0 0 0 51 1 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505255987656 5193699 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=733812 memory=928 CPUtime=0.48 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 2614 0 0 0 48 0 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505247594936 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=733812 memory=8514726395714825349 CPUtime=0.51 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 2842 0 0 0 51 0 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505239202408 140505288264510 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=733812 memory=-8341965534556230502 CPUtime=0.52 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 8387 0 0 0 51 1 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505230809528 5151120 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=733812 memory=4715433313220523562 CPUtime=0.52 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 7668 0 0 0 50 2 0 0 20 0 9 0 436427019 751423488 69590 33554432000 4194304 6211092 140722240310832 140505222417000 140505288264510 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 733812 KiB
Current children cumulated memory: 278360 KiB

[startup+1.50064 s]
/proc/loadavg: 6.72 8.43 8.74 9/200 18866
/proc/meminfo: memFree=30093772/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=733812 memory=394996 CPUtime=10.67 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 138754 0 0 0 1039 28 0 0 20 0 9 0 436427003 751423488 98749 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 183453 98749 899 493 0 176758 0
[pid=18857/tid=18859] ppid=18854 vsize=733812 memory=0 CPUtime=1.32 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 13587 0 0 0 128 4 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505281166464 5091904 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=733812 memory=2111069103937604 CPUtime=1.31 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 13135 0 0 0 127 4 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505272773064 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=733812 memory=301741416374350626 CPUtime=1.3 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 11255 0 0 0 127 3 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505264380520 140505288273289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=733812 memory=14133333739198682 CPUtime=1.31 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 16685 0 0 0 129 2 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505255987624 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=733812 memory=3580 CPUtime=1.26 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 6484 0 0 0 125 1 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505247594936 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=733812 memory=45828 CPUtime=1.31 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 12487 0 0 0 130 1 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505239202232 5149648 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=733812 memory=2028 CPUtime=1.32 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 17160 0 0 0 129 3 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505230810128 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=733812 memory=988 CPUtime=1.31 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 21783 0 0 0 128 3 0 0 20 0 9 0 436427019 751423488 98749 33554432000 4194304 6211092 140722240310832 140505222416824 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 10.67 s
Current children cumulated vsize: 733812 KiB
Current children cumulated memory: 394996 KiB

[startup+3.11064 s]
/proc/loadavg: 6.74 8.41 8.73 9/200 18866
/proc/meminfo: memFree=30024960/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=733812 memory=412660 CPUtime=23.53 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 204299 0 0 0 2319 34 0 0 20 0 9 0 436427003 751423488 103165 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 183453 103165 899 493 0 176758 0
[pid=18857/tid=18859] ppid=18854 vsize=733812 memory=0 CPUtime=2.93 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 25927 0 0 0 288 5 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505281166464 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=733812 memory=0 CPUtime=2.91 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 22817 0 0 0 287 4 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505272773064 5093384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=733812 memory=281436993342336 CPUtime=2.92 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 19063 0 0 0 288 4 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505264380344 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=733812 memory=281436993342400 CPUtime=2.92 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 23634 0 0 0 289 3 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505255987656 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=733812 memory=7522532441741354096 CPUtime=2.85 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 10861 0 0 0 283 2 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505247595112 5093384 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=733812 memory=68 CPUtime=2.92 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 24687 0 0 0 290 2 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505239202408 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=733812 memory=7739545289763415891 CPUtime=2.92 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 23918 0 0 0 289 3 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505230810128 5148659 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=733812 memory=281436993344932 CPUtime=2.92 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 27177 0 0 0 288 4 0 0 20 0 9 0 436427019 751423488 103165 33554432000 4194304 6211092 140722240310832 140505222416824 5409457 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 23.53 s
Current children cumulated vsize: 733812 KiB
Current children cumulated memory: 412660 KiB

[startup+6.30065 s]
/proc/loadavg: 6.74 8.41 8.73 9/200 18866
/proc/meminfo: memFree=29983900/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=733812 memory=453508 CPUtime=48.99 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 309456 0 0 0 4855 44 0 0 20 0 9 0 436427003 751423488 113377 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 183453 113377 899 493 0 176758 0
[pid=18857/tid=18859] ppid=18854 vsize=733812 memory=432388 CPUtime=6.11 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 37045 0 0 0 605 6 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505281165928 5150142 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=733812 memory=1060 CPUtime=6.11 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 35677 0 0 0 605 6 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505272773224 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=733812 memory=0 CPUtime=6.1 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 38903 0 0 0 605 5 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505264380520 5149120 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=733812 memory=140722939209343 CPUtime=6.11 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 38394 0 0 0 607 4 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505255987624 5151120 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=733812 memory=281436993637168 CPUtime=6 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 20638 0 0 0 596 4 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505247595648 5148855 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=733812 memory=143063548733858 CPUtime=6.1 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 36715 0 0 0 607 3 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505239202408 140505288279177 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=733812 memory=0 CPUtime=6.12 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 39971 0 0 0 607 5 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505230809512 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=733812 memory=221693326955354 CPUtime=6.11 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 35899 0 0 0 606 5 0 0 20 0 9 0 436427019 751423488 113377 33554432000 4194304 6211092 140722240310832 140505222417424 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 48.99 s
Current children cumulated vsize: 733812 KiB
Current children cumulated memory: 453508 KiB

[startup+12.7006 s]
/proc/loadavg: 6.84 8.40 8.73 9/200 18867
/proc/meminfo: memFree=29932224/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=793192 memory=500708 CPUtime=100.09 cores=0-7

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

[pid=18857] ppid=18854 vsize=782932 memory=520448 CPUtime=458.57 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 563585 0 0 0 45786 71 0 0 20 0 9 0 436427003 801722368 130112 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 130112 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=13347 CPUtime=57.41 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 73662 0 0 0 5731 10 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505281165768 5193696 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=506160 CPUtime=57.39 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 79472 0 0 0 5729 10 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505272773904 5409439 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=776 CPUtime=57.39 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 67867 0 0 0 5731 8 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505264380520 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=506028 CPUtime=57.41 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 64908 0 0 0 5733 8 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505255988352 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=9592 CPUtime=56.57 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 53727 0 0 0 5649 8 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505247594920 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=776 CPUtime=57.39 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 73889 0 0 0 5732 7 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505239202944 5149217 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=1540 CPUtime=57.41 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 62907 0 0 0 5733 8 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505230809704 5150972 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=692 CPUtime=57.39 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 60938 0 0 0 5733 6 0 0 20 0 9 0 436427019 801722368 130112 33554432000 4194304 6211092 140722240310832 140505222417000 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 458.57 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 520448 KiB

[startup+60.8006 s]
/proc/loadavg: 7.71 8.40 8.71 9/200 18869
/proc/meminfo: memFree=29916044/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=782932 memory=521380 CPUtime=484.12 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 584177 0 0 0 48339 73 0 0 20 0 9 0 436427003 801722368 130345 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 130345 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=288230596050944315 CPUtime=60.6 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 75390 0 0 0 6050 10 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505281165768 5193696 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=0 CPUtime=60.59 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 80804 0 0 0 6049 10 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505272773904 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=57 CPUtime=60.59 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 74403 0 0 0 6050 9 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505264380520 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=521380 CPUtime=60.6 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 67303 0 0 0 6052 8 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505255988352 5149700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=45828 CPUtime=59.72 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 56346 0 0 0 5964 8 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505247594936 5409439 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=988 CPUtime=60.58 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 75304 0 0 0 6051 7 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505239202944 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=1436 CPUtime=60.6 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 65196 0 0 0 6052 8 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505230809704 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=140718496740225 CPUtime=60.59 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 63216 0 0 0 6053 6 0 0 20 0 9 0 436427019 801722368 130345 33554432000 4194304 6211092 140722240310832 140505222417000 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 484.12 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 521380 KiB

[startup+64.0006 s]*
/proc/loadavg: 7.73 8.39 8.71 9/200 18869
/proc/meminfo: memFree=29915484/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=782932 memory=522224 CPUtime=509.74 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 590307 0 0 0 50900 74 0 0 20 0 9 0 436427003 801722368 130556 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 130556 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=6935054825532540783 CPUtime=63.81 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 75517 0 0 0 6371 10 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505281165768 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=4872558044660077418 CPUtime=63.8 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 80984 0 0 0 6370 10 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505272773760 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=1540 CPUtime=63.8 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 74948 0 0 0 6371 9 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505264380520 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=692 CPUtime=63.81 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 69213 0 0 0 6373 8 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505255988352 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=4156 CPUtime=62.88 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 56674 0 0 0 6280 8 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505247595536 5091744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=2028 CPUtime=63.79 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 75483 0 0 0 6372 7 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505239202944 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=988 CPUtime=63.81 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 67982 0 0 0 6373 8 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505230809704 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=1436 CPUtime=63.8 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 63291 0 0 0 6374 6 0 0 20 0 9 0 436427019 801722368 130556 33554432000 4194304 6211092 140722240310832 140505222417000 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 509.74 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 522224 KiB

[startup+64.8006 s]
/proc/loadavg: 7.73 8.39 8.71 9/200 18869
/proc/meminfo: memFree=29915484/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=782932 memory=526872 CPUtime=516.07 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 593223 0 0 0 51532 75 0 0 20 0 9 0 436427003 801722368 131718 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 131718 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=522224 CPUtime=64.6 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 75555 0 0 0 6450 10 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505281165768 5091718 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=6935054825532540783 CPUtime=64.59 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 80989 0 0 0 6449 10 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505272773760 5092478 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=6240 CPUtime=64.59 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 75020 0 0 0 6450 9 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505264380520 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=6239 CPUtime=64.6 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 69359 0 0 0 6452 8 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505255988352 5150133 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=6270 CPUtime=63.66 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 58769 0 0 0 6358 8 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505247595112 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=49052 CPUtime=64.58 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 75533 0 0 0 6451 7 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505239202944 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=6140 CPUtime=64.61 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 68491 0 0 0 6452 9 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505230809704 5149686 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=505468 CPUtime=64.59 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 63292 0 0 0 6453 6 0 0 20 0 9 0 436427019 801722368 131718 33554432000 4194304 6211092 140722240310832 140505222417000 5391298 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 516.07 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 526872 KiB

[startup+65.6006 s]
/proc/loadavg: 7.73 8.39 8.71 9/200 18869
/proc/meminfo: memFree=29910336/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=782932 memory=527268 CPUtime=522.45 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 594539 0 0 0 52170 75 0 0 20 0 9 0 436427003 801722368 131817 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 131817 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=1540 CPUtime=65.4 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 75573 0 0 0 6530 10 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505281165768 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=6935054825532540783 CPUtime=65.39 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 80997 0 0 0 6529 10 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505272773760 5148684 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=522108 CPUtime=65.39 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 75470 0 0 0 6530 9 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505264380520 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=3580 CPUtime=65.4 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 69897 0 0 0 6532 8 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505255988352 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=45828 CPUtime=64.45 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 58939 0 0 0 6437 8 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505247595112 5156232 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=6935054825532540783 CPUtime=65.38 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 75584 0 0 0 6531 7 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505239202944 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=1092 CPUtime=65.41 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 68572 0 0 0 6532 9 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505230809704 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=1656 CPUtime=65.39 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 63292 0 0 0 6533 6 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505222417000 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 522.45 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 527268 KiB

[startup+65.8006 s]
/proc/loadavg: 7.73 8.39 8.71 9/200 18869
/proc/meminfo: memFree=29910336/32770624 swapFree=66927300/67108860
[pid=18857] ppid=18854 vsize=782932 memory=527268 CPUtime=524.05 cores=0-7
/proc/18857/stat : 18857 (cosoco) S 18854 18857 18080 0 -1 1077944320 594624 0 0 0 52330 75 0 0 20 0 9 0 436427003 801722368 131817 33554432000 4194304 6211092 140722240310832 140722240309088 140505304309495 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
/proc/18857/statm: 195733 131817 899 493 0 189038 0
[pid=18857/tid=18859] ppid=18854 vsize=782932 memory=2120 CPUtime=65.6 cores=0-7
/proc/18857/task/18859/stat : 18859 (cosoco) R 18854 18857 18080 0 -1 4202560 75574 0 0 0 6550 10 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505281165768 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18860] ppid=18854 vsize=782932 memory=24680 CPUtime=65.59 cores=0-7
/proc/18857/task/18860/stat : 18860 (cosoco) R 18854 18857 18080 0 -1 4202560 80998 0 0 0 6549 10 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505272773760 5091909 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18861] ppid=18854 vsize=782932 memory=6935054825532540783 CPUtime=65.59 cores=0-7
/proc/18857/task/18861/stat : 18861 (cosoco) R 18854 18857 18080 0 -1 4202560 75497 0 0 0 6550 9 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505264380344 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18862] ppid=18854 vsize=782932 memory=45828 CPUtime=65.6 cores=0-7
/proc/18857/task/18862/stat : 18862 (cosoco) R 18854 18857 18080 0 -1 4202560 69915 0 0 0 6552 8 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505255988352 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18863] ppid=18854 vsize=782932 memory=2028 CPUtime=64.65 cores=0-7
/proc/18857/task/18863/stat : 18863 (cosoco) R 18854 18857 18080 0 -1 4202560 58968 0 0 0 6457 8 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505247595112 5150990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18864] ppid=18854 vsize=782932 memory=988 CPUtime=65.58 cores=0-7
/proc/18857/task/18864/stat : 18864 (cosoco) R 18854 18857 18080 0 -1 4202560 75587 0 0 0 6551 7 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505239202944 5091367 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18865] ppid=18854 vsize=782932 memory=1436 CPUtime=65.61 cores=0-7
/proc/18857/task/18865/stat : 18865 (cosoco) R 18854 18857 18080 0 -1 4202560 68578 0 0 0 6552 9 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505230809704 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
[pid=18857/tid=18866] ppid=18854 vsize=782932 memory=9592 CPUtime=65.59 cores=0-7
/proc/18857/task/18866/stat : 18866 (cosoco) R 18854 18857 18080 0 -1 4202560 63292 0 0 0 6553 6 0 0 20 0 9 0 436427019 801722368 131817 33554432000 4194304 6211092 140722240310832 140505222417000 5409457 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16408576 140722240312337 140722240312429 140722240312429 140722240315342 0
Current children cumulated CPU time: 524.05 s
Current children cumulated vsize: 782932 KiB
Current children cumulated memory: 527268 KiB

[startup+65.9006 s]*
/proc/loadavg: 7.73 8.39 8.71 2/192 18869
/proc/meminfo: memFree=30013520/32770624 swapFree=66927300/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 65.9366
CPU time (s): 524.819
CPU user time (s): 524.017
CPU system time (s): 0.801387
CPU usage (%): 795.944
Max. virtual memory (cumulated for all children) (KiB): 797296
Max. memory (cumulated for all children) (KiB): 527268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 524.017
system time used= 0.801387
maximum resident set size= 527420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594814
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= 14356
involuntary context switches= 4381


# summary of solver processes directly reported to runsolver:
#   pid: 18857
#   total CPU time (s): 524.819
#   total CPU user time (s): 524.017
#   total CPU system time (s): 0.801387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.363757 second user time and 0.628861 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-16 04:42:34
IDJOB=4398436
IDBENCH=124153
IDSOLVER=2851
FILE ID=node137/4398436-1568601797
RUNJOBID= node137-1568596419-18108
PBS_JOBID= 21703399
Free space on /tmp= 61420 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-7.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398436-1568601797/watcher-4398436-1568601797 -o /tmp/evaluation-result-4398436-1568601797/solver-4398436-1568601797 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568596419-18108 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398436-1568601797.xml

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

MD5SUM BENCH= 2318da7117aad88e4beeaec86ff9c63e
RANDOM SEED=1015606999

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30432740 kB
MemAvailable:   31809212 kB
Buffers:          136248 kB
Cached:          1526936 kB
SwapCached:        77508 kB
Active:          1442300 kB
Inactive:         300660 kB
Active(anon):       4304 kB
Inactive(anon):   124916 kB
Active(file):    1437996 kB
Inactive(file):   175744 kB
Unevictable:      109916 kB
Mlocked:          109916 kB
SwapTotal:      67108860 kB
SwapFree:       66927300 kB
Dirty:              2720 kB
Writeback:             0 kB
AnonPages:        113264 kB
Mapped:            47248 kB
Shmem:             41004 kB
Slab:             186764 kB
SReclaimable:     157132 kB
SUnreclaim:        29632 kB
KernelStack:        3376 kB
PageTables:         5964 kB
NFS_Unstable:        324 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505800 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61416 MiB
End job on node137 at 2019-09-16 04:43:40