Trace number 4398483

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 parallelSAT (TO)914 20121.8 2520.02

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n40-k5.xml
MD5SUMaadfd6ed706e08b9468e37c047f4c189
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark508
Best CPU time to get the best result obtained on this benchmark19845.3
Satisfiable
(Un)Satisfiability was proved
Number of variables1640
Number of constraints1599
Number of domains3
Minimum domain size1
Maximum domain size141
Distribution of domain sizes[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity1
Maximum constraint arity39
Distribution of constraint arities[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
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

2.11/0.73	c
2.11/0.73	c This is cosoco 2.00 --  
2.11/0.73	c
2.11/0.73	c command line: cosoco -model -nbcores=8 HOME/instance-4398483-1568602171.xml 
2.11/0.73	c enable optimization
2.11/0.73	c ========================================[ Problem Statistics ]===========================================
2.11/0.73	c |                                                                                                       
2.11/0.73	c |  Parse time        :         0.22 s 
2.11/0.73	c |
2.11/0.73	c |               Variables: 1640
2.11/0.73	c |            Domain Sizes: 1..141
2.11/0.73	c |
2.11/0.73	c |             Constraints: 1600
2.11/0.73	c |                   Arity: 1..1560  -- Unary: 39  -- Ternary: 1482
2.11/0.73	c | 
2.11/0.73	c |                   Types: 
2.11/0.73	c |                          Exactly K: 78
2.11/0.73	c |                          Sum: 1483
2.11/0.73	c |                          Unary: 39
2.11/0.73	c |                          
2.11/0.73	c |               Objective: Minimize Sum
2.11/0.73	
2.11/0.73	c =========================================================================================================
2.11/0.73	c Parallel mode: Portfolio
2.11/0.73	c [pFactory][Group N°0] created (threads:8).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2.11/0.73	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2.11/0.73	c [pFactory][Group N°0] concurrent mode: enabled.
2.11/0.73	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2.11/0.73	c [pFactory][Group N°0] task 7 launched on thread 0.
2.11/0.73	c [pFactory][Group N°0] task 6 launched on thread 1.
2.11/0.73	c [pFactory][Group N°0] task 5 launched on thread 6.
2.11/0.73	c [pFactory][Group N°0] task 4 launched on thread 2.
2.11/0.73	c [pFactory][Group N°0] task 3 launched on thread 7.
2.11/0.73	c [pFactory][Group N°0] task 2 launched on thread 4.
2.11/0.73	c [pFactory][Group N°0] task 1 launched on thread 5.
2.11/0.73	c [pFactory][Group N°0] task 0 launched on thread 3.
2.11/0.73	o 1397
2.11/0.73	o 1192
4.52/1.04	o 1176
27.61/3.93	o 1174
33.20/4.62	o 1164
38.78/5.38	o 1145
57.11/7.62	o 1123
101.81/13.20	o 1096
132.22/17.03	o 1089
678.28/85.41	o 1063
768.52/96.71	o 1056
859.60/108.14	o 1055
926.60/116.57	o 1050
942.58/118.56	o 1033
993.68/124.91	o 1023
1087.12/136.63	o 1020
1134.24/142.53	o 1009
1246.83/156.60	o 1004
1336.28/167.90	o 996
1434.59/180.17	o 992
1508.78/189.45	o 955
1599.03/200.73	o 949
1622.19/203.68	o 914
20121.65/2520.02	
20121.65/2520.02	c *** INTERRUPTED ***
20121.65/2520.02	c call to solver        : 13
20121.65/2520.02	c
20121.65/2520.02	c restarts              : 81265       
20121.65/2520.02	c conflicts             : 1053818      (52 /sec)
20121.65/2520.02	c decisions             : 14039919     (698 /sec)
20121.65/2520.02	c propagations          : 324449377   (16125 /sec)
20121.65/2520.02	c root propagations     : 618         
20121.65/2520.02	c filter calls          : 237675430      (11812 /sec)
20121.65/2520.02	c useless filter calls  : 225731966      (94 %)
20121.65/2520.02	c Memory used           : 698.48 MB
20121.65/2520.02	c Best bound time (wc)  : 203.675 s
20121.65/2520.02	c CPU time              : 20121 s
20121.65/2520.02	c real time             : 2520.02 s
20121.65/2520.02	
20121.65/2520.02	s SATISFIABLE
20121.65/2520.02	c Best value found: 914
20121.65/2520.02	
20121.65/2520.02	
20121.65/2520.02	v <instantiation type='solution' cost='914'>
20121.65/2520.02	v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[4] u[5] u[6] u[7] u[8] u[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
20121.65/2520.02	v <values>* 46 20 36 97 23 120 61 85 139 101 7 51 22 73 85 130 117 112 136 63 14 91 86 37 140 123 82 140 46 110 66 100 45 139 41 127 105 69 55 * 0 1 1 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 1 0 0 0 0 0 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * </values>
20121.65/2520.02	v </instantiation>
20121.65/2520.02	

Verifier Data

OK	914

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398483-1568602171/watcher-4398483-1568602171 -o /tmp/evaluation-result-4398483-1568602171/solver-4398483-1568602171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398483-1568602171.xml 

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

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


[startup+0.10016 s]*
/proc/loadavg: 8.30 8.25 8.22 2/191 16451
/proc/meminfo: memFree=29531952/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=73716 memory=50140 CPUtime=0.1 cores=0-7
/proc/16450/stat : 16450 (cosoco) R 16447 16450 15549 0 -1 4202496 12716 0 0 0 8 2 0 0 20 0 1 0 436132002 75485184 12535 33554432000 4194304 6211092 140726504844800 140726504838936 140696887135205 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 18429 12535 841 493 0 11734 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73716 KiB
Current children cumulated memory: 50140 KiB

[startup+0.209127 s]*
/proc/loadavg: 8.30 8.25 8.22 2/191 16451
/proc/meminfo: memFree=29479188/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=123916 memory=100300 CPUtime=0.21 cores=0-7
/proc/16450/stat : 16450 (cosoco) R 16447 16450 15549 0 -1 4202496 25260 0 0 0 17 4 0 0 20 0 1 0 436132002 126889984 25075 33554432000 4194304 6211092 140726504844800 140726504838936 5484052 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 30979 25075 851 493 0 24284 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 123916 KiB
Current children cumulated memory: 100300 KiB

[startup+0.309293 s]*
/proc/loadavg: 8.30 8.25 8.22 9/199 16459
/proc/meminfo: memFree=29475572/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=101884 CPUtime=0.62 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 26049 0 0 0 58 4 0 0 20 0 9 0 436132002 732401664 25471 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 25471 879 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=8317482817917895235 CPUtime=0.04 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 44 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696880032520 5185108 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 45 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696871639816 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=0 CPUtime=0.04 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 48 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696863246984 140696887610967 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 50 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696854854344 5155804 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 42 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696846461704 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=0 CPUtime=0.04 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 53 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696838068840 5156232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=0 CPUtime=0.04 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 53 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696829676136 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=0 CPUtime=0.04 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) D 16447 16450 15549 0 -1 4202560 41 0 0 0 4 0 0 0 20 0 9 0 436132029 732401664 25471 33554432000 4194304 6211092 140726504844800 140696821283592 140696887130942 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 101884 KiB

[startup+0.700476 s]
/proc/loadavg: 8.30 8.25 8.22 8/199 16459
/proc/meminfo: memFree=29461244/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=150692 CPUtime=2.11 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 38186 0 0 0 197 14 0 0 20 0 9 0 436132002 732401664 37673 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 37673 886 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=1760 CPUtime=0.23 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) D 16447 16450 15549 0 -1 4202560 1376 0 0 0 22 1 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696880032392 140696887610967 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=111636 CPUtime=0.23 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) D 16447 16450 15549 0 -1 4202560 1400 0 0 0 23 0 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696871639656 140696887610967 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=808 CPUtime=0.21 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 1800 0 0 0 21 0 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696863246952 5185108 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=1804 CPUtime=0.21 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) D 16447 16450 15549 0 -1 4202560 1750 0 0 0 20 1 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696854854248 140696887610967 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=920 CPUtime=0.23 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) D 16447 16450 15549 0 -1 4202560 1385 0 0 0 22 1 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696846461416 140696887130942 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=-7175204567652784766 CPUtime=0.2 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 1582 0 0 0 19 1 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696838068840 140696887610967 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=3054156605268465310 CPUtime=0.21 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 1816 0 0 0 20 1 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696829676136 140696887204395 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=1408 CPUtime=0.23 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 1397 0 0 0 23 0 0 0 20 0 9 0 436132029 732401664 37673 33554432000 4194304 6211092 140726504844800 140696821283304 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 150692 KiB

[startup+1.50729 s]
/proc/loadavg: 8.30 8.25 8.22 9/199 16459
/proc/meminfo: memFree=29415532/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=181980 CPUtime=8.49 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 63891 0 0 0 829 20 0 0 20 0 9 0 436132002 732401664 45495 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 45495 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=297813778 CPUtime=1.03 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 4077 0 0 0 101 2 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696880032360 5046843 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=0 CPUtime=1.04 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 5989 0 0 0 103 1 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696871639656 5250241 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=0 CPUtime=1.01 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 5956 0 0 0 99 2 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696863246824 5157544 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=210754045247624 CPUtime=1 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 3705 0 0 0 98 2 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696854854248 5157520 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=280237758174240 CPUtime=1.03 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 5808 0 0 0 102 1 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696846461384 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=210758205983480 CPUtime=0.99 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 4460 0 0 0 98 1 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696838068872 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=210754045247627 CPUtime=1.01 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 4073 0 0 0 99 2 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696829675976 5157540 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=210754045247628 CPUtime=1.05 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 4148 0 0 0 103 2 0 0 20 0 9 0 436132029 732401664 45495 33554432000 4194304 6211092 140726504844800 140696821283272 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 181980 KiB

[startup+3.11029 s]
/proc/loadavg: 8.27 8.24 8.22 9/199 16459
/proc/meminfo: memFree=29386828/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=192776 CPUtime=21.28 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 82810 0 0 0 2104 24 0 0 20 0 9 0 436132002 732401664 48194 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 48194 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=33 CPUtime=2.64 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 6410 0 0 0 261 3 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696880032360 5155804 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=0 CPUtime=2.64 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 7555 0 0 0 263 1 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696871639688 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=5859853075905800022 CPUtime=2.62 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 7621 0 0 0 259 3 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696863246952 5250293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=155708 CPUtime=2.57 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 6420 0 0 0 255 2 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696854854088 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=101884 CPUtime=2.64 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 7511 0 0 0 262 2 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696846461384 5157520 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=56 CPUtime=2.59 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 8123 0 0 0 258 1 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696838068696 5157540 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=0 CPUtime=2.62 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 7292 0 0 0 259 3 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696829675976 5157540 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=3977558295978521141 CPUtime=2.65 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 6195 0 0 0 263 2 0 0 20 0 9 0 436132029 732401664 48194 33554432000 4194304 6211092 140726504844800 140696821283432 5157540 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 21.28 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 192776 KiB

[startup+6.30129 s]
/proc/loadavg: 8.27 8.24 8.22 9/199 16459
/proc/meminfo: memFree=29380172/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=197844 CPUtime=46.73 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 178132 0 0 0 4638 35 0 0 20 0 9 0 436132002 732401664 49461 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 49461 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=0 CPUtime=5.82 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 18490 0 0 0 577 5 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696880032232 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=164 CPUtime=5.83 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 19380 0 0 0 581 2 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696871639688 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=140123321288319 CPUtime=5.81 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 19836 0 0 0 576 5 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696863246824 5250275 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=197632 CPUtime=5.72 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 14570 0 0 0 568 4 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696854854088 5250459 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=7013340846366745708 CPUtime=5.82 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 18130 0 0 0 580 2 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696846461576 5250241 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=148 CPUtime=5.78 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 23404 0 0 0 576 2 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696838068712 5157544 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=10774 CPUtime=5.8 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 19147 0 0 0 576 4 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696829676816 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=280237757764224 CPUtime=5.83 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 19492 0 0 0 580 3 0 0 20 0 9 0 436132029 732401664 49461 33554432000 4194304 6211092 140726504844800 140696821283304 5186224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 46.73 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 197844 KiB

[startup+12.7033 s]
/proc/loadavg: 8.25 8.24 8.22 9/200 16463
/proc/meminfo: memFree=29377272/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=201208 CPUtime=97.84 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 242183 0 0 0 9742 42 0 0 20 0 9 0 436132002 732401664 50302 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 50302 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=200880 CPUtime=12.22 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 26009 0 0 0 1216 6 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696880032200 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=200204 CPUtime=12.23 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 27323 0 0 0 1220 3 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696871639496 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=1436 CPUtime=12.2 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 31495 0 0 0 1214 6 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696863246824 5156936 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=4152 CPUtime=12.03 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 18641 0 0 0 1199 4 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696854854088 5157557 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=1548 CPUtime=12.22 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 26226 0 0 0 1219 3 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696846461576 5250284 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=1728 CPUtime=12.18 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 32049 0 0 0 1214 4 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696838068712 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=192864 CPUtime=12.2 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 26995 0 0 0 1216 4 0 0 20 0 9 0 436132029 732401664 50302 33554432000 4194304 6211092 140726504844800 140696829676136 5157520 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0

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

/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 61552 0 0 0 226126 9 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696863246824 5250251 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=208600 CPUtime=2260.67 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32245 0 0 0 226059 8 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696854854248 5156936 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=208600 CPUtime=2260.98 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49045 0 0 0 226092 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696846461544 5250224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=208600 CPUtime=2259.45 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50668 0 0 0 225939 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696838068680 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=208600 CPUtime=2261.51 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56501 0 0 0 226143 8 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696829676136 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=3504 CPUtime=2261.62 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47715 0 0 0 226156 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696821283432 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 18063.5 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208600 KiB

[startup+2322.3 s]
/proc/loadavg: 8.56 8.35 8.28 9/199 16661
/proc/meminfo: memFree=29371024/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=208600 CPUtime=18542.7 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 424882 0 0 0 1854202 70 0 0 20 0 9 0 436132002 732401664 52150 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 52150 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=208600 CPUtime=2296.04 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 49673 0 0 0 229593 11 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696880032216 5156232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=208600 CPUtime=2321.56 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 51535 0 0 0 232149 7 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696871639496 5250293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=208600 CPUtime=2321.35 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 61809 0 0 0 232126 9 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696863246952 5250224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=208600 CPUtime=2320.65 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32246 0 0 0 232057 8 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696854854248 5158003 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=208600 CPUtime=2320.97 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49045 0 0 0 232091 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696846461544 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=208600 CPUtime=2318.68 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50668 0 0 0 231862 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696838068680 5156232 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=208600 CPUtime=2321.5 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56501 0 0 0 232142 8 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696829676136 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=208600 CPUtime=2321.62 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47722 0 0 0 232156 6 0 0 20 0 9 0 436132029 732401664 52150 33554432000 4194304 6211092 140726504844800 140696821283432 5156224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 18542.7 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208600 KiB

[startup+2382.3 s]
/proc/loadavg: 8.26 8.30 8.27 9/199 16665
/proc/meminfo: memFree=29371208/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=208608 CPUtime=19021.9 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 426225 0 0 0 1902119 70 0 0 20 0 9 0 436132002 732401664 52152 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 52152 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=208608 CPUtime=2356.03 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 49760 0 0 0 235592 11 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696880032216 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=208608 CPUtime=2381.56 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 51714 0 0 0 238149 7 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696871639496 5250224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=208608 CPUtime=2381.34 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 61930 0 0 0 238125 9 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696863246952 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=208608 CPUtime=2380.64 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32370 0 0 0 238056 8 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696854854248 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=0 CPUtime=2380.97 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49254 0 0 0 238091 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696846461544 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=1548 CPUtime=2377.9 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50757 0 0 0 237784 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696838068680 5157937 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=208608 CPUtime=2381.48 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56866 0 0 0 238140 8 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696829676136 5155812 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=1076 CPUtime=2381.62 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47891 0 0 0 238156 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696821283432 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 19021.9 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208608 KiB

[startup+2442.3 s]
/proc/loadavg: 8.13 8.26 8.25 9/199 16670
/proc/meminfo: memFree=29370684/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=208608 CPUtime=19501.1 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 426358 0 0 0 1950036 70 0 0 20 0 9 0 436132002 732401664 52152 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 52152 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=208608 CPUtime=2416.02 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 49865 0 0 0 241591 11 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696880032216 5158095 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=208608 CPUtime=2441.55 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 51714 0 0 0 244148 7 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696871639496 5409030 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=208608 CPUtime=2441.33 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 61935 0 0 0 244124 9 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696863246952 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=208608 CPUtime=2440.63 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32370 0 0 0 244055 8 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696854854248 5157540 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=208608 CPUtime=2440.97 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49264 0 0 0 244091 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696846461544 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=208608 CPUtime=2437.13 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50757 0 0 0 243707 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696838068680 5157544 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=208608 CPUtime=2441.48 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56877 0 0 0 244140 8 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696829676136 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=208608 CPUtime=2441.61 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47893 0 0 0 244155 6 0 0 20 0 9 0 436132029 732401664 52152 33554432000 4194304 6211092 140726504844800 140696821283432 5136256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 19501.1 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208608 KiB

[startup+2502.3 s]
/proc/loadavg: 8.05 8.22 8.24 9/200 16681
/proc/meminfo: memFree=29368264/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=208616 CPUtime=19980.2 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 427126 0 0 0 1997951 71 0 0 20 0 9 0 436132002 732401664 52154 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 52154 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=208616 CPUtime=2476.01 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 49938 0 0 0 247589 12 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696880032216 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=208616 CPUtime=2501.55 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 51801 0 0 0 250148 7 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696871639496 5157544 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=208616 CPUtime=2501.31 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 62044 0 0 0 250122 9 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696863246952 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=208616 CPUtime=2500.6 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32477 0 0 0 250052 8 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696854854248 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=208616 CPUtime=2500.96 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49371 0 0 0 250090 6 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696846461544 5155817 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=208616 CPUtime=2496.36 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50842 0 0 0 249629 7 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696838068680 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=208616 CPUtime=2501.47 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56982 0 0 0 250139 8 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696829676136 5250241 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=208616 CPUtime=2501.61 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47988 0 0 0 250155 6 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696821283432 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 19980.2 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208616 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.04 8.20 8.23 9/200 16681
/proc/meminfo: memFree=29368452/32770624 swapFree=66939904/67108860
[pid=16450] ppid=16447 vsize=715236 memory=208616 CPUtime=20121.7 cores=0-7
/proc/16450/stat : 16450 (cosoco) S 16447 16450 15549 0 -1 1077944320 427131 0 0 0 2012094 71 0 0 20 0 9 0 436132002 732401664 52154 33554432000 4194304 6211092 140726504844800 140726504843056 140696903175927 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
/proc/16450/statm: 178809 52154 887 493 0 172114 0
[pid=16450/tid=16452] ppid=16447 vsize=715236 memory=1560 CPUtime=2493.72 cores=0-7
/proc/16450/task/16452/stat : 16452 (cosoco) R 16447 16450 15549 0 -1 4202560 49938 0 0 0 249360 12 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696880032216 5250467 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16453] ppid=16447 vsize=715236 memory=924 CPUtime=2519.26 cores=0-7
/proc/16450/task/16453/stat : 16453 (cosoco) R 16447 16450 15549 0 -1 4202560 51801 0 0 0 251919 7 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696871639496 5155800 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16454] ppid=16447 vsize=715236 memory=3688 CPUtime=2519.02 cores=0-7
/proc/16450/task/16454/stat : 16454 (cosoco) R 16447 16450 15549 0 -1 4202560 62044 0 0 0 251893 9 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696863246952 5250459 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16455] ppid=16447 vsize=715236 memory=4872558044660077418 CPUtime=2518.31 cores=0-7
/proc/16450/task/16455/stat : 16455 (cosoco) R 16447 16450 15549 0 -1 4202560 32477 0 0 0 251823 8 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696854854248 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16456] ppid=16447 vsize=715236 memory=208616 CPUtime=2518.67 cores=0-7
/proc/16450/task/16456/stat : 16456 (cosoco) R 16447 16450 15549 0 -1 4202560 49371 0 0 0 251861 6 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696846461544 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16457] ppid=16447 vsize=715236 memory=1984 CPUtime=2513.84 cores=0-7
/proc/16450/task/16457/stat : 16457 (cosoco) R 16447 16450 15549 0 -1 4202560 50842 0 0 0 251377 7 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696838068680 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16458] ppid=16447 vsize=715236 memory=1440 CPUtime=2519.18 cores=0-7
/proc/16450/task/16458/stat : 16458 (cosoco) R 16447 16450 15549 0 -1 4202560 56986 0 0 0 251910 8 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696829676136 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
[pid=16450/tid=16459] ppid=16447 vsize=715236 memory=816 CPUtime=2519.32 cores=0-7
/proc/16450/task/16459/stat : 16459 (cosoco) R 16447 16450 15549 0 -1 4202560 47989 0 0 0 251926 6 0 0 20 0 9 0 436132029 732401664 52154 33554432000 4194304 6211092 140726504844800 140696821283432 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40460288 140726504850449 140726504850541 140726504850541 140726504853454 0
Current children cumulated CPU time: 20121.7 s
Current children cumulated vsize: 715236 KiB
Current children cumulated memory: 208616 KiB

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

[startup+2520.02 s]
# the end of solver process 16450 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20121 s, system=0.721635 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20121.8
CPU user time (s): 20121
CPU system time (s): 0.721635
CPU usage (%): 798.475
Max. virtual memory (cumulated for all children) (KiB): 715236
Max. memory (cumulated for all children) (KiB): 208616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20121
system time used= 0.721635
maximum resident set size= 208880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427177
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= 17735
involuntary context switches= 167281


# summary of solver processes directly reported to runsolver:
#   pid: 16450
#   total CPU time (s): 20121.8
#   total CPU user time (s): 20121
#   total CPU system time (s): 0.721635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5651 second user time and 21.3178 second system time

The end

Launcher Data

Begin job on node119 at 2019-09-16 04:48:51
IDJOB=4398483
IDBENCH=124389
IDSOLVER=2851
FILE ID=node119/4398483-1568602171
RUNJOBID= node119-1568597993-15576
PBS_JOBID= 21703416
Free space on /tmp= 61372 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398483-1568602171/watcher-4398483-1568602171 -o /tmp/evaluation-result-4398483-1568602171/solver-4398483-1568602171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398483-1568602171.xml

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

MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189
RANDOM SEED=2094326957

node119.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.47
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.47
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.47
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.47
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:        29574792 kB
MemAvailable:   31823456 kB
Buffers:           85660 kB
Cached:          2445584 kB
SwapCached:        61076 kB
Active:          1241640 kB
Inactive:        1354460 kB
Active(anon):       1872 kB
Inactive(anon):   112096 kB
Active(file):    1239768 kB
Inactive(file):  1242364 kB
Unevictable:      107752 kB
Mlocked:          107752 kB
SwapTotal:      67108860 kB
SwapFree:       66939904 kB
Dirty:              2840 kB
Writeback:             0 kB
AnonPages:        113092 kB
Mapped:            47300 kB
Shmem:             41008 kB
Slab:             193636 kB
SReclaimable:     164732 kB
SUnreclaim:        28904 kB
KernelStack:        3344 kB
PageTables:         5092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505884 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61368 MiB
End job on node119 at 2019-09-16 05:30:52