Trace number 4409580

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0 parallelOPT102 112.719 14.3566

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t09-2.xml
MD5SUMf7684c3e1f9d094a59a7b3edf9b14040
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark102
Best CPU time to get the best result obtained on this benchmark7.94325
Satisfiable
(Un)Satisfiability was proved
Number of variables2856
Number of constraints158
Number of domains15
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":2856}]
Minimum constraint arity21
Maximum constraint arity2720
Distribution of constraint arities[{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"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":156}]
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.06	c
0.00/0.06	c This is cosoco 2.00 --  
0.00/0.06	c
0.00/0.06	c command line: cosoco -model -nbcores=8 HOME/instance-4409580-1569822796.xml 
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.06	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
0.00/0.07	0
10.61/4.97	c enable optimization
10.61/4.97	c ========================================[ Problem Statistics ]===========================================
10.61/4.97	c |                                                                                                       
10.61/4.97	c |  Parse time        :         0.08 s 
10.61/4.97	c |
10.61/4.97	c |               Variables: 2856
10.61/4.97	c |            Domain Sizes: 2..21
10.61/4.97	c |
10.61/4.97	c |             Constraints: 427
10.61/4.97	c |                   Arity: 2..136  -- Binary: 135
10.61/4.97	c | 
10.61/4.97	c |                   Types: 
10.61/4.97	c |                          (X -Y <= k): 135
10.61/4.97	c |                          Lex: 135
10.61/4.97	c |                          Sum: 157
10.61/4.97	c |                          
10.61/4.97	c |               Objective: Minimize Sum
10.61/4.97	
10.61/4.97	c =========================================================================================================
10.61/4.97	c Parallel mode: Portfolio
10.61/4.97	c [pFactory][Group N°0] created (threads:8).
10.61/4.97	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
10.61/4.97	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
10.61/4.97	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
10.61/8.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
10.61/8.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
10.61/8.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
10.61/8.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
10.61/8.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
10.61/8.57	c [pFactory][Group N°0] concurrent mode: enabled.
10.61/8.57	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
10.61/8.57	c [pFactory][Group N°0] task 7 launched on thread 4.
10.61/8.57	c [pFactory][Group N°0] task 6 launched on thread 0.
10.61/8.57	c [pFactory][Group N°0] task 5 launched on thread 5.
10.61/8.57	c [pFactory][Group N°0] task 4 launched on thread 6.
10.61/8.57	c [pFactory][Group N°0] task 3 launched on thread 7.
10.61/8.57	c [pFactory][Group N°0] task 2 launched on thread 1.
10.61/8.57	c [pFactory][Group N°0] task 1 launched on thread 3.
10.61/8.57	c [pFactory][Group N°0] task 0 launched on thread 2.
10.61/8.57	o 127
10.61/8.57	o 110
10.61/8.57	o 109
69.64/8.99	o 107
76.03/9.79	o 104
87.80/11.26	o 102
112.55/14.33	c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4.
112.55/14.33	c [pFactory][Group N°0] Thread N°0 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°1 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°2 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°3 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°4 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°5 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°6 is joined.
112.55/14.33	c [pFactory][Group N°0] Thread N°7 is joined.
112.55/14.33	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6)
112.55/14.33	s OPTIMUM FOUND
112.55/14.33	c call to solver        : 4
112.55/14.33	c
112.55/14.33	c restarts              : 700         
112.55/14.33	c conflicts             : 4187         (37 /sec)
112.55/14.33	c decisions             : 299845       (2677 /sec)
112.55/14.33	c propagations          : 2257918     (20156 /sec)
112.55/14.33	c root propagations     : 19992       
112.55/14.33	c filter calls          : 2315488        (20670 /sec)
112.55/14.33	c useless filter calls  : 2178795        (94 %)
112.55/14.33	c Memory used           : 623.68 MB
112.55/14.33	c Best bound time (wc)  : 11.2608 s
112.55/14.33	c CPU time              : 112.023 s
112.55/14.33	c real time             : 14.3307 s
112.55/14.33	
112.55/14.33	
112.55/14.33	v <instantiation type='solution' cost='102'>
112.55/14.33	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[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[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[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[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[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[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[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[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[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>
112.55/14.33	v <values>1 1 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 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 1 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 1 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 1 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 1 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 1 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 1 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 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 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 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 </values>
112.55/14.33	v </instantiation>
112.55/14.33

Verifier Data 

OK	102

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409580-1569822796/watcher-4409580-1569822796 -o /tmp/evaluation-result-4409580-1569822796/solver-4409580-1569822796 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1569816999-10284 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409580-1569822796.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 1.16 1.05 1.48 2/192 10988
/proc/meminfo: memFree=30915480/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=58204 CPUtime=0.11 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 14996 0 0 0 9 2 0 0 20 0 9 0 558518248 687542272 14551 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 14551 890 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=4134692831991786133 CPUtime=0 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066931210952 140066938313701 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066922818248 140066938309438 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=139984333092480 CPUtime=0 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) D 10984 10987 10257 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066914425448 140066938789463 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066906032840 140066938309438 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) D 10984 10987 10257 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066897640136 140066938789463 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) D 10984 10987 10257 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066889247736 140066938313701 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=-1 CPUtime=0 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) D 10984 10987 10257 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066880854664 140066938309438 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) D 10984 10987 10257 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 9 0 558518258 687542272 14551 33554432000 4194304 6211132 140737086089472 140066872462328 140066938313701 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 58204 KiB

[startup+0.210241 s]*
/proc/loadavg: 1.16 1.05 1.48 7/200 10996
/proc/meminfo: memFree=30879380/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=687844 memory=89840 CPUtime=0.72 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 23544 0 0 0 67 5 0 0 20 0 9 0 558518248 704352256 22460 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 171961 22460 898 493 0 165266 0
[pid=10987/tid=10989] ppid=10984 vsize=687844 memory=8316850467074736180 CPUtime=0.08 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 8 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066931211280 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=687844 memory=1943650 CPUtime=0.05 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 5 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066922818184 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=687844 memory=139984337223582 CPUtime=0.07 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) D 10984 10987 10257 0 -1 4202560 1279 0 0 0 7 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066914425288 140066938789463 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=687844 memory=-1 CPUtime=0.08 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 1062 0 0 0 8 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066906032568 140066938309438 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=687844 memory=0 CPUtime=0.08 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) D 10984 10987 10257 0 -1 4202560 1221 0 0 0 8 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066897639880 140066938789463 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=687844 memory=0 CPUtime=0.08 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 8 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066889247760 5149260 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=687844 memory=-1 CPUtime=0.07 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 1217 0 0 0 7 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066880854632 5185140 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=687844 memory=0 CPUtime=0.04 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 4 0 0 0 20 0 9 0 558518258 704352256 22460 33554432000 4194304 6211132 140737086089472 140066872461960 5392791 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 89840 KiB

[startup+0.309981 s]*
/proc/loadavg: 1.16 1.05 1.48 7/200 10996
/proc/meminfo: memFree=30862072/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=687844 memory=113336 CPUtime=1.21 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 29415 0 0 0 111 10 0 0 20 0 9 0 558518248 704352256 28334 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 171961 28334 898 493 0 165266 0
[pid=10987/tid=10989] ppid=10984 vsize=687844 memory=6935054825532540783 CPUtime=0.18 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 17 1 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066931211280 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=687844 memory=4872558044660077418 CPUtime=0.12 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) D 10984 10987 10257 0 -1 4202560 1719 0 0 0 12 0 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066922818152 140066938309438 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=687844 memory=0 CPUtime=0.11 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) D 10984 10987 10257 0 -1 4202560 2206 0 0 0 10 1 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066914425288 140066938309438 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=687844 memory=0 CPUtime=0.11 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 2438 0 0 0 11 0 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066906032584 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=687844 memory=6656426216303648864 CPUtime=0.15 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 1282 0 0 0 15 0 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066897639880 5148683 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=687844 memory=0 CPUtime=0.12 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 2707 0 0 0 11 1 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066889247240 140066938789463 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=687844 memory=0 CPUtime=0.1 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) D 10984 10987 10257 0 -1 4202560 2312 0 0 0 9 1 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066880854472 140066938309438 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=687844 memory=0 CPUtime=0.14 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 1008 0 0 0 14 0 0 0 20 0 9 0 558518258 704352256 28334 33554432000 4194304 6211132 140737086089472 140066872461960 5149324 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 113336 KiB

[startup+0.701397 s]
/proc/loadavg: 1.16 1.05 1.48 9/200 10996
/proc/meminfo: memFree=30827640/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=687844 memory=172472 CPUtime=4.24 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 44387 0 0 0 410 14 0 0 20 0 9 0 558518248 704352256 43118 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 171961 43118 899 493 0 165266 0
[pid=10987/tid=10989] ppid=10984 vsize=687844 memory=1436 CPUtime=0.56 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 1581 0 0 0 54 2 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066931210680 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=687844 memory=892 CPUtime=0.5 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 2980 0 0 0 49 1 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066922817960 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=687844 memory=1764 CPUtime=0.48 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 3855 0 0 0 47 1 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066914425256 5409493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=687844 memory=111628 CPUtime=0.49 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 2439 0 0 0 49 0 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066906032944 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=687844 memory=800 CPUtime=0.54 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 5686 0 0 0 53 1 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066897639864 5149030 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=687844 memory=4713745541279610410 CPUtime=0.5 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 5509 0 0 0 49 1 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066889247176 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=687844 memory=-6520471753822164382 CPUtime=0.46 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 3910 0 0 0 45 1 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066880854472 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=687844 memory=-8253362762722141311 CPUtime=0.52 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 3692 0 0 0 52 0 0 0 20 0 9 0 558518258 704352256 43118 33554432000 4194304 6211132 140737086089472 140066872461752 5149060 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 172472 KiB

[startup+1.5014 s]
/proc/loadavg: 1.16 1.05 1.48 9/200 10996
/proc/meminfo: memFree=30797072/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=687844 memory=191412 CPUtime=10.61 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 77438 0 0 0 1037 24 0 0 20 0 9 0 558518248 704352256 47853 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 171961 47853 899 493 0 165266 0
[pid=10987/tid=10989] ppid=10984 vsize=687844 memory=5787216026087412320 CPUtime=1.36 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 5853 0 0 0 129 7 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066931210664 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=687844 memory=5787214926575784544 CPUtime=1.3 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 6143 0 0 0 128 2 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066922818152 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=687844 memory=5787219324622295648 CPUtime=1.29 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 9471 0 0 0 127 2 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066914425448 5149080 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=687844 memory=5787221523645551200 CPUtime=1.29 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 5532 0 0 0 128 1 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066906032568 5155377 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=687844 memory=0 CPUtime=1.34 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 8598 0 0 0 133 1 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066897640576 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=687844 memory=8316868033356759116 CPUtime=1.3 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 10773 0 0 0 127 3 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066889247336 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=687844 memory=1944129 CPUtime=1.25 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 7698 0 0 0 124 1 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066880854456 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=687844 memory=4057485 CPUtime=1.32 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 8635 0 0 0 130 2 0 0 20 0 9 0 558518258 704352256 47853 33554432000 4194304 6211132 140737086089472 140066872461752 5185100 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 191412 KiB

[startup+8.68239 s]
/proc/loadavg: 1.16 1.05 1.48 9/200 10996
/proc/meminfo: memFree=30797072/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=254164 CPUtime=67.9 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 182005 0 0 0 6736 54 0 0 20 0 9 0 558518248 687542272 63541 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 63541 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=139984333113953 CPUtime=8.47 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 21545 0 0 0 823 24 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066931211536 5149152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=8099276881249392741 CPUtime=8.46 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 21785 0 0 0 842 4 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066922818152 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=5787221523645551200 CPUtime=8.43 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 18302 0 0 0 837 6 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066914425984 5409471 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=7590083133658654800 CPUtime=8.48 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 14102 0 0 0 846 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066906033168 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=3620 CPUtime=8.51 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 21358 0 0 0 849 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066897639848 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=10496 CPUtime=8.47 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 24705 0 0 0 843 4 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066889247160 5396349 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=1988 CPUtime=8.39 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 20865 0 0 0 837 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066880854440 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=988 CPUtime=8.5 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 24608 0 0 0 847 3 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066872462008 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 67.9 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 254164 KiB

[startup+8.70139 s]
/proc/loadavg: 1.16 1.05 1.48 9/200 10996
/proc/meminfo: memFree=30797072/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=254164 CPUtime=68.06 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 182008 0 0 0 6752 54 0 0 20 0 9 0 558518248 687542272 63541 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 63541 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=8316868033356759116 CPUtime=8.49 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 21545 0 0 0 825 24 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066931211536 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=1944129 CPUtime=8.48 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 21785 0 0 0 844 4 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066922818152 5148719 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=4057485 CPUtime=8.45 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 18302 0 0 0 839 6 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066914425984 5149152 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=191412 CPUtime=8.5 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 14102 0 0 0 848 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066906033168 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=5787216026087412320 CPUtime=8.53 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 21358 0 0 0 851 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066897639848 5250330 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=5787214926575784544 CPUtime=8.49 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 24705 0 0 0 845 4 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066889247160 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=5787219324622295648 CPUtime=8.41 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 20865 0 0 0 839 2 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066880854440 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=5787221523645551200 CPUtime=8.51 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 24611 0 0 0 848 3 0 0 20 0 9 0 558518258 687542272 63541 33554432000 4194304 6211132 140737086089472 140066872462008 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 68.06 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 254164 KiB

[startup+12.7014 s]
/proc/loadavg: 2.75 1.39 1.59 9/199 11001
/proc/meminfo: memFree=31633240/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=277916 CPUtime=99.78 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 230477 0 0 0 9916 62 0 0 20 0 9 0 558518248 687542272 69479 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 69479 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=267444 CPUtime=12.43 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 27300 0 0 0 1218 25 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066931210856 5149240 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=6655300316396806240 CPUtime=12.4 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 25795 0 0 0 1236 4 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066922818152 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=0 CPUtime=12.4 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 25253 0 0 0 1230 10 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066914425528 5409481 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=0 CPUtime=12.48 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 18802 0 0 0 1246 2 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066906033280 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=6943526294502006880 CPUtime=12.51 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 28440 0 0 0 1248 3 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066897640464 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=7959677418182421067 CPUtime=12.49 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 31872 0 0 0 1244 5 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066889247464 5149055 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=6935054825532540783 CPUtime=12.4 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 28813 0 0 0 1237 3 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066880855312 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=0 CPUtime=12.5 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 29467 0 0 0 1246 4 0 0 20 0 9 0 558518258 687542272 69479 33554432000 4194304 6211132 140737086089472 140066872461928 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 99.78 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 277916 KiB

[startup+14.3566 s]
# the end of solver process 10987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=112.023 s, system=0.69669 s

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

[startup+13.4014 s]
/proc/loadavg: 2.75 1.39 1.59 10/199 11001
/proc/meminfo: memFree=31631132/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=283304 CPUtime=105.36 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 233781 0 0 0 10473 63 0 0 20 0 9 0 558518248 687542272 70826 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 70826 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=-3040564339105353098 CPUtime=13.12 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 27364 0 0 0 1287 25 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066931210856 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=8562125494162282060 CPUtime=13.1 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 28598 0 0 0 1305 5 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066922818152 5092460 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=0 CPUtime=13.1 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 25262 0 0 0 1300 10 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066914425528 5193742 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=279968383442336 CPUtime=13.18 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 18803 0 0 0 1316 2 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066906033280 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=988 CPUtime=13.21 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 28523 0 0 0 1318 3 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066897640464 5409493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=1388 CPUtime=13.19 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 31891 0 0 0 1314 5 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066889247464 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=1724 CPUtime=13.1 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 29136 0 0 0 1307 3 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066880854632 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=1056 CPUtime=13.2 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 29469 0 0 0 1316 4 0 0 20 0 9 0 558518258 687542272 70826 33554432000 4194304 6211132 140737086089472 140066872461928 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 105.36 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 283304 KiB

[startup+13.8014 s]
/proc/loadavg: 2.75 1.39 1.59 10/199 11001
/proc/meminfo: memFree=31631132/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=283352 CPUtime=108.56 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 233846 0 0 0 10793 63 0 0 20 0 9 0 558518248 687542272 70838 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 70838 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=5787221523645551200 CPUtime=13.52 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 27380 0 0 0 1327 25 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066931210856 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=7590083133658654800 CPUtime=13.5 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 28602 0 0 0 1345 5 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066922818280 5009005 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=6935054825532540783 CPUtime=13.5 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 25263 0 0 0 1340 10 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066914425528 5158052 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=14012 CPUtime=13.58 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 18803 0 0 0 1356 2 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066906033280 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=2112 CPUtime=13.61 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 28531 0 0 0 1358 3 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066897640464 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=11852 CPUtime=13.59 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 31891 0 0 0 1354 5 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066889247464 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=8436 CPUtime=13.5 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 29143 0 0 0 1347 3 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066880854632 5409493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=278392 CPUtime=13.6 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 29498 0 0 0 1356 4 0 0 20 0 9 0 558518258 687542272 70838 33554432000 4194304 6211132 140737086089472 140066872461928 5409508 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 108.56 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 283352 KiB

[startup+14.2014 s]
/proc/loadavg: 2.75 1.39 1.59 9/199 11001
/proc/meminfo: memFree=31626188/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=283380 CPUtime=111.76 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 250070 0 0 0 11109 67 0 0 20 0 9 0 558518248 687542272 70845 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 70845 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=11604 CPUtime=13.91 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 29380 0 0 0 1365 26 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066931210856 5158154 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=1664 CPUtime=13.9 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 30550 0 0 0 1385 5 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066922818280 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=1164 CPUtime=13.9 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 26914 0 0 0 1379 11 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066914425528 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=1040 CPUtime=13.98 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 20361 0 0 0 1396 2 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066906033280 5409456 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=1943650 CPUtime=14 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 29648 0 0 0 1397 3 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066897640464 5091744 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=0 CPUtime=13.99 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 34634 0 0 0 1394 5 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066889247464 5150989 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=2319529183358270998 CPUtime=13.89 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 31494 0 0 0 1386 3 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066880854632 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=5787213848606435153 CPUtime=14 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 32354 0 0 0 1396 4 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066872461928 5151098 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 111.76 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 283380 KiB

[startup+14.3014 s]
/proc/loadavg: 2.75 1.39 1.59 9/199 11001
/proc/meminfo: memFree=31626188/32770624 swapFree=66943312/67108860
[pid=10987] ppid=10984 vsize=671428 memory=283380 CPUtime=112.55 cores=0-7
/proc/10987/stat : 10987 (cosoco) S 10984 10987 10257 0 -1 1077944320 250683 0 0 0 11188 67 0 0 20 0 9 0 558518248 687542272 70845 33554432000 4194304 6211132 140737086089472 140737086087728 140066954354423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
/proc/10987/statm: 167857 70845 899 493 0 161162 0
[pid=10987/tid=10989] ppid=10984 vsize=671428 memory=283380 CPUtime=14.01 cores=0-7
/proc/10987/task/10989/stat : 10989 (cosoco) R 10984 10987 10257 0 -1 4202560 29886 0 0 0 1374 27 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066931210856 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10990] ppid=10984 vsize=671428 memory=5214090298531 CPUtime=14 cores=0-7
/proc/10987/task/10990/stat : 10990 (cosoco) R 10984 10987 10257 0 -1 4202560 30604 0 0 0 1395 5 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066922818280 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10991] ppid=10984 vsize=671428 memory=254164 CPUtime=13.99 cores=0-7
/proc/10987/task/10991/stat : 10991 (cosoco) R 10984 10987 10257 0 -1 4202560 26914 0 0 0 1388 11 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066914425528 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10992] ppid=10984 vsize=671428 memory=139984333113953 CPUtime=14.08 cores=0-7
/proc/10987/task/10992/stat : 10992 (cosoco) R 10984 10987 10257 0 -1 4202560 20361 0 0 0 1406 2 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066906033280 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10993] ppid=10984 vsize=671428 memory=7084273610027199568 CPUtime=14.1 cores=0-7
/proc/10987/task/10993/stat : 10993 (cosoco) R 10984 10987 10257 0 -1 4202560 29650 0 0 0 1407 3 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066897640464 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10994] ppid=10984 vsize=671428 memory=732 CPUtime=14.09 cores=0-7
/proc/10987/task/10994/stat : 10994 (cosoco) R 10984 10987 10257 0 -1 4202560 34671 0 0 0 1404 5 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066889247464 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10995] ppid=10984 vsize=671428 memory=-2893623298589923098 CPUtime=13.99 cores=0-7
/proc/10987/task/10995/stat : 10995 (cosoco) R 10984 10987 10257 0 -1 4202560 31501 0 0 0 1396 3 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066880854632 5149450 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
[pid=10987/tid=10996] ppid=10984 vsize=671428 memory=0 CPUtime=14.1 cores=0-7
/proc/10987/task/10996/stat : 10996 (cosoco) R 10984 10987 10257 0 -1 4202560 32361 0 0 0 1406 4 0 0 20 0 9 0 558518258 687542272 70845 33554432000 4194304 6211132 140737086089472 140066872461928 5380299 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34422784 140737086092305 140737086092397 140737086092397 140737086095310 0
Current children cumulated CPU time: 112.55 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 283380 KiB

Child status: 0
Real time (s): 14.3566
CPU time (s): 112.719
CPU user time (s): 112.023
CPU system time (s): 0.69669
CPU usage (%): 785.138
Max. virtual memory (cumulated for all children) (KiB): 687844
Max. memory (cumulated for all children) (KiB): 283380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.023
system time used= 0.69669
maximum resident set size= 283524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251201
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= 14366
involuntary context switches= 1072


# summary of solver processes directly reported to runsolver:
#   pid: 10987
#   total CPU time (s): 112.719
#   total CPU user time (s): 112.023
#   total CPU system time (s): 0.69669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060318 second user time and 0.11184 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-30 07:52:38
IDJOB=4409580
IDBENCH=124248
IDSOLVER=2877
FILE ID=node149/4409580-1569822796
RUNJOBID= node149-1569816999-10284
PBS_JOBID= 21705913
Free space on /tmp= 61600 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409580-1569822796/watcher-4409580-1569822796 -o /tmp/evaluation-result-4409580-1569822796/solver-4409580-1569822796 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1569816999-10284 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409580-1569822796.xml

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

MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040
RANDOM SEED=104270916

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30969136 kB
MemAvailable:   31893112 kB
Buffers:          116572 kB
Cached:          1088916 kB
SwapCached:         5480 kB
Active:           149972 kB
Inactive:        1063296 kB
Active(anon):      14000 kB
Inactive(anon):    20424 kB
Active(file):     135972 kB
Inactive(file):  1042872 kB
Unevictable:      109768 kB
Mlocked:          109768 kB
SwapTotal:      67108860 kB
SwapFree:       66943312 kB
Dirty:            544356 kB
Writeback:         78768 kB
AnonPages:        112312 kB
Mapped:            27584 kB
Shmem:             17896 kB
Slab:             180244 kB
SReclaimable:     121936 kB
SUnreclaim:        58308 kB
KernelStack:        3424 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 62028 MiB
End job on node149 at 2019-09-30 07:52:52