Trace number 4409764

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) 20104.8 2520.03

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409764-1569839603/watcher-4409764-1569839603 -o /tmp/evaluation-result-4409764-1569839603/solver-4409764-1569839603 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569833331-20032 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409764-1569839603.xml 

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

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

solver pid=20499, runsolver pid=20496

[startup+0.100165 s]*
/proc/loadavg: 6.86 8.60 8.86 2/191 20500
/proc/meminfo: memFree=31346568/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=86820 memory=63052 CPUtime=0.1 cores=0-7
/proc/20499/stat : 20499 (cosoco) R 20496 20499 20005 0 -1 4202496 15975 0 0 0 9 1 0 0 20 0 1 0 560215269 88903680 15763 33554432000 4194304 6211132 140733934712672 140733934709208 139905358146533 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 21705 15763 846 493 0 15010 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86820 KiB
Current children cumulated memory: 63052 KiB

[startup+0.20942 s]*
/proc/loadavg: 6.86 8.60 8.86 2/191 20500
/proc/meminfo: memFree=31306620/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=124060 memory=100556 CPUtime=0.21 cores=0-7
/proc/20499/stat : 20499 (cosoco) R 20496 20499 20005 0 -1 4202496 25312 0 0 0 18 3 0 0 20 0 1 0 560215269 127037440 25139 33554432000 4194304 6211132 140733934712672 140733934709208 139905358194592 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 31015 25139 860 493 0 24320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 124060 KiB
Current children cumulated memory: 100556 KiB

[startup+0.309451 s]*
/proc/loadavg: 6.86 8.60 8.86 2/191 20500
/proc/meminfo: memFree=31281324/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=149120 memory=125372 CPUtime=0.31 cores=0-7
/proc/20499/stat : 20499 (cosoco) R 20496 20499 20005 0 -1 4202496 31563 0 0 0 27 4 0 0 20 0 1 0 560215269 152698880 31343 33554432000 4194304 6211132 140733934712672 140733934709208 139905358194592 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 37280 31343 860 493 0 30585 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 149120 KiB
Current children cumulated memory: 125372 KiB

[startup+0.700393 s]
/proc/loadavg: 6.86 8.60 8.86 2/191 20500
/proc/meminfo: memFree=31056264/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=529816 memory=506324 CPUtime=0.69 cores=0-7
/proc/20499/stat : 20499 (cosoco) R 20496 20499 20005 0 -1 4202496 126740 0 0 0 54 15 0 0 20 0 1 0 560215269 542531584 126515 33554432000 4194304 6211132 140733934712672 140733934709208 139905358146533 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 132454 126581 866 493 0 125759 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 529816 KiB
Current children cumulated memory: 506324 KiB

[startup+1.50165 s]
/proc/loadavg: 6.86 8.60 8.86 2/191 20500
/proc/meminfo: memFree=30600564/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1676812 memory=1070856 CPUtime=2.07 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 267147 0 0 0 174 33 0 0 20 0 9 0 560215269 1717055488 267714 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419203 267714 908 493 0 412508 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 1676812 KiB
Current children cumulated memory: 1070856 KiB

[startup+3.11035 s]
/proc/loadavg: 7.04 8.61 8.86 10/199 20508
/proc/meminfo: memFree=30269088/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1135644 CPUtime=14.89 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 334222 0 0 0 1426 63 0 0 20 0 9 0 560215269 1717583872 283911 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 283911 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=0 CPUtime=1.68 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 5418 0 0 0 164 4 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905351043512 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=1164 CPUtime=1.68 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 13018 0 0 0 166 2 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905342650904 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=288230574492221466 CPUtime=1.65 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 9875 0 0 0 164 1 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905334258104 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=988 CPUtime=1.68 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 6112 0 0 0 168 0 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905325865400 5022688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=280824960299376 CPUtime=1.68 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 12467 0 0 0 160 8 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905317472728 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1805295552001 CPUtime=1.68 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 11307 0 0 0 162 6 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905309080024 5138599 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1839655290369 CPUtime=1.68 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 4778 0 0 0 163 5 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905300687496 5138618 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=0 CPUtime=1.68 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 6080 0 0 0 168 0 0 0 20 0 9 0 560215410 1717583872 283911 33554432000 4194304 6211132 140733934712672 139905292294680 5392409 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1135644 KiB

[startup+6.30135 s]
/proc/loadavg: 7.04 8.61 8.86 9/199 20508
/proc/meminfo: memFree=30258428/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1145768 CPUtime=40.35 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 436305 0 0 0 3960 75 0 0 20 0 9 0 560215269 1717583872 286442 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 286442 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=0 CPUtime=4.87 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 14639 0 0 0 482 5 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905351043512 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=164 CPUtime=4.86 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 45727 0 0 0 481 5 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905342650904 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=140416893666943 CPUtime=4.79 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 20735 0 0 0 477 2 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905334258104 5396791 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=280823551213411 CPUtime=4.86 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 15960 0 0 0 485 1 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905325865400 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=280824960334528 CPUtime=4.87 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 23146 0 0 0 477 10 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905317472728 5409493 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=280824960569376 CPUtime=4.87 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 21915 0 0 0 479 8 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905309080024 5156264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=280824960535568 CPUtime=4.87 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 13214 0 0 0 481 6 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905300687496 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=0 CPUtime=4.87 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 15802 0 0 0 486 1 0 0 20 0 9 0 560215410 1717583872 286442 33554432000 4194304 6211132 140733934712672 139905292294680 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 40.35 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1145768 KiB

[startup+12.7013 s]
/proc/loadavg: 7.19 8.61 8.87 10/199 20508
/proc/meminfo: memFree=30255576/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1148576 CPUtime=91.46 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 532754 0 0 0 9060 86 0 0 20 0 9 0 560215269 1717583872 287144 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 287144 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=1148576 CPUtime=11.27 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 23574 0 0 0 1121 6 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905351043512 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=3580 CPUtime=11.26 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 79193 0 0 0 1118 8 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905342651016 5396782 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=1145768 CPUtime=11.1 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 30055 0 0 0 1107 3 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905334258104 5009039 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=1408 CPUtime=11.27 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 26276 0 0 0 1124 3 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905325865400 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=33 CPUtime=11.27 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 31825 0 0 0 1116 11 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905317472728 5250325 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1135644 CPUtime=11.27 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 31969 0 0 0 1118 9 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905309080024 5022688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=2016 CPUtime=11.27 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 20765 0 0 0 1120 7 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905300687496 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=1284 CPUtime=11.27 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 23930 0 0 0 1125 2 0 0 20 0 9 0 560215410 1717583872 287144 33554432000 4194304 6211132 140733934712672 139905292294680 5022692 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 91.46 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1148576 KiB

[startup+25.5013 s]
/proc/loadavg: 7.44 8.60 8.86 10/199 20508
/proc/meminfo: memFree=30255600/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1148584 CPUtime=193.65 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 614271 0 0 0 19269 96 0 0 20 0 9 0 560215269 1717583872 287146 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 287146 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=0 CPUtime=24.07 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 33058 0 0 0 2399 8 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905351043512 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=4115 CPUtime=24.05 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 89560 0 0 0 2396 9 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905342651016 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=56 CPUtime=23.73 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 40331 0 0 0 2368 5 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905334258104 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=353 CPUtime=24.06 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 36640 0 0 0 2402 4 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905325865400 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=6408091206851 CPUtime=24.07 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 41881 0 0 0 2395 12 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905317472728 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1148580 CPUtime=24.06 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 43829 0 0 0 2396 10 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905309080024 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1444 CPUtime=24.06 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 30466 0 0 0 2398 8 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905300687496 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=140412480570732 CPUtime=24.07 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 33339 0 0 0 2403 4 0 0 20 0 9 0 560215410 1717583872 287146 33554432000 4194304 6211132 140733934712672 139905292294584 5138594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 193.65 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1148584 KiB

[startup+51.1104 s]
/proc/loadavg: 7.91 8.62 8.86 9/199 20511
/proc/meminfo: memFree=30255408/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1148632 CPUtime=398.03 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 683694 0 0 0 39697 106 0 0 20 0 9 0 560215269 1717583872 287158 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 287158 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=33 CPUtime=49.66 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 41421 0 0 0 4957 9 0 0 20 0 9 0 560215410 1717583872 287158 33554432000 4194304 6211132 140733934712672 139905351043512 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=57 CPUtime=49.64 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 98268 0 0 0 4954 10 0 0 20 0 9 0 560215410 1717583872 287158 33554432000 4194304 6211132 140733934712672 139905342651016 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=0 CPUtime=48.95 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 48906 0 0 0 4889 6 0 0 20 0 9 0 560215410 1717583872 287158 33554432000 4194304 6211132 140733934712672 139905334258104 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=6935054825532540783 CPUtime=49.67 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 45646 0 0 0 4961 6 0 0 20 0 9 0 560215410 1717583872 287158 33554432000 4194304 6211132 140733934712672 139905325865400 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=6944656592455360604 CPUtime=49.66 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 50935 0 0 0 4953 13 0 0 20 0 9 0 560215410 1717583872 287158 33554432000 4194304 6211132 140733934712672 139905317472728 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0

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

/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 146986 0 0 0 225243 26 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5155992 0 0 4096 8405026 0 0 0 -1 3 0 0 29 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2257.96 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 124457 0 0 0 225771 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5022692 0 0 4096 8405026 0 0 0 -1 4 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2259.13 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 133687 0 0 0 225873 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5008951 0 0 4096 8405026 0 0 0 -1 6 0 0 28 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2259.75 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141151 0 0 0 225948 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2253.07 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 110430 0 0 0 225282 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2259.2 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 111544 0 0 0 225897 23 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 18047.3 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB

[startup+2322.3 s]
/proc/loadavg: 8.01 8.15 8.25 9/198 20695
/proc/meminfo: memFree=30221564/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1184372 CPUtime=18526.3 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 1344135 0 0 0 1852366 264 0 0 20 0 9 0 560215269 1717583872 296093 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 296093 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2308.28 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 127385 0 0 0 230796 32 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905351043560 5155839 0 0 4096 8405026 0 0 0 -1 7 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2314.83 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 181812 0 0 0 231455 28 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905342651016 5250330 0 0 4096 8405026 0 0 0 -1 2 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2312.68 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 147222 0 0 0 231241 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5022672 0 0 4096 8405026 0 0 0 -1 3 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=3580 CPUtime=2317.94 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 124674 0 0 0 231769 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2319.1 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 133929 0 0 0 231870 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5250482 0 0 4096 8405026 0 0 0 -1 6 0 0 29 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2319.74 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141405 0 0 0 231947 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5392115 0 0 4096 8405026 0 0 0 -1 0 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2313.06 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 110709 0 0 0 231281 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5392096 0 0 4096 8405026 0 0 0 -1 5 0 0 34 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2319.18 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 111832 0 0 0 231895 23 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5156189 0 0 4096 8405026 0 0 0 -1 1 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 18526.3 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB

[startup+2382.3 s]
/proc/loadavg: 8.00 8.12 8.23 9/200 20707
/proc/meminfo: memFree=30220460/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1184372 CPUtime=19005.3 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 1345570 0 0 0 1900263 265 0 0 20 0 9 0 560215269 1717583872 296093 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 296093 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2367.43 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 127499 0 0 0 236711 32 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905351043560 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2374.82 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 181975 0 0 0 237454 28 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905342651016 5250273 0 0 4096 8405026 0 0 0 -1 2 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2372.67 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 147417 0 0 0 237240 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=3580 CPUtime=2377.91 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 124816 0 0 0 237766 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2379.07 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 134104 0 0 0 237867 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 29 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2379.7 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141580 0 0 0 237943 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1724 CPUtime=2373.03 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 110920 0 0 0 237278 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 34 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2379.16 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 112092 0 0 0 237893 23 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 19005.3 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB

[startup+2442.3 s]
/proc/loadavg: 8.08 8.12 8.23 9/199 20710
/proc/meminfo: memFree=30221676/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1184372 CPUtime=19484.3 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 1346758 0 0 0 1948167 265 0 0 20 0 9 0 560215269 1717583872 296093 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 296093 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2426.57 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 127652 0 0 0 242625 32 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905351043560 5138650 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=7144996204457570354 CPUtime=2434.8 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 182157 0 0 0 243452 28 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905342651016 5138633 0 0 4096 8405026 0 0 0 -1 2 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2432.66 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 147507 0 0 0 243239 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2437.9 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 124952 0 0 0 243765 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5009272 0 0 4096 8405026 0 0 0 -1 4 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2439.04 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 134229 0 0 0 243864 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 29 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2439.69 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141690 0 0 0 243942 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5393072 0 0 4096 8405026 0 0 0 -1 0 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2433.01 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 111148 0 0 0 243276 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 34 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=288230574492221466 CPUtime=2439.15 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 112256 0 0 0 243892 23 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 19484.3 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB

[startup+2502.3 s]
/proc/loadavg: 9.19 8.42 8.32 9/199 20713
/proc/meminfo: memFree=30221696/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1184372 CPUtime=19963.3 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 1348271 0 0 0 1996069 266 0 0 20 0 9 0 560215269 1717583872 296093 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 296093 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2485.7 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 127811 0 0 0 248538 32 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905351043560 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=3580 CPUtime=2494.8 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 182283 0 0 0 249451 29 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905342651016 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 34 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2492.64 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 147711 0 0 0 249237 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2497.88 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 125090 0 0 0 249763 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2499.03 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 134424 0 0 0 249863 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2499.68 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141903 0 0 0 249941 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5409497 0 0 4096 8405026 0 0 0 -1 0 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2492.99 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 111374 0 0 0 249274 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5250266 0 0 4096 8405026 0 0 0 -1 5 0 0 35 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=1184372 CPUtime=2499.14 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 112508 0 0 0 249890 24 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5022672 0 0 4096 8405026 0 0 0 -1 1 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 19963.3 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 9.26 8.49 8.35 9/199 20716
/proc/meminfo: memFree=30221492/32770624 swapFree=66954412/67108860
[pid=20499] ppid=20496 vsize=1677328 memory=1184372 CPUtime=20104.7 cores=0-7
/proc/20499/stat : 20499 (cosoco) S 20496 20499 20005 0 -1 1077944320 1348687 0 0 0 2010205 266 0 0 20 0 9 0 560215269 1717583872 296093 33554432000 4194304 6211132 140733934712672 140733934710928 139905374187255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
/proc/20499/statm: 419332 296093 908 493 0 412637 0
[pid=20499/tid=20501] ppid=20496 vsize=1677328 memory=8317482817917895235 CPUtime=2503.15 cores=0-7
/proc/20499/task/20501/stat : 20501 (cosoco) R 20496 20499 20005 0 -1 4202560 127863 0 0 0 250283 32 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905351043560 5409463 0 0 4096 8405026 0 0 0 -1 7 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20502] ppid=20496 vsize=1677328 memory=1560 CPUtime=2512.5 cores=0-7
/proc/20499/task/20502/stat : 20502 (cosoco) R 20496 20499 20005 0 -1 4202560 182335 0 0 0 251221 29 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905342651016 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 34 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20503] ppid=20496 vsize=1677328 memory=928 CPUtime=2510.34 cores=0-7
/proc/20499/task/20503/stat : 20503 (cosoco) R 20496 20499 20005 0 -1 4202560 147783 0 0 0 251007 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905334258104 5138630 0 0 4096 8405026 0 0 0 -1 3 0 0 31 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20504] ppid=20496 vsize=1677328 memory=1680 CPUtime=2515.58 cores=0-7
/proc/20499/task/20504/stat : 20504 (cosoco) R 20496 20499 20005 0 -1 4202560 125135 0 0 0 251533 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905325865400 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20505] ppid=20496 vsize=1677328 memory=1444 CPUtime=2516.73 cores=0-7
/proc/20499/task/20505/stat : 20505 (cosoco) R 20496 20499 20005 0 -1 4202560 134447 0 0 0 251633 40 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905317472872 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 30 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20506] ppid=20496 vsize=1677328 memory=880 CPUtime=2517.38 cores=0-7
/proc/20499/task/20506/stat : 20506 (cosoco) R 20496 20499 20005 0 -1 4202560 141923 0 0 0 251711 27 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905309080024 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 32 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20507] ppid=20496 vsize=1677328 memory=1984 CPUtime=2510.69 cores=0-7
/proc/20499/task/20507/stat : 20507 (cosoco) R 20496 20499 20005 0 -1 4202560 111445 0 0 0 251044 25 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905300687496 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 35 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
[pid=20499/tid=20508] ppid=20496 vsize=1677328 memory=2552 CPUtime=2516.84 cores=0-7
/proc/20499/task/20508/stat : 20508 (cosoco) R 20496 20499 20005 0 -1 4202560 112589 0 0 0 251660 24 0 0 20 0 9 0 560215410 1717583872 296093 33554432000 4194304 6211132 140733934712672 139905292294584 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 33 0 0 8312316 8317760 41316352 140733934715921 140733934716013 140733934716013 140733934718926 0
Current children cumulated CPU time: 20104.7 s
Current children cumulated vsize: 1677328 KiB
Current children cumulated memory: 1184372 KiB

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

[startup+2520.03 s]
# the end of solver process 20499 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20102.2 s, system=2.67378 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20104.8
CPU user time (s): 20102.2
CPU system time (s): 2.67378
CPU usage (%): 797.802
Max. virtual memory (cumulated for all children) (KiB): 1677328
Max. memory (cumulated for all children) (KiB): 1184372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20102.2
system time used= 2.67378
maximum resident set size= 1184580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1348736
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= 8309
involuntary context switches= 139630


# summary of solver processes directly reported to runsolver:
#   pid: 20499
#   total CPU time (s): 20104.8
#   total CPU user time (s): 20102.2
#   total CPU system time (s): 2.67378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8286 second user time and 24.2709 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-30 11:31:16
IDJOB=4409764
IDBENCH=141053
IDSOLVER=2877
FILE ID=node107/4409764-1569839603
RUNJOBID= node107-1569833331-20032
PBS_JOBID= 21705956
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-4409764-1569839603/watcher-4409764-1569839603 -o /tmp/evaluation-result-4409764-1569839603/solver-4409764-1569839603 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569833331-20032 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409764-1569839603.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=1693779700

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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:        31401172 kB
MemAvailable:   31829928 kB
Buffers:          215292 kB
Cached:           548388 kB
SwapCached:        48108 kB
Active:           354508 kB
Inactive:         459540 kB
Active(anon):      15884 kB
Inactive(anon):   112460 kB
Active(file):     338624 kB
Inactive(file):   347080 kB
Unevictable:      109668 kB
Mlocked:          109668 kB
SwapTotal:      67108860 kB
SwapFree:       66954412 kB
Dirty:              2936 kB
Writeback:             0 kB
AnonPages:        112364 kB
Mapped:            26700 kB
Shmem:             69360 kB
Slab:             146864 kB
SReclaimable:     117776 kB
SUnreclaim:        29088 kB
KernelStack:        3552 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node107 at 2019-09-30 12:13:16