Trace number 4398357

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.O parallelOPT48 647.332 81.0826

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t13-4.xml
MD5SUMb990a8dd86881825c48c70a9797e9fb6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark16.7654
Satisfiable
(Un)Satisfiability was proved
Number of variables693
Number of constraints75
Number of domains8
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":189},{"size":5,"count":63},{"size":7,"count":126},{"size":10,"count":63},{"size":17,"count":63},{"size":19,"count":63},{"size":20,"count":63},{"size":21,"count":63}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":693}]
Minimum constraint arity11
Maximum constraint arity630
Distribution of constraint arities[{"arity":11,"count":63},{"arity":63,"count":11},{"arity":630,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":73}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.00/0.02	c
0.00/0.02	c This is cosoco 2.00 --  
0.00/0.02	c
0.00/0.02	c command line: cosoco -model -nbcores=8 HOME/instance-4398357-1568601896.xml 
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.02	0
0.00/0.09	c enable optimization
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.02 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 693
0.00/0.09	c |            Domain Sizes: 2..21
0.00/0.09	c |
0.00/0.09	c |             Constraints: 198
0.00/0.09	c |                   Arity: 2..63  -- Binary: 62
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          (X -Y <= k): 62
0.00/0.09	c |                          Lex: 62
0.00/0.09	c |                          Sum: 74
0.00/0.09	c |                          
0.00/0.09	c |               Objective: Minimize Sum
0.00/0.09	
0.00/0.09	c =========================================================================================================
0.00/0.09	c Parallel mode: Portfolio
0.00/0.09	c [pFactory][Group N°0] created (threads:8).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.09	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.09	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.09	c [pFactory][Group N°0] task 7 launched on thread 4.
0.00/0.09	c [pFactory][Group N°0] task 6 launched on thread 0.
0.00/0.09	c [pFactory][Group N°0] task 5 launched on thread 6.
0.00/0.09	c [pFactory][Group N°0] task 4 launched on thread 1.
0.00/0.09	c [pFactory][Group N°0] task 3 launched on thread 2.
0.00/0.09	c [pFactory][Group N°0] task 2 launched on thread 7.
0.00/0.09	c [pFactory][Group N°0] task 1 launched on thread 5.
0.00/0.09	c [pFactory][Group N°0] task 0 launched on thread 3.
0.00/0.09	o 63
0.63/0.11	o 62
0.63/0.14	o 61
0.63/0.19	o 50
0.63/0.20	o 49
0.63/0.21	o 48
646.76/81.07	c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 4.
646.76/81.07	c [pFactory][Group N°0] Thread N°0 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°1 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°2 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°3 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°4 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°5 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°6 is joined.
646.76/81.07	c [pFactory][Group N°0] Thread N°7 is joined.
646.76/81.07	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1)
646.76/81.07	s OPTIMUM FOUND
646.76/81.07	c call to solver        : 2
646.76/81.07	c
646.76/81.07	c restarts              : 32903       
646.76/81.07	c conflicts             : 398980       (616 /sec)
646.76/81.07	c decisions             : 6221606      (9612 /sec)
646.76/81.07	c propagations          : 33493992    (51747 /sec)
646.76/81.07	c root propagations     : 5103        
646.76/81.07	c filter calls          : 42456530       (65593 /sec)
646.76/81.07	c useless filter calls  : 34685249       (81 %)
646.76/81.07	c Memory used           : 579.11 MB
646.76/81.07	c Best bound time (wc)  : 0.213031 s
646.76/81.07	c CPU time              : 647.27 s
646.76/81.07	c real time             : 81.0749 s
646.76/81.08	
646.76/81.08	
646.76/81.08	v <instantiation type='solution' cost='48'>
646.76/81.08	v <list>p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[6] p[7] p[8] p[9] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list>
646.76/81.08	v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 </values>
646.76/81.08	v </instantiation>
646.76/81.08	

Verifier Data

OK	48

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398357-1568601896/watcher-4398357-1568601896 -o /tmp/evaluation-result-4398357-1568601896/solver-4398357-1568601896 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568596704-22922 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398357-1568601896.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
23710
Current StackSize limit: 8192 KiB


[startup+0.10052 s]*
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30583544/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=629400 memory=24520 CPUtime=0.63 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 6789 0 0 0 62 1 0 0 20 0 9 0 436456400 644505600 6130 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 157350 6130 885 493 0 150655 0
[pid=23713/tid=23715] ppid=23710 vsize=629400 memory=-2177352373413752899 CPUtime=0.07 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 523 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140109027867048 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=629400 memory=279943969744632 CPUtime=0.06 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 375 0 0 0 6 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140109019474360 5148687 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=629400 memory=139972059309696 CPUtime=0.07 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 468 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140109011081672 5149136 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=629400 memory=0 CPUtime=0.07 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140109002689128 5149674 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=629400 memory=0 CPUtime=0.07 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 487 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140108994296264 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=629400 memory=0 CPUtime=0.07 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 532 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140108985904400 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=629400 memory=-1 CPUtime=0.07 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140108977511016 5149667 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=629400 memory=0 CPUtime=0.07 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 420 0 0 0 7 0 0 0 20 0 9 0 436456403 644505600 6130 33554432000 4194304 6211092 140736977128544 140108969118312 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 629400 KiB
Current children cumulated memory: 24520 KiB

[startup+0.210519 s]*
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30581684/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=628368 memory=26432 CPUtime=1.49 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 7519 0 0 0 148 1 0 0 20 0 9 0 436456400 643448832 6608 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 157092 6608 885 493 0 150397 0
[pid=23713/tid=23715] ppid=23710 vsize=628368 memory=0 CPUtime=0.18 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 675 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140109027867240 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=628368 memory=279943969744632 CPUtime=0.16 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 471 0 0 0 16 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140109019474344 5092431 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=628368 memory=139972059309696 CPUtime=0.18 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 486 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140109011081656 5404168 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=628368 memory=0 CPUtime=0.18 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 435 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140109002688968 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=628368 memory=0 CPUtime=0.18 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 523 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140108994296232 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=628368 memory=0 CPUtime=0.18 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 576 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140108985903720 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=628368 memory=-1 CPUtime=0.18 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 593 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140108977511696 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=628368 memory=0 CPUtime=0.18 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 434 0 0 0 18 0 0 0 20 0 9 0 436456403 643448832 6608 33554432000 4194304 6211092 140736977128544 140108969118312 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 628368 KiB
Current children cumulated memory: 26432 KiB

[startup+0.310517 s]*
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30581312/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=626304 memory=26420 CPUtime=2.28 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 7707 0 0 0 227 1 0 0 20 0 9 0 436456400 641335296 6605 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156576 6605 885 493 0 149881 0
[pid=23713/tid=23715] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 684 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140109027867240 5149700 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=626304 memory=7959527114483422857 CPUtime=0.25 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 520 0 0 0 25 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140109019474536 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=626304 memory=139972059309696 CPUtime=0.28 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 578 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140109011081656 5150179 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 445 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140109002688968 5150133 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 526 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140108994296232 5149217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 595 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140108985903720 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 595 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140108977511456 5155807 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=626304 memory=0 CPUtime=0.28 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 438 0 0 0 28 0 0 0 20 0 9 0 436456403 641335296 6605 33554432000 4194304 6211092 140736977128544 140108969118752 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 626304 KiB
Current children cumulated memory: 26420 KiB

[startup+0.707516 s]
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30580940/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27092 CPUtime=5.36 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 7822 0 0 0 535 1 0 0 20 0 9 0 436456400 640806912 6773 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6773 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=286394937 CPUtime=0.67 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 709 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140109027867240 5149212 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=0 CPUtime=0.62 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 574 0 0 0 62 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140109019475072 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=984 CPUtime=0.67 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 578 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140109011081912 5091730 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=2004 CPUtime=0.67 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 469 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140109002689128 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=716 CPUtime=0.67 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 532 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140108994296504 5148679 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=780 CPUtime=0.67 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 601 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140108985904144 5149192 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=1552 CPUtime=0.66 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 595 0 0 0 66 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140108977511552 5148687 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=2832 CPUtime=0.67 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 438 0 0 0 67 0 0 0 20 0 9 0 436456403 640806912 6773 33554432000 4194304 6211092 140736977128544 140108969119048 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27092 KiB

[startup+1.50052 s]
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30580488/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27440 CPUtime=11.7 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 12025 0 0 0 1168 2 0 0 20 0 9 0 436456400 640806912 6860 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6860 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=139976354276991 CPUtime=1.46 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 1165 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140109027867240 5148684 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=984 CPUtime=1.4 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 1180 0 0 0 140 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140109019475072 5092496 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=2004 CPUtime=1.46 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 1019 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140109011081912 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=286394937 CPUtime=1.46 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 1017 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140109002689128 5391740 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=0 CPUtime=1.46 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 996 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140108994296504 5092099 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=0 CPUtime=1.46 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 1263 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140108985904144 5149217 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=139971910611360 CPUtime=1.45 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 1188 0 0 0 145 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140108977511440 5148884 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=139971910611456 CPUtime=1.46 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 871 0 0 0 146 0 0 0 20 0 9 0 436456403 640806912 6860 33554432000 4194304 6211092 140736977128544 140108969119048 5148830 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 11.7 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27440 KiB

[startup+3.10951 s]
/proc/loadavg: 6.33 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30580884/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27448 CPUtime=24.54 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 15542 0 0 0 2452 2 0 0 20 0 9 0 436456400 640806912 6862 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6862 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=0 CPUtime=3.07 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 1524 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140109027867240 5149010 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=27440 CPUtime=2.99 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 1613 0 0 0 299 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140109019475072 5149217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=0 CPUtime=3.07 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 1456 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140109011081912 5149648 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=0 CPUtime=3.07 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 1459 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140109002689128 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=0 CPUtime=3.07 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 1427 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140108994296504 5149217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=56 CPUtime=3.07 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 1633 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140108985904144 5380256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=-3253322038155611931 CPUtime=3.06 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 1674 0 0 0 306 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140108977511440 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=3620 CPUtime=3.07 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 1430 0 0 0 307 0 0 0 20 0 9 0 436456403 640806912 6862 33554432000 4194304 6211092 140736977128544 140108969119048 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27448 KiB

[startup+6.30052 s]
/proc/loadavg: 6.46 8.02 8.66 9/201 23722
/proc/meminfo: memFree=30580768/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27480 CPUtime=50.04 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 24087 0 0 0 5001 3 0 0 20 0 9 0 436456400 640806912 6870 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6870 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=27480 CPUtime=6.26 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 2437 0 0 0 626 0 0 0 20 0 9 0 436456403 640806912 6870 33554432000 4194304 6211092 140736977128544 140109027867240 5409449 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=27440 CPUtime=6.14 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 2677 0 0 0 614 0 0 0 20 0 9 0 436456403 640806912 6870 33554432000 4194304 6211092 140736977128544 140109019475072 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=0 CPUtime=6.26 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 2559 0 0 0 626 0 0 0 20 0 9 0 436456403 640806912 6870 33554432000 4194304 6211092 140736977128544 140109011081912 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=139976354276991 CPUtime=6.26 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 2533 0 0 0 626 0 0 0 20 0 9 0 436456403 640806912 6870 33554432000 4194304 6211092 140736977128544 140109002689128 5149591 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0

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

Current children cumulated CPU time: 510.98 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+70.4005 s]
/proc/loadavg: 7.51 8.03 8.62 9/200 23727
/proc/meminfo: memFree=30579244/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=562.03 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49228 0 0 0 56198 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=27504 CPUtime=70.36 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5528 0 0 0 7036 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867240 5149221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=27504 CPUtime=69.46 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5749 0 0 0 6946 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019475072 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=900 CPUtime=70.36 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5516 0 0 0 7036 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5149120 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=984 CPUtime=70.36 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5763 0 0 0 7036 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689128 5151112 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=2004 CPUtime=70.36 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5580 0 0 0 7036 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=1376 CPUtime=70.35 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6407 0 0 0 7035 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5412688 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=1060 CPUtime=70.33 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6234 0 0 0 7033 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5149221 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=4068 CPUtime=70.34 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5125 0 0 0 7034 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5412688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 562.03 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+76.8005 s]
/proc/loadavg: 7.55 8.03 8.62 9/199 23727
/proc/meminfo: memFree=30579104/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=613.15 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49247 0 0 0 61310 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=5944 CPUtime=76.76 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5532 0 0 0 7676 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867240 5092563 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=10564 CPUtime=75.78 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5750 0 0 0 7578 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019475072 5409449 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=6935054825532540783 CPUtime=76.76 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5518 0 0 0 7676 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=27504 CPUtime=76.76 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5765 0 0 0 7676 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689128 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=27484 CPUtime=76.76 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5582 0 0 0 7676 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5380256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=0 CPUtime=76.75 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6408 0 0 0 7675 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5148687 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=27504 CPUtime=76.73 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6238 0 0 0 7673 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5092478 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=27504 CPUtime=76.74 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5128 0 0 0 7674 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 613.15 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+78.4005 s]
/proc/loadavg: 7.55 8.03 8.62 9/199 23728
/proc/meminfo: memFree=30579040/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=625.93 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49269 0 0 0 62588 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=22508 CPUtime=78.36 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5534 0 0 0 7836 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867776 5148693 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=27504 CPUtime=77.36 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5754 0 0 0 7736 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019475072 5390026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=27504 CPUtime=78.36 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5520 0 0 0 7836 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=1556 CPUtime=78.36 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5769 0 0 0 7836 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689128 5409465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=928 CPUtime=78.36 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5587 0 0 0 7836 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5155286 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=3620 CPUtime=78.35 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6410 0 0 0 7835 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5092721 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=44736 CPUtime=78.33 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6238 0 0 0 7833 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5250458 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=984 CPUtime=78.34 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5131 0 0 0 7834 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5148713 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 625.93 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+80.0005 s]*
/proc/loadavg: 7.58 8.03 8.61 9/199 23728
/proc/meminfo: memFree=30579040/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=638.77 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49276 0 0 0 63872 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=8317482817917895235 CPUtime=79.96 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5536 0 0 0 7996 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867776 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=-7003737579269690708 CPUtime=78.95 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5756 0 0 0 7895 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019475072 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=1432 CPUtime=79.97 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5521 0 0 0 7997 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=1764 CPUtime=79.97 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5770 0 0 0 7997 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689128 5150158 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=111632 CPUtime=79.96 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5588 0 0 0 7996 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5148944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=804 CPUtime=79.96 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6410 0 0 0 7996 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5193710 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=1804 CPUtime=79.94 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6238 0 0 0 7994 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=920 CPUtime=79.95 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5131 0 0 0 7995 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5090991 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 638.77 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+80.8005 s]
/proc/loadavg: 7.58 8.03 8.61 9/199 23728
/proc/meminfo: memFree=30579040/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=645.1 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49373 0 0 0 64505 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=27504 CPUtime=80.76 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5541 0 0 0 8076 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867776 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=3620 CPUtime=79.73 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5759 0 0 0 7973 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019475072 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=44736 CPUtime=80.76 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5562 0 0 0 8076 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=6935054825532540783 CPUtime=80.76 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5771 0 0 0 8076 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689128 5091082 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=4068 CPUtime=80.76 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5604 0 0 0 8076 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=1720 CPUtime=80.75 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6420 0 0 0 8075 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=5944 CPUtime=80.73 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6240 0 0 0 8073 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5091509 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=10564 CPUtime=80.74 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5150 0 0 0 8074 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 645.1 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

[startup+81.0005 s]*
/proc/loadavg: 7.58 8.03 8.61 10/199 23728
/proc/meminfo: memFree=30579288/32770624 swapFree=66967324/67108860
[pid=23713] ppid=23710 vsize=625788 memory=27504 CPUtime=646.76 cores=0-7
/proc/23713/stat : 23713 (cosoco) S 23710 23713 22895 0 -1 1077944320 49424 0 0 0 64671 5 0 0 20 0 9 0 436456400 640806912 6876 33554432000 4194304 6211092 140736977128544 140736977126800 140109051010807 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
/proc/23713/statm: 156447 6876 885 493 0 149752 0
[pid=23713/tid=23715] ppid=23710 vsize=625788 memory=8317482817917895235 CPUtime=80.96 cores=0-7
/proc/23713/task/23715/stat : 23715 (cosoco) R 23710 23713 22895 0 -1 4202560 5541 0 0 0 8096 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109027867776 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23716] ppid=23710 vsize=625788 memory=-7003737579269690708 CPUtime=79.93 cores=0-7
/proc/23713/task/23716/stat : 23716 (cosoco) R 23710 23713 22895 0 -1 4202560 5774 0 0 0 7993 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109019474960 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23717] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.97 cores=0-7
/proc/23713/task/23717/stat : 23717 (cosoco) R 23710 23713 22895 0 -1 4202560 5562 0 0 0 8097 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109011081912 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23718] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.97 cores=0-7
/proc/23713/task/23718/stat : 23718 (cosoco) R 23710 23713 22895 0 -1 4202560 5774 0 0 0 8097 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140109002689568 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23719] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.97 cores=0-7
/proc/23713/task/23719/stat : 23719 (cosoco) R 23710 23713 22895 0 -1 4202560 5636 0 0 0 8097 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108994296504 5186312 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23720] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.96 cores=0-7
/proc/23713/task/23720/stat : 23720 (cosoco) R 23710 23713 22895 0 -1 4202560 6421 0 0 0 8096 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108985904144 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23721] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.94 cores=0-7
/proc/23713/task/23721/stat : 23721 (cosoco) R 23710 23713 22895 0 -1 4202560 6240 0 0 0 8094 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108977511440 5148998 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
[pid=23713/tid=23722] ppid=23710 vsize=625788 memory=7596274483683881324 CPUtime=80.95 cores=0-7
/proc/23713/task/23722/stat : 23722 (cosoco) R 23710 23713 22895 0 -1 4202560 5150 0 0 0 8095 0 0 0 20 0 9 0 436456403 640806912 6876 33554432000 4194304 6211092 140736977128544 140108969118152 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19898368 140736977134609 140736977134701 140736977134701 140736977137614 0
Current children cumulated CPU time: 646.76 s
Current children cumulated vsize: 625788 KiB
Current children cumulated memory: 27504 KiB

Child status: 0
Real time (s): 81.0826
CPU time (s): 647.332
CPU user time (s): 647.27
CPU system time (s): 0.061975
CPU usage (%): 798.362
Max. virtual memory (cumulated for all children) (KiB): 629400
Max. memory (cumulated for all children) (KiB): 27504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.27
system time used= 0.061975
maximum resident set size= 27716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49579
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= 713
involuntary context switches= 5374


# summary of solver processes directly reported to runsolver:
#   pid: 23713
#   total CPU time (s): 647.332
#   total CPU user time (s): 647.27
#   total CPU system time (s): 0.061975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.399062 second user time and 0.63432 second system time

The end

Launcher Data

Begin job on node125 at 2019-09-16 04:44:13
IDJOB=4398357
IDBENCH=124246
IDSOLVER=2851
FILE ID=node125/4398357-1568601896
RUNJOBID= node125-1568596704-22922
PBS_JOBID= 21703400
Free space on /tmp= 59756 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-4.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398357-1568601896/watcher-4398357-1568601896 -o /tmp/evaluation-result-4398357-1568601896/solver-4398357-1568601896 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568596704-22922 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398357-1568601896.xml

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

MD5SUM BENCH= b990a8dd86881825c48c70a9797e9fb6
RANDOM SEED=361144988

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
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:        30604916 kB
MemAvailable:   31863996 kB
Buffers:          179700 kB
Cached:          1377988 kB
SwapCached:        38420 kB
Active:           683172 kB
Inactive:         916956 kB
Active(anon):      21244 kB
Inactive(anon):    69548 kB
Active(file):     661928 kB
Inactive(file):   847408 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66967324 kB
Dirty:              2832 kB
Writeback:             0 kB
AnonPages:        113076 kB
Mapped:            46436 kB
Shmem:             39736 kB
Slab:             160492 kB
SReclaimable:     131156 kB
SUnreclaim:        29336 kB
KernelStack:        3424 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506476 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59756 MiB
End job on node125 at 2019-09-16 04:45:34