Trace number 4410064

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 parallel? (TO) 2001.85 252.088

General information on the benchmark

NameNurseRostering/
NurseRostering-18_c18.xml
MD5SUM2080050c46f9199df44cd86a0d29de9d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark48151
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables3286
Number of constraints8967
Number of domains16
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}]
Number of extensional constraints2162
Number of intensional constraints986
Distribution of constraint types[{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.10/0.16	c
0.10/0.16	c This is cosoco 2.00 --  
0.10/0.16	c
0.10/0.16	c command line: cosoco -model -nbcores=8 HOME/instance-4410064-1569832361.xml 
0.10/0.16	c intension  imp(ne(x[5][0],3),eq(wk[0][0],1)) -> extension (support ? 0) - 3tuples
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.10/0.20	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.25	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.21/0.29	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.33	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension -> extension : same as previous
0.89/0.94	c intension  imp(ne(x[0][0],3),ne(x[1][0],3)) -> extension (support ? 0) - 3tuples
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension -> extension : same as previous
1.09/1.16	c intension  iff(eq(cn[0],0),eq(x[17][0],2)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[9],0),eq(x[58][0],1)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[14],0),eq(x[66][0],2)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[17],0),eq(x[8][1],2)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[22],0),eq(x[16][1],0)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[25],0),eq(x[42][1],2)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension  iff(eq(cn[26],0),eq(x[28][2],0)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[28],0),eq(x[34][2],1)) -> extension (support ? 1) - 4tuples
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension  iff(eq(cn[30],0),eq(x[40][2],1)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension  iff(eq(cn[31],0),eq(x[67][2],0)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension  iff(eq(cn[32],0),eq(x[72][2],2)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension  iff(eq(cn[33],0),eq(x[80][2],2)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension  iff(eq(cn[36],0),eq(x[1][3],1)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension  iff(eq(cn[37],0),eq(x[9][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension  iff(eq(cn[42],0),eq(x[23][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension  iff(eq(cn[47],0),eq(x[39][3],1)) -> extension (support ? 1) - 4tuples
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension -> extension : same as previous
1.09/1.18	c intension  iff(eq(cn[50],0),eq(x[58][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[55],0),eq(x[70][3],0)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[57],0),eq(x[3][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension  iff(eq(cn[58],0),eq(x[11][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[61],0),eq(x[34][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[64],0),eq(x[41][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension  iff(eq(cn[65],0),eq(x[58][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[68],0),eq(x[71][4],1)) -> extension (support ? 1) - 4tuples
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension -> extension : same as previous
1.09/1.19	c intension  iff(eq(cn[71],0),eq(x[80][4],2)) -> extension (support ? 1) - 4tuples
1.09/1.20	c intension -> extension : same as previous
1.09/1.20	c intension -> extension : same as previous
1.09/1.20	c intension  iff(eq(cn[74],0),eq(x[21][5],2)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension  iff(eq(cn[78],0),eq(x[29][5],1)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension  iff(eq(cn[79],0),eq(x[53][5],2)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension  iff(eq(cn[83],0),eq(x[74][5],1)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension  iff(eq(cn[86],0),eq(x[19][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension  iff(eq(cn[90],0),eq(x[26][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension  iff(eq(cn[91],0),eq(x[38][6],2)) -> extension (support ? 1) - 4tuples
1.19/1.20	c intension -> extension : same as previous
1.19/1.20	c intension  iff(eq(cn[93],0),eq(x[45][6],2)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[98],0),eq(x[63][6],0)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension  iff(eq(cn[99],0),eq(x[23][7],2)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[101],0),eq(x[44][7],0)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[104],0),eq(x[52][7],2)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension  iff(eq(cn[105],0),eq(x[68][7],1)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[108],0),eq(x[50][8],0)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension  iff(eq(cn[109],0),eq(x[58][8],0)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[114],0),eq(x[71][8],2)) -> extension (support ? 1) - 4tuples
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension  iff(eq(cn[116],0),eq(x[76][8],1)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[119],0),eq(x[12][9],1)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[121],0),eq(x[31][9],0)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[125],0),eq(x[54][9],2)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension  iff(eq(cn[126],0),eq(x[59][9],2)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[130],0),eq(x[73][9],0)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[135],0),eq(x[9][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension -> extension : same as previous
1.19/1.22	c intension  iff(eq(cn[139],0),eq(x[20][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[143],0),eq(x[43][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[145],0),eq(x[55][10],0)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[149],0),eq(x[63][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[151],0),eq(x[69][10],1)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[153],0),eq(x[83][10],2)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension  iff(eq(cn[154],0),eq(x[1][11],2)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[159],0),eq(x[12][11],0)) -> extension (support ? 1) - 4tuples
1.19/1.23	c intension -> extension : same as previous
1.19/1.23	c intension  iff(eq(cn[161],0),eq(x[24][11],0)) -> extension (support ? 1) - 4tuples
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension  iff(eq(cn[166],0),eq(x[47][11],2)) -> extension (support ? 1) - 4tuples
1.19/1.24	c intension  iff(eq(cn[167],0),eq(x[61][11],1)) -> extension (support ? 1) - 4tuples
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension  iff(eq(cn[172],0),eq(x[32][12],1)) -> extension (support ? 1) - 4tuples
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension  iff(eq(cn[175],0),eq(x[56][12],1)) -> extension (support ? 1) - 4tuples
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension  iff(eq(cn[180],0),eq(x[74][12],2)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[185],0),eq(x[17][13],0)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[188],0),eq(x[25][13],1)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[191],0),eq(x[62][13],2)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[194],0),eq(x[74][13],1)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[198],0),eq(x[15][14],1)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[203],0),eq(x[30][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.25	c intension -> extension : same as previous
1.19/1.25	c intension  iff(eq(cn[205],0),eq(x[40][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension  iff(eq(cn[209],0),eq(x[58][14],1)) -> extension (support ? 1) - 4tuples
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension  iff(eq(cn[212],0),eq(x[68][14],0)) -> extension (support ? 1) - 4tuples
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension  iff(eq(cn[219],0),eq(x[11][15],1)) -> extension (support ? 1) - 4tuples
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension -> extension : same as previous
1.19/1.26	c intension  iff(eq(cn[224],0),eq(x[45][15],1)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[229],0),eq(x[62][15],2)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[231],0),eq(x[78][15],0)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[235],0),eq(x[11][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[237],0),eq(x[19][16],0)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[244],0),eq(x[38][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension  iff(eq(cn[248],0),eq(x[59][16],2)) -> extension (support ? 1) - 4tuples
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension  iff(eq(cn[250],0),eq(x[68][16],0)) -> extension (support ? 1) - 4tuples
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension  iff(eq(cn[254],0),eq(x[3][17],2)) -> extension (support ? 1) - 4tuples
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension  iff(eq(cn[259],0),eq(x[12][17],1)) -> extension (support ? 1) - 4tuples
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension  iff(eq(cn[264],0),eq(x[58][17],0)) -> extension (support ? 1) - 4tuples
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension -> extension : same as previous
1.19/1.28	c intension  iff(eq(cn[268],0),eq(x[74][17],0)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension  iff(eq(cn[273],0),eq(x[15][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension  iff(eq(cn[275],0),eq(x[40][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension  iff(eq(cn[276],0),eq(x[45][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension  iff(eq(cn[277],0),eq(x[64][18],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension  iff(eq(cn[287],0),eq(x[11][19],0)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension  iff(eq(cn[288],0),eq(x[15][19],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension -> extension : same as previous
1.19/1.29	c intension  iff(eq(cn[291],0),eq(x[27][19],1)) -> extension (support ? 1) - 4tuples
1.19/1.29	c intension  iff(eq(cn[292],0),eq(x[75][19],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[295],0),eq(x[38][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension  iff(eq(cn[296],0),eq(x[44][20],0)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[300],0),eq(x[58][20],0)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension  iff(eq(cn[301],0),eq(x[63][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension  iff(eq(cn[302],0),eq(x[68][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[305],0),eq(x[7][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[307],0),eq(x[19][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[310],0),eq(x[27][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension  iff(eq(cn[315],0),eq(x[38][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension  iff(eq(cn[316],0),eq(x[42][21],2)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension  iff(eq(cn[317],0),eq(x[57][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension  iff(eq(cn[320],0),eq(x[79][21],1)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension  iff(ne(cf[0],0),eq(x[6][0],1)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension  iff(ne(cf[1],0),eq(x[82][0],1)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension  iff(ne(cf[2],0),eq(x[48][1],2)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension  iff(ne(cf[7],0),eq(x[64][1],0)) -> extension (support ? 1) - 4tuples
1.29/1.31	c intension -> extension : same as previous
1.29/1.31	c intension  iff(ne(cf[9],0),eq(x[76][1],0)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[12],0),eq(x[1][2],2)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[15],0),eq(x[9][2],0)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[19],0),eq(x[17][2],1)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[23],0),eq(x[52][2],0)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[25],0),eq(x[12][5],2)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[27],0),eq(x[0][6],2)) -> extension (support ? 1) - 4tuples
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension -> extension : same as previous
1.29/1.32	c intension  iff(ne(cf[31],0),eq(x[53][6],0)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[36],0),eq(x[70][6],1)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[38],0),eq(x[31][7],0)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[42],0),eq(x[21][9],2)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[45],0),eq(x[52][11],1)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[47],0),eq(x[79][11],1)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[49],0),eq(x[2][12],2)) -> extension (support ? 1) - 4tuples
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension -> extension : same as previous
1.29/1.33	c intension  iff(ne(cf[53],0),eq(x[26][12],2)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension  iff(ne(cf[61],0),eq(x[83][12],1)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension  iff(ne(cf[62],0),eq(x[35][13],2)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension  iff(ne(cf[63],0),eq(x[42][13],1)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension  iff(ne(cf[64],0),eq(x[57][13],1)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension  iff(ne(cf[65],0),eq(x[3][15],0)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension  iff(ne(cf[67],0),eq(x[26][15],1)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension  iff(ne(cf[71],0),eq(x[0][19],0)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension  iff(ne(cf[73],0),eq(x[35][19],0)) -> extension (support ? 1) - 4tuples
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension -> extension : same as previous
1.29/1.34	c intension  iff(ne(cf[79],0),eq(x[3][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension  iff(ne(cf[84],0),eq(x[31][20],2)) -> extension (support ? 1) - 4tuples
1.29/1.35	c intension  iff(ne(cf[85],0),eq(x[75][20],1)) -> extension (support ? 1) - 4tuples
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension -> extension : same as previous
1.29/1.35	c intension  iff(ne(cf[90],0),eq(x[73][21],2)) -> extension (support ? 1) - 4tuples
2001.67/252.02	c intension -> extension : same as previous
2001.67/252.02	c enable optimization
2001.67/252.02	c ========================================[ Problem Statistics ]===========================================
2001.67/252.02	c |                                                                                                       
2001.67/252.02	c |  Parse time        :         1.09 s 
2001.67/252.02	c |
2001.67/252.02	c |               Variables: 3286
2001.67/252.02	c |            Domain Sizes: 1..85
2001.67/252.02	c |
2001.67/252.02	c |             Constraints: 9165
2001.67/252.02	c |                   Arity: 1..750  -- Unary: 176  -- Binary: 3148  -- Ternary: 3652
2001.67/252.02	c | 
2001.67/252.02	c |                   Types: 
2001.67/252.02	c |                          At least: 1742
2001.67/252.02	c |                          Exactly K variable: 424
2001.67/252.02	c |                          Extension: 3148  (nb tuples: 0..23) -- (shared: 23848)
2001.67/252.02	c |                          MDD: 3608
2001.67/252.02	c |                          Sum: 67
2001.67/252.02	c |                          Unary: 176
2001.67/252.02	c |                          
2001.67/252.02	c |               Objective: Minimize Sum
2001.67/252.02	
2001.67/252.02	c =========================================================================================================
2001.67/252.02	c Parallel mode: Portfolio
2001.67/252.02	c [pFactory][Group N°0] created (threads:8).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2001.67/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2001.67/252.02	c [pFactory][Group N°0] concurrent mode: enabled.
2001.67/252.02	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2001.67/252.02	c [pFactory][Group N°0] task 7 launched on thread 1.
2001.67/252.02	c [pFactory][Group N°0] task 6 launched on thread 0.
2001.67/252.02	c [pFactory][Group N°0] task 5 launched on thread 2.
2001.67/252.02	c [pFactory][Group N°0] task 4 launched on thread 5.
2001.67/252.02	c [pFactory][Group N°0] task 3 launched on thread 6.
2001.67/252.02	c [pFactory][Group N°0] task 2 launched on thread 4.
2001.67/252.02	c [pFactory][Group N°0] task 1 launched on thread 7.
2001.67/252.02	c [pFactory][Group N°0] task 0 launched on thread 3.
2001.67/252.02	
2001.67/252.02	c *** INTERRUPTED ***
2001.67/252.02	c call to solver        : 0
2001.67/252.02	c
2001.67/252.02	c restarts              : 11743       
2001.67/252.02	c conflicts             : 134613       (67 /sec)
2001.67/252.02	c decisions             : 935242       (468 /sec)
2001.67/252.02	c propagations          : 21377417    (10687 /sec)
2001.67/252.02	c root propagations     : 5634        
2001.67/252.02	c filter calls          : 44142716       (22068 /sec)
2001.67/252.02	c useless filter calls  : 37263770       (84 %)
2001.67/252.02	c Memory used           : 1638.02 MB
2001.67/252.02	c Best bound time (wc)  : -1.56983e+09 s
2001.67/252.02	c CPU time              : 2000.34 s
2001.67/252.02	c real time             : 252.019 s
2001.67/252.02	
2001.67/252.02	c No Bound found!
2001.67/252.02	
2001.67/252.02	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410064-1569832361/watcher-4410064-1569832361 -o /tmp/evaluation-result-4410064-1569832361/solver-4410064-1569832361 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410064-1569832361.xml 

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

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


[startup+0.100157 s]*
/proc/loadavg: 8.37 7.05 5.50 2/192 18857
/proc/meminfo: memFree=31332064/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=85292 memory=61704 CPUtime=0.1 cores=0-7
/proc/18856/stat : 18856 (cosoco) R 18853 18856 14101 0 -1 4202496 15613 0 0 0 8 2 0 0 20 0 1 0 559149796 87339008 15426 33554432000 4194304 6211132 140727511272224 140727511268760 140248084817824 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 21323 15426 846 493 0 14628 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85292 KiB
Current children cumulated memory: 61704 KiB

[startup+0.209144 s]*
/proc/loadavg: 7.86 6.97 5.48 2/192 18857
/proc/meminfo: memFree=31291764/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=122948 memory=99232 CPUtime=0.21 cores=0-7
/proc/18856/stat : 18856 (cosoco) R 18853 18856 14101 0 -1 4202496 25020 0 0 0 18 3 0 0 20 0 1 0 559149796 125898752 24808 33554432000 4194304 6211132 140727511272224 140727511268760 140248084817824 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 30737 24808 860 493 0 24042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 122948 KiB
Current children cumulated memory: 99232 KiB

[startup+0.30877 s]*
/proc/loadavg: 7.86 6.97 5.48 2/192 18857
/proc/meminfo: memFree=31267088/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=147608 memory=124048 CPUtime=0.31 cores=0-7
/proc/18856/stat : 18856 (cosoco) R 18853 18856 14101 0 -1 4202496 31184 0 0 0 27 4 0 0 20 0 1 0 559149796 151150592 31012 33554432000 4194304 6211132 140727511272224 140727511268760 140248084817824 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 36902 31012 860 493 0 30207 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 147608 KiB
Current children cumulated memory: 124048 KiB

[startup+0.70033 s]
/proc/loadavg: 7.86 6.97 5.48 2/192 18857
/proc/meminfo: memFree=31046680/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=521420 memory=497872 CPUtime=0.69 cores=0-7
/proc/18856/stat : 18856 (cosoco) R 18853 18856 14101 0 -1 4202496 124650 0 0 0 53 16 0 0 20 0 1 0 559149796 533934080 124468 33554432000 4194304 6211132 140727511272224 140727511268760 140248084769765 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 130355 124468 866 493 0 123660 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 521420 KiB
Current children cumulated memory: 497872 KiB

[startup+1.50046 s]
/proc/loadavg: 7.86 6.97 5.48 2/192 18857
/proc/meminfo: memFree=30615440/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1673200 memory=1059868 CPUtime=1.85 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 265514 0 0 0 150 35 0 0 20 0 9 0 559149796 1713356800 264967 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 418300 264967 902 493 0 411605 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 1673200 KiB
Current children cumulated memory: 1059868 KiB

[startup+3.11056 s]
/proc/loadavg: 7.86 6.97 5.48 9/200 18865
/proc/meminfo: memFree=30256836/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1131532 CPUtime=14.66 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 335482 0 0 0 1400 66 0 0 20 0 9 0 559149796 1717583872 282883 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 282883 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=0 CPUtime=1.64 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 9345 0 0 0 159 5 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248077666744 5397400 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=280495724208895 CPUtime=1.64 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 13896 0 0 0 163 1 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248069274136 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1131528 CPUtime=1.65 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 5399 0 0 0 160 5 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248060881336 5156211 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=0 CPUtime=1.64 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 6317 0 0 0 164 0 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248052488632 5022688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=0 CPUtime=1.65 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 11295 0 0 0 158 7 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248044095960 5008958 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=667680 CPUtime=1.65 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 6288 0 0 0 164 1 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248035703224 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=0 CPUtime=1.62 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 12964 0 0 0 153 9 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248027310552 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=0 CPUtime=1.64 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 4812 0 0 0 164 0 0 0 20 0 9 0 559149941 1717583872 282883 33554432000 4194304 6211132 140727511272224 140248018918416 5022672 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 14.66 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1131532 KiB

[startup+6.30057 s]
/proc/loadavg: 7.87 6.99 5.50 9/200 18865
/proc/meminfo: memFree=30247268/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1141656 CPUtime=40.13 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 437687 0 0 0 3935 78 0 0 20 0 9 0 559149796 1717583872 285414 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 285414 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=1068084 CPUtime=4.84 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 19016 0 0 0 477 7 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248077666744 5250283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=1131532 CPUtime=4.84 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 46157 0 0 0 479 5 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248069274136 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1128 CPUtime=4.84 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 15186 0 0 0 478 6 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248060881336 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=2828 CPUtime=4.84 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 16634 0 0 0 483 1 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248052488728 5138613 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=10540 CPUtime=4.84 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 22358 0 0 0 476 8 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248044095960 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=2020 CPUtime=4.84 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 16154 0 0 0 482 2 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248035703224 5022979 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=988 CPUtime=4.76 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 22640 0 0 0 466 10 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248027310552 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=1432 CPUtime=4.83 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 14374 0 0 0 482 1 0 0 20 0 9 0 559149941 1717583872 285414 33554432000 4194304 6211132 140727511272224 140248018918416 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 40.13 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1141656 KiB

[startup+12.7006 s]
/proc/loadavg: 7.88 7.00 5.51 9/200 18865
/proc/meminfo: memFree=30243900/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1144464 CPUtime=91.24 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 533042 0 0 0 9033 91 0 0 20 0 9 0 559149796 1717583872 286116 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 286116 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=56 CPUtime=11.23 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 28171 0 0 0 1115 8 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248077666744 5409481 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=1144464 CPUtime=11.24 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 77181 0 0 0 1115 9 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248069274248 5022688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=0 CPUtime=11.24 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 23931 0 0 0 1116 8 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248060881336 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=3512 CPUtime=11.24 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 25313 0 0 0 1122 2 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248052488728 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=10540 CPUtime=11.23 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 32583 0 0 0 1114 9 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248044095960 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=1144464 CPUtime=11.24 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 26131 0 0 0 1121 3 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248035703224 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=-6595500271158067543 CPUtime=11.08 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 31510 0 0 0 1096 12 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248027310552 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=1144464 CPUtime=11.23 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 23054 0 0 0 1121 2 0 0 20 0 9 0 559149941 1717583872 286116 33554432000 4194304 6211132 140727511272224 140248018918416 5022688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 91.24 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1144464 KiB

[startup+25.5006 s]
/proc/loadavg: 8.06 7.07 5.55 9/200 18867
/proc/meminfo: memFree=30240836/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1144508 CPUtime=193.37 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 613322 0 0 0 19236 101 0 0 20 0 9 0 559149796 1717583872 286127 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 286127 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=1141656 CPUtime=24.03 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 38497 0 0 0 2393 10 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248077666744 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=2100 CPUtime=24.03 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 86646 0 0 0 2393 10 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248069274248 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1144468 CPUtime=23.97 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 33563 0 0 0 2387 10 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248060881336 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=0 CPUtime=24.03 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 34204 0 0 0 2400 3 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248052488632 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=0 CPUtime=24 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 43349 0 0 0 2390 10 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248044095960 5396782 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=6943526294502006880 CPUtime=24.03 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 37064 0 0 0 2399 4 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248035703224 5389479 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=6944652177228980320 CPUtime=23.76 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 41941 0 0 0 2363 13 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248027310552 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=6944656592387989600 CPUtime=24.02 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 32890 0 0 0 2399 3 0 0 20 0 9 0 559149941 1717583872 286127 33554432000 4194304 6211132 140727511272224 140248018918416 5022688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 193.37 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1144508 KiB

[startup+51.1106 s]
/proc/loadavg: 8.24 7.21 5.64 10/200 18868
/proc/meminfo: memFree=30241556/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1144520 CPUtime=397.82 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 664845 0 0 0 39674 108 0 0 20 0 9 0 559149796 1717583872 286130 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 286130 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=1144520 CPUtime=49.48 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 44878 0 0 0 4938 10 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248077666744 5138594 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=0 CPUtime=49.63 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 93223 0 0 0 4952 11 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248069274248 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1144464 CPUtime=49.35 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 40026 0 0 0 4925 10 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248060881336 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=1144464 CPUtime=49.62 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 39727 0 0 0 4958 4 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248052488632 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=1144512 CPUtime=49.61 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 50545 0 0 0 4949 12 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248044095960 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=7084563984009619302 CPUtime=49.64 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 43724 0 0 0 4959 5 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248035703224 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=1144516 CPUtime=49.36 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 48672 0 0 0 4922 14 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248027310552 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=3512 CPUtime=49.61 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 38882 0 0 0 4958 3 0 0 20 0 9 0 559149941 1717583872 286130 33554432000 4194304 6211132 140727511272224 140248018918416 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 397.82 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1144520 KiB

[startup+102.302 s]
/proc/loadavg: 8.45 7.43 5.80 9/200 18870
/proc/meminfo: memFree=30243832/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1144524 CPUtime=806.49 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 738713 0 0 0 80532 117 0 0 20 0 9 0 559149796 1717583872 286131 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 286131 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=3512 CPUtime=100.52 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 54022 0 0 0 10041 11 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248077666744 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=140252264388223 CPUtime=100.81 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 103637 0 0 0 10068 13 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248069274248 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1144524 CPUtime=99.94 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 48871 0 0 0 9983 11 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248060881336 5022805 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=1144524 CPUtime=100.8 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 48122 0 0 0 10075 5 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248052488632 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=1144524 CPUtime=100.79 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 60698 0 0 0 10066 13 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248044095960 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=6608 CPUtime=100.8 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 52850 0 0 0 10074 6 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248035703224 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=10540 CPUtime=100.53 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 57797 0 0 0 10038 15 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248027310552 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=2020 CPUtime=100.79 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 47548 0 0 0 10075 4 0 0 20 0 9 0 559149941 1717583872 286131 33554432000 4194304 6211132 140727511272224 140248018918416 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 806.49 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1144524 KiB

[startup+162.301 s]
/proc/loadavg: 8.70 7.70 6.00 9/200 18875
/proc/meminfo: memFree=30231780/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1155748 CPUtime=1285.5 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 813674 0 0 0 128414 136 0 0 20 0 9 0 559149796 1717583872 288937 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 288937 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=1155744 CPUtime=160.21 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 78793 0 0 0 15998 23 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248077666744 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=1155744 CPUtime=160.79 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 111003 0 0 0 16065 14 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248069274248 5139115 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1144524 CPUtime=159.9 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 56077 0 0 0 15977 13 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248060881336 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=1155744 CPUtime=160.79 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 54771 0 0 0 16073 6 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248052488632 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=1155724 CPUtime=160.61 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 68119 0 0 0 16047 14 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248044095960 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=1155724 CPUtime=160.81 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 60056 0 0 0 16074 7 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248035703224 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=1155748 CPUtime=160.1 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 65045 0 0 0 15994 16 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248027310552 5138579 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=1155748 CPUtime=160.78 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 54642 0 0 0 16073 5 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248018918416 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 1285.5 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1155748 KiB

[startup+222.301 s]
/proc/loadavg: 8.26 7.76 6.12 9/199 18878
/proc/meminfo: memFree=30231772/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1155748 CPUtime=1764.5 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 851731 0 0 0 176308 142 0 0 20 0 9 0 559149796 1717583872 288937 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 288937 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=3996 CPUtime=219.39 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 83968 0 0 0 21915 24 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248077666744 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=1155748 CPUtime=220.76 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 115768 0 0 0 22062 14 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248069274248 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1155748 CPUtime=219.88 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 60726 0 0 0 21975 13 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248060881336 5392096 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=16488 CPUtime=220.79 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 59044 0 0 0 22072 7 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248052488632 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=1155748 CPUtime=220.6 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 73430 0 0 0 22045 15 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248044095960 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=1155748 CPUtime=220.78 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 64733 0 0 0 22071 7 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248035703224 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=1155748 CPUtime=220.02 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 69812 0 0 0 21986 16 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248027310552 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=1155748 CPUtime=220.76 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 59082 0 0 0 22070 6 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248018918416 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 1764.5 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1155748 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.21 7.79 6.19 9/199 18881
/proc/meminfo: memFree=30234412/32770624 swapFree=66936012/67108860
[pid=18856] ppid=18853 vsize=1677328 memory=1155748 CPUtime=2001.67 cores=0-7
/proc/18856/stat : 18856 (cosoco) S 18853 18856 14101 0 -1 1077944320 868917 0 0 0 200023 144 0 0 20 0 9 0 559149796 1717583872 288937 33554432000 4194304 6211132 140727511272224 140727511270480 140248100810487 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
/proc/18856/statm: 419332 288937 909 493 0 412637 0
[pid=18856/tid=18858] ppid=18853 vsize=1677328 memory=6935054825532540783 CPUtime=248.96 cores=0-7
/proc/18856/task/18858/stat : 18858 (cosoco) R 18853 18856 14101 0 -1 4202560 86568 0 0 0 24872 24 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248077666744 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18859] ppid=18853 vsize=1677328 memory=4872558044660077418 CPUtime=250.15 cores=0-7
/proc/18856/task/18859/stat : 18859 (cosoco) R 18853 18856 14101 0 -1 4202560 118014 0 0 0 25000 15 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248069274248 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18860] ppid=18853 vsize=1677328 memory=1155748 CPUtime=249.59 cores=0-7
/proc/18856/task/18860/stat : 18860 (cosoco) R 18853 18856 14101 0 -1 4202560 62888 0 0 0 24945 14 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248060881336 5022672 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18861] ppid=18853 vsize=1677328 memory=1980 CPUtime=250.5 cores=0-7
/proc/18856/task/18861/stat : 18861 (cosoco) R 18853 18856 14101 0 -1 4202560 60797 0 0 0 25042 8 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248052488632 5022692 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18862] ppid=18853 vsize=1677328 memory=2520 CPUtime=250.29 cores=0-7
/proc/18856/task/18862/stat : 18862 (cosoco) R 18853 18856 14101 0 -1 4202560 75936 0 0 0 25014 15 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248044095960 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18863] ppid=18853 vsize=1677328 memory=1155748 CPUtime=250.48 cores=0-7
/proc/18856/task/18863/stat : 18863 (cosoco) R 18853 18856 14101 0 -1 4202560 66798 0 0 0 25041 7 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248035703224 5396788 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18864] ppid=18853 vsize=1677328 memory=1772 CPUtime=249.72 cores=0-7
/proc/18856/task/18864/stat : 18864 (cosoco) R 18853 18856 14101 0 -1 4202560 71859 0 0 0 24956 16 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248027310552 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
[pid=18856/tid=18865] ppid=18853 vsize=1677328 memory=111632 CPUtime=250.46 cores=0-7
/proc/18856/task/18865/stat : 18865 (cosoco) R 18853 18856 14101 0 -1 4202560 60889 0 0 0 25040 6 0 0 20 0 9 0 559149941 1717583872 288937 33554432000 4194304 6211132 140727511272224 140248018918416 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40165376 140727511274518 140727511274610 140727511274610 140727511277518 0
Current children cumulated CPU time: 2001.67 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1155748 KiB

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

[startup+252.088 s]
# the end of solver process 18856 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2000.34 s, system=1.51198 s

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

Child status: 1
Real time (s): 252.088
CPU time (s): 2001.85
CPU user time (s): 2000.34
CPU system time (s): 1.51198
CPU usage (%): 794.109
Max. virtual memory (cumulated for all children) (KiB): 1677328
Max. memory (cumulated for all children) (KiB): 1155748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.34
system time used= 1.51198
maximum resident set size= 1155968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868968
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= 1622
involuntary context switches= 16459


# summary of solver processes directly reported to runsolver:
#   pid: 18856
#   total CPU time (s): 2001.85
#   total CPU user time (s): 2000.34
#   total CPU system time (s): 1.51198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36345 second user time and 2.22126 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-30 10:31:56
IDJOB=4410064
IDBENCH=141053
IDSOLVER=2878
FILE ID=node147/4410064-1569832361
RUNJOBID= node147-1569818085-14128
PBS_JOBID= 21705926
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410064-1569832361/watcher-4410064-1569832361 -o /tmp/evaluation-result-4410064-1569832361/solver-4410064-1569832361 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410064-1569832361.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=660407217

node147.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.52
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.52
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.52
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.52
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:        31385188 kB
MemAvailable:   31793540 kB
Buffers:          242132 kB
Cached:           494640 kB
SwapCached:        68896 kB
Active:           418204 kB
Inactive:         391616 kB
Active(anon):      18116 kB
Inactive(anon):   137120 kB
Active(file):     400088 kB
Inactive(file):   254496 kB
Unevictable:      107304 kB
Mlocked:          107304 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              3368 kB
Writeback:             0 kB
AnonPages:        140248 kB
Mapped:            27208 kB
Shmem:             73672 kB
Slab:             168324 kB
SReclaimable:     139208 kB
SUnreclaim:        29116 kB
KernelStack:        3728 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62028 MiB
End job on node147 at 2019-09-30 10:36:08